FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
WIL PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1J
Location: Ullmann 307
09:00
Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value (abstract)
10:00
The essence of type-theoretic elaboration (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 10N
Location: Ullmann 307
11:00
Monoidal Width -- Extended Abstract (abstract)
PRESENTER: Elena Di Lavore
11:20
Hypertrace Logic (abstract)
11:40
A goal-oriented proof system for epistemic modal logic (abstract)
12:00
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.

14:00-15:30 Session 14Q
Location: Ullmann 307
14:00
A normalized edit distance on finite and infinite words (abstract)
15:00
Automated Logic-Based Reasoning for Analyzing Prime Video Code (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 19N
Location: Ullmann 307
16:00
Fixed-Template Promise Model Checking Problems (abstract)
PRESENTER: Silvia Butti
16:20
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems (abstract)
PRESENTER: Tephilla Prince
16:40
A note on Türing 1936 (abstract)