BEGIN:VCALENDAR X-WR-CALNAME:Synchron 2019 Program X-WR-CALID:67b08b3a-15d1-4efd-a3b7-0fdd8349d9b9:28257 PRODID:Zimbra-Calendar-Provider VERSION:2.0 METHOD:PUBLISH BEGIN:VTIMEZONE TZID:Europe/Brussels BEGIN:STANDARD DTSTART:16010101T030000 TZOFFSETTO:+0100 TZOFFSETFROM:+0200 RRULE:FREQ=YEARLY;WKST=MO;INTERVAL=1;BYMONTH=10;BYDAY=-1SU TZNAME:CET END:STANDARD BEGIN:DAYLIGHT DTSTART:16010101T020000 TZOFFSETTO:+0200 TZOFFSETFROM:+0100 RRULE:FREQ=YEARLY;WKST=MO;INTERVAL=1;BYMONTH=3;BYDAY=-1SU TZNAME:CEST END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT UID:0537d8d3-6067-4d00-aa0d-2b64383dfd2e SUMMARY:Welcoming ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T080000 DTEND;TZID="Europe/Brussels":20191125T094500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20190911T084856Z DTSTAMP:20190911T084856Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:f0aa7d6f-365d-4f6a-ae36-b1c4a097f799 SUMMARY:Albert\, Benveniste: Mathematical foundations of physical systems m odeling languages. DESCRIPTION:\nAbstract: I will develop the theory needed to build compilers for DAE based modeling languages (such as\nModelica\, Simscape). Significant progresses were made since my previous talk in Bamberg. This is joint work with\nBenoit Caillaud\, Mathias Malandain\, and Khalil Ghorbal.\n\nBenoit Ca illaud a également déposé une proposition d'exposé. Il conviendrait de mettr e les deux à la suite\, avec\nle mien en premier (Benoit parle de compil eff icace).\n\n2/ Par ailleurs je proposerai sans doute aussi une présentation m oins achevée\, à mettre en fin de la session où\nGuillaume Baudart fera sa p résentation (Probabilistic programming). Ce sera un court exposé de discussi on.\n ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T094500 DTEND;TZID="Europe/Brussels":20191125T103000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191121T165143Z DTSTAMP:20191121T165143Z SEQUENCE:7 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:7d1f364c-9f57-4a32-9bd4-c664b5211624 SUMMARY:Matheus Schuh: Time-Critical use of the MPPA / Implementation of Dat a-Flow Programs on MPPA / WCRT computing algorithm ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T140000 DTEND;TZID="Europe/Brussels":20191125T144500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162656Z DTSTAMP:20191120T162656Z SEQUENCE:7 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:1df12db0-a384-448e-afc4-aca883f2ae17 SUMMARY:Michael Mendler : Reconciling Synchrony \\& Asynchrony ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T140000 DTEND;TZID="Europe/Brussels":20191127T144500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T130025Z DTSTAMP:20191125T130025Z SEQUENCE:9 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:740c2482-a323-4f88-b7ee-f76bdca6ecde SUMMARY:Erwan Jahier : SASA: a SimulAtor of Self-stabilizing Algorithms DESCRIPTION:https://verimag.gricad-pages.univ-grenoble-alpes.fr/synchrone/sa sa \n X-ALT-DESC;FMTTYPE=text/html:
https://verimag.gricad-pages.univ-grenoble -alpes.fr/synchrone/sasa
ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T160000 DTEND;TZID="Europe/Brussels":20191127T164500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:OOF TRANSP:OPAQUE LAST-MODIFIED:20191128T090014Z DTSTAMP:20191128T090014Z SEQUENCE:39 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:f528959f-293e-4eff-9189-1b391e6509b2 SUMMARY:Sina Mundhenk: Optimizing the Scheduling of Synchronous Programs tho ugh Monte Carlo Simulation DESCRIPTION:Sina Mundhenk Optimizing the Scheduling of Synchronous Programs though Monte Carlo Simulation \n X-ALT-DESC;FMTTYPE=text/html:
Sina Mundhenk  \;Opti mizing the Scheduling of Synchronous Programs though Monte Carlo Simulation  \;
ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191129T090000 DTEND;TZID="Europe/Brussels":20191129T094500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T161423Z DTSTAMP:20191120T161423Z SEQUENCE:11 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:9ffba465-f4df-4224-b2e2-a19e61c2b991 SUMMARY:Dumitru Potop Butucaru: Efficient parallelization of hard real-time systems ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T090000 DTEND;TZID="Europe/Brussels":20191127T094500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T144226Z DTSTAMP:20191125T144226Z SEQUENCE:6 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:de549257-e469-4248-8972-f88306784e99 SUMMARY:Arash Shafiei : RDF : Reconfigurable Data Flow Model of Computation ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T160000 DTEND;TZID="Europe/Brussels":20191128T164500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T143348Z DTSTAMP:20191125T143348Z SEQUENCE:10 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:ab7ef6ef-275e-45a6-a947-4027d7cc9390 SUMMARY:Tim Engel : Policy-synchronised and Clock-deterministic Shared Memor y in Haskell ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T144500 DTEND;TZID="Europe/Brussels":20191127T153000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T130031Z DTSTAMP:20191125T130031Z SEQUENCE:9 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:029cc2b5-8678-40f5-84ea-4b683df40ed1 SUMMARY:Guillaume Iooss: Lustre\, OpenCL\, non-determinism ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T140000 DTEND;TZID="Europe/Brussels":20191128T144500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191121T102507Z DTSTAMP:20191121T102507Z SEQUENCE:6 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:31bdb114-674b-45fe-8540-257d75efa4a3 SUMMARY:Dinner ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T193000 DTEND;TZID="Europe/Brussels":20191125T203000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085016Z DTSTAMP:20190911T085016Z SEQUENCE:3 END:VEVENT BEGIN:VEVENT UID:de3682c2-6fe6-44bf-b11a-16f48a3bc0fb SUMMARY:Dinner ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T193000 DTEND;TZID="Europe/Brussels":20191127T203000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085113Z DTSTAMP:20190911T085113Z SEQUENCE:4 END:VEVENT BEGIN:VEVENT UID:43d727dd-704c-45e0-9fe4-69b8bc55f7ba SUMMARY:Dinner ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191126T193000 DTEND;TZID="Europe/Brussels":20191126T203000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085108Z DTSTAMP:20190911T085108Z SEQUENCE:4 END:VEVENT BEGIN:VEVENT UID:3c123e81-f88e-4ef4-a6c7-e7073af0ff45 SUMMARY:Dinner ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T193000 DTEND;TZID="Europe/Brussels":20191128T203000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085118Z DTSTAMP:20190911T085118Z SEQUENCE:4 END:VEVENT BEGIN:VEVENT UID:7770db4a-808d-4e5d-b4dd-c96952d9b1aa SUMMARY:Lunch ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T123000 DTEND;TZID="Europe/Brussels":20191128T133000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085208Z DTSTAMP:20190911T085208Z SEQUENCE:5 END:VEVENT BEGIN:VEVENT UID:eb77ddfc-e488-4036-8fbb-0e04a44861e9 SUMMARY:Lunch ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T123000 DTEND;TZID="Europe/Brussels":20191127T133000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085207Z DTSTAMP:20190911T085207Z SEQUENCE:4 END:VEVENT BEGIN:VEVENT UID:5e7f89ad-5e26-4607-bca1-11509b8c9502 SUMMARY:Lunch ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T123000 DTEND;TZID="Europe/Brussels":20191125T133000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085204Z DTSTAMP:20190911T085204Z SEQUENCE:4 END:VEVENT BEGIN:VEVENT UID:e6463eca-d5f8-464b-b0ca-5358f1aaf56d SUMMARY:Lunch ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191126T123000 DTEND;TZID="Europe/Brussels":20191126T133000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085206Z DTSTAMP:20190911T085206Z SEQUENCE:7 END:VEVENT BEGIN:VEVENT UID:e3bb558f-4789-4346-b065-738717e8c449 SUMMARY:Lunch ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191129T123000 DTEND;TZID="Europe/Brussels":20191129T133000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:FREE TRANSP:TRANSPARENT LAST-MODIFIED:20190911T085210Z DTSTAMP:20190911T085210Z SEQUENCE:3 END:VEVENT BEGIN:VEVENT UID:9125dd99-551a-44d5-902c-9a544b5fb19d SUMMARY:Ismail Lahkim Bennani : Property-based testing of Hybrid Synchronous Systems DESCRIPTION:\n X-ALT-DESC;FMTTYPE=text/html: ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T144500 DTEND;TZID="Europe/Brussels":20191128T153000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:OOF TRANSP:OPAQUE LAST-MODIFIED:20191125T095515Z DTSTAMP:20191125T095515Z SEQUENCE:3 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:6f6f8432-f318-4fcc-b869-563954976905 SUMMARY:Lena Grimm : From Lustre to Graphical Dataflow Programs DESCRIPTION:\n X-ALT-DESC;FMTTYPE=text/html: ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191126T104500 DTEND;TZID="Europe/Brussels":20191126T113000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:OOF TRANSP:OPAQUE LAST-MODIFIED:20191125T095559Z DTSTAMP:20191125T095559Z SEQUENCE:3 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:10b7bbed-e0fe-4fcf-9e3f-b1f6d427edaf SUMMARY:Kai Engelhardt : Driving a car with Lustre - Ambitions\, Beliefs\ , Challenges DESCRIPTION:\n X-ALT-DESC;FMTTYPE=text/html: ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T164500 DTEND;TZID="Europe/Brussels":20191127T173000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T165021Z DTSTAMP:20191125T165021Z SEQUENCE:4 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:2dbbf192-7768-41dc-a411-f63ab38f19b5 SUMMARY:Eugene Yip : A Multi-Rate Extension of the ForeC Precision Timed Pro gramming Language for Multi-Cores ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T113000 DTEND;TZID="Europe/Brussels":20191125T121500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162644Z DTSTAMP:20191120T162644Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:bd131ef7-ed54-475b-a721-8e4bff168526 SUMMARY:Benoît\, Caillaud : An Implicit Structural Analysis Method for Mult i-Mode DAE Systems ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T104500 DTEND;TZID="Europe/Brussels":20191125T113000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162633Z DTSTAMP:20191120T162633Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:e75a65fc-bf6b-4dc3-a862-1c49836b7d79 SUMMARY:Dan Ghica: Transparent Synchronous Dataflow ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T104500 DTEND;TZID="Europe/Brussels":20191128T113000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191128T104145Z DTSTAMP:20191128T104145Z SEQUENCE:5 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:94581c65-6703-4a68-8ba9-f04c8b040502 SUMMARY:Guillaume Baudart : Reactive Probabilistic Programming ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T104500 DTEND;TZID="Europe/Brussels":20191127T113000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162906Z DTSTAMP:20191120T162906Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:e6417140-aa9a-4f87-977a-bf52237d052d SUMMARY:Albert Benveniste : Probabilistic PRogramming ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T113000 DTEND;TZID="Europe/Brussels":20191127T121500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162919Z DTSTAMP:20191120T162919Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:e5326142-570c-41fb-8b25-678accc38db0 SUMMARY:MichaeL Mendler : Towards Object-Oriented Modeling in SCCharts ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191129T094500 DTEND;TZID="Europe/Brussels":20191129T103000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191127T074345Z DTSTAMP:20191127T074345Z SEQUENCE:4 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:4e739f55-13d1-4321-a2e5-30cb3284bb1b SUMMARY:Timothy Bourke: Even more proofs about Lustre in Coq ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T094500 DTEND;TZID="Europe/Brussels":20191127T103000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T223023Z DTSTAMP:20191125T223023Z SEQUENCE:4 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:d9d744ed-53fe-4291-b062-85a77a861609 SUMMARY:Lélio Brun : An intermediate language in Vélus for handling modula r reset ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T094500 DTEND;TZID="Europe/Brussels":20191128T103000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162947Z DTSTAMP:20191120T162947Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:85128fe8-66d4-48c7-91c7-f679d69aba0c SUMMARY:Discussion on a Synchronous Conference ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191127T174500 DTEND;TZID="Europe/Brussels":20191127T183000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191126T080138Z DTSTAMP:20191126T080138Z SEQUENCE:3 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:2c1d0f97-d8e0-4cc0-96e1-fc2d3d9128ee SUMMARY:Marc Pouzet: A Coiterative Synchronous Semantics (work in progress) ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T113000 DTEND;TZID="Europe/Brussels":20191128T121500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191129T100806Z DTSTAMP:20191129T100806Z SEQUENCE:5 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:f594b3bc-d3ba-45fb-adf7-df60fe4eb3b4 SUMMARY:Hugo Wang: bi-criteria optimisation for PretC ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191129T104500 DTEND;TZID="Europe/Brussels":20191129T113000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191129T095728Z DTSTAMP:20191129T095728Z SEQUENCE:5 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:6b9b4c2a-fed3-4347-a8ed-cfc6e182bb98 SUMMARY:Friedrich Gretz : Programming Blech ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191126T090000 DTEND;TZID="Europe/Brussels":20191126T103000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T165013Z DTSTAMP:20191125T165013Z SEQUENCE:7 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:fd27dfb8-5d4f-4e01-835b-fb4bc7ab7496 SUMMARY:Reinhard Von Hanxleden: Synthesizing Manually Verifiable Code for S CCharts ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191126T113000 DTEND;TZID="Europe/Brussels":20191126T121500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T130036Z DTSTAMP:20191125T130036Z SEQUENCE:5 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:24d48536-9d98-4cfe-9afe-640a5df816de SUMMARY:Adrien Guatto : Programming with Time Warps ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T164500 DTEND;TZID="Europe/Brussels":20191125T173000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162735Z DTSTAMP:20191120T162735Z SEQUENCE:5 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:a62f0bb0-8c8b-4f88-a781-c6d6517412e3 SUMMARY:Cyril Six: Porting and optimizing CompCert for a VLIW processor (Kalray Coolidge) ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T160000 DTEND;TZID="Europe/Brussels":20191125T164500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162722Z DTSTAMP:20191120T162722Z SEQUENCE:3 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:0cd1a454-9353-4612-805b-ef60c2ed0e89 SUMMARY:Vincent Morice:Adding Diagnostic Capabilities to System-On-Chip Digi tal Twins ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T144500 DTEND;TZID="Europe/Brussels":20191125T153000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191120T162708Z DTSTAMP:20191120T162708Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:00c45911-8b82-4b77-b836-ef6a2e061873 SUMMARY:Luke Burke: Hype and hyperintensionality ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T164500 DTEND;TZID="Europe/Brussels":20191128T173000 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191127T125810Z DTSTAMP:20191127T125810Z SEQUENCE:5 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:b33f2448-bef8-4408-b2db-28dc12b165b1 SUMMARY:Discussion on the program schedule DESCRIPTION:Dear Synchron participants\,\n\nThe Synchron 2019 program schedu le is a reactive program\; its reacts to\nits environment: weather forecast \, number of talks\, Marc's suggestions\,\netc.\n\nI've added this session to compute collegially the best schedule. ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191125T173000 DTEND;TZID="Europe/Brussels":20191125T174500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T141139Z DTSTAMP:20191125T141139Z SEQUENCE:2 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:42708501-bb5e-439f-ab16-fecfbb0928ad SUMMARY:Robert De Simone: Communicationg Networks of Data Flow Networks with limited memory: an approximate title ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191128T090000 DTEND;TZID="Europe/Brussels":20191128T094500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191125T181714Z DTSTAMP:20191125T181714Z SEQUENCE:5 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT BEGIN:VEVENT UID:c07a682b-489a-4933-aaa2-bfbe7965598f SUMMARY:Dan Ghica: String Diagram semantics for digital circuits ORGANIZER;CN=Erwan Jahier:mailto:erwan.jahier@univ-grenoble-alpes.fr DTSTART;TZID="Europe/Brussels":20191129T113000 DTEND;TZID="Europe/Brussels":20191129T121500 STATUS:CONFIRMED CLASS:PUBLIC X-MICROSOFT-CDO-INTENDEDSTATUS:BUSY TRANSP:OPAQUE LAST-MODIFIED:20191128T105949Z DTSTAMP:20191128T105949Z SEQUENCE:3 BEGIN:VALARM ACTION:DISPLAY TRIGGER;RELATED=START:-PT5M DESCRIPTION:Reminder END:VALARM END:VEVENT END:VCALENDAR