From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2282 Path: news.gmane.org!not-for-mail From: Amy Felty Newsgroups: gmane.science.mathematics.categories Subject: LICS 2003 - Call for Participation Date: Tue, 13 May 2003 23:37:44 -0400 (EDT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018548 3379 80.91.229.2 (29 Apr 2009 15:22:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:28 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Wed May 14 16:42:37 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 14 May 2003 16:42:37 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19G22t-00017N-00 for categories-list@mta.ca; Wed, 14 May 2003 16:36:11 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 17 Original-Lines: 89 Xref: news.gmane.org gmane.science.mathematics.categories:2282 Archived-At: *** NOTE: EARLY REGISTRATION AND ACCOMMODATION DEADLINE IS MAY 20, 2003 *** Eighteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2003) June 22 - 25, 2003, Ottawa, Canada http://www.dcs.ed.ac.uk/home/als/lics/lics03/ 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. The program of LICS 2003 features 4 invited talks, 2 invited tutorials, 34 contributed papers, and 14 short presentations. Invited Talks: - Erich Graedel (RWTH Aachen): "Will deflation lead to depletion? On non-monotone fixed point inductions" - John Harrison (Intel Corp.): "Formal verification at Intel" - Marta Kwiatkowska (U. Birmingham) "Model checking for probability and time: from theory to practice" - John McCarthy (Stanford U.) "Advice about nonmonotonic reasoning in AI" Invited Tutorials: - Martin Abadi (UC Santa Cruz): "Logic in Access Control" - Benjamin Pierce (U. Pennsylvania) "Types and Programming Languages: The Next Generation" The full program of LICS 2003 is available on the conference website http://www.dcs.ed.ac.uk/home/als/lics/lics03/ Affiliated Workshops: As in previous years, there will be a number of workshops affiliated with LICS 2003: - June 21: Probability in AI Organizer: Doina Precup - June 21: Typical Case Complexity and Phase Transitions, Organizers: Evangelos Kranakis and Lefteris Kirousis - June 26: Logic and Computational Linguistics Organizers: Gerald Penn and Leonid Libkin - June 26: Causality in Computer Science and Physics Organizer: Prakash Panangaden - June 26-27: Foundations of Computer Security Organizer: Iliano Cervesato - June 26-27 Implicit Computational Complexity Program chair: Anuj Dawar Pre-LICS Summer School: The Fields Institute Summer School on Logic and Foundations of Computation will be held at the University of Ottawa, June 2-20, 2003 For information, see the summer school web site at: http://www.mathstat.uottawa.ca/lfc/fields2003/ Registration: LICS 2003 registration and conference information is now available on the LICS 2003 website or directly at: http://www.mathstat.uottawa.ca/lfc/lics2003/ The DEADLINE FOR EARLY REGISTRATION is Tuesday, May 20, 2003. Web registration ends June 12. After that, registration will be on-site at the conference location.