In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in 1999, the third (FLoC'02) was held in Copenhagen, Denmark, in 2002, and the fourth (FLoC'06) was held in Seattle, Washington, USA.
We are pleased to announce the fifth Federated Logic Conference (FLoC'10) to be held in Edinburgh, Scotland, U.K., in July 2010, at the School of Informatics at University of Edinburgh.
The following conferences will participate in FLoC:
Pre-conference workshops will be held on July 9-10. ITP, LICS, RTA, and SAT will be held in parallel on July 11-14, to be followed by mid-conference workshops on July 14-15. CAV, ICLP, and IJCAR will be held in parallel on July 16-19, to be followed by post-conference workshops on July 20-21. Plenary events involving all the conferences are planned. There will be receptions in the Edinburgh Castle and at the National Galleries of Scotland.
The call for workshop proposals can be found here. Calls for papers will be issued in the near future. For additional information regarding the participating meetings, please check the FLoC 2010 web page later this summer. Announcements concerning FLoC 2010 will be distributed through the FLoC 2010 mailing list. To subscribe to this mailing list please send an email to majordomo AT informatik.uni-frankfurt.de with the keywords subscribe floc2010 in the message body.
FLoC'10 Steering Committee: