FLOC'99

FLoC'99

THE 1999 FEDERATED LOGIC CONFERENCE

June 30 - July 12, 1999
Trento, Italy

REGISTRATION is now open.

To register, and for up-to-date information on FLoC'99, visit the web site in Trento,
http://floc99.itc.it

The deadline for early registration is May 28.

In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC'96). It was modeled after the successful Federated Computer Research Conference (FCRC), and brought together synergetic conferences that apply logic to computer science.

We are pleased to announce the second Federated Logic Conference (FLOC'99), to be held in Trento, Italy, in July 1999, hosted by ITC-IRST.

The following conferences will participate in FLoC.

Conference on Automated Deduction (CADE).
Conference on Computer-Aided Verification (CAV).
IEEE Symposium on Logic in Computer Science (LICS).
Conference on Rewriting Techniques and Applications (RTA).

LICS and RTA will be held in parallel during the first four days of FLoC. CADE and CAV will be held during the last four days. Pre-conference workshops will be scheduled for June 29 - July 1, 1999, and post-conference workshops will be scheduled for July 11 - 12, 1999. Plenary events involving all the conferences are scheduled. Submissions must be directed to the individual conferences. Parallel submissions are not allowed: a paper may not be submitted to more than one of the participating conferences.

Each conference issues its own call for papers. Please see conference web sites for details.

Conference:	Dates:
CADE:	July 7 - 10
CAV:	July 7 - 10
LICS:	July 2 - 5
RTA:	July 2 - 5

FLoC'99: Bird's-eye view

Program at a Glance

Conference Program

Keynote Events

FLoC Affiliated Workshops

Further Information. For additional information regarding the participating meetings, please check their web pages.

FLOC'99 Steering Committee
Moshe Y. Vardi (General Chair)
Fausto Giunchiglia (Conference chair)
Leonid Libkin (Publicity chair)
Paolo Traverso (CADE)
Joseph Sifakis (CAV)
Eugenio Moggi (LICS)
Simona Ronchi della Rocca (LICS)
Andrea Asperti (RTA)
Morena Carli, Nadia Oss Papot (Secretariat)
Alessandro Tuccio (Treasurer)
Adolfo Villafiorita (National publicity chair and Workshops coordinator)

Other events Several conferences and workshops that overlap in their technical scope with FLoC will be held in Europe shortly before or shortly after FLoC'99.

Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium will take place in Barcelona, Spain, on June 16-19, 1999.
The 12th IEEE Computer Security Foundations Workshop will take place in Mordano, Italy (not far from Trento) on June 28-30, 1999.
The 26th International Colloquium on Automata, Languages, and Programming (ICALP'99) will take place in Prague, Czech Republic, on July 11-15, 1999.
The Second Panhellenic Logic Symposium will take place in Delphi, Greece, on July 13-17, 1999.

_________________________________

Leonid Libkin (libkin@bell-labs.com)