Home > Verimag > Workshops and Conferences > Workshops and Conferences

Workshops and Conferences


Upcoming events


Past events

  • 2007
    • Formal Methods for Components and Objects (FMCO) 24 - 26 October 2007 CWI, Amsterdam The Netherlands
    • Integrated Modular Avionics November 12-13, 2007 Roma, Italy
    • Between Control and Software Workshop in honor of Paul Caspi September 28th, 2007 VERIMAG - Grenoble, France
    • Toward Systems Biology 8-10 October 2007 Université Joseph Fourier - Grenoble - France
    • ARTIST WS: Tool Platforms for ES Modelling, Analysis and Validation July 1-2, 2007 Berlin, Germany (satellite event of CAV 2007)
    • FCC 2007 : 3rd Workshop on Formal and Computational Cryptography July 4-5th 2007, Venice, Italy
    • Artist II WS at DATE07 Towards a Systematic Approach to Embedded System Design, April 20th, 2007 Acropolis Nice, France

  • 2006
    • WESE 2006: Workshop on Embedded Systems Education October 26th 2006 Seoul, South Korea -- a satellite event of EMSOFT 2006
    • ATVA 2006: Fourth international symposium on Automated Technology for Verification and Analysis, 23-26 October 2006, Beijing, China (back-up site)
    • MARTES 2006: Workshop on Modeling and Analysis of Real-Time and Embedded Systems, on October 2 in Genova -- a satellite event of MoDELS/UML 2006
    • TCC 2006: Workshop: Topics in Computation and Control , Santa Barbara 27-28/3/2006 -- a satellite event of HSCC 2006, Hybrid Systems: Computation and Control
    • SLAP 06: Synchronous Languages, Applications, and Programming, march 25, 2006 -- a Satellite event of ETAPS'06 (March 25 - April 2, 2006, Vienna, Austria)

  • 2005
    • TCC 2006: Workshop: Topics in Computation and Control , Santa Barbara 27-28/3/2006 -- a satellite event of HSCC 2006, Hybrid Systems: Computation and Control
    • WESE 2005: Workshop on Embedded Systems Education September 22th, 2005, Jersey City, New Jersey, USA -- a satellite event of EMSOFT 2005
    • MARTES 05: Workshop on Modeling and Analysis of Real-Time and Embedded Systems , Workshop held in conjunction with MoDELS/UML 2005
    • COSMICAH 05: First international workshop on the verification of COncurrent Systems with dynaMIC Allocated Heaps, July 10, 2005, Lisboa, Portugal -- a satellite event of ICALP 05
    • FAC 05: Workshop on Formal Verification of Analog Circuits , April 9th, 2005 Edinburgh, U.K. -- to be hold in conjunction with European Joint Conferences on Theory and Practice of Software (ETAPS)
    • TACAS 05: Eleventh International Conference on Tools And Algorithms For The Construction And Analysis Of Systems , April 4-8, 2005 Edinburgh, U.K. -- to be hold in conjunction with European Joint Conferences on Theory and Practice of Software (ETAPS)
    • SLAP 05: Synchronous Languages, Applications, and Programming, Sunday April 3rd, 2005, Edinburgh, Scotland -- to be hold in conjunction with European Joint Conferences on Theory and Practice of Software (ETAPS) ,
    • Artist Workshop: Embedded Systems Design: An Emerging Unified Discipline, March 11th, Munich -- to be hold in conjunction with the conference Design Automation and Test in Europe (DATE'05)
    • CC 05 WS: Control and Computation Review Workshop March 12, 2005, Zurich
    • Omega Workshop : February 17th, MJK, Grenoble, -- to be hold in conjunction with the final project review

  • 2004
    • SVERTS 04: International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems , October, 2004 Lisbon, Portugal -- to be hold in conjunction with Seventh International Conference On UML, UML 2004,
    • FORMATS and FTRTFT 04: Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System September 22-24, 2004, Grenoble, France
    • SLAP 04: Synchronous Languages, Applications, and Programming, March 28, 2004, Barcelona, Spain -- to be hold in conjunction with European Joint Conferences on Theory and Practice of Software (ETAPS) ,
    • SPIN 04: International SPIN Workshop on Model Checking of Software, April 1-3, 2004, Barcelona, Spain -- to be hold in conjunction with European Joint Conferences on Theory and Practice of Software (ETAPS) ,

  • 2003
    • FMCO 03: Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) Leiden, the Netherlands, November 4-7, 2003
    • SIVOES-MDA 03: Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems October 20 - 24, 2003, San Francisco, California, USA -- to be hold in conjunction with UML'2003
    • SVERTS 03: Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS 2003) October 20 - 24, 2003, San Francisco, California, USA -- to be hold in conjunction with UML'2003
    • QoSCBSE 03: International Conference on Reliable Software Technologies Ada-Europe (QoSCBSE 2003) June 16-20, 2003, Toulouse, France
    • SLAP 03: Synchronous Languages, Applications, and Programming (SLAP 2003) Tuesday July 1st, 2003, Porto, Portugal
    • Journées nationales de réflexion et de prospective sur les systèmes embarqués ouvertes aux chercheurs et industriels du domaine June 16-17, 2003, Paris
    • Ecole de printemps "Logiciels embarqués" -- Réseau Thématique "Systèmes embarqués critiques ou contraints" May 27-31, 2003 - Aussois (73), France
    • HSCC 03: Hybrid Systems: Computation and Control(HSCC03) Prague, April 3-5, 2003
    • ISVQP 03: Workshop on Infinite Systems and Verification of Quantitative Properties (ISVQP03) March 5-7, 2003 - Grenoble, France


  • 2002
    • FMCO 02: International Symposium on Formal Methods for Components, Objects and their Implementation, FMCO 2002 Leiden (NL), November 5-9, 2002
    • EMSOFT 02: Workshops on Embedded Software EMSOFT, EMSOFT 2002 Grenoble, October 7-9, 2002
    • International Collaboration Day - 2002 On Embedded Software and Systems Sunday, Oct 6th - Grenoble, France
    • SIVOES-MONA 02: Component-Based Software Engineering and Modeling Non-Functional Aspects Workshop at UML'2002 October 1st, 2002, Dresden, Germany
    • ETAPS 02: ETAPS 2002 Grenoble, April 6-14, 2002
      • SLAP 02: Synchronous Languages, Applications, and Programming, SLAP 2002 Grenoble, April, 13, 2002, hold as satellite event of ETAPS 2002
      • TPTS 02: Workshop on Theory and Practice of Timed Systems, TPTS 2002 Grenoble, April, 6-7, 2002, hold as satellite event of ETAPS 2002


  • 2001
    • Journées PSLC Grenoble, November 6-8, 2001


  • 2000
    • Journées PSLC Grenoble, November 14 -16, 2000
    • SAM 00: SDL and MSC, SAM 2000 Col de Porte, June 26-28, 2000
    • VIRES 00: Vires Workshop , Autrans, June 14-15, 2000
    • TACAS 00: TACAS 2000 Berlin, March 27 to April 1st, 2000 associated with European Joint Conferences on Theory and Practice of Software (ETAPS 2000)


  • Before 1999
    • School on Computational Aspects and Applications of Hybrid Systems KIT Workshop on Verification of Hybrid Systems Grenoble, October 19-21, 1998
    • HART 97: Workshop on Hybrid and Real-Time Systems HART'97 Grenoble, March 26-28, 1997
    • European School of Computer Science, Methods and Tools for the Verification of Infinite State Systems Grenoble, March 23-25, 1997
    • Workshop on "application des methodes formelles au développment des sytèmes critiques", organized in the framework of the FORMA project, Grenoble, March 23-25, 1997
    • First CAV Grenoble, June, 1989 (LNCS Volume 407)



Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4086080