Past events...

2016

GandALF'16PC memberGames, Automata, Logics and Formal VerificationGenova (Italy), September 2016
MFCS'16Invited speakerMathematical Foundations of Computer ScienceKrakow (Poland), August 2016
SYNT'16PC memberSynthesisJuly 2016, Toronto (Canada)
SR'16PC memberStrategic ReasoningNew-York (USA), July 2016
LICS'16Workshop chairLogic in Computer ScienceNew York (USA), July 2016
MOVEP'16PC memberModelling and Verification of Parallel ProcessesGenova (Italy), June-July 2016
CSR'16Computer Science RussiaSt Petersburg (Russia), June 2016
FSCD'16PC memberFormal Structures for Computation and DeductionPorto (Portugal), June 2016
TACAS'16PC memberTools and Algorithms for the Construction and Analysis of SystemsEindhoven (Netherlands), April 2016

2015

FSTTCS'15Foundations of Software Technology and Theoretical Computer ScienceBangalore (India), December 2015
MSR'15PC memberModélisation des systèmes réactifsNancy (France), November 2015
CSL'15PC memberComputer Science LogicBerlin (Germany), September 2015
CONCUR'15Concurrency TheoryMadrid (Spain), September 2015
FORMATS'15Formal Modeling and Analysis of Timed SystemsMadrid (Spain), September 2015
LICS'15Workshop chair, PC memberLogic in Computer ScienceKyoto (Japan), July 2015
AutoMathA'15Invited speakerJewels of Automata: from Mathematics to ApplicationsLeipzig (Germany), May 2015
TACAS'15PC memberTools and Algorithms for the Construction and Analysis of SystemsLondon (UK), April 2015
VMCAI'15PC memberVerification, Model Checking, and Abstract InterpretationMumbai (India), January 2015

2014

FSTTCS'14Foundations of Software Technology and Theoretical Computer ScienceNew Delhi (India), December 2014
ATVA'14Automated Technology for Verification and AnalysisSydney (Australia), November 2014
CONCUR'14Concurrency TheoryRoma (Italy), September 2014
EATCS Young Researchers SchoolInvited lecturerAutomata, Logic and GamesTelč (Czech Republic), July 2014
LICS'14Workshop chairLogic in Computer ScienceVienna (Austria), July 2014
MOVEP'14Invited lecturerMOdelling and VErifying parallel ProcessesNantes (France), July 2014
HSCC'14PC memberHybrid Systems: Computation and ControlBerlin (Germany), April 2014
SR'14Strategic ReasoningGrenoble (France), April 2014

2013

RP'13Invited speakerReachability ProblemsUppsala (Sweden), September 2013
FORMATS'13Formal Modeling and Analysis of Timed SystemsBuenos Aires (Argentina), August 2013
CONCUR'13PC memberConcurrency TheoryBuenos Aires (Argentina), August 2013
ICALP'13PC memberAutomata, Languages and ProgrammingRiga (Latvia), July 2013
LICS'13Workshop chairLogic in Computer ScienceNew Orleans (USA), June 2013
GT VerifJournées annuelles du GT Vérification du GDR IMCachan (France), June 2013
Workshop on Formal Verification of Embedded Control SystemsInvited speakerFormal Verification of Embedded Control SystemsLund (Sweden), April 2013

2012

MEMICS'12PC memberMathematical and Engineering Methods in Computer ScienceZnojmo (Czech Republic), October 2012
QEST'12Quantitative Evaluation of SysTemsLondon (UK), September 2012
FM'12PC memberFormal MethodsParis (France), August 2012
CIAA'12PC memberImplementation and Application of AutomataPorto (Portugal), July 2012
ICALP'12Automata, Languages and ProgrammingWarwick (England), July 2012
LICS'12PC memberLogic in Computer ScienceDubrovnik (Croatia), June 2012
FoSSaCS'12Foundations of Software Science and Computation StructuresTallinn (Estonia), March-April 2012
LATA'12PC memberLanguage and Automata Theory and ApplicationsA Coruña (Spain), March 2012

2011

FSTTCS'11Foundations of Software Technology and Theoretical Computer ScienceMumbai (India), December 2011
MSR'11PC memberModélisation des systèmes réactifsLille (France), November 2011
ATVA'11Automated Technology for Verification and AnalysisTaipei (Taiwan), October 2011
FORMATS'11PC memberFormal Modeling and Analysis of Timed SystemsAalborg (Denmark), September 2011
CONCUR'11Concurrency TheorySaarbrücken (Germany), September 2011
ICALP'11Presburger AwardAutomata, Languages and ProgrammingZürich (Switzerland), July 2011
LICS'11PC memberLogic in Computer ScienceToronto (Canada), June 2011
TACAS'11PC memberTools and Algorithms for the Construction and Analysis of SystemsSaarbrücken (Germany), March-April 2011
Journées nationales du GDR IMInvited speakerGDR Informatique mathématiqueParis (France), January 2011

2010

