WIL PROGRAM
Sunday, July 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 34N
Chair:
Location: Blavatnik LT2
| 09:00 | Logic and Software Engineering: Are We Nearly There Yet? (abstract) |
| 10:00 | First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation (abstract) |
| 10:15 | A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (abstract) |
10:30-11:00Coffee Break
11:00-12:40 Session 38R
Chair:
Location: Blavatnik LT2
| 11:00 | On Expanding Standard Notions of Constructivity (abstract)  |
| 11:15 | Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis (abstract) |
| 11:30 | A semantical view of sequent based systems (abstract) |
| 11:45 | Decomposing labelled proof theory for intuitionistic modal logic (abstract) |
| 12:00 | About the unification type of topological logics over Euclidean spaces (abstract)  |
12:30-14:00Lunch Break
14:00-15:30 Session 40S
Chair:
Location: Blavatnik LT2
| 14:00 | POPLMark Reloaded: Mechanizing Logical Relations Proofs (abstract) |
| 15:00 | Towards a Playground for Logicians (abstract) |
| 15:15 | Non-well-founded proof system for Transitive Closure Logic (abstract) |
15:30-16:00Coffee Break
16:00-17:00 Session 42R
Chair:
Location: Blavatnik LT2
| 16:00 | On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving (abstract) |
| 16:15 | Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? (abstract) |
| 16:30 | Towards a Logical Framework for Latent Variable Modelling (abstract) |
17:00-18:00 Session 44: Priorities for Diversity in Logic in Computer Science (round table discussion)
Round table panel discussion, where attendees will be joined by leading figures in the FLoC community to discuss "Priorities for Diversity in Logic for Computer Science".
Chair:
Location: Blavatnik LT2
18:30-20:30 Women in Logic reception
Women in Logic reception and buffet supper at Wadham College (contact Ursula.Martin@maths.ox.ac.uk for more details).
Location: Wadham College