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

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

09:00-10:30 Session 34I
Location: Maths Boardroom
09:00
How to get the most out of a conference like FLOC? (abstract)
09:30
Asking questions to yourself and others (abstract)
10:30-11:00Coffee Break
11:30-12:30 Session 39
Location: Maths Boardroom
11:30
Can Logic Make Us Better People? (abstract)
12:00
Research as a collaborative effort (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40K
Location: Maths Boardroom
14:00
Relational verification of probabilistic programs (abstract)
14:30
Constrained Horn clauses as a basis of automatic program verification: the higher-order case (abstract)
15:00
Rewriting and Applications (abstract)
15:30-16:00Coffee Break