09:00 - 10:00 Joint Talk FSCD + CADE:  Jasmin Blanchette
Lambda-Superposition: From Theory to Trophy

10:00 - 10:30 Coffee Break

Chair:  Sandra Kiefer

10:30 - 10:40 Opening and organisational topics

10:40 - 11:00 Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees

11:00 - 11:20 Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Schütze, Georg Zetzsche
Unboundedness problems for machines with reversal-bounded counters 

11:20 - 11:40 Manon Blanc and Olivier Bournez 
Measuring the robustness of the dynamical systems. Relating time and space to length and precision

11:40 - 12:30 Invited Talk:  Marie Kerjean
From functional analysis to proofs and program

12:30 - 14:00 Lunch

Chair:  Daniele Nantes

14:00 - 14:20 Delia Kesner, Mariana Milicich, Luiz Carlos Pereira, Elaine Pimentel
Ecumenical types

14:20 - 14:40 Shufang Zhu
Reactive Synthesis of Linear Temporal Logic on Finite Traces

14:40 - 15:00 Safa Zouari
Logical Characterization of Concurrent Bisimulation over Higher Dimensional Automata

15:00 - 15:20 Mirjana Ilic
A Relevant Logic with Strong Negation

15:20 - 16:00 Poster Session (40 min.) + Coffee Break (30 min.)

Chair:  Tephilla Prince

16:00 - 16:50 Invited Talk:  Sandra Alves
Quantitative Weak Linearisation

16:50 - 17:10 Pamina Georgiou
Tales of Automated Software Verification with First-order Theorem Provers

17:10 - 17:30 Daphne Wang and Mehrnoosh Sadrzadeh
Presheaf Models of Human Parsing

17:30 - 18:00 WiL Business Meeting

19:15 -  open Informal Social Event at La Base Ristorante, Via Cavour, 270, 00185 Roma