Some talks I gave

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

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)
(cochair)
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).
