FLoC'99: CALL FOR WORKSHOP PROPOSALS

• Subject: FLoC'99: CALL FOR WORKSHOP PROPOSALS
• From: Leonid Libkin <libkin@research.bell-labs.com>
• Date: Wed, 11 Feb 1998 12:24:12 -0500

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

• Prev: Federated Logic Conference (FLoC'99)
• Next: Topological Methods in Computer Science
• Index: AMAST Mail 1998