FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
WIL PROGRAM
Sunday, July 8th

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

09:00-10:30 Session 34N
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
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 40T
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-18:00 Session 41R
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)