Home Projects Publications Activities Teaching Students

Program committee memberships

  • 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, 2010
  • 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