THE 1999 FEDERATED LOGIC CONFERENCE
June 30 - July 12, 1999
REGISTRATION is now open.
To register, and for up-to-date information on FLoC'99, visit the web site
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
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.
||July 7 - 10
||July 7 - 10
||July 2 - 5
||July 2 - 5
FLoC'99: Bird's-eye view
Program at a Glance
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
Fausto Giunchiglia (Conference
Leonid Libkin (Publicity
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 (firstname.lastname@example.org)
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.