The kickoff of the ModeliScale IPL will take place in Paris on July 4th-5th 2017. The exact location of the meeting is:
Room Edsger Dijkstra
Inria Paris Research Center
2 rue Simone Iff
75012 Paris
Participation is by invitation only. If you are interested, please contact Benoît Caillaud <benoit dot caillaud at inria dot fr>.
The programme is:
- July 4th
10:00-10:30 Benoît Caillaud: Opening, introduction
10:30-11:30 Sylvie Boldo: Rounding errors in discretization schemes for ODEs and PDEs
11:30-12:30 Antoine Girard: Timing contracts for embedded control systems
Lunch
14:00-15:00 Khalil Ghorbal: Structural analysis of multimode DAE systems
15:00-16:00 Albert Benveniste: Introduction to non-standard analysis
Break
16:30-17:30 Marc Pouzet: The Zélus hybrid systems modeling language
- July 5th
09:00-10:00 Sylvie Putot: Static Analysis by Abstract Interpretation of Numerical Programs and Systems
Break
10:30-11:30 Vincent Acary: Index and relative degree in complementarity systems. Modes and solution concepts.
11:30-12:30 Bernard Brogliato: Sliding-mode control
Lunch
14:00-15:00 Goran Frehse: Counterexample-Guided Refinement of Template Polyhedra
15:00-15:30 Discussion with the General Direction of Inria
15:30-17:00 Private session, restricted to ModeliScale members
