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)
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
Lunches will be held in Taub hall and in The Grand Water Research Institute.
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
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)