We'll aim at two or three presentation slots per lecture.
It is a good idea to split a particular topic into two or three parts,
to be able to go deeper in a particular topic. However, each presentation
should be prepared individually, except for what is needed to coordinate
who covers what on a particular topic.
Below, is a list of possible topics and papers. You're welcome to suggest
your own topic. I'll be adding more soon.
-
Aspect-oriented programming
- Constraint Programming (Chapter 12. from the book)
- Adam & Eve (combination of declarative & imperative approach
to GUI programming), also related to Chapter 10. in the book.
- Relational/logic programming.
- Type systems for XML processing.
- Extendible programming environments.
- Languages with extensible syntax.
- Proof-carrying code.
- Some area of rich type systems (track resource usage,
module systems, ...)
More topics will follow, and particular papers to focus on.
Please contact me soonish and state your interest, and I'll give you pointers from where to start.
There's a wiki page for scheduling your talk wiki-page to pick a time slot.