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

FLoC on Wednesday, July 21st

previous day See also the by talk program.
ASA
EC2
ICLP-DC
SVARM
VERIFY
WCB
WG17
WING
09:15‑10:00
(IF G.03)
Session 1
09:00‑10:00
(IF G.07A)
Session 7
09:00‑10:00
(AT 2.12)
Session I: Concurrent Programming
09:00‑10:00
(IF G.07)
Invited Talk
09:00‑10:00
(IF 4.31+4.33)
Session 5: Invited Talk
09:00‑10:00
(AT 2.14)
Invited Talk
09:00‑10:00
(IF 4.02)
Globals Final Editorial Review
09:00‑10:00
(AT 2.11)
Invited Talk
10:00‑10:30
Coffee break
10:30‑12:30
(IF G.03)
Session 2
10:30‑11:30
(IF G.07A)
Session 8
11:30‑12:00
(IF G.07A)
Session 9
10:30‑12:30
(AT 2.12)
Session II: Logic Programming
10:20‑11:20
(IF G.07)
Session 7
11:20‑11:30
(IF G.07)
Mini Break of 10 Minutes
11:30‑12:30
(IF G.07)
Session 9
10:30‑12:30
(IF 4.31+4.33)
Session 6: Verification Techniques and Tools
10:30‑12:30
(AT 2.14)
Session I
10:30‑12:30
(IF 4.02)
Missing Predicates Final Editorial review
10:30‑12:28
(AT 2.11)
Regular Papers and Tool Demos
12:30‑14:00
Lunch
14:00‑15:00
(IF G.03)
Session 3
14:00‑15:00
(IF G.07A)
Session 10
14:00‑15:00
(AT 2.12)
Session III: Solvers and Applications
14:00‑15:00
(IF G.07)
Session 10
14:00‑15:00
(IF 4.31+4.33)
Session 7: Software Security and Software Testing — ATTENTION: Session starts at 13:50!
14:00‑15:00
(AT 2.14)
Session II
14:00‑15:00
(IF 4.02)
DCGs Final Editorial review
14:00‑15:00
(AT 2.11)
Invited Talk
15:00‑15:30
Coffee break
15:30‑17:00
(IF G.03)
Session 4
15:30‑16:30
(IF G.07A)
Session 11
16:30‑17:00
(IF G.07A)
Session 12
15:30‑16:30
(AT 2.12)
Session IV: Applications
15:20‑16:20
(IF G.07)
Session 11
16:20‑17:00
(IF G.07)
Closing Discussions
15:30‑17:00
(IF 4.31+4.33)
Session 8: Panel Discussion
15:30‑17:00
(AT 2.14)
Session III
15:30‑17:00
(IF 4.02)
Resolutions.
15:30‑17:28
(AT 2.11)
Regular Papers and Tool Demos