FLoC'99

• Subject: FLoC'99
• From: Alan Hu <ajh@cs.ubc.ca>
• Date: Mon, 16 Mar 1998 03:14:33 -0800 (PST)

FLoC'99: CALL FOR WORKSHOP PROPOSALS

The second Federated Logic Conference (FLOC'99), will be held in
Trento, Italy, in July 1999, hosted by ITC-IRST.  The following four
conferences will participate in FLoC:

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

The organizers have made arrangements to facilitate the running of
pre-, post, and mid-conference workshops.  Meeting rooms and
accommodations have been reserved at the conference center for

  o Pre-conference workshops:  Wednesday June 30 - Thursday July 1, 1999
  o Mid-conference workshops:  Tuesday July 6, 1999
  o Post-conference workshops: Sunday July 11 - Monday July 12, 1999
 
Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic, broadly understood, to computer
science.  Each workshop proposal must indicate at least one sponsoring 
conference among the participating conferences.

Proposals should consist of two parts.  First, a short scientific
justification of the proposed topic, its significance, and the
particular benefits of a workshop.  A second, organizational, part
should include:
	
	o contact information about organizers
	o proposed format and agenda
	o procedures for selecting papers and participants
	o duration (which may vary from half a day to two days)
	  and preferred period.
        o proposed sponsoring conference

Additional organizational plans may include:

	o potential invited speakers 
	o demo sessions
	o plans for proceedings or other publications

Proposals are due May 15, 1998.
Organizers will be notified by June 15, 1998.

Proposals may be submitted either electronically or in hard copy,
and should be addressed to 

Fausto Giunchiglia  
(Conference Chair)
IRST                              
Povo, 38100 Trento, Italy 
phone: +39 461 314517 (secr.)     
       +39 461 314436 (off.)     
       +39 461 302040/314591 (fax)
email: fausto@irst.itc.it     

Further info. http://www.cs.bell-labs.com/~libkin/floc99


   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: Ann: School on Specification, Refinement, and Verification
• Next: PA EXPO98 Conference and Exhibition Details
• Index: AMAST Mail 1998