FSTTCS'10Foundations of Software Technology and Theoretical Computer ScienceChennai (India), December 2010
QEST'10PC memberQuantitative Evaluation of SystemsWilliamsburg (VA, USA), September 2010
FORMATS'10Formal Modeling and Analysis of Timed SystemsVienna (Austria), Septembre 2010
CONCUR'10Concurrency TheoryParis (France), August-Septembre 2010
MFCS'10PC memberMathematical Foundations of Computer ScienceBrno (Czech Republic), August 2010
ICALP'10PC memberAutomata, Languages and ProgrammingBordeaux (France), July 2010
MOVEP'10PC memberModelling and Verifying Parallel ProcessesAachen (Germany), June-July 2010
WATA'10Invited lecturerWeighted Automata: Theory and ApplicationsLeipzig (Germany), May 2010
HSCC'10Hybrid Systems: Computation and ControlStockholm (Sweden), April 2010
QAPL'10PC memberQuantitative Aspects of ProgrammingPaphos (Cyprus), March 2010
FoSSaCS'10PC memberFoundations of Software Science and Computation StructuresPaphos (Cyprus), March 2010
AVACS Spring SchoolInvited lecturerAutomatic Verification and Analysis of Complex SystemsOldenburg (Germany), March 2010
QMC Winter SchoolInvited lecturerQuantitative Model CheckingCopenhagen (Denmark), March 2010
Dagstuhl seminarQuantitative Models: Expressiveness and AnalysisDagstuhl Schloß (Germany), January 2010

2009

MSR'09Invited speaker, PC memberModélisation des Systèmes réactifsNantes (France), October 2009
VTSA'09Invited speakerVerification Technology, Systems & ApplicationsNancy (France), October 2009
EMSOFT'09PC memberEmbedded SoftwareGrenoble (France), October 2009
QEST'09PC memberQuantitative Evaluation of SystemsBudapest (Hungary), September 2009
CSL'09PC memberComputer Science LogicCoimbra (Portugal), September 2009
CONCUR'09Concurrency TheoryBologna (Italy), September 2009
QUANTLOG'09Invited speakerQuantitative LogicsRhodes (Greece), July 2009
ICALP'09Automata, Languages and ProgrammingRhodes (Greece), July 2009
SPIN'09PC memberModel Checking of SoftwareGrenoble (France), June 2009
QAPL'09PC memberQuantitative Aspects of Programming LanguagesYork (UK), March 2009
STACS'09PC memberTheoretical Aspects of Computer ScienceFreiburg (Germany), February 2009
ACTS'09PC member, speakerAutomata, Concurrency and Timed SystemsChennai (India), January 2009
SOFSEM'09PC memberCurrent Trends in Theory and Practice of Computer ScienceŠpindlerův mlýn (Czech Republic), January 2009

2008

QEST'08PC memberQuantitative Evaluation of SystemsSaint-Malo (France), September 2008
FORMATS'08PC memberFormal Modeling and Analysis of Timed SystemsSaint-Malo (France), September 2008
GAMES'08Invited tutorial speakerGames and Automata for Synthesis and ValidationWarsaw (Poland), September 2008
Journées Montoises 2008Invited speaker at the workshopJournées Montoises d'Informatique ThéoriqueMons (Belgium), August 2008
CONCUR'08PC memberConcurrency TheoryToronto (Canada), August 2008
ICALP'08Automata, Languages and ProgrammingReykjavík (Iceland), July 2008
LICS'08Logic in Computer SciencePittsburgh, PA (USA), June 2008
MOVEP'08PC memberMOdelling and VErifying parallel ProcessesOrléans (France), June 2008
Dagstuhl seminarBeyond the Finite: New Challenges in Verification and Semistructured DataSchloss Dagstuhl (Germany), April 2008
FoSSaCS'08Foundations of Software Science and Computation StructuresBudapest (Hungary), March-April 2008
TACAS'08PC memberTools and Algorithms for the Construction and Analysis of SystemsBudapest (Hungary), March-April 2008
QAPL'08PC memberQuantitative Analysis of Programming LanguagesBudapest (Hungary), March-April 2008
TFIT'08Invited speakerTaiwanese-French Conference on Information TechnologyTaipei (Taiwan), March 2008
STACS'08Symposium on Theoretical Aspects of Computer ScienceBordeaux (France), February 2008

2007

FSTTCS'07Foundations of Software Technology and Theoretical Computer ScienceNew Delhi (India), December 2007
M4M-5Invited speakerMethods for ModalitiesCachan (France), November 2007
MSR'07PC memberModélisation des Systèmes RéactifsLyon (France), October 2007
FORMATS'07PC memberFormal Modeling and Analysis of Timed SystemsSalzburg (Austria), October 2007
AVoCS'07PC memberAutomated Verification of Critical SystemsOxford (UK), September 2007
LICS'07Logic in Computer ScienceWrocław (Poland), July 2007
LFCS'07Logical Foundations of Computer ScienceNew-York (USA), June 2007
FoSSaCS'07Foundations of Software Science and Computation StructuresBraga (Portugal), March-April 2007

