Accueil > Verimag > Colloques et Conférences > Colloques et Conférences

Colloques et Conférences

Colloques et Conférences organisés avec une participation significative de Verimag (PC chair, Organisation chair).

Événements à venir

Événements passés

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)