Logic List Mailing Archive

6th International Summer School in Formal Languages and Applications, Tarragona (Spain), 21 Jul - 2 Aug 2008

6th INTERNATIONAL SUMMER SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS
(formerly International PhD School in Formal Languages and Applications)

Tarragona, Spain, July 21 - August 2, 2008

Organized by:

Research Group on Mathematical Linguistics
Rovira i Virgili University

http://www.grlmc.com

ADDRESSED TO:

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

All courses will be compatible in terms of the schedule. (There will be no courses in parallel.)

COURSES AND PROFESSORS JULY 21-26:

Martyn Amos (Manchester), Synthetic Biology: Biological Engineering [6 hours]
Erzsebet Csuhaj-Varju (Budapest), Language Theoretic Models of Multi-Agent Systems [14 hours]
Zoltan Esik (Tarragona), An Axiomatic Theory of Automata [6 hours]
Rusins Freivalds (Riga), Elliptic Curves [6 hours]
Max Garzon (Memphis), Biomolecular Nanotechnology [6 hours]
Masami Ito (Kyoto), Regular Grammars [6 hours]
Martin Kutrib (Giessen), Cellular Automata [6 hours]
Claudio Moraga (Mieres), Fuzzy Formal Languages [6 hours]
Kenichi Morita (Hiroshima), Two-Dimensional Languages [6 hours]
Mitsunori Ogihara (Rochester), Computational Complexity and Molecular Computation Models [6 hours]
Friedrich Otto (Kassel), Restarting Automata [6 hours]

COURSES AND PROFESSORS JULY 28 - AUGUST 2:

Francine Blanchet-Sadri (Greensboro), Partial Words [6 hours]
Henning Bordihn (Potsdam), Mildly Context-Sensitive Grammars [8 hours]
Wojciech Buszkowski (Poznan), Type Logics and Grammars [8 hours]
Manfred Droste (Leipzig), Weighted Automata [8 hours]
Joerg Flum (Freiburg, Germany), Parameterized Complexity [6 hours]
Tom Head (Binghamton), Computing with Light Using Transparency and Opacity [6 hours]
Satoshi Kobayashi (Tokyo), Grammatical Models and Algorithms for Biological Sequence Analysis [6 hours]
Mark-Jan Nederhof (St.-Andrews), Probabilistic Parsing [6 hours]
Alexander Okhotin (Turku), Language Equations [6 hours]
Detlef Wotschke (Frankfurt), Descriptional Complexity of Automata and Grammars [12 hours]
Sheng Yu (London, Canada), Finite Automata [16 hours]

REGISTRATION:

It has to be done on line at:

http://www.grlmc.com

FEES:

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

1 hour =

- 10 euros (for payments until March 24, 2008),
- 12 euros (for payments after March 24, 2008).

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

IBAN code: ES13 0073 0100 5104 0350 6598

Please mention SSFLA'08 and your full name in the subject. An invoice will be provided on site.

To check the eligibility for early registration, what counts is the date of the bank order for payment (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 due time.

IMPORTANT DATES:

Announcement of the programme: January 26, 2008
Starting of the registration: February 4, 2008
Early registration deadline: March 24, 2008
Starting of the School: July 21, 2008
End of the School: August 2, 2008

QUESTIONS AND FURTHER INFORMATION:

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

WEBSITE:

http://www.grlmc.com

POSTAL ADDRESS:

SSFLA'08
Research Group on Mathematical Linguistics
Rovira i Virgili University
Plaza Imperial Tarraco, 1
43005 Tarragona, Spain

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