FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
IFIP WG 1.6 PROGRAM
Sunday, July 8th

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

09:00-10:30 Session 34H: Invited Talks
Chair:
Georg Moser
Location: Maths Seminar C2
09:00
Beniamino Accattoli
TBA (abstract)
09:45
Martin Avanzini
TBA (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 38I: Invited Talk, Report on ISR
Chair:
Aart Middeldorp
Location: Maths Seminar C2
11:00
Luigi Liquori
TBA (abstract)
11:45
N.N. Tba
Report on ISR (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40I: Member Talk, Discussion
Chair:
Hans Zantema
Location: Maths Seminar C2
14:00
Helene Kirchner
Informal Report on FSCD (abstract)
14:30
Georg Moser
Discussion on Reviewing Culture in TCS (abstract)
15:15
Georg Moser
Discussion on IFIP (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 42H: Business Meeting
Chair:
Georg Moser
Location: Maths Seminar C2