Ecole: SSFLA 2011

[Thierry Hamon]

Date: Sun, 10 Oct 2010 12:45:39 +0200
From: <carlos.martin at urv.cat>
Message-ID: <f6df82f31bb1.4cb1b573 at urv.cat>
X-url: http://grammars.grlmc.com/ssfla2011/


2011 INTERNATIONAL SPRING SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS
(SSFLA 2011)

(formerly International PhD School in Formal Languages and
Applications)

Tarragona, Spain, April 18-22, 2011

Organized by:
Research Group on Mathematical Linguistics
Rovira i Virgili University

http://grammars.grlmc.com/ssfla2011/

******************************************

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most
appropriate degrees include: Computer Science and Mathematics. Other
students (for instance, from Linguistics, Electrical Engineering,
Molecular Biology or Logic) are welcome too provided they have a good
background in discrete mathematics.

All courses will be made compatible in terms of schedule.

COURSES AND PROFESSORS:

Franz Baader (Dresden), Automata and Logic [advanced, 4 hours]

Thomas Bäck (Leiden), Natural Computing [introductory, 10 hours]

Markus Holzer (Giessen), Computational Complexity [introductory, 14
hours]

Claude Kirchner (Bordeaux), Rewriting and Deduction Modulo
[introductory, 6 hours]

Thierry Lecroq (Rouen), Text Searching and Indexing [introductory, 10
hours]

Rupak Majumdar (Kaiserslautern), Software Model Checking
[introductory, 10 hours]

Risto Miikkulainen (Austin), Natural Language Processing with
Subsymbolic Neural Networks [introductory, 6 hours]

Bernhard Steffen (Dortmund), Automata Learning from Theory to
Application [introductory/advanced, 18 hours]

Wolfgang Thomas (Aachen), omega-Automata and Infinite Games
[introductory/advanced, 6 hours]

Sheng Yu (London ON), Finite Automata and Regular Languages
[introductory/advanced, 8 hours]


SCHOOL PAPER:

On a voluntary basis, within 6 months after the end of the School,
students will be expected to draft an individual or jointly-authored
research paper on a topic covered during the classes under the
guidance of the lecturing staff.

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/ssfla2011/Registration.php 

FEES:

They are variable, depending on the number of courses each student
takes. The rule is:

1 hour = 

- 10 euros (for payments until November 30, 2010), 
- 15 euros (for payments after November 30, 2010). 

The fees must be paid to the School's bank account: 

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN:
ES3902270001820201823142 - Swift code: UNOEESM1 (account holder:
Carlos Martin-Vide GRLMC)

Please mention SSFLA 2011 and your full name in the subject. An
invoice will be provided on site. Bank transfers should not involve
any expense for the School.

To check the eligibility for early registration, what counts is the
date when the payment is received (not the date when the registration
form was filled in).

People registering on site at the beginning of the School must pay in
cash.

ACCOMMODATION:

Information about accommodation will be provided through the website
of the School in January 2011.

CERTIFICATES:

Students will be delivered a diploma stating the courses attended,
their contents, and their duration. Those participants who will choose
to be involved in a research paper will receive an additional
certificate at the end of the task, independently on whether the paper
will finally get published or not.

IMPORTANT DATES:

Announcement of the programme: October 8, 2010
Starting of the registration: October 11, 2010
Early registration deadline: November 30, 2010
Starting of the School: April 18, 2011
End of the School: April 22, 2011 

QUESTIONS AND FURTHER INFORMATION:

Carlos Martin-Vide: carlos.martin at urv.cat 

WEBSITE:

http://grammars.grlmc.com/ssfla2011/ 

POSTAL ADDRESS:

SSFLA 2011
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------