To digest, present and discuss topics in mathematical logic that are of relevance to current research computer science. In this context also the independent preparation and presentation of results from formal sciences is to be trained.
The seminar topics will relate to current research of the two course organizers. Concretely, participants will have a choice between various areas including proof theory, deontic logics and logical dynamics of agents.
Organisational Meeting: March 19, 10am (sharp) Gödel room
ETCS Breakdown:
3 ETCS = 75 hours
Presentation, handout, participation in discussions
Participants are expected to have some knowledge in mathematical logic.