Logic List Mailing Archive

FOM: school in formal languages and applications (fwd)

(Apologies for multiple copies. Please, help us to spread this initiative.)


	  1st INTERNATIONAL PhD SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS

				    2001-2003

			   Rovira i Virgili University
		  Research Group on Mathematical Linguistics

				Tarragona, Spain


 Courses and professors 1st year (April-June 2002):

 Applications of Formal Languages                Solomon Marcus, Bucharest
 Languages                                       Victor Mitrana, Bucharest
 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                             Rodica Ceterchi, Bucharest
 Parallel Grammars                               Henning Fernau, Tuebingen

 Courses and professors 2nd year (October 2002-January 2003):

 Grammar Systems                                 Erzsebet Csuhaj-Varju,
 Budapest
 Ecogrammar Systems and Colonies                 Alica Kelemenova, Opava
 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, Bucharest
 Splicing Systems and Aqueous Computing          Tom Head, Binghamton
 Quantum Computing                               Cristian Calude, Auckland
 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, Pisa
 Grammatical Inference and Learning              Takashi Yokomori, Tokyo
 Grammar-Theoretic Models in Artificial Life     Jozef Kelemen, Opava
 Syntactic Methods in Pattern Recognition        Rudolf Freund, Vienna
 Text Searching Algorithms                       Ricardo Baeza-Yates,
 Santiago de Chile
 Cryptography                                    Valtteri Niemi, Nokia, Vaasa
 Complexity                                      Markus Holzer, Munich

 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.

 Students:

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

 According to the expected programme's budget, more than half of the
 accepted students will be funded, so that their accommodation and living
 expenses while in Spain will be covered by the programme. These conditions
 could be improved, at the programme chairman's discretion and depending on
 the definite availability of resources, in the case of students from
 Eastern European countries and others.

 Deadlines:

 Free pre-registration: September 30, 2001
 Selection of students: November 15, 2001
 Application for funding: December 15, 2001
 Decision about funding: February 15, 2002
 Registration: February 28, 2002
 Starting of the courses: April 2, 2002

 Questions and further information:

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

 ------------------------------------------------
 Carlos Martin-Vide
 Head, Research Group on Mathematical Linguistics
 Head, Department of Romance Philologies
 Rovira i Virgili University
 Pl. Imperial Tarraco, 1
 43005 Tarragona, Spain
 Phone: +34-977-559-543
 Fax: +34-977-559-597
 E-mail: cmv@astor.urv.es, cmv@tinet.fut.es
 Web: http://www.urv.es/centres/Grups/grlmc/grlmc.html
 ------------------------------------------------