Title: | Instructional conference on Algebraic Independence. |
Organiser: | R. Tijdeman (tijdeman@wi.leidenuniv.nl) |
Time and place: | 29 September-3 October 1997, CIRM, Luminy, France. |
Contents: | Introduction to recent results of Nesterenko and others. |
Structure: | About 20 lectures by experts meant for graduate students and post-docs. Bourbaki Seminar talk by M. Waldschmidt, November 1996. |
Prerequisites: | Preknowledge will be distributed some months in advance among participants. |
Title: | Number Theory Seminar. |
Organiser: | P. Stevenhagen (psh@wins.uva.nl), B. de Smit (bds@wins.uva.nl), R. Tijdeman (tijdeman@wi.leidenuniv.nl) |
Time and place: | Biweekly, mostly on Friday afternoons. Various universities. |
Contents: | Exchange of recent number theoretical results and methods. |
Structure: | Every time 2-3 lectures of 1-2 hours. |
Prerequisites: | Basic knowledge number theory. |
Title: | Intercity-Seminar Geometry |
Organisers: | G. van der Geer (geer@wins.uva.nl) |
Contents | New developements in (algebraic) geometry are discussed |
Time and place: | Biweekly on Friday at one of the participating institutes |
More information | please contact: G. van der Geer (geer@wins.uva.nl) |
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: | Seminar Topology. | |
Organiser | J. van Mill (vanmill@cs.vu.nl) | |
Time and place: | Weekly, Tuesday afternoon, Vrije Universiteit Amsterdam | |
More information: | please contact J. van Mill,(vanmill@cs.vu.nl). |
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. |