From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2240 Path: news.gmane.org!not-for-mail From: Alex Simpson Newsgroups: gmane.science.mathematics.categories Subject: LICS 2003 - Call for Participation Date: Fri, 11 Apr 2003 05:28:59 +0100 Message-ID: <200304110428.h3B4Sxa15069@glory.dcs.ed.ac.uk> Reply-To: als+lics-junk@dcs.ed.ac.uk NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018520 3200 80.91.229.2 (29 Apr 2009 15:22:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:00 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Apr 14 11:28:27 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 14 Apr 2003 11:28:27 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1954pQ-0004NO-00 for categories-list@mta.ca; Mon, 14 Apr 2003 11:21:00 -0300 X-Authentication-Warning: glory.dcs.ed.ac.uk: als set sender to als+lics-junk@inf.ed.ac.uk using -f Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 8 Original-Lines: 92 Xref: news.gmane.org gmane.science.mathematics.categories:2240 Archived-At: 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 (early registration deadline is May 20, 2003) 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.