Programm-Komitees

  • IJCAR'24, International Joint Conference on Automated Reasoning
  • SAIV'24, 7th Symposium on AI Verification
  • CSL'24, 32nd EACSL Annual Conference on Computer Science Logic
  • FICS'24, 12th International Workshop on Fixed Points in Computer Science
  • FoMLAS'23, 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
  • 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