FEDERATED LOGIC CONFERENCE (FLoC’10)
School of Informatics
University of Edinburgh (www.inf.ed.ac.uk).
Edinburgh, Scotland, U.K.
July 9-21, 2010
DEADLINES (All deadlines are firm!):
* deadline for student travel grant application: 3 MAY 2010.
* early registration deadline: 17 MAY 2010.
FLoC’10 promises to be the premier scientific meeting in computational logic in 2010.
The following conferences will participate in FLoC:
– ICLP 2010: Int’l Conference on Logic Programming
– CAV 2010: Int’l Conference on Computer-Aided Verification
– CSF 2010: IEEE Computer Security Foundations Symposium
– IJCAR 2010: Int’l Joint Conference on Automated Reasoning
– ITP 2010: Int’l Conference on Interactive Theorem Proving
– LICS 2010: IEEE Symposium on Logic in Computer Science
– RTA 2010: Int’l Conference on Rewriting Techniques and Applications
– SAT 2010: Int’l Conference on Theory and Applications of
Satisfiability Testing
The eight major conferences will be accompanied by more than
fifty workshops and a number of other affiliated events.
Program:
The FLoC’10 program includes plenary talks by David Basin,
Georg Gottlob, David Harel, and Gordon Plotkin, as well as
keynote talks by Deepak Kapur and J Strother Moore.
Please consult the FLoC website for further information on
invited speakers and contributed talks of all the
participating conferences.
Registration:
For online registration for FLoC, please follow the link on the
FLoC website at http://floc-conference.org/registration.html
Registration is now open. The deadline for early registration is
17 May. Standard rates will apply for those who register between 18 May
and 30 June. For those who register after 30 June, late rates will apply.
Note that it is possible to register early, and then add components
(e.g., additional workshops, additional registration days, etc.) later on.
Accomodation:
Very affordable accommodation has been booked at the University’s
Pollock Halls campus, about 15-minute walk from the conference site.
Room types include single/double rooms with shared facilities/ensuite,
and standard hotel rooms in a 3-star Victorian mansion.
Alternatively, blocks of rooms have been booked at several hotels in
the cite centre. For details, see