Graduate Seminar: Logic and Information
| Lecturer | Prof. Dr. Gerhard Jäger, Prof. Dr. George Metcalfe, Prof. Dr. Kilian Stoffel, Prof. Dr. Ulrich Ultes-Nitsche |
| Lecture Number | S6086 |
| ECTS credits | 5 |
| Time |
|
| Venue | Schloss Münchenwiler. |
| Content | Present research topics in logic and computer science. Details will be announced later. |
| Remarks | Suitable for students interested in logic and/or theoretical computer science. |
| Requirements | Basic knowledge in mathematical logic and/or theoretical computer science. |
| References | To be announced. |
| Repetition | Every semester with varying contents. |
| Homepage | https://sites.google.com/site/dandoloflumini/ |
