The webpage will contain any last minute information. It will be updated each time it is needed during FLoC.
- July 19th - Last minute room change
There has been a last minute change to workshop room allocation in the Informatics Forum:
- On Tuesday, July 20th, ASPOCP will be held in IF G.03 and VERIFY in IF 4.31+4.33,
- On Wednesday, July 21st, ASA will be held in IF G.03 and VERIFY in IF 4.31+4.33.
- July 18th - Reimbursement forms
The different reimbursement forms can be found here.
- July 17th - IJCAR business meeting
Please notice that the business meeting will be held in Appleton Tower Lecture Theatre 4 on Saturday 17th between 17:10 and 18:30.
- July 15th - CAV Award Ceremony
The CAV Award Ceremony will be held on Sunday 18th July, 10:00-10:15 in Appleton Tower Lecture Theatre 4. This award is for a specific fundamental contribution or a series of outstanding contributions to the field of Computer Aided Verification. The award of $10,000 will be granted to an individual or a group of individuals chosen by the Award Committee from a list of nominations.
- July 15th - PSTT schedule
Due to traveling problems, the invited talk by Sean McLaughlin (originally scheduled at 2pm) is scheduled at 4:30pm. Zachary Snow (originally scheduled after 4pm) will give his talk at 2pm. For more details see PSTT program
- July 12th - NSV3 timetable on Thursday 15th
Please notice the timetable for this workshop on the USB stick NSV3 is wrong. This event will start at 8:25am on Thursday and will be held in Appleton Tower LT3.
- July 12th - RTA - Monday afternoon
Due to a visa problem the first talk of session 7 by T. Kutsia has been canceled. The session 7 will start at 16:00 with the talk of S. Mimram.
- July 11th - Registration on site - Reception and banquet for BOTH Blocks
Bookings for workshops and conferences remain open throughout the duration of FLoC but final numbers have now been given to caterers for the receptions and banquets. Any further bookings for the conferences will not be entitled to these events. No refund will be given of conference registration.
- July 9th - Registration on site - Reception and banquet for Block1
Bookings for workshops and conferences remain open throughout the duration of FLoC but final numbers have now been given to caterers for the reception at the Castle on 11 July and banquet on 13th July. Any further bookings for Block 1 conferences will not be entitled to these events. No refund will be given of conference registration.
- July 9th - Lunch
Lunch is not provided by FLoC. Participants are invited to buy their own lunch from one of the many eateries near to the conference venue. While it is possible to eat well in Edinburgh, it is also possible to eat very badly indeed. You can find some suggestions on the local information webpage
- July 8th - Fire Alarm
Notice that the fire alarm is tested in Appleton Tower every Wednesday at 11:00 and in the Informatics Forum every Thursday at 11:30.
This automatic test last for one or two minutes.
- July 7th - Registration desk
The registration desk will be located in Appleton Tower and will be open every day from 8am to 6pm.
- July 7th - Coffee breaks
Coffee breaks will be held in Appleton Tower every day 10:00-10:30 in the morning and 15:00-15:30 in the afternoon.
Notice that on Friday 9th and Saturday 10th, there will be also coffee breaks in the Informatics Forum on the ground floor .