ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

Program of WG17

Tuesday, July 20th

Tuesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Opening, Introductions.Approval of the Minutes of the Pasdena meeting.Approval of the Agenda.
Chair: Jonathan Hodgson
Location: IF 4.02
10:00‑10:30 Coffee break
10:30‑12:30 Globals Japanese Contribution on Globals. Editorial Review, Katsuhiko Nakamura
Chair: Jonathan Hodgson
Location: IF 4.02
12:30‑14:00 Lunch
14:00‑15:00 Missing Predicates. Ulrich Neumerkel
Chair: Jonathan Hodgson
Location: IF 4.02
15:00‑15:30 Coffee break
15:30‑17:00 DCGs. Klaus Daessler
Chair: Jonathan Hodgson
Location: IF 4.02
Wednesday, July 21st

Wednesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Globals Final Editorial Review
Chair: Jonathan Hodgson
Location: IF 4.02
10:00‑10:30 Coffee break
10:30‑12:30 Missing Predicates Final Editorial review
Chair: Jonathan Hodgson
Location: IF 4.02
12:30‑14:00 Lunch
14:00‑15:00 DCGs Final Editorial review
Chair: Jonathan Hodgson
Location: IF 4.02
15:00‑15:30 Coffee break
15:30‑17:00 Resolutions.
Chair: Jonathan Hodgson
Location: IF 4.02