Workshops and Conferences

Upcoming events

Past events

• 2023
  • Journée informatique frugale
  • Chaînes de blocs et monnaie : regards croisés
  • CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS
  
  
• 2022
  • ASL 2022 : Advances in Separation Logic
  • Workshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms
  
  
• 2021
  • Workshop on Timing Anomalies
  • CAPITAL Workshop - sCalable And PrecIse Timing AnaLysis for multicore platforms
  
  
• 2020
  • SSS 2020
  • AlgoTel et CoRes 2020
  • MOVEP 2020
  • Workshop CAPITAL
  • ADSL 2020 (@POPL 2020)
  
  
• 2019
  • Synchron 2019
  • AVoCS 2019
  • Journée thématique Verimag : Many-core Kalray MPPA, implementation et verification
  
  
• 2018
  • RV 2018
  • VECoS 2018
  • ADSL 2018
  • GT Verif 2018
  • MeTRiD 2018
  
  
• 2017
  • RTNS 2017
  • AlgoTel 2017
  • RESSI 2017
  
  
• 2016
  • GreHack 2016
  • SSS’2016
  • Euro-Par 2016
  • FADEX 2016
  
  
• 2015
  • FORMATS 2015
  • BEeSy 2015
  
  
• 2014
  • FORMATS 2014
  • HSB 2014
  • FAC 2014
  • AVM 2014
  • ARCH14
  • ETAPS 2014
  • SynCoP 2014
  
  
• 2013
  • IWHSB 2013
  • PERSYVAL-Lab Summer School on Cyber-Physical Systems
  • WCET 2013, July 9, 2013, Paris, France
  • FIMCP 2013, May 2nd, Marrakech
  
  
• 2012
  • 20 years of Verimag, September 26-28, 2012
  • HSCC 2012, Apr 17-19, Beijing
  • CAS 2012, January 13, Grenoble
  • ICDCN 2012, January 3-6, Hong Kong, China
  
  
• 2011
  • SSS’2011, October 10-12, Grenoble
  • MEMOCODE 2011, July 11-13, Cambridge, UK
  • VVS
  • Toward Systems Biology 2011, May 30-31, June 1, Grenoble
  
  
• 2010
  • MEMOCODE 2010, July 26-28, Grenoble
  
  
• 2009
  • EMSOFT 2009 October 12 - 16, Grenoble, France
  • ARTIST Summer School in Europe 2009 - Sept 7-11, 2009 (Autrans, France)
  • CAV 2009 June 26 - July 2, Grenoble, France
  
  
• 2008
  • WFAC’2008 - October 19th, 2008 - Atlanta, Georgia (USA)
  • ACES’2008 September 29th, 2008 Toulouse, France
  • ARTIST2 Summer School 2008 in Europe, Sept 8-12, 2008 (Autrans, France)

• 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)