| Title: |
Lectures in Classical Dimension Theory (Special course in
topology) |
| Organiser: |
J. van Mill,(vanmill@cs.vu.nl)
|
| Time and place: |
spring semester 1998, Vrije Universiteit Amsterdam |
| Structure: | lectures for two hours each week during the semester.
meant for advanced students and after-graduates. |
| Contents: |
classical dimension theory of seperable metric spaces, recent
developments in infinite-dimensional topological spaces (a.o. a proof of
the theorem by Walsh will be given on the existence of compact metric
spaces with the property that each subspace is either zero-dimensional or
infinite-dimensional. |
| Literature: |
J. van Mill, Infinite-dimensional topology: prerequisites
and introduction, North-Holland, 1989
R. Engelking, Dimension theory, Heldermann Verlag, 1996. |
| Prerequisites: |
Reasonable knowledge of general topology.
|
| Title: |
Course Theory of 2-structures |
| Lecturer: |
G. Rozenberg (rozenber@wi.leidenuniv.nl)
phone: 071-5277067
|
| Time and place: |
Fall 1997, Leiden.
|
| Aim: |
To provide an insight into some of the current
topics of research in theoretical computer science. |
| Contents: | The theme of the lecture is the theory and applications of 2-structures
which form a convenient framework to deal with complex graph-like structures.
The following topics are discussed in the lecture: decompositions of complex
graph-like structurs into substructures of "simple" type; the analysis of the
structure and the behaviour of concurrent systems; the analysis of texts. |
| Structure: | One semester course. 13 x 3 hours. |
| Literature: | Copy of transparencies for the lecture and references to a number of selected
papers on the topic. |
| Prerequisites: | Basic knowledge of graph theory. Some knowledge of theory of Petri nets and
formal language theory is helpful but not formally required. |
| Examination: | Written exam. Many of the results treated in the class are given without
proofs. Students are suggested to make the proofs themselves and submit
them during the semester for comments. Good score on the solutions handed
in, may upgrade the final score for the course. |
| Title: |
Course Formal Languages and Automata 2 |
| Lecturer: | J. Engelfriet (engelfri@wi.leidenuniv.nl)
phone: 071-5277065
|
| Time and place: | Fall 1997, Leiden.
|
| Aim: | The study of the theory of Attribute Grammars, a compiler writing formalism
used in practice. |
| Contents: | Context-sensitive restrictions on and translation of context-free languages.
Circularity and decomposition of attribute grammars. Tree-walking strategies
for attribute evaluation. Parsing and attribute evaluation by pushdown
automata with registers. |
| Structure: | One semester, 13 x 3 hours. |
| Literature | Lecture notes, distributed during the course. |
| Prerequisites: | Elementary formal language theory, in particular context-free grammars. |
| Examination: | Three times ten exercises of varying difficulty have to be worked out,
submitted, and possibly improved. |
|
Title: |
Course Theory of Concurrency 2 |
| Organiser: | H.C.M. Kleijn (kleijn@wi.leidenuniv.nl)
phone:071-5277064 |
| Time and place: | Fall 1997, Leiden. |
| Aim: | To gain some insight in various aspects of
concurrency and the modelling of concurrent processes and to learn
how to read, understand and present results from the scientific literature
(books or papers). |
| Contents: | Topics may vary, but usually include the algebraic representation of
concurrent processes, synchronisation and communication, observing the
behaviour of concurrent processes. |
| Structure: | One semester, 13 x 3 hours. |
| Literature: | Not yet fixed, may depend on interests participants.
|
| Prerequisites: | Some former exposure to some theory or model of concurrency is an
advantage, but is not required. |
| Examination: | Participants study and present material from books or articles. Next to
their oral presentation, participants have a written assignment. |
|
| Title: |
Seminar DNA Computing |
| Organiser: | H.J. Hoogeboom, G. Rozenberg |
| Contact: | H.J. Hoogeboom
(
http://www.wi.leidenuniv.nl/home/hoogeboo) |
| Time and place: | Fall 1997, Leiden. |
| Aim: | To gain some insight in various aspects of
string rewriting mechanisms modelled after DNA recombination, and to
learn how to read, understand and present results from the scientific
literature. |
| Contents: | Language theory and molecular genetics:
generative mechanims suggested by DNA recombination.
Student seminar. Presentations of recent research papers by students. |
| Structure: | One semester, 13 x 3 hours. |
| Literature: | Recent research papers |
| Prerequisites: | Basic formal language theory |
| Examination: | Participants study and present material from books or articles. Next to
their oral presentation, participants have a written assignment. |
