From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 57EA5BC32 for ; Thu, 17 Mar 2005 17:27:42 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j2HGRamh007092 for ; Thu, 17 Mar 2005 17:27:37 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA30180 for ; Thu, 17 Mar 2005 17:27:36 +0100 (MET) Received: from izanagi.macs.hw.ac.uk (izanagi.macs.hw.ac.uk [137.195.13.5]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2HGRXaA021969 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Thu, 17 Mar 2005 17:27:36 +0100 Received: from surya.macs.hw.ac.uk ([137.195.13.8]) by izanagi.macs.hw.ac.uk with esmtp (Exim 4.34) id 1DBxgf-0003rk-0L; Thu, 17 Mar 2005 16:17:29 +0000 Received: from fairouz by surya.macs.hw.ac.uk with local (Exim 4.10) id 1DBxpf-00078u-00; Thu, 17 Mar 2005 16:26:47 +0000 To: acl2@cs.utexas.edu, aiia@di.unito.it, aisb@cogs.sussex.ac.uk, asl@vassar.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, eapls@jiscmail.ac.uk, ed@mcs.anl.gov, 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, om-announce@openmath.org, om@openmath.org, omdoc@mathweb.org, projects-mkm-ig@iu-bremen.de, pvs@csl.sri.com, rewriting@ens-lyon.fr, rewriting@ens-lyon.fr, mizar-forum@mizar.uwb.edu.pl, seworld@cs.colorado.edu, siksleden@cs.ruu.nl, stp@dcs.gla.ac.uk, theorem-provers@ai.mit.edu, types@cis.upenn.edu, vki-list@dfki.de, www-math@w3.org, zforum@prg.ox.ac.uk Cc: fairouz@macs.hw.ac.uk Message-Id: From: Fairouz Kamareddine Date: Thu, 17 Mar 2005 16:26:47 +0000 X-SA-Exim-Connect-IP: 137.195.13.8 X-SA-Exim-Mail-From: fairouz@macs.hw.ac.uk Subject: ESSLLI 2005 registration Now open X-SA-Exim-Version: 4.0 (built Tue, 14 Dec 2004 15:36:33 +0000) X-Miltered: at nez-perce with ID 4239AFF8.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4239AFF6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; macs:01 heriot-watt:01 macs:01 linguistics:01 neighboring:01 encouraging:01 organising:01 eif:98 computation:01 computation:01 scotland:03 logic:04 logic:04 workshops:04 workshops:04 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 17th European Summer School in Logic, Language and Information The annual summer school of FoLLI, the Association for Logic, Language and Information. Heriot-Watt University Edinburgh, Scotland 8-19 August, 2005 -------------------------- |REGISTRATION IS NOW OPEN| -------------------------- Go to http://www.macs.hw.ac.uk/esslli05/ and follow the registration page. (Note, this is during the Edinburgh famous international festival, so accommodation must be reserved promptly to guarantee accommodation). The main focus of ESSLLI is on the interface between linguistics, logic and computation. The school has developed into an important meeting place and forum for discussion for students, researchers and IT professionals interested in the interdisciplinary study of Logic, Language and Information. ESSLLI courses cover a wide variety of topics within six areas of interest: Logic, Computation, Language, Logic and Computation, Computation and Language, Language and Logic. Foundational courses aim to provide truly introductory courses into a field. The courses presuppose absolutely no background knowledge. In particular, they should be accessible to people from other disciplines. Introductory courses are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques, and to allow experienced researchers from other fields to acquire the key competences of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Advanced courses are intended to enable participants to acquire more specialized knowledge about topics they are already familiar with. Workshops are intended to encourage collaboration and the cross-fertilization of ideas by stimulating in-depth discussion of issues which are at the forefront of current research in the field. In these workshops, students and researchers can give presentations of their research. In addition to courses and workshops there are evening lectures, a student session and a number of satellite events (to be announced later). The aim of the student session is to provide Masters and PhD students with an opportunity to present their own work to a professional audience, thereby getting informed feedback on their own results. Unlike workshops, the student session is not tied to any specific theme. Looking forward to seeing you at ESSLLI 2005 in beautiful Edinburgh during the impressive Edinburgh international festival (see http://www.eif.co.uk/festival2005/) Fairouz Kamareddine ESSLLI 2005 organising chair