Logic List Mailing Archive

LICS 2001 Call for Participation (fwd)

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

		  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.