Some talks I gave

  • Automating Resolution is NP-Hard. Talk I gave at 60th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2019), Baltimore, Maryland, USA, November 2019.

Service in journal editorial boards

Editorial board of ACM Transactions on Computation Theory, since Oct 2018.
Editorial board of ACM Transactions on Computational Logic, since Jul 2016.
Editorial board of Information and Computation, Jul 2014 - Sep 2018

Service in program committees

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016)
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
16th International Workshop on Logic and Computational Complexity (LCC 2015) (co-chair)
42th International Colloquium on Automata, Languages, and Programming (ICALP 2015).
39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014).
20th Workshop on Logic, Language, Information and Computation (WOLLIC 2013).
39th International Colloquium on Automata, Languages and Programming (ICALP 2012).
26th IEEE Conference on Computational Complexity (CCC 2011).
Computability in Europe 2011: Models of Computation in Context (CiE 2011).
ASL European Summer Meeting, Logic Colloquium 2010. (LC 2010).
25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010).
11th International Workshop on Logic and Computational Complexity (LCC 2009).
36th International Colloquium on Automata, Languages and Programming (ICALP 2009).
12th International Conference on Database Theory (ICDT 2009).
23rd IEEE Conference on Computational Complexity (CCC 2008).
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
11th International Conference on Database Theory (ICDT 2007).
7th International Workshop on Logic and Computational Complexity (LCC 2005).
14th Annual Conference (19th International Workshop) of the European Association for Computer Science Logic (CSL 2005).
Computability in Europe 2005: New Computational Paradigms (CiE 2005).
31st International Colloquium on Automata, Languages and Programming (ICALP 2004).
19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004).
Kalmár Workshop on Logic and Computer Science (2003).


Back to Albert Atserias' homepage.