coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ESSLLI 2005 registration Now open

From: Fairouz Kamareddine <fairouz AT macs.hw.ac.uk>
To: acl2 AT cs.utexas.edu, aiia AT di.unito.it, aisb AT cogs.sussex.ac.uk, asl AT vassar.edu, calculemus-ig AT ags.uni-sb.de, caml-list AT inria.fr, ccl AT ps.uni-sb.de, clp AT comp.nus.edu.sg, comlab AT comlab.ox.ac.uk, complog AT cs.nmsu.edu, compulog-deduction AT cs.bham.ac.uk, compulognet-parimp AT dia.fi.upm.es, coq-club AT pauillac.inria.fr, csp AT carlit.toulouse.inra.fr, eapls AT jiscmail.ac.uk, ed AT mcs.anl.gov, fom AT cs.nyu.edu, formal-methods AT cs.uidaho.edu, ftp-community AT logic.at, ftp AT logic.at, info-hol AT cs.uidaho.edu, isabelle-users AT cl.cam.ac.uk, kbcsl AT uni-paderborn.de, kgs AT logic.tuwien.ac.at, ki-inf AT uni-koblenz.de, kr AT kr.org, lfcs-interest AT dcs.ed.ac.uk, lprolog AT cs.umn.edu, mapledev AT maplesoft.com, members AT fmeurope.org, mizar-forum AT mizar.uwb.edu.pl, nqthm-users AT cs.utexas.edu, nuprl AT cs.cornell.edu, om-announce AT openmath.org, om AT openmath.org, omdoc AT mathweb.org, projects-mkm-ig AT iu-bremen.de, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, rewriting AT ens-lyon.fr, mizar-forum AT mizar.uwb.edu.pl, seworld AT cs.colorado.edu, siksleden AT cs.ruu.nl, stp AT dcs.gla.ac.uk, theorem-provers AT ai.mit.edu, types AT cis.upenn.edu, vki-list AT dfki.de, www-math AT w3.org, zforum AT prg.ox.ac.uk
Cc: fairouz AT macs.hw.ac.uk
Subject: [Coq-Club] ESSLLI 2005 registration Now open
Date: Thu, 17 Mar 2005 16:26:47 +0000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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

[Coq-Club] ESSLLI 2005 registration Now open, Fairouz Kamareddine