Calendar
Mon 14 September - Sun 20 September
-
Seminar, Theoretical computer science
Monday 2015-09-14, 12:00
Participating: Jan Elffers, Theory Group, KTH
Location: Room 4523, Lindstedtsvägen 5, KTH
2015-09-14T12:00:00.607+02:00 2015-09-14T12:00:00.607+02:00 Jan Elffers: Conflict-driven clause learning and pseudo-Boolean SAT solving (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Jan Elffers: Conflict-driven clause learning and pseudo-Boolean SAT solving (Seminar, Theoretical computer science) -
Seminar, Commutative Algebra
Tuesday 2015-09-15, 10:00
Participating: S.Lundgvist
Location: Room 34, building 5, Kräftriket, Department of mathematics, Stockholm university
2015-09-15T10:00:00.124+02:00 2015-09-15T10:00:00.124+02:00 Problem seminar in commutative algebra (and other mathematics) (Seminar, Commutative Algebra) Room 34, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Problem seminar in commutative algebra (and other mathematics) (Seminar, Commutative Algebra) -
Seminar, Algebra & Geometry
Tuesday 2015-09-15, 13:15 - 14:15
Participating: Daniel Bergh, SU
Location: Room 3418, Institutionen för matematik, KTH
2015-09-15T13:15:00.454+02:00 2015-09-15T14:15:00.454+02:00 Daniel Bergh: Categorical measures for equivariant varieties (Seminar, Algebra & Geometry) Room 3418, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Daniel Bergh: Categorical measures for equivariant varieties (Seminar, Algebra & Geometry) -
Topological Activities
Tuesday 2015-09-15, 13:15 - 14:15
Participating: Daniel Bergh, SU
Location: Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH
2015-09-15T13:15:00.944+02:00 2015-09-15T14:15:00.944+02:00 Daniel Bergh: Categorical measures for equivariant varieties (Topological Activities) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Daniel Bergh: Categorical measures for equivariant varieties (Topological Activities) -
Seminar, Logic
Wednesday 2015-09-16, 10:00 - 11:45
Participating: Valentin Goranko
Location: Room 22, building 5, Kräftriket, Department of mathematics, Stockholm University (Note unusual loca
2015-09-16T10:00:00.353+02:00 2015-09-16T11:45:00.353+02:00 Valentin Goranko: Logics for visual-epistemic reasoning in multi-agent systems (Seminar, Logic) Room 22, building 5, Kräftriket, Department of mathematics, Stockholm University (Note unusual loca (KTH, Stockholm, Sweden)Valentin Goranko: Logics for visual-epistemic reasoning in multi-agent systems (Seminar, Logic) -
Degree project
Wednesday 2015-09-16, 10:15 - 11:15
Location: Rum 3418, Matematik, KTH, Lindstedtsvägen 25
2015-09-16T10:15:00.914+02:00 2015-09-16T11:15:00.914+02:00 Stefan Heuer: Bijections between k-Shi arrangement, k-parking functions and k-parking graphs (Degree project) Rum 3418, Matematik, KTH, Lindstedtsvägen 25 (KTH, Stockholm, Sweden)Stefan Heuer: Bijections between k-Shi arrangement, k-parking functions and k-parking graphs (Degree project) -
Seminar, Analysis SU
Wednesday 2015-09-16, 11:00 - 15:00
Location: Department of Mathematics, Stockholm University
2015-09-16T11:00:00.310+02:00 2015-09-16T15:00:00.310+02:00 Analysis day in memory of Mikael Passare (Seminar, Analysis SU) Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Analysis day in memory of Mikael Passare (Seminar, Analysis SU) -
Seminar, Theoretical computer science
Wednesday 2015-09-16, 13:15
Participating: Damien Zufferey, MIT CSAIL
Location: Room 522/(Fantum 22) (THM-CB)
2015-09-16T13:15:00.557+02:00 2015-09-16T13:15:00.557+02:00 Damien Zufferey: From models and specifications to programs and constraints: increasing automation in verification (Seminar, Theoretical computer science) Room 522/(Fantum 22) (THM-CB) (KTH, Stockholm, Sweden)Damien Zufferey: From models and specifications to programs and constraints: increasing automation in verification (Seminar, Theoretical computer science) -
SMC Colloquium
Wednesday 2015-09-16, 15:15
Participating: Gregory F. Lawler, University of Chicago, USA
Location: Oskar Klein lecture hall at Albanova
2015-09-16T15:15:00.782+02:00 2015-09-16T15:15:00.782+02:00 Gregory F. Lawler: Self-avoiding motion (SMC Colloquium) Oskar Klein lecture hall at Albanova (KTH, Stockholm, Sweden)Gregory F. Lawler: Self-avoiding motion (SMC Colloquium) -
Seminar, Mittag-Leffler
Thursday 2015-09-17, 14:00 - 15:00
Participating: Jacob Rasmussen, University of Cambridge
Location: Institut Mittag-Leffler, Auravägen 17, Djursholm
2015-09-17T14:00:00.835+02:00 2015-09-17T15:00:00.835+02:00 Jacob Rasmussen: L-space Dehn fillings and taut foliations on graph manifolds (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Jacob Rasmussen: L-space Dehn fillings and taut foliations on graph manifolds (Seminar, Mittag-Leffler) -
Seminar, Mittag-Leffler
Thursday 2015-09-17, 15:30 - 16:30
Participating: Chris Wendl, University College London
Location: Institut Mittag-Leffler, Auravägen 17, Djursholm
2015-09-17T15:30:00.179+02:00 2015-09-17T16:30:00.179+02:00 Chris Wendl: J-holomorphic foliations in symplectic fillings (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Chris Wendl: J-holomorphic foliations in symplectic fillings (Seminar, Mittag-Leffler) -
Seminar, Optimization and systems theory
Friday 2015-09-18, 11:00 - 12:00
Participating: Harald Hasselblad
Location: Lindstedtsvägen 25, seminar room 3721
2015-09-18T11:00:00.986+02:00 2015-09-18T12:00:00.986+02:00 Optimization Culture Arena at Volvo Car Group (Seminar, Optimization and systems theory) Lindstedtsvägen 25, seminar room 3721 (KTH, Stockholm, Sweden)Optimization Culture Arena at Volvo Car Group (Seminar, Optimization and systems theory) -
Dissertation
Friday 2015-09-18, 13:00
Participating: Ketil Tveiten
Location: Room 14, bulding 5, Kräftriket, Department of mathematics, Stockholm university
Doctoral student: Ketil Tveiten
2015-09-18T13:00:00.130+02:00 2015-09-18T13:00:00.130+02:00 Ketil Tveiten: Period integrals and other direct images of D-modules (Dissertation) Room 14, bulding 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Ketil Tveiten: Period integrals and other direct images of D-modules (Dissertation) -
Seminar, Theoretical computer science
Friday 2015-09-18, 13:15
Participating: Cyrille Artho, National Institute of Advanced Industrial Science and Technology (AIST) Japan
Location: Room 4523, Lindstedtsvägen 5, KTH
2015-09-18T13:15:00.877+02:00 2015-09-18T13:15:00.877+02:00 Cyrille Artho: Building and Testing Software: Construction and Deconstruction (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Cyrille Artho: Building and Testing Software: Construction and Deconstruction (Seminar, Theoretical computer science)