Domov > Obvestila > Seminar za osnove matematike in teoretičnega računalništva v letu 2011

Seminar za osnove matematike in teoretičnega računalništva v letu 2011

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

19. 12. 2011 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Aksiom o univalentnosti Torek, 13. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
5. 12. 2011 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Homotopske ekvivalence in aksiom o univalentnosti Torek, 6. 12. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
14. 11. 2011 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Homotopska teorija tipov v Coq-u Torek, 15. 11. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
7. 11. 2011 | Seminar za osnove matematike in teoretičnega računalništva Marko Limbek: Modalna logika, 2. del Torek, 8. 11. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
24. 10. 2011 | Seminar za osnove matematike in teoretičnega računalništva Marko Limbek: Modalna logika, 1. del Torek, 25. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
17. 10. 2011 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Induktivni tipi v Coqu Torek, 18. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
10. 10. 2011 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Oh ta Coq Torej, 11. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 10. 2011 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Logika iz geometrije Torek, 4. 10. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
5. 9. 2011 | Seminar za osnove matematike in teoretičnega računalništva David Ellerman: Interpreting Quantum Mechanics Četrtek, 8. 9. 2011, ob 10:15 v predavalnici 2.05 na Jadranski 21
15. 6. 2011 | Seminar za osnove matematike in teoretičnega računalništva Steve Awodey: Homotopy Type Theory Petek, 17. 6., od 10h do 12h, učilnica 3.04, Jadranska 21
6. 6. 2011 | Seminar za osnove matematike in teoretičnega računalništva Jaap van Oosten: Some subtoposes of the effective topos Torek, 7. 6. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
30. 5. 2011 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva Robert Korež: Gelfandova dualnost za C*-algebre Torek, 24. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
16. 5. 2011 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva Andrej Bauer: Tipi za eff Torek, 10. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
3. 5. 2011 | Seminar za osnove matematike in teoretičnega računalništva Matija Pretnar: Algebrajski učinki 2.0 Torek, 3. 5. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
18. 4. 2011 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: On Proof by Infinite Descent Torek, 19. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
11. 4. 2011 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva Ganna Kudryavtseva: Adjunctions between Boolean and skew Boolean algebras Torek, 5. 4. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
28. 3. 2011 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva 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 | Seminar za osnove matematike in teoretičnega računalništva Alex Simpson: Three Resolutions of the Banach-Tarski Paradox - Resolution 3 Torek, 4. 1. 2011, od 12h do 14h, Plemljev seminar, Jadranska 19
Arhiv za leto: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007