[isabelle] Call for Participation --- ICLP'06



                  Call for Participation --- ICLP'06
                       Seattle, Washington, USA
                     August 17 -- August 20, 2006
               http://www.easychair.org/FLoC-06/ICLP.html
				 or
                     http://www.cs.uky.edu/iclp06/

                         A member conference of
                   The 2006 Federated Logic Conference
                          Seattle, Washington, USA
                       August 10 -- August 22, 2006
                   http://www.easychair.org/FLoC-06/

We are pleased to announce the 22nd International Conference on Logic
Programming, a member of the 4th Federated Logic Conference (FLoC'06)
to be held in Seattle, Washington, in August 2006, at the Seattle
Sheraton (http://www.easychair.org/FLoC-06/floc-hotel.html).

The ICLP'06 program includes a keynote talk by David Harel, plenary
talks by David Dill (both general FLoC'06 events), and invited talks by
Monica Lam and Chris Welty. The technical program will also include
27 regular presentations, 17 poster presentations and the traditional
Prolog programming contest.

Online registration for ICLP/FLoC is now open at:

http://www.easychair.org/FLoC-06/

Deadline for early registration is July 10, 2006.
Deadline for preferred hotel rate is July 21, 2006.

The registration page offers an opportunity for ICLP 2006 participants
to provide a voluntary contribution of $50 to the Association for Logic
Programming (ALP). We encourage every participant to consider contributing
to the ALP.

Association of the ICLP 2006 with FLoC'06 offers many exciting
opportunities to ICLP participants as FLoC'06 promises to be
the premier scientific meeting in computational logic in 2006.
The following conferences will participate in FLoC'06:

CAV     Conference on Computer Aided Verification (Aug 17-20)
ICLP    Int'l Conference on Logic Programming (Aug 17-20)
IJCAR   Int'l Joint Conference on Automated Reasoning (Aug 17-20)
LICS    IEEE Symposium on Logic in Computer Science (Aug 12-15)
RTA     Conference on Rewriting Techniques and Applications (Aug 12-14)
SAT     Int'l Conference on Theory and Applications of
         Satisfiability Testing (Aug 12-15)

The six major conferences will be accompanied by 41 workshops, held on
Aug. 10-11, 15-16, and 21-22.

The FLoC'06 program, in addition to the events mentioned above and
directly pertaining to ICLP 2006 program, includes also a keynote
session to commemorate the Goedel Centenary, with John Dawson and Dana
Scott as speakers, a plenary talk by Randy Bryant, and invited talks
by F. Bacchus, A. Blass, B. Buchberger, A. Darwiche, M. Das, J. Esparza,
J. Giesl, A. Gordon, T. Hoare, O. Kupferman, D. Miller, K. Sakallah and
J. Stoy.

FLoC has received an NSF grant to provide funds for travel grants of up
to $750 for student attendees of FLoC'06. We expect to award about 50
grants. See application information on the website.

Seattle, the Emerald city, sits on the shores of Puget Sound surrounded
by mountains to the east and west.  Lovely views of blue waters and snow
capped peaks seem to appear everywhere - around the next bend in the
road or between the buildings downtown. Seattle is the gateway to the
Pacific Northwest, a premier tourist attraction.
In Seattle, Mt. Rainier enchants visitors; in Vancouver, British
Columbia, the Coast Range juts out over downtown; and in Portland, 5,000
acres of forestland north of the city center harbor deer, elk, and the
odd bear and cougar.

Online registration for FLoC is now open at:

        http://www.easychair.org/FLoC-06/

Deadline for preferred hotel rate is July 21, 2006.
Deadline for early registration is July 10, 2006.

FLoC'06 Steering Committee

Moshe Y. Vardi      (General Chair)
Thomas Ball         (Conference Co-Chair)
Jakob Rehof         (Conference Co-Chair)
Edmund Clarke       (CAV)
Reiner Hahnle       (IJCAR)
Manuel Hermenegildo (ICLP)
Phokion Kolaitis    (LICS)
Henry Kautz         (SAT)
Aart Middeldorp     (RTA)
Andrei Voronkov     (IJCAR)






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.