PC of conferences I took part to


STACS'23Theoretical Aspects of Computer ScienceHamburg (Germany), March 2023
CSL'23Computer Science LogicWarsaw (Poland), February 2023


FoSSaCS'22Foundations of Software Science and Computation StructuresMunich (Germany), April 2022


LAMAS&SR'21Logical Aspects in Multi-Agent Systems and Strategic ReasoningOnline, May 2021


CONCUR'20Concurrency TheoryVienna (Austria), online, August 2020
ICALP'20Automata, Languages, and ProgrammingBeijing (China), Saarbrücken (Germany), online, July 2020


GandALF'19Games, Automata, Logics, and Formal VerificationBordeaux (France), September 2019
MFCS'19Mathematical Foundations of Computer ScienceAachen (Germany), August 2019
LICS'19Logic in Computer ScienceVancouver (Canada), June 2019
TACAS'19Tools and Algorithms for the Construction and Analysis of SystemsPrague (Czech Republic), April 2019


TIME'18Temporal Representation and Reasoning, October 2018
GandALF'18Games, Automata, Logics and Formal VerificationSaarbruecken (Germany), September 2018
FORMATS'18Formal Modelling and Analysis of Timed SystemsBeijing (China), September 2018
MFCS'18Mathematical Foundations of Computer ScienceLiverpool (UK), August 2018
SR'18Strategic ReasoningOxford (UK), July 2018
CiE'18Computability in EuropeKiel (Germany), June 2018


RP'17Reachability ProblemsLondon (UK), September 2017
GandALF'17Games, Automata, Logics and Formal VerificationRoma (Italy), September 2017
FCT'17Fundamentals of Computation TheoryBordeaux (France), September 2017
FORMATS'17Formal Modelling and Analysis of Timed SystemsBerlin (Germany), Septembre 2017
MFCS'17Mathematical Foundations of Computer ScienceAalborg (Denmark), August 2017
CSL'17Computer Science LogicStockholm (Sweden), August 2017
LICS'17Logic in Computer ScienceReykjavik (Iceland), June 2017
CSL'17Computer Science Logic,
SOFSEM'17Current Trends in Theory and Practice of Computer ScienceLimerick (Ireland), January 2017


FSTTCS'16Foundations of Software Technology and Theoretical Computer ScienceChennai (India), December 2016
GandALF'16Games, Automata, Logics and Formal VerificationGenova (Italy), September 2016
SYNT'16SynthesisJuly 2016, Toronto (Canada)
SR'16Strategic ReasoningNew-York (USA), July 2016
MOVEP'16Modelling and Verification of Parallel ProcessesGenova (Italy), June-July 2016
FSCD'16Formal Structures for Computation and DeductionPorto (Portugal), June 2016
TACAS'16Tools and Algorithms for the Construction and Analysis of SystemsEindhoven (Netherlands), April 2016


MSR'15Modélisation des systèmes réactifsNancy (France), November 2015
CSL'15Computer Science LogicBerlin (Germany), September 2015
LICS'15Logic in Computer ScienceKyoto (Japan), July 2015
TACAS'15Tools and Algorithms for the Construction and Analysis of SystemsLondon (UK), April 2015
VMCAI'15Verification, Model Checking, and Abstract InterpretationMumbai (India), January 2015


HSCC'14Hybrid Systems: Computation and ControlBerlin (Germany), April 2014


CONCUR'13Concurrency TheoryBuenos Aires (Argentina), August 2013
ICALP'13Automata, Languages and ProgrammingRiga (Latvia), July 2013


MEMICS'12Mathematical and Engineering Methods in Computer ScienceZnojmo (Czech Republic), October 2012
LICS'12Logic in Computer ScienceDubrovnik (Croatia), June 2012
LATA'12Language and Automata Theory and ApplicationsA Coruña (Spain), March 2012


MSR'11Modélisation des systèmes réactifsLille (France), November 2011
FORMATS'11Formal Modeling and Analysis of Timed SystemsAalborg (Denmark), September 2011
LICS'11Logic in Computer ScienceToronto (Canada), June 2011
TACAS'11Tools and Algorithms for the Construction and Analysis of SystemsSaarbrücken (Germany), March-April 2011


QEST'10Quantitative Evaluation of SystemsWilliamsburg (VA, USA), September 2010
MFCS'10Mathematical Foundations of Computer ScienceBrno (Czech Republic), August 2010
ICALP'10Automata, Languages and ProgrammingBordeaux (France), July 2010
MOVEP'10Modelling and Verifying Parallel ProcessesAachen (Germany), June-July 2010
QAPL'10Quantitative Aspects of ProgrammingPaphos (Cyprus), March 2010
FoSSaCS'10Foundations of Software Science and Computation StructuresPaphos (Cyprus), March 2010


MSR'09Modélisation des Systèmes réactifsNantes (France), October 2009
EMSOFT'09Embedded SoftwareGrenoble (France), October 2009
QEST'09Quantitative Evaluation of SystemsBudapest (Hungary), September 2009
CSL'09Computer Science LogicCoimbra (Portugal), September 2009
SPIN'09Model Checking of SoftwareGrenoble (France), June 2009
QAPL'09Quantitative Aspects of Programming LanguagesYork (UK), March 2009
STACS'09Theoretical Aspects of Computer ScienceFreiburg (Germany), February 2009
SOFSEM'09Current Trends in Theory and Practice of Computer ScienceŠpindlerův mlýn (Czech Republic), January 2009


QEST'08Quantitative Evaluation of SystemsSaint-Malo (France), September 2008
FORMATS'08Formal Modeling and Analysis of Timed SystemsSaint-Malo (France), September 2008
CONCUR'08Concurrency TheoryToronto (Canada), August 2008
MOVEP'08MOdelling and VErifying parallel ProcessesOrléans (France), June 2008
TACAS'08Tools and Algorithms for the Construction and Analysis of SystemsBudapest (Hungary), March-April 2008
QAPL'08Quantitative Analysis of Programming LanguagesBudapest (Hungary), March-April 2008


MSR'07Modélisation des Systèmes RéactifsLyon (France), October 2007
FORMATS'07Formal Modeling and Analysis of Timed SystemsSalzburg (Austria), October 2007
AVoCS'07Automated Verification of Critical SystemsOxford (UK), September 2007


FORMATS'06Formal Modelling and Analysis of Timed SystemsParis (France), September 2006
AVoCS'06Automated Verification of Critical SystemsNancy (France), September 2006
CONCUR'06Concurrency TheoryBonn (Germany), August 2006
GDV'06Games in Design and VerificationSeattle (WA, USA), August 2006


FORMATS'05Formal Modelling and Analysis of Timed SystemsUppsala (Sweden), September 2005
TACAS'05Tools and Algorithms for the Construction and Analysis of SystemsEdinburgh (Scotland), April 2005


FORMATS+FTRTFT'04Formal Modelling and Analysis of Timed Systems,
Formal Techniques in Real-Time and Fault Tolerant Systems
Grenoble (France), September 2004

Back to my homepage

About LSV