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 | S6095 |
| ECTS credits | depend on students' majors |
| 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/tba |
