Domov > Obvestila > Seminar za temelje matematike in teoretično računalništvo

Seminar za temelje matematike in teoretično računalništvo

Obvestila iz tega vira želim prejemati preko elektronske pošte »

9. 10. 2020 | Seminar za temelje matematike in teoretično računalništvo Ohad Kammar: Frex: indexing modulo equations with free extensions Četrtek, 15. 10. 2020, od 10h do 12h, spletni seminar
5. 10. 2020 | Seminar za temelje matematike in teoretično računalništvo Andrej Bauer: Effects in the real world Sreda, 7. 10. 2020, od 16:00 do 17:00, spletni seminar
22. 9. 2020 | Seminar za temelje matematike in teoretično računalništvo Filip Koprivec: Proving probabilistic programs correct Četrtek, 24. 9. 2020, od 10h do 12h, spletni seminar
10. 9. 2020 | Seminar za temelje matematike in teoretično računalništvo Anders Mörtberg: Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types Četrtek, 17. 9. 2020, od 15:00 do 16:00, spletni seminar
30. 8. 2020 | Seminar za temelje matematike in teoretično računalništvo Žiga Lukšič: Applications of algebraic effect theories (presentation of results of doctoral research) Četrtek, 3. 9. 2020, od 11h do 13h , spletni seminar
23. 6. 2020 | Seminar za temelje matematike in teoretično računalništvo William J. Bowman: Cur: Designing a less devious proof assistant Četrtek, 25. 6. 2020, od 17:00 do 18:00 , spletni seminar
15. 6. 2020 | Seminar za temelje matematike in teoretično računalništvo Anja Petković: Equality checking for Finitary type theories Četrtek, 18. 6. 2020, od 18:00 do 19:00 , spletni seminar
10. 6. 2020 | Seminar za temelje matematike in teoretično računalništvo Conor McBride: Epigram 2: Autopsy, Obituary, Apology Četrtek, 11. 6. 2020, od 16:00 do 17:00 , spletni seminar
2. 6. 2020 | Seminar za temelje matematike in teoretično računalništvo Jon Sterling: redtt and the future of Cartesian cubical type theory Četrtek, 4. 6. 2020, od 16:00 do 17:00 , spletni seminar
25. 5. 2020 | Seminar za temelje matematike in teoretično računalništvo Brigitte Pientka: Mechanizing Meta-Theory in Beluga Četrtek, 28. 5. 2020, od 16:00 do 17:00 , spletni seminar
15. 5. 2020 | Seminar za temelje matematike in teoretično računalništvo Florian Rabe: MMT: A Foundation-Independent Logical System Četrtek, 21. 5. 2020, od 16:00 do 17:00 , spletni seminar
29. 4. 2020 | Seminar za temelje matematike in teoretično računalništvo Valery Isaev: Arend proof assistant Četrtek, 30. 4. 2020, od 18h do 19h, spletni seminar
8. 3. 2020 | Seminar za temelje matematike in teoretično računalništvo Guillaume Brunerie: A general class of dependent type theories Četrtek, 12. 3. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
29. 2. 2020 | Seminar za temelje matematike in teoretično računalništvo Andrej Bauer: There are no intuitionistic space-filling curves Četrtek, 5. 3. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
24. 2. 2020 | Seminar za temelje matematike in teoretično računalništvo Katja Berčič: The joy of mathematical research data Četrtek, 27. 2. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
30. 1. 2020 | Seminar za temelje matematike in teoretično računalništvo Matija Pretnar: Asynchronous operations Četrtek, 6. 2. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
28. 1. 2020 | Seminar za temelje matematike in teoretično računalništvo Dr. Niels Frits Willem Voorneveld: Describing Algebraic Effects: Deriving Algebras from Equations Četrtek, 30. 1. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
22. 1. 2020 | Seminar za temelje matematike in teoretično računalništvo Ugo Dal Lago: On Type Systems for Termination and Complexity Analysis of Probabilistic Higher-Order Programs Četrtek, 24. 1. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
14. 1. 2020 | Seminar za temelje matematike in teoretično računalništvo Sewon Park: A Dependent Type Theory (under construction) for Multivalued Computation in Computable Analysis Četrtek, 16. 1. 2020, od 11h do 13h, učilnica 3.07, Jadranska 21
Arhiv za leto: 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007