Ecole: FSFLA 2012, October 29 =?WINDOWS-1252?Q?=96_?=November 2, 2012, Tarragona, Spain

[Thierry Hamon]

Date: Mon, 2 Jul 2012 23:03:06 +0200
From: "GRLMC" <grlmc at urv.cat>
Message-ID: <D0514882A4194DBA9D5E76159372122D at Carlos1>
X-url: http://grammars.grlmc.com/fsfla2012/


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

2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS

FSFLA 2012

(formerly International PhD School in Formal Languages and Applications)

Tarragona, Spain

October 29 – November 2, 2012

Organized by:

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

http://grammars.grlmc.com/fsfla2012/

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

AIM:

FSFLA 2012 offers a broad and intensive series of lectures at different
levels on selected topics in language and automata theory and their
applications. The students choose their preferred courses according to
their interests and background. Instructors are top names in their
respective fields. The School intends to help students initiate and
foster their research career.

The previous event in this series was FSFLA 2011 (
http://grammars.grlmc.com/fsfla2011/).

ADDRESSED TO:

Graduate (and advanced undergraduate) 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.

The School is appropriate also for people more advanced in their career
who want to keep themselves updated on developments in the field.

There is no overlap in the class schedule.

COURSES AND PROFESSORS:


- Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower
  Bounds [introductory/advanced, 8 hours]

- Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in
  Pattern Matching [introductory, 6 hours]

- Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent
  Boolean Programs [introductory/advanced, 8 hours]

- Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model
  Checking [intermediate, 8 hours]

- Jörg Flum (Freiburg), The Halting Problem for Turing Machines
  [introductory/advanced, 6 hours]

- Aart Middeldorp (Innsbruck), Termination of Rewrite Systems
  [introductory/intermediate, 8 hours]

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/fsfla2012/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 June 2, 2012), 
- 12.50 euros (for payments between June 3 and August 15, 2012),
- 15 euros (for payments after August 15, 2012). 

PAYMENT PROCEDURE:

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

Uno-e Bank
bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain
IBAN: ES3902270001820201823142
SWIFT/BIC code: UNOEESM1
account holder: Carlos Martin-Vide GRLMC
account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

Please mention FSFLA 2012 and your name in the subject. A receipt will
be provided on site.

Remarks:

- Bank transfers should not involve any expense for the School.

- People claiming early registration will be requested to prove that the
  bank transfer order was carried out by the deadline.

- Students may be refunded only in the case when a course gets cancelled
  due to the unavailability of the instructor.

People registering on site at the beginning of the School must pay in
cash.  For the sake of local organization, however, it is much
recommended to do it earlier.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATE:

Students will be delivered a certificate stating the courses attended,
their contents, and their duration.

IMPORTANT DATES:

Announcement of the programme: March 24, 2012
Starting of the registration: March 24, 2012
Very early registration deadline: June 2, 2012
Early registration deadline: August 15, 2012
Starting of the School: October 29, 2012
End of the School: November 2, 2012 

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:

florentinalilica.voicu at urv.cat 

WEBSITE:

http://grammars.grlmc.com/fsfla2012/ 

POSTAL ADDRESS:

FSFLA 2012
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

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

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

-------------------------------------------------------------------------
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/
-------------------------------------------------------------------------