From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3770 Path: news.gmane.org!not-for-mail From: Kreutzer + Schweikardt Newsgroups: gmane.science.mathematics.categories Subject: LICS 2007 - Call for Participation Date: Wed, 23 May 2007 12:48:42 +0200 (CEST) Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241019511 10206 80.91.229.2 (29 Apr 2009 15:38:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:31 +0000 (UTC) To: LICS List Original-X-From: rrosebru@mta.ca Thu May 24 08:04:54 2007 -0300 X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 24 May 2007 08:04:54 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HrAwC-000774-RE for categories-list@mta.ca; Thu, 24 May 2007 07:52:56 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 42 Xref: news.gmane.org gmane.science.mathematics.categories:3770 Archived-At: LICS 2007 Call for Participation Reminder: Early registration deadline is approaching: May 31st, 2007 LICS 2007 will be held in the Institute of Computer Science, University of Wroclaw, Poland, 10th - 14th July 2007. It will be colocated with: - International Colloquium on Automata, Languages and Programming (ICALP 2007), 9th - 13th July 2007, and - ASL European Summer Meeting (Logic Colloquium 2007), 14th - 19th July 2007. The IEEE Symposium On Logic In Computer Science (LICS) is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. Detailed information can be found on the webpage: - http://www.informatik.hu-berlin.de/lics/lics07/ - http://july2007.ii.uni.wroc.pl/ Important dates: - May 31st 2007: Early registration discount expires. - 10th - 14th July 2007: Conference Invited Speakers: - Thomas Hales (University of Pittsburgh) - Martin Hyland (University of Cambridge) - Phokion Kolaitis (IBM Almaden Research Centre) - Gordon Plotkin (University of Edinburgh) - Michael Rabin (Harvard University and Hebrew University) - Colin Stirling (University of Edinburgh)