[TYPES] FLoC 2006 Preliminary Announcement

[Kreutzer + Schweikardt]

		   Preliminary Announcement --- FLoC'06
		    The 2006 Federated Logic Conference
	               Seattle, Washington, USA
                        August 10 -- August 22, 2006
          http://research.microsoft.com/projects/FLoC2006/home.html
                    http://research.microsoft.com/floc06/


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
(http://www.sheraton.com/seattle).

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)