Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ESSLLI 2009 Bordeaux: Program and Call for Par...


view this post on Zulip Email Gateway (Aug 18 2022 at 13:34):

From: Richard Moot <richard.moot@labri.fr>


ESSLLI
Monday, 20 July -- Friday, 31 July 2009
Bordeaux, France
Program and Call for Participation


The European Summer School in Logic, Language and Information (ESSLLI)
is organized every year by the Association for Logic, Language and
Information (FoLLI, http://www.folli.org) in different sites around
Europe.

The main focus of ESSLLI is on the interface between linguistics,
logic and computation. ESSLLI offers foundational, introductory and
advanced courses, as well as workshops, covering a wide variety of
topics within the three areas of interest: Language and Computation,
Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to
500 students from Europe and elsewhere. The school has developed into
an important meeting place and forum for discussion for students and
researchers interested in the interdisciplinary study of Logic,
Language and Information.

* Registration *

Registration fees are 350 euros for master's/PhD student and 500 euros
for other partipants.

Registration closes on July the 1st. On-site registration will not be
possible. You can register online at our website.

http://esslli2009.labri.fr/reg.php

Registration deadline: 1st of July 2009

* Program *

* Evening Lecturers *

9:15 - 10:45

10:45 - 11:00

Coffee Break

11:00 - 12:30

Lunch Break

14:15 - 15:45

15:45 - 17:15

Student Session

17:15 - 18:45

14th conference on Formal Grammar - FG 2009

* Second Week * (27 - 31st of July, 2009)

9:15 - 10:45

10:45 - 11:00

Coffee Break

11:00 - 12:30

12:30 - 14:15

Lunch Break

14:15 - 15:45

15:45 - 17:15

Student Session

17:15 - 18:45

* Further Information *

The website for ESSLLI 2009 can be found at:

http://esslli2009.labri.fr


Last updated: Nov 21 2024 at 12:39 UTC