Index of /LAP2024/files/slides/

../
24LAP-Talcott.pdf                                  29-Sep-2024 19:35             1463768
Are there math concepts that are real - present..> 29-Sep-2024 19:35              410568
Dubrovnik_Harizanov_Sept_2024.pdf                  29-Sep-2024 19:35              121417
Formal_Certification_of_Synthesized_Sorting_Alg..> 29-Sep-2024 19:35             2078735
Ghilezan - SG_LAP2024_final.pdf                    29-Sep-2024 19:35             1381278
Horvat-slides.pdf                                  29-Sep-2024 19:35              139260
LAP 2024 TBK.pdf                                   29-Sep-2024 19:35              553032
LAP2024vt.pdf                                      29-Sep-2024 19:35              419880
LAP_2024___Adlešić.pdf                           29-Sep-2024 19:35              114770
Presentation Karol Wapniarski.pdf                  29-Sep-2024 19:35             2084899
Scedrov_LAP2024_slides.pdf                         29-Sep-2024 19:35              678586
lap_2024_bp.pdf                                    29-Sep-2024 19:35              513692
presentation.pdf                                   29-Sep-2024 19:35              425465
talk Anela Lolic.pdf                               29-Sep-2024 19:35              327895
Šestak - General_IL_frames.pdf                    29-Sep-2024 19:35              271016