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

Tom Schrijvers: GADTs Meet their Match
Torek, 26. 5. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
25. 5. 2015
Matija Pretnar: Kako za tisočkrat pohitrimo Eff
Torek, 21. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 4. 2015
Pierre-Marie Pédrot: Can Dialectica Break Bricks?
Torek, 13. 4. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
13. 4. 2015
Andrej Bauer: Implementacija teorije tipov s pravilom refleksije
Torek, 31. marec 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
30. 3. 2015
Alex Simpson: Modalities of effectful computation
Torek, 17. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
16. 3. 2015
Ganna Kudryavtseva in Primož Škraba: Filtered functors and internal actions related to inverse semigroups, part 2
Torek, 10. 3. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
10. 3. 2015
Ganna Kudryavtseva in Primož Škraba: Filtered functors and internal actions related to inverse semigroups
Torek, 3. marec 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
2. 3. 2015
Alex Simpson: Independence logic and randomness
Torek, 16. 12. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 12. 2014
Andrej Bauer: Konstruktivna homotopska teorija, 2. del
Torek, 2. 12. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
1. 12. 2014
Andrej Bauer: Konstruktivna homotopska teorija
Torek, 25. 11. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
24. 11. 2014
Andrej Bauer: Matematični relativizem
Torek, 11. 11. 2014 od 12h do 14h, 2.01, Jadranska 21
Seminar za temelje matematike in teoretično računalništvo
10. 11. 2014
Andrej Bauer: Andromedanska teorija tipov 2
Torek, 4. 11. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
3. 11. 2014
Andrej Bauer: Andromedanska teorija tipov
Torek, 28. 10. 2014 od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
27. 10. 2014
Matija Pretnar: Izpeljava algebrajskih učinkov, 2. del
Torek, 21. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 10. 2014
Matija Pretnar: Izpeljava algebrajskih učinkov, 1. del
Torek, 14. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 10. 2014
Vladislav Amstislavskiy: On the elementary theories of lattices of continuous functions; Svetlana Aleksandrova: On ∑-definability
Torek, 7. 10. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
6. 10. 2014
Jan Jona Javoršek: Delavnica iz računskega omrežja Sling
Torek, 10. 6. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
5. 6. 2014
Tomaž Pisanski: Delavnica Sage
Torek, od 10h do 12h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
20. 5. 2014
Andrej Bauer: Impredicative encodings
Torek, 13. 5. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
12. 5. 2014
Joao Pita Costa: Towards a topos foundation of persistence 2
Torek, 18. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19
Seminar za temelje matematike in teoretično računalništvo
17. 3. 2014