Program

09:00 - 10:30 Session 1

CHAIR: Sandra Alves

LOCATION: Ullmann 307

09:00 Delia Kesner

Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value (abstract)

10:00 Anja Petković Komel

The essence of type-theoretic elaboration (abstract)


10:30 - 11:00 Coffee Break

11:00 - 12:30 Session 2

CHAIR: Daniele Nantes-Sobrinho

LOCATION: Ullmann 307

11:00 Elena Di Lavore and Pawel Sobocinski

Monoidal Width (abstract)

PRESENTER: Elena Di Lavore

11:20 Ana Oliveira Da Costa

Hypertrace Logic (abstract)

11:40 Alba Cuenca

A goal-oriented proof system for epistemic modal logic (abstract)

12:00 Harley Eades III, Victoria Vollmer, Daniel Marshall and Dominic Orchard

A Mixed Linear and Graded Logic (abstract)

PRESENTER: Victoria Vollmer

12:30 - 14:00 Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00 - 15:30 Session 3

CHAIR: Sandra Kiefer

LOCATION: Ullmann 307

14:00 Dana Fisman

A normalized edit distance on finite and infinite words (abstract)

15:00 Ilina Stoilkovska, Pauline Bolignano, Ioannis Boutsis, Bor-Yuh Evan Chang, Stefan Giba, Vlad Nicolicin-Georgescu, Franco Raimondi, Daniel Schoepe and Daniel Tattersall

Automated Logic-Based Reasoning for Analyzing Prime Video Code (abstract)

PRESENTER: Ilina Stoilkovska

15:30 - 16:00 Coffee Break

16:00 - 17:00 Session 3

CHAIR: Sandra Kiefer

LOCATION: Ullmann 307

16:00 Kristina Asimi, Libor Barto and Silvia Butti

Fixed-Template Promise Model Checking Problems (abstract)

PRESENTER: Silvia Butti

16:20 Tephilla Prince

Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems (abstract)

16:40 Paola Cattabriga

A note on Türing 1936 (abstract)


17:00 - 17:45 Final Session: Discussion and Closing