Program committee memberships

• TIME'22, 29th Int. Symp. on Temporal Representation and Reasoning, online, 2022
• MFCS'22, 47th Int. Symp. on Mathematical Foundations of Computer Science, Vienna, A, 2022
• TIME'21, 28th Int. Symp. on Temporal Representation and Reasoning, Klagenfurt, 2021
• CSL'21, 29th Annual EACSL Conf. on Computer Science Logic, Ljubljana, SLO, 2021
• SOFSEM'19, 45th Int. Conf. on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, SK, 2019
• RP'19, 13th Int. Conference on Reachability Problems, Brussels, B, 2019
• PARIS'18, Workshop on Programming and Reasoning on Infinite Structures, Oxford, UK, 2018, affiliated to FSCD at FLoC 2018
• TIME'18, 25th Int. Symp. on Temporal Representation and Reasoning, Warsaw, PL, 2018
• RP'18, 12th Int. Workshop on Reachability Problems, Marseille, F, 2018
• ICALP'18, 45th Int. Coll. on Automata, Languages and Programming (Track B), Prague, CZ, 2018
• MFCS'17, 42nd Int. Symp. on Mathematical Foundations of Computer Science, Aalborg, DK, 2017
• TIME'17, 24th Int. Symp. on Temporal Representation and Reasoning, Mons, BE, 2017
• RP'17, 11th Int. Workshop on Reachability Problems, Royal Holloway, London, UK, 2017
• AiML'16, Advances in Modal Logic, Moscow, Russia, 2016
• CSL'15, 24th EACSL Annual Conf. on Computer Science Logic, Berlin, D, 2015
• MFCS'15, 40th Int. Symp. on Mathematical Foundations of Computer Science, Milano, IT, 2015
• TIME'15 (PC co-chair), 22nd Int. Symp. on Temporal Representation and Reasoning, Kassel, D, 2015
• GandALF'14, 5th Int. Symp. on Games, Automata, Logics and Formal Verification, Verona, IT, 2014
• RP'14, 8th Int. Workshop on Reachability Problems, Oxford, UK, 2014
• IJCAR'14, 7th Int. Joint Conf. on Automated Reasoning, Vienna, A, 2014
• GandALF'13, 4rd Int. Symp. on Games, Automata, Logics and Formal Verification, Borca di Cadore, Italy, 2013
• M4M-8, 8th Workshop on Methods for Modalities, Lake Placid, US, 2013
• TIME 2013, 20th Int. Symp. on Temporal Representation and Reasoning, Pensacola, US, 2013
• GandALF'12, 3rd Int. Symp. on Games, Automata, Logics and Formal Verification, Napoli, Italy, 2012
• WoLLIC'12, 19th Workshop on Logic, Language, Information and Computation, Buenos Aires, Argentina, 2012
• IJCAR'12, 6th Int. Joint Conf. on Automated Reasoning, Manchester, UK, 2012
• TABLEAUX'11, 20th Int. Conf. on Automatic Reasoning with Analytic Tableaux and Related Methods, Bern, Switzerland, 2011
• FOSSACS'11, 14th Int. Conf. on Foundations of Software Sciences and Computation Structures, Saarbrücken, Germany, 2011
• TIME'10, 17th Int. Symp. on Temporal Representation and Reasoning, Paris, France, 2010
• CLoDeM'10 (PC co-chair), Workshop on Comparing Logical Decision Procedures, Edinburgh, UK, 2010, affiliated to LICS and IJCAR at FLoC 2010
• AiML'10, Advances in Modal Logic, Moscow, Russia, 2010
• AutoTab'09, Workshop on Tableaux vs. Automata as Logical Decision Procedures, Oslo, Norway, 2009
• M4M-6, 6th Workshop on Methods for Modalities, Copenhagen, Denmark, 2009
• ICALP'07, 34th Int. Colloquium on Automata, Languages and Programming (Track B), Wroclaw, Poland, 2007
• PDMC'04, 3rd Int. Workshop on Parallel and Distributed Methods in Verification, London, UK, 2004