WiL Program

WIL PROGRAM

Sunday, July 31st

08:30-09:00Coffee & Refreshments

Chair:

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:00Coffee Break

Chair:

11:00	Elena Di Lavore and Pawel Sobocinski Monoidal Width -- Extended Abstract (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-Extended Abstract (abstract) PRESENTER: Victoria Vollmer

12:30-14:00Lunch Break

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

Chair:

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:00Coffee Break

Chair:

16:00	Kristina Asimi, Libor Barto and Silvia Butti Fixed-Template Promise Model Checking Problems (abstract) PRESENTER: Silvia Butti
16:20	Ramchandra Phawade, Tephilla Prince and Sheerazuddin S Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems (abstract) PRESENTER: Tephilla Prince
16:40	Paola Cattabriga A note on Türing 1936 (abstract)

Discussion and Closing

Chairs: