➡️ OVERALL PROGRAM of the FM’19 CONGRESS – please browse the table below. ⬅️
The final programs of the following FM’19 events, as generated by EasyChair’s smart program technology, are available from:
AFFORD (Oct 7) | DS (Oct 7) | DataMod (Oct 7-8) | F-IDE (Oct 7) | FM (Oct 9-11) | FMAS (Oct 11) | FMBC (Oct 11) | FMIS (Oct 7) | FMTea (Oct 7) | HFM (Oct 11) | LOPSTR (Oct 8-10) | MPC (Oct 7-9) | NSAD (Oct 8) | OVT (Oct 7) | OpenCERT (Oct 7) | PPDP (Oct 7-9) | REFINE (Oct 7) | RPLA (Oct 9) | RV (Oct 8-11) | SAS (Oct 9-11) | SG65 (Oct 8) | TAP (Oct 9-11) | TAPAS (Oct 8) | UTP (Oct 8) | VECoS (Oct 9) | i-Day (Oct 11)
The table below records where and when all sessions of the events of the FM Week of the FM’19 world congress will take place.
Legend 
(cf. the map aside):
- AP – Alfândega do Porto
- WoD – World of Discoveries
- VP – Hotel Vincci Porto
Please search and / or sort the table at your convenience.
By clicking the name of an event you will get the detailed program as prepared by the event chair(s).
NB: The information below is subject to minor changes until the start of the FM’19 Congress.
FM’19 Program
| Event | Room | Where | Date | Session | Start | End |
|---|---|---|---|---|---|---|
| - | Hall | AP | Oct-07 | Registration Opening | 08h15 | |
| DataMod 2019 | - | - | Oct-07 | Session 1: No talks scheduled to allow for attendence of keynotes at other workshops. | 09h00 | 10h00 |
| FMTea 2019 | AWS | AP | Oct-07 | Session 1: Invited Lecture | 09h00 | 10h00 |
| PPDP 2019 | Sony | AP | Oct-07 | Session 1: PPDP Invited Talk  | 09h00 | 10h00 |
| DS 2019 | AP | Oct-07 | Session 1 - Invited Talk | 09h00 | 10h00 | |
| MPC 2019 | Miragaia | AP | Oct-07 | Session 1: MPC Keynote | 09h00 | 10h00 |
| AFFORD 2019 | Arrabida | AP | Oct-07 | Session 1: Keynote | 09h00 | 10h00 |
| FMIS 2019 | Arrabida | AP | Oct-07 | Session 1 - AFFORD Keynote (joint session) | 09h00 | 10h00 |
| OVT 2019 | Porto | AP | Oct-07 | Session 1 | 09h00 | 10h00 |
| F-IDE 2019 | Bolsa-1 | VP | Oct-07 | Session 1: Keynote: Wolfgang Ahrendt | 09h00 | 10h00 |
| OpenCERT 2019 | Bolsa-2 | VP | Oct-07 | Session 1: Opening | 09h00 | 09h05 |
| OpenCERT 2019 | Bolsa-2 | VP | Oct-07 | Session 2: Keynote Talk by Andreas Meiszner | 09h05 | 10h00 |
| - | Bar | VP | Oct-07 | Coffee Break | 10h00 | 10h30 |
| - | Hall | AP | Oct-07 | Coffee Break | 10h00 | 10h30 |
| FMTea 2019 | AWS | AP | Oct-07 | Session 2: Tutorial Lectures | 10h30 | 12h30 |
| PPDP 2019 | Sony | AP | Oct-07 | Session 2: Lambda Calculus and Type Theory | 10h30 | 12h30 |
| DS 2019 | AP | Oct-07 | Session 2 | 10h30 | 12h30 | |
| MPC 2019 | Miragaia | AP | Oct-07 | Session 2 | 10h30 | 12h30 |
| FMIS 2019 | S.Joao | AP | Oct-07 | Session 2: Paper presentations | 10h30 | 12h30 |
| AFFORD 2019 | Arrabida | AP | Oct-07 | Session 2: Regular Papers | 10h30 | 12h30 |
| OVT 2019 | Porto | AP | Oct-07 | Session 2 | 10h30 | 12h30 |
| DataMod 2019 | Auditorium | WoD | Oct-07 | Session 2: Verification | 10h30 | 12h30 |
| F-IDE 2019 | Bolsa-1 | VP | Oct-07 | Session 2: Verification | 10h30 | 12h30 |
| OpenCERT 2019 | Bolsa-2 | VP | Oct-07 | Session 3: Student Experience Papers | 10h30 | 11h30 |
| REFINE 2019 | Ceuta | WoD | Oct-07 | Session 1: Invited talk | 11h00 | 12h00 |
| OpenCERT 2019 | Bolsa-2 | VP | Oct-07 | Session 4: Survey and Research Papers | 11h30 | 12h30 |
| REFINE 2019 | Ceuta | WoD | Oct-07 | Session 2 | 12h00 | 12h30 |
| - | TBA | AP | Oct-07 | Lunch | 12h30 | 14h00 |
| FMTea 2019 | AWS | AP | Oct-07 | Session 3: Teaching Program Verification | 14h00 | 15h00 |
| PPDP 2019 | Sony | AP | Oct-07 | Session 3: Term Rewriting | 14h00 | 15h00 |
| DS 2019 | AP | Oct-07 | Session 3 | 14h00 | 15h00 | |
| MPC 2019 | Miragaia | AP | Oct-07 | Session 3 | 14h00 | 15h00 |
| FMIS 2019 | S.Joao | AP | Oct-07 | Session 3: FMIS Keynote (Michael D. Harrison, Newcastle) | 14h00 | 15h00 |
| AFFORD 2019 | Arrabida | AP | Oct-07 | Session 3: Regular Papers | 14h00 | 15h00 |
| OVT 2019 | Porto | AP | Oct-07 | Session 3 | 14h00 | 15h00 |
| DataMod 2019 | Auditorium | WoD | Oct-07 | Session 3: Data-driven Models | 14h00 | 15h00 |
| REFINE 2019 | Ceuta | WoD | Oct-07 | Session 3 | 14h00 | 15h00 |
| F-IDE 2019 | Bolsa-1 | VP | Oct-07 | Session 3: Proof Systems | 14h00 | 15h00 |
| OpenCERT 2019 | Bolsa-2 | VP | Oct-07 | Session 5: Position and Project Papers | 14h00 | 15h00 |
| FMTea 2019 | AWS | AP | Oct-07 | Session 4: FMTea19 Poster Session (at coffee break) | 15h00 | 15h30 |
| - | Bar | VP | Oct-07 | Coffee Break | 15h00 | 15h30 |
| - | Hall | AP | Oct-07 | Coffee Break | 15h00 | 15h30 |
| FMTea 2019 | AWS | AP | Oct-07 | Session 5: Teaching Program Development | 15h30 | 16h40 |
| PPDP 2019 | Sony | AP | Oct-07 | Session 4: Programming Language Semantics | 15h30 | 17h00 |
| DS 2019 | AP | Oct-07 | Session 4 | 15h30 | 17h30 | |
| MPC 2019 | Miragaia | AP | Oct-07 | Session 4 | 15h30 | 17h00 |
| FMIS 2019 | S.Joao | AP | Oct-07 | Session 4: Paper presentations | 15h30 | 17h00 |
| AFFORD 2019 | Arrabida | AP | Oct-07 | Session 4: Discussions | 15h30 | 17h00 |
| OVT 2019 | Porto | AP | Oct-07 | Session 4 | 15h30 | 16h10 |
| DataMod 2019 | Auditorium | WoD | Oct-07 | Session 4: Modelling | 15h30 | 16h30 |
| REFINE 2019 | Ceuta | WoD | Oct-07 | Session 4 | 15h30 | 17h00 |
| F-IDE 2019 | Bolsa-1 | VP | Oct-07 | Session 4: Simulation | 15h30 | 16h30 |
| OpenCERT 2019 | Bolsa-2 | VP | Oct-07 | Session 6: Discussion and Closing | 15h30 | 16h30 |
| OVT 2019 | Porto | AP | Oct-07 | Session 5: INTO-CPS Association Plenary | 16h10 | 18h00 |
| FMTea 2019 | AWS | AP | Oct-07 | Session 6: Effective Teaching Techniques | 16h40 | 18h00 |
| FMIS 2019 | S.Joao | AP | Oct-07 | Session 5: Plenary discussion and closing | 17h00 | 17h30 |
| - | Pier | AP | Oct-07 | Welcome Reception | 18h00 | 19h30 |
| LOPSTR 2019 | AWS | AP | Oct-08 | Session 1 (Opening) | 08h45 | 09h00 |
| MPC 2019 | AWS | AP | Oct-08 | Session 5: Opening Remarks | 08h45 | 09h00 |
| PPDP 2019 | AWS | AP | Oct-08 | Session 5: UTP Keynote | 08h45 | 10h00 |
| RV 2019 | AWS | AP | Oct-08 | Session 1: Opening Remarks | 08h45 | 09h00 |
| UTP 2019 | AWS | AP | Oct-08 | Session 1: Opening remarks | 08h45 | 09h00 |
| DataMod 2019 | - | - | Oct-08 | Session 5: No talks scheduled to allow for attendence of keynotes at other workshops. | 09h00 | 10h00 |
| LOPSTR 2019 | AWS | AP | Oct-08 | Session 2: UTP Keynote | 09h00 | 10h00 |
| MPC 2019 | AWS | AP | Oct-08 | Session 6: UTP Keynote | 09h00 | 10h00 |
| RV 2019 | AWS | AP | Oct-08 | Session 2: Keynote (Joint Session with UTP) | 09h00 | 10h00 |
| UTP 2019 | AWS | AP | Oct-08 | Session 2: Keynote | 09h00 | 10h00 |
| SG65 | AWS | AP | Oct-08 | UTP Keynote | 09h00 | 10h00 |
| NSAD 2019 | AP | Oct-08 | Welcome | 09h15 | 09h30 | |
| TAPAS 2019 | AP | Oct-08 | Welcome | 09h15 | 09h30 | |
| NSAD 2019 | AP | Oct-08 | Session 1 - Invited talk (shared with TAPAS) | 09h30 | 10h00 | |
| TAPAS 2019 | AP | Oct-08 | Session 1: Invited talk (shared with NSAD) | 09h30 | 10h00 | |
| - | Bar | VP | Oct-08 | Coffee Break | 10h00 | 10h30 |
| - | Hall | AP | Oct-08 | Coffee Break | 10h00 | 10h30 |
| UTP 2019 | AWS | AP | Oct-08 | Session 3: Unification Approaches | 10h30 | 12h30 |
| PPDP 2019 | Sony | AP | Oct-08 | Session 6: Programming Languages and Compilers | 10h30 | 12h30 |
| TAPAS 2019 | AP | Oct-08 | Session 2 | 10h30 | 12h30 | |
| MPC 2019 | Miragaia | AP | Oct-08 | Session 7 | 10h30 | 12h30 |
| RV 2019 | S.Joao | AP | Oct-08 | Session 3A: Tutorial | 10h30 | 12h30 |
| SG65 | Arrabida | AP | Oct-08 | Session 1: Opening and Homage | 10h30 | 11h00 |
| RV 2019 | Porto | AP | Oct-08 | Session 3B: Tutorial | 10h30 | 12h30 |
| LOPSTR 2019 | Auditorium | WoD | Oct-08 | Session 3: Static Analysis | 10h30 | 12h30 |
| NSAD 2019 | Ceuta | WoD | Oct-08 | Session 2 | 10h30 | 12h30 |
| DataMod 2019 | Bolsa-1 | VP | Oct-08 | Session 6: Data Analysis with Models | 10h30 | 12h30 |
| SG65 | Arrabida | AP | Oct-08 | Session 2: Software Engineering | 11h00 | 11h15 |
| SG65 | Arrabida | AP | Oct-08 | Session 3: Formal Methods and Tools | 11h15 | 12h30 |
| - | TBA | AP | Oct-08 | Lunch | 12h30 | 14h00 |
| UTP 2019 | AWS | AP | Oct-08 | Session 4: Hybrid Models | 14h00 | 15h00 |
| LOPSTR 2019 | Sony | AP | Oct-08 | Session 4: LOPSTR & PPDP Invited talk | 14h00 | 15h00 |
| PPDP 2019 | Sony | AP | Oct-08 | Session 7: PPDP and LOPSTR Invited talk | 14h00 | 15h00 |
| NSAD 2019 | AP | Oct-08 | Session 3: Invited talk (shared with TAPAS) | 14h00 | 15h00 | |
| TAPAS 2019 | AP | Oct-08 | Session 3: Invited talk (shared with NSAD) | 14h00 | 15h00 | |
| MPC 2019 | Miragaia | AP | Oct-08 | Session 8: MPC Keynote | 14h00 | 15h00 |
| RV 2019 | S.Joao | AP | Oct-08 | Session 4A: Tutorial | 14h00 | 15h00 |
| SG65 | Arrabida | AP | Oct-08 | Session 4: Requirements Engineering / Natural Language Processing | 14h00 | 14h30 |
| RV 2019 | Porto | AP | Oct-08 | Session 4B: Tutorial | 14h00 | 15h00 |
| DataMod 2019 | Bolsa-1 | VP | Oct-08 | Session 7: Presentation Reports | 14h00 | 15h00 |
| SASB 2019 | Bolsa-2 | VP | Oct-08 | Miguel P. Rocha (Keynote speaker) | 14h00 | 14h45 |
| SG65 | Arrabida | AP | Oct-08 | Session 5: Software Product Lines | 14h30 | 15h00 |
| SASB 2019 | Bolsa-2 | VP | Oct-08 | Sébastien Légaré | 14h45 | 15h05 |
| - | Bar | VP | Oct-08 | Coffee Break | 15h00 | 15h30 |
| - | Hall | AP | Oct-08 | Coffee Break | 15h00 | 15h30 |
| UTP 2019 | AWS | AP | Oct-08 | Session 5: Concurrency | 15h30 | 17h00 |
| PPDP 2019 | Sony | AP | Oct-08 | Session 8: Functional and Logic Programming | 15h30 | 17h00 |
| TAPAS 2019 | AP | Oct-08 | Session 4: Invited talk | 15h30 | 16h00 | |
| MPC 2019 | Miragaia | AP | Oct-08 | Session 9 | 15h30 | 17h00 |
| RV 2019 | S.Joao | AP | Oct-08 | Session 5A: Tutorial | 15h30 | 16h30 |
| SG65 | Arrabida | AP | Oct-08 | Session 6: Formal Verification | 15h30 | 16h45 |
| RV 2019 | Porto | AP | Oct-08 | Session 5B: Tutorial | 15h30 | 16h30 |
| LOPSTR 2019 | Auditorium | WoD | Oct-08 | Session 5: Program synthesis | 15h30 | 16h30 |
| NSAD 2019 | Ceuta | WoD | Oct-08 | Session 4 | 15h30 | 17h00 |
| DataMod 2019 | Bolsa-1 | VP | Oct-08 | Session 8: Panel/Discussion | 15h30 | 16h30 |
| SASB 2019 | Bolsa-2 | VP | Oct-08 | Matej Troják, David Šafránek, Jan Červený, Lubos Brim, Lukrécia Mertová | 15h30 | 15h55 |
| SASB 2019 | Bolsa-2 | VP | Oct-08 | Gareth Molyneux, Viraj Brian Wijesuriya, Alessandro Abate | 15h55 | 16h20 |
| TAPAS 2019 | AP | Oct-08 | Session 5 | 16h00 | 17h30 | |
| SASB 2019 | Bolsa-2 | VP | Oct-08 | Anne Siegel (Keynote speaker) | 16h20 | 17h05 |
| - | Porto | AP | Oct-08 | Luigia Petre: COST action meeting | 16h30 | 17h30 |
| SG65 | Arrabida | AP | Oct-08 | Break | 16h45 | 17h15 |
| MH60 | Auditorium | WoD | Oct-08 | Opening session | 16h45 | 17h00 |
| UTP 2019 | AWS | AP | Oct-08 | Session 6: Closing remarks | 17h00 | 17h10 |
| MH60 | Auditorium | WoD | Oct-08 | Session 1 | 17h00 | 18h00 |
| SASB 2019 | Bolsa-2 | VP | Oct-08 | Evan Becker, Kara Bocan, Natasa Miskov-Zivanov | 17h05 | 17h30 |
| SG65 | Arrabida | AP | Oct-08 | Session 7: Applications | 17h15 | 18h00 |
| SASB 2019 | Bolsa-2 | VP | Oct-08 | Yvan Sraka and Jérôme Feret | 17h30 | 17h50 |
| MH60 | - | WoD | Oct-08 | Break | 18h00 | 18h15 |
| SG65 | Arrabida | AP | Oct-08 | Session 8: Closing | 18h00 | 18h30 |
| MH60 | Auditorium | WoD | Oct-08 | Session 2 | 18h15 | 19h15 |
| MH60 | Auditorium | WoD | Oct-08 | Closing session | 19h15 | 19h30 |
| VECoS 2019 | S.Joao | AP | Oct-09 | Session 1: Opening Session | 08h45 | 09h00 |
| FM 2019 | AWS | AP | Oct-09 | Opening FM 2019 | 08h50 | 09h00 |
| FM 2019 | AWS | AP | Oct-09 | Session 1: Keynote 1 | 09h00 | 10h00 |
| MPC 2019 | AWS | AP | Oct-09 | Session 10: FM Keynote | 09h00 | 10h00 |
| PPDP 2019 | Sony | AP | Oct-09 | Session 9: The PPDP Most Influential Paper 10-Year Award | 09h00 | 10h00 |
| SAS 2019 | AP | Oct-09 | Session 1: Keynote: Mayur Naik | 09h00 | 10h00 | |
| VECoS 2019 | S.Joao | AP | Oct-09 | Session 2: Invited talk | 09h00 | 10h00 |
| RV 2019 | Porto | AP | Oct-09 | Session 6: Invited Talk (Room Porto) | 09h00 | 10h00 |
| DALI 2019 | Ceuta | WoD | Oct-09 | Session 1 | 09h00 | 10h00 |
| RPLA 2019 | Bolsa-2 | VP | Oct-09 | Session 1: Invited Talk | 09h00 | 10h00 |
| - | Bar | VP | Oct-09 | Coffee Break | 10h00 | 10h30 |
| - | Hall | AP | Oct-09 | Coffee Break | 10h00 | 10h30 |
| FM 2019 | AWS | AP | Oct-09 | Session 2A: Verification | 10h30 | 12h30 |
| PPDP 2019 | Sony | AP | Oct-09 | Session 10: Applications | 10h30 | 12h30 |
| SAS 2019 | AP | Oct-09 | Session 2: Pointers and Dataflow | 10h30 | 12h30 | |
| MPC 2019 | Miragaia | AP | Oct-09 | Session 11 | 10h30 | 12h30 |
| VECoS 2019 | S.Joao | AP | Oct-09 | Session 3: Modeling and Verification | 10h30 | 12h00 |
| FM 2019 | Arrabida | AP | Oct-09 | Session 2B: Synthesis Techniques | 10h30 | 12h30 |
| RV 2019 | Porto | AP | Oct-09 | Session 7: Specification and Monitoring | 10h30 | 12h30 |
| LOPSTR 2019 | Auditorium | WoD | Oct-09 | Session 6: Constraints and unification | 10h30 | 12h30 |
| DALI 2019 | Ceuta | WoD | Oct-09 | Session 2 | 10h30 | 12h30 |
| RPLA 2019 | Bolsa-2 | VP | Oct-09 | Session 2 | 10h30 | 12h00 |
| - | TBA | AP | Oct-09 | Lunch | 12h30 | 14h00 |
| - | Arrabida | AP | Oct-09 | FMICS SC meeting | 13h00 | 14h00 |
| FM 2019 | AWS | AP | Oct-09 | Session 3: Lucas Award | 14h00 | 15h00 |
| LOPSTR 2019 | Sony | AP | Oct-09 | Session 7: LOPSTR & PPDP Invited talk | 14h00 | 15h00 |
| PPDP 2019 | Sony | AP | Oct-09 | Session 11: LOPSTR and PPDP Invited talk | 14h00 | 15h00 |
| SAS 2019 | AP | Oct-09 | Session 3: Keynote: Caterina Urban | 14h00 | 15h00 | |
| MPC 2019 | Miragaia | AP | Oct-09 | Session 12 | 14h00 | 15h00 |
| TAP 2019 | S.Joao | AP | Oct-09 | Session 1: TAP Keynote | 14h00 | 15h00 |
| RV 2019 | Porto | AP | Oct-09 | Session 8: Tools and Benchmarks | 14h00 | 15h00 |
| - | Auditorium | WoD | Oct-09 | Block3 | 14h00 | 15h00 |
| DALI 2019 | Ceuta | WoD | Oct-09 | Session 3 – DaLí Keynote | 14h00 | 15h00 |
| VECoS 2019 | Bolsa-1 | VP | Oct-09 | Session 4: Invited talk | 14h00 | 15h00 |
| RPLA 2019 | Bolsa-2 | VP | Oct-09 | Session 3 | 14h15 | 15h00 |
| - | Bar | VP | Oct-09 | Coffee Break | 15h00 | 15h30 |
| - | Hall | AP | Oct-09 | Coffee Break | 15h00 | 15h30 |
| FM 2019 | AWS | AP | Oct-09 | Session 4B: Journal First Presentation 1 | 15h30 | 16h00 |
| SAS 2019 | AP | Oct-09 | Session 4: Languages and Decidability | 15h30 | 17h00 | |
| TAP 2019 | S.Joao | AP | Oct-09 | Session 2 | 15h30 | 17h00 |
| FM 2019 | Arrabida | AP | Oct-09 | Session 4A: Concurrency | 15h30 | 17h00 |
| RV 2019 | Porto | AP | Oct-09 | Session 9: Enforcement | 15h30 | 16h20 |
| LOPSTR 2019 | Auditorium | WoD | Oct-09 | Session 8: Debugging and verification | 15h30 | 17h30 |
| DALI 2019 | Ceuta | WoD | Oct-09 | Session 4 | 15h30 | 17h35 |
| VECoS 2019 | Bolsa-1 | VP | Oct-09 | Session 5: Security Analysis | 15h30 | 16h30 |
| RPLA 2019 | Bolsa-2 | VP | Oct-09 | Session 4 | 15h30 | 16h30 |
| FM 2019 | AWS | AP | Oct-09 | Session 5: Model Checking Circus | 16h00 | 17h00 |
| VECoS 2019 | Bolsa-1 | VP | Oct-09 | Session 6: Timed systems | 16h30 | 17h30 |
| FM 2019 | AWS | AP | Oct-09 | Session 6: FME Business Meeting | 17h00 | 18h00 |
| ALLOY | Miragaia | AP | Oct-09 | ALLOY meeting | 17h00 | 19h00 |
| VECoS 2019 | Bolsa-1 | VP | Oct-09 | Session 7: Closing Session | 17h30 | 17h45 |
| DALI 2019 | Ceuta | WoD | Oct-09 | Session 5 | 17h45 | 18h30 |
| FM 2019 | AWS | AP | Oct-10 | Session 7: Keynote 2 | 09h00 | 10h00 |
| KeYmaeraX | Sony | AP | Oct-10 | Session 1 - Elementary CPS | 09h00 | 10h00 |
| SAS 2019 | AP | Oct-10 | Session 5: Keynote: Somesh Jha | 09h00 | 10h00 | |
| RV 2019 | Porto | AP | Oct-10 | Session 10: Invited Talk (Room Porto) | 09h00 | 10h00 |
| LOPSTR 2019 | Auditorium | WoD | Oct-10 | Session 9: LOPSTR Invited talk | 09h00 | 10h00 |
| FRAMA-C-IoT | Bolsa-2 | VP | Oct-10 | Block1 | 09h00 | 10h00 |
| - | Bar | VP | Oct-10 | Coffee Break | 10h00 | 10h30 |
| - | Hall | AP | Oct-10 | Coffee Break | 10h00 | 10h30 |
| FM 2019 | AWS | AP | Oct-10 | Session 8A: Model Checking | 10h30 | 12h30 |
| KeYmaeraX | Sony | AP | Oct-10 | Session 2 - Practice & Advanced CPS | 10h30 | 12h30 |
| SAS 2019 | AP | Oct-10 | Session 6: Numerical | 10h30 | 12h30 | |
| TAP 2019 | S.Joao | AP | Oct-10 | Session 3 | 10h30 | 12h00 |
| FM 2019 | Arrabida | AP | Oct-10 | Session 8B: Analysis Techniques 1 | 10h30 | 12h30 |
| RV 2019 | Porto | AP | Oct-10 | Session 11: Runtime Verification with Partial Information | 10h30 | 12h30 |
| LOPSTR 2019 | Auditorium | WoD | Oct-10 | Session 10: Program transformation | 10h30 | 12h30 |
| CbC | Bolsa-1 | VP | Oct-10 | Introduction to CbC | 10h30 | 12h30 |
| FRAMA-C-IoT | Bolsa-2 | VP | Oct-10 | Block2 | 10h30 | 12h30 |
| - | TBA | AP | Oct-10 | Lunch | 12h30 | 14h00 |
| TAP 2019 | S.Joao | AP | Oct-10 | TAP SC Meeting | 13h00 | 14h00 |
| FM 2019 | AWS | AP | Oct-10 | Session 9: FME Fellowship Award Ceremony | 14h00 | 15h00 |
| KeYmaeraX | Sony | AP | Oct-10 | Session 3 - CPS Components | 14h00 | 15h00 |
| SAS 2019 | AP | Oct-10 | Session 7: Trends: Assuring Machine Learning | 14h00 | 15h00 | |
| CbC | S.Joao | AP | Oct-10 | Advanced CbC and Ongoing Research | 14h00 | 15h00 |
| RV 2019 | Porto | AP | Oct-10 | Session 12: Test of Time Award | 14h00 | 15h00 |
| FM 2019 | AWS | AP | Oct-10 | Introducing FM 2021 | 15h00 | 15h10 |
| - | Hall | AP | Oct-10 | Coffee Break | 15h00 | 15h30 |
| Social | - | - | Oct-10 | Social Program [FM, LOPSTR, RV, SAS, TAP] (inc. banquet) | 15h30 | 23h00 |
| FM 2019 | AWS | AP | Oct-11 | Session 10: Keynote 3 | 09h00 | 10h00 |
| FMBC 2019 | Sony | AP | Oct-11 | Session 1 - Opening | 09h00 | 09h05 |
| SAS 2019 | AP | Oct-11 | Session 8: Keynote: Suresh Jagannathan | 09h00 | 10h00 | |
| i-Day 2019 | Miragaia | AP | Oct-11 | Session 1: Invited talk | 09h00 | 10h00 |
| RV 2019 | Porto | AP | Oct-11 | Session 13: Invited Talk | 09h00 | 10h00 |
| HFM 2019 | Auditorium | WoD | Oct-11 | Session 1: Keynote | 09h00 | 10h00 |
| SRV | Ceuta | WoD | Oct-11 | Session 1 - Practical Demonstration | 09h00 | 10h00 |
| ALLOY | Bolsa-1 | VP | Oct-11 | Session 1: Overview | 09h00 | 10h00 |
| FMAS 2019 | Bolsa-2 | VP | Oct-11 | Session 1: Invited Speaker | 09h00 | 10h00 |
| FMBC 2019 | Sony | AP | Oct-11 | Session 2 - Keynote | 09h05 | 10h00 |
| - | Bar | VP | Oct-11 | Coffee Break | 10h00 | 10h30 |
| - | Hall | AP | Oct-11 | Coffee Break | 10h00 | 10h30 |
| FM 2019 | AWS | AP | Oct-11 | Session 11A: Analysis Techniques 2 | 10h30 | 12h30 |
| FMBC 2019 | Sony | AP | Oct-11 | Session 3 - Smart Contracts 1 | 10h30 | 12h30 |
| SAS 2019 | AP | Oct-11 | Session 9: Synthesis and Security | 10h30 | 12h30 | |
| i-Day 2019 | Miragaia | AP | Oct-11 | Session 2: Railways applications | 10h30 | 12h00 |
| TAP 2019 | S.Joao | AP | Oct-11 | Session 4 | 10h30 | 12h30 |
| FM 2019 | Arrabida | AP | Oct-11 | Session 11B: Specification Languages | 10h30 | 12h30 |
| RV 2019 | Porto | AP | Oct-11 | Session 14: Learning and Predictive Monitoring | 10h30 | 12h30 |
| HFM 2019 | Auditorium | WoD | Oct-11 | Session 2 | 10h30 | 12h30 |
| SRV | Ceuta | WoD | Oct-11 | Session 2 - Introduction to Runtime Verification | 10h30 | 11h30 |
| ALLOY | Bolsa-1 | VP | Oct-11 | Session 2: Relational logic and analysis | 10h30 | 12h30 |
| FMAS 2019 | Bolsa-2 | VP | Oct-11 | Session 2: Full Papers | 10h30 | 12h30 |
| SRV | Ceuta | WoD | Oct-11 | Session 3 - Introduction to TeSSLa - Temporal Stream-based Specification Language | 11h30 | 12h30 |
| - | TBA | AP | Oct-11 | Lunch | 12h30 | 14h00 |
| FM 2019 | AWS | AP | Oct-11 | Session 12B: Journal First Presentation 2 | 14h00 | 14h30 |
| FMBC 2019 | Sony | AP | Oct-11 | Session 4 - Verifying Consensus | 14h00 | 15h30 |
| SAS 2019 | AP | Oct-11 | Session 10: Temporal Properties and Termination | 14h00 | 15h30 | |
| i-Day 2019 | Miragaia | AP | Oct-11 | Session 3: Invited talk | 14h00 | 15h00 |
| TAP 2019 | S.Joao | AP | Oct-11 | Session 5: Invited Tutorial | 14h00 | 15h30 |
| FM 2019 | Arrabida | AP | Oct-11 | Session 12A: Reasoning Techniques | 14h00 | 15h30 |
| RV 2019 | Porto | AP | Oct-11 | Session 15: Deployment | 14h00 | 14h50 |
| HFM 2019 | Auditorium | WoD | Oct-11 | Session 3 | 14h00 | 15h30 |
| SRV | Ceuta | WoD | Oct-11 | Session 4 - TeSSLa in Practice | 14h00 | 15h30 |
| ALLOY | Bolsa-1 | VP | Oct-11 | Session 3: Temporal logic and model checking | 14h00 | 15h30 |
| FMAS 2019 | Bolsa-2 | VP | Oct-11 | Session 3: Invited Speaker and Short Paper | 14h00 | 15h00 |
| FM 2019 | AWS | AP | Oct-11 | Session 13: Modelling Languages | 14h30 | 15h30 |
| RV 2019 | Porto | AP | Oct-11 | Session 16: Closing Remarks | 14h50 | 15h30 |
| i-Day 2019 | Miragaia | AP | Oct-11 | Session 4: Industry Applications 1 | 15h00 | 15h30 |
| - | Bar | VP | Oct-11 | Coffee Break | 15h30 | 16h00 |
| - | Hall | AP | Oct-11 | Coffee Break | 15h30 | 16h00 |
| FM 2019 | AWS | AP | Oct-11 | Session 14B: Journal First Presentation 3 | 16h00 | 16h30 |
| FMBC 2019 | Sony | AP | Oct-11 | Session 5 - Smart Contracts 2 | 16h00 | 18h00 |
| i-Day 2019 | Miragaia | AP | Oct-11 | Session 4: Industry Applications 2 | 16h00 | 16h30 |
| TAP 2019 | S.Joao | AP | Oct-11 | Session 6: Discussion and Good bye | 16h00 | 17h00 |
| FM 2019 | Arrabida | AP | Oct-11 | Session 14A: Learning-Based Techniques and Applications | 16h00 | 17h30 |
| HFM 2019 | Auditorium | WoD | Oct-11 | Session 4 | 16h00 | 17h00 |
| SRV | Ceuta | WoD | Oct-11 | Session 5 - In-depth Applications | 16h00 | 17h00 |
| ALLOY | Bolsa-1 | VP | Oct-11 | Session 4: Case studies and exercises | 16h00 | 18h00 |
| FMAS 2019 | Bolsa-2 | VP | Oct-11 | Session 4: Panel Discussion | 16h00 | 17h00 |
| FM 2019 | AWS | AP | Oct-11 | Session 15: Refactoring and Reprogramming | 16h30 | 17h30 |
| HFM 2019 | Auditorium | WoD | Oct-11 | Session 5: Audience Discussion: What have formal methods ever done for us? | 17h00 | 18h00 |
| SRV | Ceuta | WoD | Oct-11 | Session 6 - Future Prospect | 17h00 | 18h00 |
| FMBC 2019 | Sony | AP | Oct-11 | Session 6 - Closing | 18h00 | 18h05 |