LICS 2016, ACM/IEEE Symposium on Logic in Computer Science, New York City, July 5-8, 2016
TACAS’16, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of System
VMCAI 2015, 16th International Conference on Verification, Model Checking, and Abstract Interpretation, January 12-14, 2015, Mumbai, India (PC Chair)
ATVA 2015, 13th International Symposium on Automated Technology for Verification and Analysis, October 12–15, 2015, Shanghai, China
FORMATS 2015, 13th International Conference on Formal Modeling and Analysis of Timed Systems, Madrid – September 2-4, 2015
FORTE 2015, The 10th International Federated Conference on Distributed Computing Techniques, Grenoble, France, June 2-5, 2015
FSEN 2015, 6th IPM International Conference on Fundamentals of Software Engineering, April 22-24, 2015, Tehran, Iran
HSCC 2015, 18th International Conference on Hybrid Systems: Computation and Control, April 14-16, 2015, Seattle, Washington, USA
ICTAC 2015, 12th International Colloquium on Theoretical Aspects of Computing, October 29-31, 2015, Cali (Colombia)
NFM 2015, 7th NASA Formal Methods Symposium, 27-29 April, 2015, Pasadena, California
RV 2015, The 15th International Conference on Runtime Verification, September 22 – September 25, 2015 Vienna, Austria
SynCoP 2015, 2nd International Workshop on Synthesis of Complex Parameters, 11th of April 2015, London, UK
TACAS 2015, 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 11-18 April 2015, London, UK
LPAR-2015, 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Laucla Bay Campus, of the University of the South Pacific, November 24-28, 2015.
CAV 2014, 26th International Conference on Computer Aided Verification, July 18-22, 2014, Vienna, Austria
ATVA 2014, 12th International Symposium on Automated Technology for Verification and Analysis, Sydney, November 3-6, 2014.
EDSoS 2014, Engineering Dependable Systems of Systems (EDSoS) 2014, Newcastle upon Tyne, 13 May, 2014.
ICTAC 2014, 11th International Colloquium on Theoretical Aspects of Computing, 17-19 September 2014, Bucharest, Romania.
LPAR2014, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning.
MFCS 2014, 39th International Symposium on Mathematical Foundations of Computer Science, Budapest, August 25-29, 2014.
NWPT 2014, 26th Nordic Workshop on Programming Theory, October 29-31, 2014 – Halmstad University, Sweden
PSI 2014, Ershov Informatics Conference•June, 24 – 27, 2014, Peterhof, St. Petersburg, Russia
RP 2014, 8th International workshop on Reachability Problems, 22 – 24 September 2014, Oxford
SynCoP 2014, 1st International Workshop on Synthesis of Continuous Parameters, Sunday April 6th 2014, Grenoble, France
TACAS 2014, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 5-13 April 2014, Grenoble, France
WCET 2014, 14th International Workshop on Worst-Case Execution Time Analysis, Tuesday, July 8th, 2014, Madrid, Spain
TACAS 2013, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy, March 16-24, 2013.
SMC 2013, 1st International Workshop on Statistical Model Checking, Rennes, France, 2013 (co-chair)
RP 2013, 7th International Workshop on Reachability Problems, Uppsala, Sweden, 25-27 September, 2013.
LATA 2013, Conference on theoretical Computer Science and its Applications, Bilbao, Spain, April 2-5, 2013.
ICTAC 2013, 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China, September 4-6, 2013.
FORTE 2013, IFIP Joint International Conference on Formal Techniques for Distributed Systems, Florence, Italy, June 3-6, 2013.
HSCC 2013, Hybrid Systems: Computation and Control, Philadelphi, USA, April 8-11, 2013.
CONCUR 2013, 24st International Conference on Concurrency Theory, Buenos Aires, Argentina, August 27-30, 2013.
AiSOS 2013, Workshop on Advances in Systems of Systems, Rome, March 16, 2013 (co-Chair)
FSEN 2013, IPM International Conference on Fundamentals of Software Engineering (FSEN 2013), Tehran, 24-26 April 2011.
MOVEP 2012, 10th School on Modelling and Verifying Parallel Processes, CIRM, Marseille, France, December 3-7, 2012.
ICFEM 2012, International Conference on Formal Engineering Methods, Kyoto, Japan, November 12-16, 2012.
ICTAC 2012, 10th version of the International Colloquium on Theoretical Aspects of Computing, Bangalore, India, September 24-27, 2012.
FORMATS 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems, 2012.
FM 2012, 18th International Symposium on Formal Methods, Paris, France, August 27-31 2012.
ADHS 2012, 4th IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven, The Netherlands, June 4-8, 2012.
HSCC 2012, 15th International Conference on Hybrid Systems: Computation & Control, April, Beijing, 2012.
FIT 2012, 4th International Workshop on Foundations of Interface Technologies (satellite workshop of ETAPS 2012), Tallinn, Estonia, March 25, 2012.
IWIGP 2012, International Workshop on Interactions, Games and Protocols (satellite workshop of ETAPS 2012), Tallinn, Estonia, March 25, 2012.
TACAS 2012, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, March 24- April 1, 2012.
FSTTCS2011, 31st Foundations of Software Technology and Theoretical Computer Science conference (FSTTCS 2011), to be held in IIT Bombay, Mumbai from Dec 12, 2011 to Dec 14, 2011.
FMSSPLE 2011, 2nd International Workshop on Formal Methods and Analysis in Software Product Lines, Munich, Germany, Augst 21-26, 2011.
CSDM2011, Complex Systems Desing and Management 2011, Paris, France, Dec 7-9, 2011.
ICFEM2011, 13th International Conference on Formal Engineering Methods 25th—28th October 2011, Durham, United Kingdom
RV 2011, 2nd International Conference on Run-Time Verification, Berkeley, U.S.A., 27-30 September, 2011.
FSPLE11, 2nd International Workshop on Formal Methods in Software Product Line Engineering.
EMSOFT 2011, 1th International Conference on Embedded Software, Taipei, Taiwan, October 9-14, 2011.
FMICS 2011, 16th International Workshop on Formal Methods for Industrial Critical Systems, Trento (Italy), August 29-30, 2011.
NWPT 2011, 23rd Nordic Workshop on Programming Theory, Vesteraas, Sweden, October 26-28, 2011.
SSV 2011, 6th International Workshop on System Software Verification, Nijmegen, The Netherlands, August 26-27, 2011.
VVPS 2011, 3rd ICAPS Validation and Verification of Planningand Scheduling Systems.
FM 2011, 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-14, 2011.
NFM 2011, the 3rd NASA Formal Methods Symposium, mid April 2011 in Pasadena, California (Los Angeles County), USA.
FSEN 2011, IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 20-22 April 2011.
TACAS 2011, Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 26-April 3, Saarbrücken, 2011.
IWIGP 2011, International Workshop on Interactions, Games and Protocols.
SSV 2010, 5th International Workshop on Systems Software Verification, Vancouver, Canada, October 6-7, 2010.
CONCUR 2010, 21st International Conference on Concurrency Theory, Paris, France, August 31-September 3, 2010.
CSDM 2010, Complex Systems Design & Management, October 27-29, Paris, 2010.
FIT 2010, Foundations of Interface Technologies, Paris, France (associated with CONCUR 2010), August 30th, 2010
FORMATS 2010, The 8th International Conference on Formal Modelling and Analysis of Timed Systems, IST Austria, Klosterneuburg, Austria, 8-10 September, 2010
HSCC 2010, 13th ACM International Conference on Hybrid Systems: Computation and Control, Stockholm, Sweden, April 12-16, 2010.
QEST 2010, 7th International Conference on Quantitative Evaluation of SysTems, Williamsburg, Virginia, USA at the College of William & Mary, Computer Science Department, September 15 – 18, 2010.
NWPT 2010, The 22nd Nordic Workshop on Programming Theory – NWPT ’10, 10-12 November 2010, Turku, Finland
DATE 2010, Model Based Design of Embedded Systems Track, March 8-12, Dresden, Germany, 2010
RV 2010, First International Conference on Runtime Verification, November 1-4, Malta, 2010.
TACAS 2010: Tools and Algorithms for the Construction and Analysis of Systems, March 20-28, Paphos, Cyprus, 2010.
WS-TBFM, Workshop on Tool Building in Formal Methods, Orford, Quebec, Canada, Monday 22 February 2010.
ICFEM2009 on Formal Engineering Methods. 12th of December, 2009, in Rio de Janeiro, Brazil.
SOFSEM09: 35th Conference on Current Trends in Theory and Practice of Computer Science, January 24-30, 2009, Spindleruv Mlyn, Czech Republic
QEST09: International Conference on the Quantitative Evaluation of Systems, September 2009 in Budapest, Hungary.
ICALP’09: International Colloquium on Automata, Languages and Programming, July 2009, Rhodos, Greecel.
EMSOFT’08: International Conference on Embedded Systems, Atlanta, Georgia, USA, October 19-24, 2008.
CORCS’08: 1st IEEE International Workshop on Component-Based Design of Resource-Constrained Systems, Turku, Finland, July 28 – August 1, 2008.
SPIN’08: 15th International SPIN Workshop on Model Checking of Software, August 10-12, 2008, Los Angeles, USA.
WODES’08: 9th International Workshop on Discrete Event Systems, Göteborg, Sweden, May 28-30, 2008.
TACAS’08: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Budapest, Hungary, March 29 – April 6, 2008.
CONCUR’08: 19th International Conference on Concurrency Theory, Toronto, Canada, August 19-22, 2008.
MOVEP’08: 8th School on MOdelling and VErifying parallel Processes, Orléans, France, June 23-27, 2008.
FSTTCS’07: Foundations of Software Technology and Theoretical Computer Science. New Delhi, 12-14 December 2007.
EPEW’07: 4th European Performance Engineering Workshop, Berilin, 27-28 September 2007, Germany
LICS’07: Twenty-Second Annual IEEE Sympositum on Logic in Computer Science, 10-14 July, Wroclaw, Poland.
TACAS07: Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 24 March – 1 April, Braga, Portugal, 2007.
SOFSEM’07: 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track, Janaury 20-26, 2007, Harrachov, Czech Republic.
EPEW’06: 3rd European Performance Engineering Workshop, Budagpest, 21-22 June 2006, Hungary.
CONCUR’06: The 17th International Conference on Concurrency Theory, August 27-30, 2006, Bonn, Germany. See also pictures from soccer match.
SEFM’06: 4th IEEE International Conference on Software Engineering and Formal Methods, September 11-15, 2006, Pune, India.
HSCC’06, Hybrid Systems: Computation and Control, Santa Barbara, California, March 29-31, 2006.
MOVEP’06, Modelling and Verification of Parallel Processes, June 19-23, Bordeaux, France, 2006.
MSVVEIS’06, the Fourth Ingternational Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, May 23-24, Paphos, Cyprus, 2006.
TACAS’06. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 25-April 2, 2006, Vienna, Austria.
QEST’06, 2nd International Conference on the Quantitative Evaluation of Systems, Riverside, California, on September 2006.
ADHS’06: the 2nd IFAC conference on the Analysis and Design of Hybrid Systems, that will be held in Alghero (Sardinia, Italy) on June 7-9, 2006.
CONCUR 2005, 16th International Conference on Concurrency Theory, San Francisco, California, 23-26 August 2005.
VVPS05, 1st Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, Monterey, California, USA, 6-7 June 2005
ICALP 2005, International Colloquium on Automata, Languages and Programming, July 11-15, 2005, Lisboa, Portugal.
FORMATS’05, 3rd International Conference on Formal Modelling and Analysis of Timed Systems, September 26-28, Uppsala, Sweden.
SE2005, IASTED International Conference on Software Engineering, Innsbruck, Austria, February 15-17, 2005.
GDV’05: Games in Design and Verification, July 12,. Edinburgh, Scotland, 2005.
MOVEP’04, Modelling and Verification of Parallel Processes, Dec.2004, Brussels, Belgium.
EPEW: First European Workshop on Performance Engineering, Sep. 30 – Oct. 2, 2004, Madrid, Spain.
QEST. 1st International Conference on quantitative Evaluation of Systems, September 27-30, 2004, Twente University, The Netherlands.
RV’04, Fourth Workshop on Runtime Verification, April 3-4, 2004, Barcelona, Spain.
WODES’04, IFAC Workshop on Discrete Event Systems, Reims, France, on 22-24 September 2004.
LICS’04, Logic in Computer Science, Turku, Finland, July 14-17, 2004
TACAS 2004 10th International conference on Tools and Algorithms for the Construction and Analysis of Systems, March 29 – april 2, 2004, Barcelona.
STACS’04, 21st International Symposium on Theoretical Aspects of Computer Science, Montpellier, France
March 25-27, 2004
NWPT’03, The 15th Nordic Workshop on Programming Theory, Aabo Akademi University, Turku, Finland, October 29-31, 2003
FORMATS 2003, Formal Modeling and Analysis of Timed Systems, Marseile, September 6-7, 2003 (co-chair)
Computer Aided Verification, CAV03, Boulder, Colorado, U.S.A,, July 8-12, 2003.
CONCUR 2003, 2-6 September 2003, Marseille, France.
Thirtieth International Colloquium on Automata, Languages and Programming, ICALP 2003, Eindhoven, The Netherlands, June 30 – July 4, 2003
Formal Methods and Models for Codesign, MEMOCODE03, Mont Saint-Michel, France, June 24-26, 2003.
IFAC Conference on Analysis and Design of Hybrid Systems, ADHS03, Saint-Malo, France, June 16-18, 2003.
Hybrid Systems: Computation and Control, HCSS 2003, Prague, the Czech Republic, April 3-5, 2003
Tools and Algorithm for the Construction and Analysis of Systems, TACAS 2003.
Nordic Workshop on Programming Theory, NWPT 2002.
Computer Aided Verification, CAV 2002 (co-chair with Ed Brinksma)
Workshop on Parallel and Distributed Model Checking, PDMC , 2002.
Models for Time Critical Systems, MTCS 2002 (co-chair with Walter Vogler)
Formal Techniques in Real-Time and Fault Tolerant Systems, FTRTFT 2002
Modelling and Verification of Parallel Processes, MOVEP 2002.
Workshop on Theory and Practice of Timed Systems, TPTS 2002
Tools and Algorithm for the Construction and Analysis of Systems, TACAS 2002
Programme committees (not updated)
LICS 2016, ACM/IEEE Symposium on Logic in Computer Science, New York City, July 5-8, 2016
TACAS’16, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of System
March 25-27, 2004