3rd International PhD School in Formal Languages and Applications

Class Schedule for the First Term
March -- April -- May -- June/July
June 2
11-13 Tree Adjoining Grammars I, James Rogers (Earlham College)

15-17 Tree Adjoining Grammars II

19-21 Tree Adjoining Grammars III
June 3
11-13 Tree Adjoining Grammars IV

15-17 Tree Adjoining Grammars V

17-19 Tree Adjoining Grammars PRACTICE
June 4
11-13 Tree Adjoining Grammars VI

15-17 Tree Adjoining Grammars VII

17-19 Tree Adjoining Grammars PAPER
June 7
11-13 Descriptional Complexity of Automata and Grammars I, Detlef Wotschke (University of Frankfurt)

15-17 Descriptional Complexity of Automata and Grammars II
June 8
11-13 Descriptional Complexity of Automata and Grammars III

15-17 Descriptional Complexity of Automata and Grammars IV
June 9
11-13 Descriptional Complexity of Automata and Grammars V

15-17 Descriptional Complexity of Automata and Grammars VI
June 10
9-11 Descriptional Complexity of Automata and Grammars PRACTICE

11-13 Descriptional Complexity of Automata and Grammars PAPER

15-17 Tree Automata and Tree Languages I, Magnus Steinby (University of Turku)

17-19 Tree Automata and Tree Languages PRACTICE
June 11
11-13 Tree Automata and Tree Languages II

15-17 Tree Automata and Tree Languages III

17-19 Tree Automata and Tree Languages PAPER
June 14
11-13 Formal Languages and Concurrent Systems I, Jetty Kleijn (Leiden University)

15-17 Formal Languages and Concurrent Systems II
June 15
9-11 Formal Languages and Concurrent Systems III

11-13 Formal Languages and Concurrent Systems PRACTICE

15-17 Formal Languages and Concurrent Systems PAPER

17-19 Grammars with Regulated Rewriting I, Jürgen Dassow (University of Magdeburg)
June 16
11-13 Grammars with Regulated Rewriting II

15-17 Grammars with Regulated Rewriting III
June 17
11-13 Grammars with Regulated Rewriting IV

15-17 Grammars with Regulated Rewriting V
June 18
11-13 Grammars with Regulated Rewriting VI

15-17 Grammars with Regulated Rewriting PRACTICE

17-19 Grammars with Regulated Rewriting PAPER
June 21
11-13 Contextual Grammars I, Carlos Martín-Vide (Rovira i Virgili University)

15-17 Contextual Grammars II
June 22
11-13 Contextual Grammars III

15-17 Contextual Grammars IV

17-19 Contextual Grammars PRACTICE
June 23
11-13 Contextual Grammars V

15-17 Contextual Grammars VI

17-19 Contextual Grammars PAPER
June 25
11-13 Decidability Issues in Formal Languages I, Christian Choffrut (CNRS and University of Paris 7)

15-17 Decidability Issues in Formal Languages II
June 28
9-11 Decidability Issues in Formal Languages III

11-13 Decidability Issues in Formal Languages PRACTICE

15-17 Decidability Issues in Formal Languages PAPER

17-19 Restarting Automata I, Friedrich Otto (University of Kassel)
June 29
11-13 Restarting Automata II

15-17 Restarting Automata III

17-19 Restarting Automata PRACTICE
June 30
9-11 Restarting Automata PAPER

11-13 Graph Grammars and Graph Transformation I, Hans-Jörg Kreowski (University of Bremen)

15-17 Graph Grammars and Graph Transformation II
July 1
11-13 Graph Grammars and Graph Transformation III

15-17 Graph Grammars and Graph Transformation PRACTICE

17-19 Graph Grammars and Graph Transformation PAPER

July 2
WRITTEN AND ORAL EXAMINATION