[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Participation: Workshop for celebrating the 20th anniversary of VERIMAG

The Verimag laboratory (http://www-verimag.imag.fr/) organizes a workshop for
celebrating its 20th anniversary. There will be invited talks by outstanding
international scientists and communications by members of Verimag. There will be
a session dedicated to Paul Caspi.

When: September 26-28, 2012

Where: "Maison Jean Kuntzmann", on the campus of Grenoble University
                                  (see map on the workshop site)


Wednesday, September 26
13:30-17:30 ­ Afternoon Session

Joseph Sifakis (EPFL, Lausanne, and Verimag):
     Rigorous System Design in BIP
Ahmed Bouajjani (LIAFA, Paris):
     Analyzing Concurrent Program Behaviors under Weak Memory Models
Reinhard Wilhelm (Saarland University):
     Embedded Systems: Many Cores - Many Problems

18:00 ­ Welcome reception

Thursday, September 27
9:00-12:30 ­ Morning Session dedicated to Paul Caspi

Albert Benveniste (IRISA/INRIA, Rennes):
     Semantics and compilation of a hybrid language
Gérard Berry (INRIA, Sophia-Antipolis et Collège de France):
     Synchronous/asynchronous Web orchestration with Hop and HipHop
Matthieu Moy (Verimag):
     Transaction-Level Models of Systems-on-a-Chip Can they be Correct,
     Faithful and Fast?

14:00-17:30 ­ Afternoon Session

Luca Benini (Universita di Bologna):
     Digital platform design in the twilight of a Moore’s Law
Gilles Barthe (IMDEA, Madrid):
     Computer-Aided Cryptographic Proofs
Jannik Dreier (Verimag):
     Computer-Aided Provable Security

Evening: Workshop dinner

Friday, September 28
9:00-12:30 ­ Morning Session

Pravin Varaiya (Berkeley University):
     The max-pressure controller for networks of signalized intersections
Tom Henzinger (IST Austria):
      Twenty Years of Real-Time and Hybrid Systems
Oded Maler (Verimag):
      Timed Systems: The Unconquered Frontier

Attendance is free, but the number of places is limited, so please register as
soon as possible at

For more info, keep an eye on