Jour Semaine ouvrée Semaine Mois Aujourd’hui 27/11 2025   jeudi 27 novembre       08:00                 09:00   09:00 Jean Guyomarc’h "WCET: from "problem solved" to an open research/industrial problem"       09:45 Pascal Raymond "Exploiting Modes for Timing Analysis" 10:00     10:15 Coffee break     10:45 Bruno Ferres "Formal Models of Integrated Circuits for Electrical Verification at Transistor Level"" 11:00       11:30 Etienne Parent "Presentation of the Shannon meets Cray project"   12:00       12:15 Lunch     13:00               14:00   14:00 Social walk 18:00       15:00         16:00         17:00         18:00                 19:00           19:30 Dinner   20:00             Synchron 2025 Program.ics GMT +01:00 Bruxelles, Copenhague, Madrid, Paris