Jour Semaine ouvrée Semaine Mois Aujourd’hui 25/11 2019   lundi 25 novembre       08:00   08:00 Welcoming 09:45       09:00         09:45 Albert, Benveniste: Mathematical foundations of physical systems modeling languages. 10:00           10:45 Benoît, Caillaud : An Implicit Structural Analysis Method for Multi-Mode DAE Systems 11:00       11:30 Eugene Yip : A Multi-Rate Extension of the ForeC Precision Timed Programming Language for Multi-Cores   12:00         12:30 Lunch   13:00             14:00   14:00 Matheus Schuh: Time-Critical use of the MPPA / Implementation of Data-Flow Programs on MPPA / WCRT computing algorithm       14:45 Vincent Morice:Adding Diagnostic Capabilities to System-On-Chip Digital Twins 15:00             16:00   16:00 Cyril Six: Porting and optimizing CompCert for a VLIW processor (Kalray Coolidge)       16:45 Adrien Guatto : Programming with Time Warps 17:00       17:30   Discussion on the program schedule     18:00                 19:00           19:30 Dinner   20:00             Synchron 2019 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris