Federated Logic Conference (FLoC'99)

• Subject: Federated Logic Conference (FLoC'99)
• From: Leonid Libkin <libkin@research.bell-labs.com>
• Date: Wed, 11 Feb 1998 12:23:32 -0500

   FLoC'99 
  
The 1999 Federated Logic Conference 
July 2 - 10, 1999 
Trento, Italy
  
http://www.cs.bell-labs.com/~libkin/floc99
  
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 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 held on June 29 - July 1,
mid-conference workshops and excursions will be on July 6,
and post-conference workshops will be scheduled for July 11 - 12.
Plenary events involving all the conferences are planned.
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. Calls for papers
and call for workshop proposals will be issued in the near future.
  
Further Information. For additional information regarding the
participating meetings, please check the FLoC web page (see above)
later this Spring.
  
FLOC'99 Steering Committee
  
Moshe Y. Vardi (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)

  

• Prev: Hybrid Systems 98
• Next: FLoC'99: CALL FOR WORKSHOP PROPOSALS
• Index: AMAST Mail 1998