![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[DIR]](/icons/folder.gif) | 2023_Palermo/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | 2024_Jewels_Highlights/ | 2024-09-17 14:30 | - | |
![[DIR]](/icons/folder.gif) | 2024_POPL_Multiset/ | 2024-01-19 15:29 | - | |
![[DIR]](/icons/folder.gif) | 2025Harbin/ | 2025-05-11 16:52 | - | |
![[DIR]](/icons/folder.gif) | 2025Shanghai/ | 2025-05-11 16:52 | - | |
![[DIR]](/icons/folder.gif) | 2025_Les_Houches/ | 2025-05-29 07:43 | - | |
![[DIR]](/icons/folder.gif) | Beijing2024_workshop_of_Zhilin/ | 2024-11-07 15:02 | - | |
![[DIR]](/icons/folder.gif) | Birmingham/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Cambrdige/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Highlights_2023/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | LICS_Transducer/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | LICS_combined/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Lecture_3._Complete_problems/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Leverhulme_Transducers_1/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Leverhulme_Transducers_2/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Logic_Day_2022/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Multiset_polyregular/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Phd_Open_Day/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Polyregular_functions_OWL/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | QuantLA/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Spotlight_2021/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | Trakhtenbrot/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | ccc_transducer/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | csl_mso_category/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | example_presentation/ | 2024-10-14 01:21 | - | |
![[DIR]](/icons/folder.gif) | highlights-fold/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | lics_2023_folding/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | lics_2023_growth/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | logalg_mso_category/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | mso_category/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | paris_subdefinable/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | rank_decreasing/ | 2024-07-10 08:51 | - | |
![[DIR]](/icons/folder.gif) | schwentickfest/ | 2024-01-08 22:56 | - | |
![[DIR]](/icons/folder.gif) | smp_mso_category/ | 2024-01-08 22:56 | - | |
|