FOM: LICS 2001, Call for Participation

[Stephen G Simpson]

 From: Martin Grohe <lics at math.uic.edu>
 To: lics-list at math.uic.edu
 Subject: LICS 2001 Call for Participation
 Date: Mon, 16 Apr 2001 11:47:58 -0500 (CDT)

		   Sixteenth Annual IEEE Symposium on 
		       LOGIC IN COMPUTER SCIENCE 
	     June  16 - 19, 2001, Boston, Massachusetts

		      http://www.math.uic.edu/lics/

			 CALL FOR PARTICIPATION

 The LICS Symposium is an annual international forum on theoretical and
 practical topics in computer science that relate to logic in a broad
 sense. The conference is intended to emphasize the relevance of logic
 to computer science.


 Invited Speakers: 
 A number of distinguished speakers have agreed to give invited talks
 at LICS '01. The tentative titles of these talks are:

   - Serge Abiteboul (INRIA Rocquencourt): Semistructured Data: From
					   Practice to Theory

   - Andrew Appel, (Princeton): Foundational Proof-Carrying Code

   - David Dill, (Stanford): Decision procedures and their use in
			     formal verification 

   - Yuri Gurevich (Microsoft): A Logician in the land of OS: 
				Abstract State Machines in Microsoft

   - John Mitchell, (Stanford): Logic in Computer Security

   - Wolfgang Thomas (RWTH Aachen): The Engineering Challenge for Logic


 Affiliated Workshops: 
 As in previous years, there will be a number of workshops affiliated
 with LICS '01:

   - Complexity, Logic, and Computation: A Symposium in Honor of Albert 
     Meyer (organized by J. Riecke)

   - Full Completeness and Full Abstraction (organized by S. Abramsky
     and P. Scott)  

   - Logic and Learning (organized by R. Khardon and G. Turan) 

   - Satisfiability Testing: Theory and Applications (organized by 
     H. Kautz and B. Selman)


 Registration:
 LICS 2000 registration and conference information is now available on
 the LICS 2001 website:

	      http://www.cs.bu.edu/faculty/mairson/LICS01/

 The DEADLINE FOR EARLY REGISTRATION is Friday, May 25, 2001.


 Program:
 The program will soon be available on the LICS webpage.