From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8FE0CBCA9 for ; Sat, 7 May 2005 19:11:04 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j47HArpT006723 for ; Sat, 7 May 2005 19:10:53 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA03845; Sat, 7 May 2005 19:10:53 +0200 (MET DST) Received: from izanagi.macs.hw.ac.uk (izanagi.macs.hw.ac.uk [137.195.13.5]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j47HAo2R025891 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO); Sat, 7 May 2005 19:10:52 +0200 Received: from surya.macs.hw.ac.uk ([137.195.13.8]) by izanagi.macs.hw.ac.uk with esmtp (Exim 4.34) id 1DUS9C-0000qW-AV; Sat, 07 May 2005 17:27:22 +0100 Received: from fairouz by surya.macs.hw.ac.uk with local (Exim 4.10) id 1DUS90-000631-00; Sat, 07 May 2005 17:27:10 +0100 To: acl2@cs.utexas.edu, aiia@di.unito.it, aisb@cogs.sussex.ac.uk, alp@doc.ic.ac.uk, asl@vassar.edu, bra-types@cs.chalmers.se, CADEinc@cs.albany.edu, calculemus-ig@ags.uni-sb.de, caml-list@inria.fr, ccl@ps.uni-sb.de, clp@comp.nus.edu.sg, comlab@comlab.ox.ac.uk, complog@cs.nmsu.edu, compulog-deduction@cs.bham.ac.uk, compulognet-parimp@dia.fi.upm.es, coq-club@pauillac.inria.fr, csp@carlit.toulouse.inra.fr, deducktion@intellektik.informatik.th-darmstadt.de, dreamers@dai.ed.ac.uk, eapls@jiscmail.ac.uk, ed@mcs.anl.gov, esslli-pub@macs.hw.ac.uk, facs@lboro.ac.uk, fg121@sunjessen46.informatik.tu-muenchen.de, fom@cs.nyu.edu, formal-methods@cs.uidaho.edu, ftp-community@logic.at, ftp@logic.at, info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, kbcsl@uni-paderborn.de, kgs@logic.tuwien.ac.at, ki-inf@uni-koblenz.de, kr@kr.org, lfcs-interest@dcs.ed.ac.uk, lprolog@cs.umn.edu, mapledev@maplesoft.com, members@fmeurope.org, mizar-forum@mizar.uwb.edu.pl, nqthm-users@cs.utexas.edu, nuprl@cs.cornell.edu, nuprllist@cs.cornell.edu, om@openmath.org, projects-mkm-ig@iu-bremen.de, nounce@openmath.org, pvs@csl.sri.com, qed@mcs.anl.gov, rewriting@ens-lyon.fr, seworld@cs.colorado.edu, siksleden@cs.ruu.nl, stp@dcs.gla.ac.uk, SymbolicNet@mcs.kent.edu, theorem-provers@ai.mit.edu, types@cis.upenn.edu, vdm-forum@mailbase.ac.uk, vki-list@dfki.de, wollic@di.ufpe.br, www-math@w3.org, zforum@prg.ox.ac.uk Cc: esslli@macs.hw.ac.uk Message-Id: From: Fairouz Kamareddine Date: Sat, 07 May 2005 17:27:10 +0100 X-SA-Exim-Connect-IP: 137.195.13.8 X-SA-Exim-Mail-From: fairouz@macs.hw.ac.uk Subject: Closing deadline of conference accommodation X-SA-Exim-Version: 4.0 (built Tue, 14 Dec 2004 15:36:33 +0000) X-Miltered: at concorde with ID 427CF69D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 427CF69A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; macs:01 heriot-watt:01 heriot-watt:01 macs:01 organising:01 scotland:03 deadline:04 deadline:04 chair:05 booked:05 extend:06 affected:06 click:92 edinburgh:07 edinburgh:07 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: --------------------------------------------------------------------------------- ESSLLI 2005 ESSLLI 2005 ESSLLI 2005 ESSLLI 2005 ESSLLI 2005 ESSLLI 2005 DEADLINE FOR ACCOMMODATION ESSLLI 2005 Heriot-Watt University, Edinburgh, Scotland August 8-19 2005 --------------------------------------------------------------------------------- Pleae note that the cheap accommodation in the Heriot-Watt campus conference centre can only be booked until ********15 May 2005******** Registration for ESSLLI 2004 will still be possible after this date (so if you are planning a booking your own hotel you will not be affected by this deadline). But if you want to take advantage of the cheap accommodation especially during the Edinburgh festivals, you must do so before 15 May 2005. Please note that this is a hard deadline: the local organisers cannot do anything to extend it. To register and book your accommodation go to: http://www.macs.hw.ac.uk/esslli05/ and click on the registration button. Looking forward to seeing you at ESSLLI 2005 Fairouz Kamareddine ESSLLI05 organising chair