Programme committees

  • 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.
  • CAV 2011, 23rd conference on Computer Aided Verification, Snowbird, Utah,July 13-19, 2011.
  • PSI 2011, Ershov Informatics Conference,  Novosibirsk, Akademgorodok, Russia, 27 – July, 1, 2011.
  • 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.
  • Design and Verification Track at RTSS 2010, The 31st IEEE Real-Time Systems Symposium, November 30 – December 3, 2010, San Diego, CA, USA
  • 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
  • Nordic Workshop on Programming Theory, NWPT 2001
  • Workshop on Real-Time Tools, RT-TOOLS 2001
  • Computer Aided Verification, CAV 2001
  • CONCUR 2001 (co-chair with Mogens Nielsen)
  • Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001
  • PAPM-PROBMIV 2001
  • Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM2000
  • The 7th International SPIN Workshop on Model Checking of Software, SPIN 2000
  • Process Algebra and Performance Models, PAPM’2000
  • Distributed System Validation and Verification, DSVV’2000
  • Tools and Algorithms for the Construction and Analysis of Systems, TACAS’2000
  • Logic in Computer Science, LICS’2000
  • Computer Aided Verification, CAV’2000
Shaz
  • News

    • IDEA4CPS 1st General Meeting
      March 12, 2012 | 3:38 pm

      1st IDEA4CPS General Meeting, March 19-21, Aalborg University, Denmark

    • QMC PhD School
      February 3, 2012 | 8:08 am

      PhD school on Quantitative Model Checking,m February 27-March 1, 2012, in Copenhagen, Denmark.

    • FORMATS 2011
      September 20, 2011 | 1:49 pm

      FORMATS 2011, 9th International Conference on Formal Modeling and Analysis of Timed Systems, Aalborg, 21-23 September, 2011.

    • RSSArchive for News »
  • Awards and like

    Co-recipient of the "Most Beautiful Lecture at PSI" with Samson Abramsky, 2009
  • Contact

    Department of Computer Science
    Aalborg University

    Science Selma Lagerlöfs Vej 300,
    DK-9220 Aalborg East
    Office: 0.2.32
    Mail: kgl ‘at’ cs.aau.dk

    PHONE : +45 99 40 80 80 (Switchboard)
    PHONE : +45 99 40 88 93 (Direct)
    PHONE : +45 22 17 11 59 (Mobile)
    FAX : +45 98 15 98 89