From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4405 Path: news.gmane.org!not-for-mail From: Kreutzer + Schweikardt Newsgroups: gmane.science.mathematics.categories Subject: LICS 2008 Call for Participation Date: Thu, 22 May 2008 22:49:22 +0200 (MEST) Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241019927 13158 80.91.229.2 (29 Apr 2009 15:45:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:27 +0000 (UTC) To: LICS List Original-X-From: rrosebru@mta.ca Sun May 25 10:00:43 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 25 May 2008 10:00:43 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1K0Faa-0004TB-RJ for categories-list@mta.ca; Sun, 25 May 2008 09:44:40 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 28 Original-Lines: 31 Xref: news.gmane.org gmane.science.mathematics.categories:4405 Archived-At: LICS 2008 - CALL FOR PARTICIPATION The twenty-third annual IEEE symposium on logic in computer science (LICS 2008) will be held at Carnegie Mellon University in Pittsburgh, Pennsylvania, USA, June 24th-27th 2008. It will be colocated with the IEEE Computer Security Foundations Symposium (CSF). The LICS 2008 program includes invited talks by David Basin (ETH Zurich), Martin Grohe (Humboldt University Berlin), Dexter Kozen (Cornell University), and Yiannis Moschovakis (UCLA and University of Athens). Registration for LICS 2008 is open. The deadline for early registration is June 1, 2008. Late registration (at higher cost) will be available until June 10, after which registration requires special arrangement with the conference organizers. A link to the online registration form can be found on the LICS 2008 webpage at http://www.informatik.hu-berlin.de/lics/lics08/ The online registration page can also be used to reserve a room in the CMU campus dormitories, if required. The LICS 2008 webpage further contains information about reserving a hotel room if you prefer that option. Blocks of hotels for LICS participants are being held until June 2, so if you plan to reserve a hotel room please do so before then.