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 40S
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
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".

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