PC of conferences I took part to

2023

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

2022

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

2021

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

2020

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

2019

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

2018

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

2017

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

2016

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

2015

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

2014

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

2013

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

2012

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

2011

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

2010

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

2009

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

2008

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

2007

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

2006

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

2005

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

2004

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