![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| dirk_pattinson-lecture1.pdf | 2025-10-23 12:36 | 287K | |
| dirk_pattinson-lecture2.pdf | 2025-10-23 12:36 | 342K | |
| hajime_ishihara-lecture1.pdf | 2025-09-15 21:20 | 241K | |
| hajime_ishihara-lecture2.pdf | 2025-09-18 11:07 | 257K | |
| hajime_ishihara-lecture3.pdf | 2025-09-19 15:28 | 210K | |
| hideki_tsuiki-lecture1.pdf | 2025-09-16 10:34 | 1.0M | |
| hideki_tsuiki-lecture2.pdf | 2025-09-16 10:34 | 3.3M | |
| participants/ | 2025-09-29 12:53 | - | |
| richard_zach-lecture.pdf | 2025-09-18 18:13 | 4.8M | |
| richard_zach-modal-tableaux-sequents.pdf | 2025-09-21 11:14 | 116K | |
| roberto_giuntini_lecture1.pdf | 2025-09-24 14:08 | 7.5M | |
| roberto_giuntini_lecture2.pdf | 2025-09-24 14:08 | 5.9M | |
| roberto_giuntini_lecture3.pdf | 2025-09-24 14:08 | 4.6M | |
| ulrich_berger-lecture1.pdf | 2025-09-15 16:31 | 450K | |
| ulrich_berger-lecture2.pdf | 2025-09-15 16:31 | 363K | |