FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
FLOC PROGRAM

Days: Friday, July 6th Saturday, July 7th Sunday, July 8th Monday, July 9th Tuesday, July 10th Wednesday, July 11th Thursday, July 12th Friday, July 13th Saturday, July 14th Sunday, July 15th Monday, July 16th Tuesday, July 17th Wednesday, July 18th Thursday, July 19th

Sunday, July 1st
10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Monday, July 2nd
10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Tuesday, July 3rd
10:30-11:00Coffee Break
12:30-14:00Lunch Break
Wednesday, July 4th
10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Thursday, July 5th
10:30-11:00Coffee Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
Friday, July 6th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
Saturday, July 7th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
19:45-22:00 Workshops dinner at Balliol College

Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).

Location: Balliol College
Sunday, July 8th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
Monday, July 9th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
19:00-21:30 FLoC reception at Ashmolean Museum

FLoC reception at Ashmolean Museum. Drinks and canapés available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Tuesday, July 10th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
17:00-18:30 Session 56: FLoC Public Lecture: Stuart Russell

Doors open at 4:30 pm; please be seated by 4:50 pm (attendance is free of charge and all are welcome; please register).

17:00
Unifying Logic and Probability: the BLOG Language (abstract)
Wednesday, July 11th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
19:00-21:30 FLoC banquet at Examination Schools

FLoC banquet at Examination Schools. Drinks and food available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Thursday, July 12th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
Friday, July 13th

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

10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
19:00-21:30 Workshops dinner at Keble College

Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).

Location: Keble College
Saturday, July 14th

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

10:30-11:00Coffee Break
10:30-11:00Coffee Break
11:00-12:30 Session 92D: Ally Skills

"Allies" are people who support a group who are commonly the subject of discrimination or prejudice, but who are not members of that group. The Ally Skills session teaches simple everyday ways for allies to use their privilege and influence to support people who are targets of systemic oppression in their workplaces and communities. This includes women of all races, people of color, people with disabilities, LGBTQ folks, parents, caregivers of all sorts, and people of different ages.

The format of the session will be some introductory material, followed by group-based discussion of several scenarios. All are welcome, hope to see you there!

Any questions, please contact Stephen Chong <chong@seas.harvard.edu> and Alexandra Silva <alexandra.silva@ucl.ac.uk>.

Location: Blavatnik LT2
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
16:00-18:00 Session 96D: Formal Methods in Industry
Location: Maths LT3
16:00
Amazon’s Automated Reasoning Group: Combining Amazon’s 14 foundational principles with the Strachey philosophy (abstract)
16:30
Formal Reasoning and the Hacker Way (abstract)
17:00
Business Perspective on Software Analysis (abstract)
19:00-21:30 FLoC reception at Oxford Town Hall

FLoC reception at Oxford Town Hall. Drinks and canapés available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Sunday, July 15th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
Monday, July 16th

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

10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
14:00-15:30 Session 111: FLoC Plenary Lecture: Byron Cook
Location: Maths LT1
14:00
Formal Reasoning about the Security of Amazon Web Services (abstract)
15:30-16:00Coffee Break
15:30-16:00Coffee Break
19:00-21:30 FLoC banquet at Ashmolean Museum

FLoC banquet at Ashmolean Museum. Drinks and food available from 7pm (pre-booking via FLoC registration system required; guests welcome).

Tuesday, July 17th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
Wednesday, July 18th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break
19:15-21:30 Workshops dinner at Magdalen College

Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).

Thursday, July 19th
10:30-11:00Coffee Break
10:30-11:00Coffee Break
12:30-14:00Lunch Break
12:30-14:00Lunch Break
15:30-16:00Coffee Break
15:30-16:00Coffee Break