Meeting in Massa Marittima, Italy, 13 - 17 January 2020

The meeting takes place in Hotel Casa Mater Ecclesiae. The technical program is planned for Jan. 14-16; Jan 13 and 17 are travel days.

Monday:
19:00 Reception at Casa Mater Ecclesiae
Tuesday:
9:30-10:50 Talks
10:50-11:20 Coffee
11:20-12:00 Talks
12:00-14:00 Lunch
14:00-15:20 Talks
15:20-15:50 Coffee
15:50-17:50 Talks
18:45 Bus trip to social dinner (from Casa Mater Ecclesiae)
Wednesday:
9:30-10:50 Talks
10:50-11:20 Coffee
11:20-12:00 Talks
12:00-14:00 Lunch
14:00 Excursion
19:00 Social Dinner
Thursday:
9:30-10:50 Talks
10:50-11:20 Coffee
11:20-12:00 Talks
12:00-14:00 Lunch
14:00-15:20 Talks
15:20-15:50 Coffee
15:50-18:00 Business meeting

Talks

Tue, 14 January 2020

• 09:30 The Maude strategy language by Narciso Martí-Oliet      abstract slides paper
• 10:10 An Algebraic Perspective on Bayesian Reasoning by Fabio Zanasi      abstract
• 11:20 From Equational Specifications of Algebras with Structure to Varieties of Data Languages by Stefan Milius     
• 14:00 Fixpoint Equations: Games, Abstraction
 and Up-To Techniques by Paolo Baldan     
• 14:40 How far is your program from mine? by Michele Loreti      abstract
• 15:50 A Coalgebraic Approach to Unification Semantics of Logic Programming by Ugo Montanari      abstract
• 16:30 Codensity Lifting: a Unified Framework for Observations in Process Theory by Ichiro Hasuo      abstract paper
• 17:10 Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 by Dominique Méry      abstract slides paper

Wed, 15 January 2020

• 09:30 Fixpoint Theory - Upside Down by Barbara König      abstract slides
• 10:10 First order logic with string diagrams by Pawel Sobocinski      slides
• 11:20 TBD by Martin Leucker     

Thu, 16 January 2020

• 09:30 The Theory of Traces for Systems with Probability, Non-Determinism and Termination by Filippo Bonchi      abstract
• 11:20 Type-preserving compilation via dependently typed syntax in Agda by Andreas Abel      slides
• 14:00 A Generic Dynamic Logic with Applications to Interaction-based Systems by Rolf Hennicker     
• 14:40 On the correctness of Symbolic Execution by Marcello Bonsangue      abstract