Home > News > Seminar za osnove matematike in teoretičnega računalništva in the year 2011

Seminar za osnove matematike in teoretičnega računalništva in the year 2011

I want to receive the news from this source by email »

19. 12. 2011 | Mathematics and theoretical computing seminar Barak A. Pearlmutter: "Challenging The Optimally Hypothesis in Sensory Processing, Non-Psychotic Hallucinations, and The Visual Zwicker: Channeling Professor Brian O'Blivion" Torek, 19. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
12. 12. 2011 | Mathematics and theoretical computing seminar Andrej Bauer: Aksiom o univalentnosti Torek, 13. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
5. 12. 2011 | Mathematics and theoretical computing seminar Andrej Bauer: Homotopske ekvivalence in aksiom o univalentnosti Torek, 6. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
14. 11. 2011 | Mathematics and theoretical computing seminar Andrej Bauer: Homotopska teorija tipov v Coq-u Torek, 15. 11. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 11. 2011 | Mathematics and theoretical computing seminar Marko Limbek: Modalna logika, 2. del Torek, 8. 11. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
24. 10. 2011 | Mathematics and theoretical computing seminar Marko Limbek: Modalna logika, 1. del Torek, 25. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
17. 10. 2011 | Mathematics and theoretical computing seminar Matija Pretnar: Induktivni tipi v Coqu Torek, 18. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 10. 2011 | Mathematics and theoretical computing seminar Matija Pretnar: Oh ta Coq Torej, 11. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 10. 2011 | Mathematics and theoretical computing seminar Andrej Bauer: Logika iz geometrije Torek, 4. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
5. 9. 2011 | Mathematics and theoretical computing seminar David Ellerman: Interpreting Quantum Mechanics Četrtek, 8. 9. 2011, ob 10:15 v predavalnici 2.05 na Jadranski 21
15. 6. 2011 | Mathematics and theoretical computing seminar Steve Awodey: Homotopy Type Theory Petek, 17. 6., od 10h do 12h, učilnica 3.04, Jadranska 21
6. 6. 2011 | Mathematics and theoretical computing seminar Jaap van Oosten: Some subtoposes of the effective topos Torek, 7. 6. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
30. 5. 2011 | Mathematics and theoretical computing seminar Jernej Azarija in Nejc Trdin: Klasični izreki teorije izračunljivosti ni njihov pomen v programerski praksi Torek, 30. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
23. 5. 2011 | Mathematics and theoretical computing seminar Robert Korež: Gelfandova dualnost za C*-algebre Torek, 24. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
16. 5. 2011 | Mathematics and theoretical computing seminar Andre Nies: Randomness and computable analysis, Alex Simpson: From the measure algebra isomorphism theorem to optimal data compression Torek, 17. 5. 2011, od 10h do 14h, Plemljev seminar, Jadranska 19
9. 5. 2011 | Mathematics and theoretical computing seminar Andrej Bauer: Tipi za eff Torek, 10. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 5. 2011 | Mathematics and theoretical computing seminar Matija Pretnar: Algebrajski učinki 2.0 Torek, 3. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 4. 2011 | Mathematics and theoretical computing seminar Alex Simpson: On Proof by Infinite Descent Torek, 19. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
11. 4. 2011 | Mathematics and theoretical computing seminar João Pita Costa: A categorical approach to skew lattices Torek, 12. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
4. 4. 2011 | Mathematics and theoretical computing seminar Ganna Kudryavtseva: Adjunctions between Boolean and skew Boolean algebras Torek, 5. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
28. 3. 2011 | Mathematics and theoretical computing seminar Andrej Bauer in Karin Cvetko-Vah: Stoneova dualnost za poševne Boolove algebre Torek, 29. 3. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
21. 3. 2011 | Mathematics and theoretical computing seminar Gordon Plotkin: Multi-level modelling via AC Stochastic Term Rewriting Torek, 22. 3. 2011, od 112h do 14h, Plemljev seminar, Jadranska 19
17. 1. 2011 | Mathematics and theoretical computing seminar Matteo Mio: The probabilistic modal mu-calculus win independent product Torek, 18. 1. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 1. 2011 | Mathematics and theoretical computing seminar Aleš Bizjak: program za enumeracijo majhnih struktur, Gašper Ažman: risanje zelo velikih grafov Torek, 11.1.2011, od 10h do 12h, Učilnica 2.03, Jadranska 21
3. 1. 2011 | Mathematics and theoretical computing seminar Alex Simpson: Three Resolutions of the Banach-Tarski Paradox - Resolution 3 Torek, 4. 1. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Archive: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007