2nd INTERNATIONAL PhD SCHOOL IN

FORMAL LANGUAGES AND APPLICATIONS


2002-2004

Rovira i Virgili University
Research Group on Mathematical Linguistics

Tarragona, Spain



 

Courses and professors 1st term (March-June 2003):

 
Course
Professor
Applications of Formal Languages Solomon Marcus, Bucharest
Languages Zoltan Esik, Szeged
Combinatorics on Words Tero Harju, Turku
Regular Grammars Masami Ito, Kyoto
Context-Free Grammars Manfred Kudlek, Hamburg
Context-Sensitive Grammars Alexandru Mateescu, Bucharest
Mildly Context-Sensitive Grammars Henning Bordihn, Potsdam
Derivation Trees Carlos Martin-Vide, Tarragona
Finite Automata Sheng Yu, London ON
Pushdown Automata  Hendrik Jan Hoogeboom, Leiden
Turing Machines Maurice Margenstern, Metz
Patterns Kai Salomaa, Kingston ON
Infinite Words Juhani Karhumaki, Turku
Two-Dimensional Languages Kenichi Morita, Hiroshima
Regulated Rewriting Juergen Dassow, Magdeburg
Contextual Grammars Victor Mitrana, Tarragona
Parallel Grammars Henning Fernau, Callaghan
Grammar Systems
Erzsebet Csuhaj-Varju, Budapest
Ecogrammar Systems and Colonies
Alica Kelemenova, Opava

 
Courses and professors 2nd term (October 2003-February 2004):

 
Course
Professor
Tree Automata and Tree Languages  Magnus Steinby, Turku
Formal Power Series Werner Kuich, Vienna
DNA Computing: Theory and Experiments Grzegorz Rozenberg, Leiden
Membrane Computing Gheorghe Paun, Tarragona
Splicing Systems and Aqueous Computing Tom Head, Binghamton NY
Quantum Computing Cristian Calude, Auckland
Developmental Languages vs. DNA Computing
Arto Salomaa, Turku
Cellular Automata
Giancarlo Mauri, Milano
Formal Languages and Natural Language Syntax Walter Savitch, San Diego
Parsing Giorgio Satta, Padua
Tree Adjoining Grammars James Rogers, Richmond IN
Weighted Finite-State Transducers Mehryar Mohri, AT&T, Florham Park NJ
Formal Languages and Logic Vincenzo Manca, Verona
Grammatical Inference and Learning Takashi Yokomori, Tokyo
Grammar-Theoretic Models in Artificial Life Jozef Kelemen, Opava
Syntactic Methods in Pattern Recognition Rudolf Freund, Vienna
Automata-Based Techniques for Verification and Other Decision Problems
Oscar Ibarra, Santa Barbara CA
Text Searching Algorithms Ricardo Baeza-Yates, Santiago de Chile
Cryptography Valtteri Niemi, Helsinki
Computational Complexity Markus Holzer, Munich
Descriptional Complexity of Automata and Grammars
Detlef Wotschke, Frankfurt


 
Dissertation:

After following the courses, students enrolled in the programme will have to write a dissertation in English in their own area of interest, in order to get the so-called European PhD degree. All the professors in the programme will be allowed to supervise students' work. 


Tuition fees:

780 euros each term, appr.
 

Students:

Candidate students for the programme are welcome from around the world. Most appropriate degrees include: Computer Science, Mathematics and Linguistics. Students are assumed either to have a good background in discrete mathematics or to be ready to get it by March 2003.
 

Funding:

According to the expected programme's budget, 7 accepted students will be funded, so that their tuition fees, accommodation and living expenses while in Spain will be all covered by the programme.

Pre-registration procedure:

In order to be pre-registered, one should send to the programme chairman:


E-mail, fax, post are all accepted.


Deadlines:

Pre-registration: November 10, 2002
Selection of students: November 15, 2002
Application for funding: November 30, 2002
Decision about funding: February 15, 2003
Registration: March 25, 2003
Starting of the courses: March 26, 2003

 

Questions and further information:

Please, contact the programme chairman, Carlos Martin-Vide, at cmv@astor.urv.es
 

Back to News Page
 

If you have any comment, question or feedback, please contact the webmaster.
Last updated: September 2002