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.

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.

_________________________________
Leonid Libkin (libkin@bell-labs.com)