Logic List Mailing Archive

2nd Phd School in Formal Language and Applications

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

Phd School: 2nd International Phd School in Formal Language and
Applications (2002-2004);

For details, please look at :

http://pizarro.fll.urv.es/continguts/linguistica/proyecto/grlmc.htm

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

Roots, Sources and Applications of Formal Languages Solomon Marcus,
Bucharest 
Languages  Zolt?n ?sik, 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 Mart?n-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 Karhum?ki, Turku 
Two-Dimensional Languages  Kenichi Morita, Hiroshima 
Regulated Rewriting  J?rgen Dassow, Magdeburg 
Contextual Grammars  Victor Mitrana, Tarragona 
Parallel Grammars  Henning Fernau, Callaghan 
Grammar Systems  Erzs?bet Csuhaj-Varj?, Budapest 
Ecogrammar Systems and Colonies  Alica Kelemenov?, Opava 
  
Courses and professors 2nd term (October 2003-February 2004)

Tree Automata and Tree Languages  Magnus Steinby, Turku 
Graph Grammars and Graph Transformation  Hans-J?rg Kreowski, Bremen 
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 
CA 
Parsing  Giorgio Satta, Padua 
Tree Adjoining Grammars  James Rogers, Richmond IN 
Weighted Finite-State Transducers  Mehryar Mohri, 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