LMW PROGRAM
Sunday, July 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 34I
Chair:
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
Chair:
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
Chair:
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