[Haskell] FLoC 2006 Preliminary Announcement
Kreutzer + Schweikardt
floc at informatik.hu-berlin.de
Thu Mar 31 15:45:53 EST 2005
Preliminary Announcement --- FLoC'06
The 2006 Federated Logic Conference
Seattle, Washington, USA
August 10 -- August 22, 2006
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, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002.
We are pleased to announce the fourth Federated Logic Conference (FLoC'06)
to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton
The following conferences will participate in FLoC.
Int'l Conference on Computer-Aided Verification (CAV)
Int'l Conference on Rewriting Techniques and Applications (RTA)
IEEE Symposium on Logic in Computer Science (LICS)
Int'l Conference on Logic Programming (ICLP)
Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
Int'l Joint Conference on Automated Reasoning (IJCAR)
Pre-conference workshops will be held on August 10-11. LICS, RTA,
and SAT will be held in parallel on August 12-15, to be followed
by mid-conference workshops and excursions on August 15-16.
CAV, ICLP, and IJCAR will be held in parallel on August 16-21,
to be followed by post-conference workshops on August 21-22.
Plenary events involving all the conferences are planned.
Calls for papers and call for workshop proposals will be issued in the
near future. For additional information regarding the participating
meetings, please check the FLoC web page (see above) later this summer.
FLoC'06 Steering Committee
Moshe Y. Vardi (General Chair)
Jakob Rehof (Conference Chair)
Edmund Clarke (CAV)
Reiner Hahnle (IJCAR)
Manuel Hermenegildo (ICLP)
Phokion Kolaitis (LICS)
Henry Kautz (SAT)
Aart Middeldorp (RTA)
Andrei Voronkov (IJCAR)
More information about the Haskell