3rd International PhD School in Formal Languages and Applications
2004
2nd TERM
Class schedule
September 20
11-13Text Retrieval: Foundations I
Maxime Crochemore (University of Marne-la-Vallée)
15-17Text Retrieval: Foundations II
17-19Text Retrieval: Foundations PRACTICE
September 21
9-11Text Retrieval: Foundations III
11-13Text Retrieval: Foundations PAPER
September 22
11-13Natural Language Processing with Symbolic Neural Networks I
Risto Miikkulainen (University of Texas, Austin)
15-17Natural Language Processing with Symbolic Neural Networks II
17-19Natural Language Processing with Symbolic Neural Networks PRACTICE
September 23
HOLIDAY
September 24
9-11Natural Language Processing with Symbolic Neural Networks III
11-13Natural Language Processing with Symbolic Neural Networks PAPER
16-19WRITTEN EXAM
------
September 27
11-13Topics in Asynchronous Circuit Theory I
John Brzozowski (University of Waterloo)
15-17Topics in Asynchronous Circuit Theory II
September 28
9-11Topics in Asynchronous Circuit Theory III
11-13Topics in Asynchronous Circuit Theory PRACTICE
15-17Topics in Asynchronous Circuit Theory PAPER
September 29
11-13Unification Grammars I
Shuly Wintner (University of Haifa)
15-17Unification Grammars II
September 30
11-13Unification Grammars III
15-17Unification Grammars IV
17-19Unification Grammars PRACTICE
October 1
11-13Unification Grammars V
15-17Unification Grammars VI
17-19Unification Grammars PAPER
------
October 4
11-13Weighted Automata I
Manfred Droste (University of Leipzig)
15-17Weighted Automata II
October 5
9-11Weighted Automata III
11-13Weighted Automata PRACTICE
15-17Weighted Automata PAPER
October 6
11-13Context-Free Grammar Parsing I
Giorgio Satta (University of Padua)
15-17Context-Free Grammar Parsing II
October 7
11-13Context-Free Grammar Parsing III
15-17Context-Free Grammar Parsing IV
17-19Context-Free Grammar Parsing PRACTICE
October 8
11-13Context-Free Grammar Parsing V
15-17Context-Free Grammar Parsing VI
17-19Context-Free Grammar Parsing PAPER
------
October 11
11-13Probabilistic Parsing I
Mark-Jan Nederhof (University of Groningen)
15-17Probabilistic Parsing II
October 12
HOLIDAY
October 13
9-11Probabilistic Parsing III
11-13Probabilistic Parsing PRACTICE
15-17Probabilistic Parsing PAPER
October 14
11-13Formal Power Series I
Werner Kuich (Technical University of Vienna)
15-17Formal Power Series II
October 15
9-11Formal Power Series III
11-13Formal Power Series PRACTICE
15-17Formal Power Series PAPER
------
October 18
11-13Turing Machines I
Maurice Margenstern (University of Metz)
15-17Turing Machines II
17-19Turing Machines PRACTICE
October 19
11-13Turing Machines III
15-17Turing Machines IV
17-19Turing Machines PAPER
October 20
11-13Aqueous Computing I
Tom Head (Binghamton University)
15-17Aqueous Computing II
October 21
11-13Aqueous Computing III
15-17Aqueous Computing IV
October 22
9-11Aqueous Computing V
11-13Aqueous Computing PRACTICE
15-17Aqueous Computing PAPER
------
October 25
11-13Splicing Systems I
Rani Siromoney (Chennai Mathematical Institute)
October 26
11-13Splicing Systems II
15-17Splicing Systems PRACTICE
October 27
11-13Splicing Systems III
15-17Splicing Systems PAPER
October 28
11-13Codes I
Fernando Guzmán (Binghamton University)
15-17Codes II
October 29
9-11Codes III
11-13Codes PRACTICE
15-17Codes PAPER
------
November 1
HOLIDAY
November 2
11-13Stochastic Learning Automata I
John Oommen (Carleton University, Ottawa)
15-17Stochastic Learning Automata II
November 3
9-11Stochastic Learning Automata III
11-13Stochastic Learning Automata PRACTICE
15-17Stochastic Learning Automata PAPER
November 4
11-13Fuzzy Formal Languages I
Claudio Moraga (University of Dortmund)
15-17Fuzzy Formal Languages II
November 5
9-11Fuzzy Formal Languages III
11-13Fuzzy Formal Languages PRACTICE
15-17Fuzzy Formal Languages PAPER
------
November 8
9-11DNA Computing: Theory and Experiments I
Mitsunori Ogihara (University of Rochester)
11-13DNA Computing: Theory and Experiments II
15-17DNA Computing: Theory and Experiments III
November 9
11-13DNA Computing: Theory and Experiments IV
15-17DNA Computing: Theory and Experiments V
November 10
11-13DNA Computing: Theory and Experiments VI
15-17DNA Computing: Theory and Experiments VII
17-19DNA Computing: Theory and Experiments PRACTICE
November 11
11-13DNA Computing: Theory and Experiments VIII
15-17DNA Computing: Theory and Experiments IX
17-19DNA Computing: Theory and Experiments PAPER
November 12
9-11Grammatical Inference I
Colin de la Higuera (University of Saint-Étienne)
11-13Grammatical Inference II
15-17Grammatical Inference III
17-19Grammatical Inference PRACTICE
------
November 15
9-11Grammatical Inference IV
11-13Grammatical Inference V
15-17Grammatical Inference VI
17-19Grammatical Inference PAPER
November 16
11-13Cellular Automata I
Giancarlo Mauri (University of Milano Bicocca)
15-17Cellular Automata II
November 17
9-11Cellular Automata III
11-13Cellular Automata PRACTICE
15-17Cellular Automata PAPER
November 18
11-13Categorial Grammars I
Michael Moortgat (University of Utrecht)
15-17Categorial Grammars II
November 19
11-13Categorial Grammars III
15-17Categorial Grammars IV
------
November 22
9-11Categorial Grammars V
11-13Categorial Grammars PRACTICE
15-17Categorial Grammars PAPER
November 23
11-13Automata-Theoretic Techniques for Verification and Other Decision Problems I
Oscar Ibarra (University of California, Santa Barbara)
15-17Automata-Theoretic Techniques for Verification and Other Decision Problems II
November 24
9-11Automata-Theoretic Techniques for Verification and Other Decision Problems III
11-13Automata-Theoretic Techniques for Verification and Other Decision Problems PRACTICE
15-17Automata-Theoretic Techniques for Verification and Other Decision Problems PAPER
November 25
11-13Quantum Automata I
Jozef Gruska (Masaryk University, Brno)
November 26
11-13Quantum Automata II
15-17Quantum Automata PRACTICE
------
November 29
11-13Quantum Automata III
15-17Quantum Automata PAPER
November 30
11-13Mathematical Evolutionary Genomics I
David Sankoff (University of Ottawa)
15-17Mathematical Evolutionary Genomics II
December 1
9-11Mathematical Evolutionary Genomics III
11-13Mathematical Evolutionary Genomics PRACTICE
15-17Mathematical Evolutionary Genomics PAPER
December 2
11-13Formal Languages and Logic I
Vincenzo Manca (University of Verona)
15-17Formal Languages and Logic II
December 3
9-11Formal Languages and Logic III
11-13Formal Languages and Logic PRACTICE
15-17Formal Languages and Logic PAPER
------
December 6
HOLIDAY
December 7
17-19Cryptography I
Valtteri Niemi (Nokia, Helsinki)
19-21Cryptography II
December 8
HOLIDAY
December 9
9-11Cryptography III
11-13Cryptography PRACTICE
15-17Cryptography IV
17-19Cryptography PAPER
December 10
11-13Mathematical Foundations of Learning Theory I
Satoshi Kobayashi (University of Electro-Communications, Tokyo)
15-17Mathematical Foundations of Learning Theory II
------
December 13
9-11Mathematical Foundations of Learning Theory III
11-13Mathematical Foundations of Learning Theory PRACTICE
15-17Mathematical Foundations of Learning Theory PAPER
December 14
11-13Image Compression I
Jarkko Kari (University of Turku)
15-17Image Compression II
December 15
9-11Image Compression III
11-13Image Compression PRACTICE
15-17Image Compression PAPER
December 16
11-13Grammar-Theoretic Models in Artificial Life I
Jozef Kelemen (Silesian University, Opava)
15-17Grammar-Theoretic Models in Artificial Life II
December 17
9-11Grammar-Theoretic Models in Artificial Life III
11-13Grammar-Theoretic Models in Artificial Life PRACTICE
15-17Grammar-Theoretic Models in Artificial Life PAPER
------
December 20
11-13Text Retrieval: Applications I
Ricardo Baeza-Yates (University of Chile, Santiago)
15-17Text Retrieval: Applications II
December 21
9-11Text Retrieval: Applications III
11-13Text Retrieval: Applications PRACTICE
15-17Text Retrieval: Applications PAPER
December 22
9-14WRITTEN AND ORAL EXAM
1