2006

FSTTCS'06Foundations of Software Technology and Theoretical Computer ScienceKolkata (India), December 2006
ATVA'06Automated Technology for Verification and AnalysisBeijing (China), October 2006
FORMATS'06PC co-chair
Organization
Formal Modelling and Analysis of Timed SystemsParis (France), September 2006
AVoCS'06PC memberAutomated Verification of Critical SystemsNancy (France), September 2006
CORTOS'06Invited speakerControl and Observation of Real-Time Open SystemsBonn (Germany), August 2006
CONCUR'06PC memberConcurrency TheoryBonn (Germany), August 2006
GDV'06PC co-chairGames in Design and VerificationSeattle (WA, USA), August 2006
LICS'06Logic in Computer ScienceSeattle (WA, USA), August 2006
ICALP'06Automata, Languages and ProgrammingVenice (Italy), July 2006
ACSD'06Application of Concurrency to System DesignTurku (Finland), June 2006
MFPS XXIIInvited speakerMathematical Foundations of Programming SemanticsGenova (Italy), May 2006
LATIN'06Latin American Theoretical INformaticsValdivia (Chile), March 2006

2005

FSTTCS'05Foundations of Software Technology and Theoretical Computer ScienceHyderabad (India), December 2005
Perspectives in VerificationOrganizationDoctor honoris causa of Wolfgang ThomasCachan (France), November 2005
MSR'05Invited speakerModélisation des Systèmes réactifsAutrans (France), October 2005
School ARTIST2Invited lecturerSummer School of the European Network of Excellence ARTIST2:
Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems
Nässlingen (Sweden), October 2005
FORMATS'05PC memberFormal Modelling and Analysis of Timed SystemsUppsala (Sweden), September 2005
ETR'05Invited lecturerÉcole Temps-RéelNancy (France), September 2005
AVoCS'05Invited speakerAutomated Verification of Critical SystemsWarwick (UK), September 2005
INFINITY'05Invited speakerVerification of Infinite-State SystemsSan Francisco (CA, USA), August 2005
CONCUR'05Concurrency TheorySan Francisco (CA, USA), August 2005
GDV'05Invited speakerGames in Design and VerificationEdinburgh (Scotland), July 2005
FoSSaCS'05Foundations of Software Science and Computation StructuresEdinburgh (Scotland), April 2005
TACAS'05PC memberTools and Algorithms for the Construction and Analysis of SystemsEdinburgh (Scotland), April 2005
GAMES SchoolInvited lecturerSpring School of the GAMES European ProjectBonn (Germany), March 2005
JSI'05Invited speakerJournées Systèmes infinisCachan (France), March 2005

2004

FSTTCS'04Foundations of Software Technology and Theoretical Computer ScienceChennai (India), December 2004
MOVEP'04Invited lecturerMOdélisation et VÉrification des Processus ParallèlesBrussels (Belgium), December 2004
QEST'04TutorialQuantitative Evaluation of SystemsTwente (The Netherlands), September 2004
FORMATS+FTRTFT'04PC memberFormal Modelling and Analysis of Timed Systems,
Formal Techniques in Real-Time and Fault Tolerant Systems
Grenoble (France), September 2004
GDV'04Games in Design and VerificationBoston (MA, USA), July 2004
TACAS'04Tools and Algorithms for the Construction and Analysis of SystemsBarcelona (Spain), March-April 2004
School EPIT32Invited lecturerSpring School of Theoretical Computer Science:
Theory and Applications of Concurrency
Luminy (France), April 2004
FAC'04Invited speakerFormalisation des activités concurrentesToulouse (France), March 2004

2003

MSR'03Modélisation des Systèmes réactifsMetz (France), October 2003
CAV'03Computer-Aided VerificationBoulder (CO, USA), July 2003
TACAS'03Tools and Algorithms for the Construction and Analysis of SystemsWarsaw (Poland), April 2003
STACS'03Theoretical Aspects of Computer ScienceBerlin (Germany), March 2003
ACL'03Invited speakerAutomata, Concurrency and LogicChennai (India), January 2003

2002

RT-TOOLS'02Real-Time ToolsCopenhagen (Denmark), August 2002

2001

CSL'01OrganizationComputer Science LogicParis (France), September 2001
CONCUR'01Concurrency TheoryAalborg (Denmark), August 2001
CAV'01OrganizationComputer-Aided VerificationParis (France), July 2001

2000

MFCS'00Mathematical Foundations of Computer ScienceBratislava (Slovak Republic), August-September 2001
CAV'00Computer-Aided VerificationChicago (IL, USA), July 2000

1999

ICALP'99Automata, Languages, and ProgrammingPrague (Czech Republic), July 1999

1998

FSTTCS'98Foundations of Software Technology and Theoretical Computer ScienceChennai (India), December 1998




Back to my homepage

About LSV