From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4446 Path: news.gmane.org!not-for-mail From: Ugo Dal Lago Newsgroups: gmane.science.mathematics.categories Subject: CSL 2008: Call for Participation Date: Fri, 18 Jul 2008 16:09:46 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019951 13335 80.91.229.2 (29 Apr 2009 15:45:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:51 +0000 (UTC) To: undisclosed-recipients:; Original-X-From: rrosebru@mta.ca Sat Jul 19 11:26:27 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 19 Jul 2008 11:26:27 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KKDMu-00020K-JY for categories-list@mta.ca; Sat, 19 Jul 2008 11:25:04 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 13 Original-Lines: 36 Xref: news.gmane.org gmane.science.mathematics.categories:4446 Archived-At: [Apologies for Multiple Copies] ******************************************** * 17th EACSL Annual Conference on * * * * COMPUTER SCIENCE LOGIC * * * * September 15-19, 2008 * * Bertinoro, ITALY * ******************************************** INVITED SPEAKERS Luca Cardelli, Microsoft Research, Cambridge Pierre Louis Curien, PPS, Universite' Paris VII, Paris Jean-Pierre Jouannaud, Ecole Polytechnique, Palaiseau Wolfgang Thomas, RWTH, Aachen ACCEPTED PAPERS http://csl2008.cs.unibo.it/accepted.html PROGRAM http://csl2008.cs.unibo.it/program.html http://csl2008.cs.unibo.it/preliminaryprogram.pdf REGISTRATION INFORMATION http://csl2008.cs.unibo.it/registration.html * Early registration deadline: August 16th, 2008 * VENUE http://www.centrocongressibertinoro.it/inglese/centro_universitario.htm MAKOWSKY SYMPOSIUM http://csl2008.cs.unibo.it/bridging.html