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)