Ecole: 6th International PhD School in Formal Languages and Applications 2006-2008, Tarragona, Spain

Thierry Hamon thierry.hamon at LIPN.UNIV-PARIS13.FR
Mon Aug 28 08:15:46 UTC 2006

Date: Tue, 08 Aug 2006 16:34:02 GMT
From: <carlos.martin at>
Message-ID: <fcf8ee64466a.44d8bcfa at>

Apologies for multiple posting!

Please, forward the announcement to whom may be interested in.




Rovira i Virgili University
Research Group on Mathematical Linguistics
Tarragona, Spain

Awarded with the Mark of Quality (Mención de Calidad) by the Spanish
Ministry for Education and Science, MCD2003-00820

With the support of Xerox Corporation

Courses and professors 1st term (March-July 2007)

Languages - Alexander Okhotin (Turku)
Combinatorics on Words - Tero Harju (Turku)
Regular Grammars - Masami Ito (Kyoto)
Context-Free Grammars - Manfred Kudlek (Hamburg)
Context-Sensitive Grammars - Victor Mitrana (Tarragona)
Mildly Context-Sensitive Grammars - Henning Bordihn (Potsdam)
Finite Automata - Sheng Yu (London ON)
Pushdown Automata - Hendrik Jan Hoogeboom (Leiden)
Turing Machines - Holger Petersen (Stuttgart)
Varieties of Formal Languages - Jean-Éric Pin (Paris)
Semigroups for the Working Theoretical Computer Scientist - Stuart
  Margolis (Ramat Gan)
Computational Complexity - Markus Holzer (Munich)
Descriptional Complexity of Automata and Grammars - Detlef Wotschke
Communication Complexity - Carsten Damm (Göttingen)
Patterns - Kai Salomaa (Kingston ON)
Infinite Words - Juhani Karhumäki (Turku)
Partial Words - Francine Blanchet-Sadri (Greensboro NC)
Two-Dimensional Languages - Kenichi Morita (Hiroshima)
Grammars with Regulated Rewriting - Jürgen Dassow (Magdeburg)
Contextual Grammars - Carlos Martín-Vide (Tarragona)
Parallel Grammars - Henning Fernau (Trier)
Grammar Systems - Erzsébet Csuhaj-Varjú (Budapest)
Automata Networks - Pál Dömösi (Debrecen)
Tree Automata and Tree Languages - Magnus Steinby (Turku)
Tree Adjoining Grammars - James Rogers (Richmond IN)
Term Rewriting Systems - Nachum Dershowitz (Tel Aviv)
Automata and Logic - Franz Baader (Dresden)
Formal Languages and Concurrent Systems - Jetty Kleijn (Leiden)
Petri Net Theory and Its Applications - Hsu-Chun Yen (Taipei)
Graph Grammars and Graph Transformation - Hans-Jörg Kreowski (Bremen)
Restarting Automata - Friedrich Otto (Kassel)

Courses and professors 2nd term (September-December 2007)

Parameterized Complexity - Jörg Flum (Freiburg, Germany)
Modern Complexity Theory - Mitsunori Ogihara (Rochester NY)
Fuzzy Formal Languages - Claudio Moraga (Dortmund)
Cellular Automata - Martin Kutrib (Giessen)
DNA Computing: Theory and Experiments - Natasha Jonoska (Tampa FL)
Splicing Systems - Paola Bonizzoni (Milan)
Aqueous Computing - Tom Head (Binghamton NY)
Biomolecular Nanotechnology - Max Garzon (Memphis TN)
Quantum Automata - Jozef Gruska (Brno)
Symbolic Dynamics and Automata - Christiane Frougny (Paris)
Unification Grammars - Shuly Wintner (Haifa)
Context-Free Grammar Parsing - Giorgio Satta (Padua)
Probabilistic Parsing - Mark-Jan Nederhof (Groningen)
Categorial Grammars - Michael Moortgat (Utrecht)
Grammatical Inference - Colin de la Higuera (Saint-Étienne)
Mathematical Foundations of Learning Theory - Satoshi Kobayashi (Tokyo)
Natural Language Processing with Symbolic Neural Networks - Risto
         Miikkulainen (Austin TX)
Weighted Automata - Manfred Droste (Leipzig)
Finite Transducers - Jacques Sakarovitch (Paris)
Sequential Pattern Matching - Thierry Lecroq (Rouen)
Mathematical Evolutionary Genomics - David Sankoff (Ottawa ON)
Cryptography - Valtteri Niemi (Nokia, Helsinki)
String Complexity - Lucian Ilie (London ON)
Data Compression - Wojciech Rytter (Warsaw)
Image Compression - Jarkko Kari (Turku)
Algebraic Techniques in Language Theory - Zoltán Ésik (Tarragona)
Topics in Asynchronous Circuit Theory - John Brzozowski (Waterloo ON)
Automata for Verification - Moshe Vardi (Houston TX)


Candidate students for the programme are welcome from around the
world. Most appropriate degrees include: Computer Science and
Mathematics. Other students (for instance, from Linguistics, Logic or
Engineering) could be accepted provided they have a good undergraduate
background in discrete mathematics. At the beginning of the first
term, a few lessons on discrete mathematics advanced pre-requisites
will be offered, in order to homogenize the students' mathematical

In order to check eligibility for the programme, the student must be
certain that the highest university degree s/he got enables her/him to
be enrolled in a doctoral programme in her/his home country.


2,120 euros in total, approximately.


After following the courses, the students enrolled in the programme
will have to defend a research project and, later, a dissertation in
English in their own area of interest, in order to get the so-called
European PhD degree (which is a standard PhD degree with an additional
mark of quality). All the professors in the programme will be allowed
to supervise students' dissertations, as well as any other
well-reputed scientist at the discretion of the host institute.


The university will cover the tuition fees and full-board
accommodation expenses of all admitted students during the first
term. For the second one, funding opportunities will be provided,
among others, by the Spanish Ministry for Education and Science, the
Spanish Ministry for Foreign Affairs and Cooperation (Becas
MAEC-AECI), and the European Commission (Alban scheme for Latin
American citizens).

Immediately after the courses and during the writing of the PhD
dissertation, some of the best students will be offered 4-year
research fellowships, which will allow them to work in the framework
of the host institute.


In order to pre-register, one should post (not fax, not e-mail) to the
programme chairman:

- a xerocopy of the main page of the passport,
- a xerocopy of the university education diplomas,
- a xerocopy of the academic transcripts,
- full CV,
- letters of recommendation (optional),
- any other document to prove background, interest and motivation


Announcement of the programme: August 8, 2006
Pre-registration deadline: October 15, 2006
Selection of students: October 22, 2006
Starting of the 1st term: March 5, 2007
End of the 1st term: July 27, 2007
Starting of the 2nd term (tentative): September 3, 2007
End of the 2nd term (tentative): December 21, 2007
Defense of the research project (tentative): September 13, 2008
DEA examination (tentative): May 16, 2009


Contact the programme chairman, Carlos Martín Vide, at carlos.martin at


Research Group on Mathematical Linguistics
Rovira i Virgili University
Pl. Imperial Tàrraco, 1
43005 Tarragona, Spain

Phone: +34-977-559543, +34-977-554391

Fax: +34-977-559597, +34-977-554391

Message diffuse par la liste Langage Naturel <LN at>
Informations, abonnement :
English version       : 
Archives                 :

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  :

More information about the Ln mailing list