After successful completion of the course, students are able to study, understand, explain, and present, using properly prepared slides and handouts, scientific results in the intersection of logic and computer science. Moreover they will be able to search for related literature in a systematic fashion.
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, normative reasoning and logical dynamics of agents.
various intividual meetings with the chosen lecturer
Organisational Meeting:
Mar 24, 2021 02:00 PM
via Zoom. Link
https://tuwien.zoom.us/j/93088730128?pwd=dytIeTJZN1BGejJWWXRXeDVtZ2I2dz09
ETCS Breakdown:
3 ETCS = 75 hours
A talk and handouts
Participants are expected to have some knowledge in mathematical logic.