|
|
|
COURSE CANCELED
2004-04-02
| Thursday 14:15-16:00, Room INF 211 |
Overview
The course covers in more detail selected topics from the winter semester
course "Concurrency: Theory, Languages, and Programming". It provides a
seminar-style introduction into recent fundamental research literature of
the area.
Contents
Basic principles of modern type systems for programming languages, and
their usage.
Basic Calculi to model programming language paradigms in a concurrent
languages setting,
ranging from functional over object-oriented to distributed wide-area
programming,
as well as cryptographic extensions.
Schedule, with Slides
- [2004-03-11]
Introduction & Information (probably rather short)
- [2004-03-18]
Prof. Odersky: Introduction to Type Systems (I)
The Simply Typed Lambda Calculus,
in .pdf
format,
in .ps format.
- [2004-03-25]
Prof. Odersky:
Polymorphism
(.pdf, .ps )
- [2004-04-01]
Prof. Nestmann: Mobile
Objects
- Remainder taken up by paper presentations and discussions.
Presentation References:
- Foundations of Type Systems
- Types in Java
- Regular Types
- Implementation of Polymorphism
- Cryptographic Processes
- Proof-Carrying Code
- Wide-Area Programming
- Join Calculus
- Object Calculi and Types
- Types in process calculi (should be after 1.)
- Functions as processes (should be after 1.)
- Objects as processes (should be after 1.)
- Distributed process calculi (requires previous)
- Probabilistic extensions of process calculi
-
Herescu & Palamidessi.
-
Roberto Segala.
Accompanying Recommended Textbooks:
Rules
- FCFS !
- the structure of a typical presentation session is:
- around 45 minutes of presentation, but can be more
- around 45 minutes of focused discussion, where the presenter will prove to actually have deeply understood the contents of the chosen papers
- around 45 minutes of open discussion that may be taken to draw connections with other topics, or as preparation for the later topics of the course
- every presenter will provide handouts to every participant before the presentation (in some compact format, but with enough room for notes)
- there is going to be an oral exam after the semester, where the contents are
- the topic chosen by the respective candidate
- three other topics, up to the choice of the candidate among the ones treated during the course
- the second exam requirement implies that presentations must indeed be understandable for everyone in the course such that they can decide on this basis which topics to choose and prepare for the exam
- marks will be given in 50%-50% on the presentation versus the exam; however, an exam without presentation is considered useless and does not count anything.
- presentations may be prepared and given in groups, but then of course on multiple occasions such that each presenter on the whole talks for 45 minutes and replies for another 45 minutes
Contact
Professors:
Assistant:
Related Links
|
|
