Kalender
Må 20 oktober - Sö 26 oktober
-
Seminarium, Teoretisk datalogi
måndag 2014-10-20, 12.00 - 13.00
Medverkande: Irit Dinur, Weizmann Institute of Science
Plats: Room 4523, Lindstedsvägen 5, KTH CSC
2014-10-20T12:00:00.069+02:00 2014-10-20T13:00:00.069+02:00 Irit Dinur: Lifting locally consistent partial solutions to a global solution (Seminarium, Teoretisk datalogi) Room 4523, Lindstedsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Irit Dinur: Lifting locally consistent partial solutions to a global solution (Seminarium, Teoretisk datalogi) -
Seminarium, Mittag-Leffler
måndag 2014-10-20, 15.00 - 15.55
Medverkande: Yachun Li, Shanghai Jiao Tong University
Plats: Institut Mittag-Leffler, Auravägen 17, Djursholm
2014-10-20T15:00:00.435+02:00 2014-10-20T15:55:00.435+02:00 Yachun Li: Local Well-posedness of Compressible Navier-Stokes Equations with Degenerate Viscosity (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Yachun Li: Local Well-posedness of Compressible Navier-Stokes Equations with Degenerate Viscosity (Seminarium, Mittag-Leffler) -
Examensarbete
tisdag 2014-10-21, 10.00
Plats: Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH
2014-10-21T10:00:00.884+02:00 2014-10-21T10:00:00.884+02:00 Mbah Chrameh Fru: Development of a pipeline for patient specific finite element model of the left ventricle of the human heart geared towards blood flow simulation (Examensarbete) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Mbah Chrameh Fru: Development of a pipeline for patient specific finite element model of the left ventricle of the human heart geared towards blood flow simulation (Examensarbete) -
Seminarium, Logik
tisdag 2014-10-21, 10.15 - 12.00
Medverkande: Ali Assaf, INRIA and École Polytechnique, Paris
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
2014-10-21T10:15:00.462+02:00 2014-10-21T12:00:00.462+02:00 Ali Assaf: Embedding logics in the lambda-Pi calculus modulo rewriting (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Ali Assaf: Embedding logics in the lambda-Pi calculus modulo rewriting (Seminarium, Logik) -
Andrea Davini: On a selection principle in the ergodic approximation of the Hamilton-Jacobi equation
Seminarium, Mittag-Leffler
tisdag 2014-10-21, 14.00 - 14.55
Medverkande: Andrea Davini, University of Rome
Plats: Institut Mittag-Leffler, Auravägen 17, Djursholm
2014-10-21T14:00:00.519+02:00 2014-10-21T14:55:00.519+02:00 Andrea Davini: On a selection principle in the ergodic approximation of the Hamilton-Jacobi equation (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Andrea Davini: On a selection principle in the ergodic approximation of the Hamilton-Jacobi equation (Seminarium, Mittag-Leffler) -
Seminarium, Mittag-Leffler
tisdag 2014-10-21, 15.00 - 15.55
Medverkande: Leonid Koralov, University of Maryland
Plats: Institut Mittag-Leffler, Auravägen 17, Djursholm
2014-10-21T15:00:00.042+02:00 2014-10-21T15:55:00.042+02:00 Leonid Koralov: Transition from homogenization to averaging in cellular flows (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Leonid Koralov: Transition from homogenization to averaging in cellular flows (Seminarium, Mittag-Leffler) -
Seminarium, Differentialgeometri och allmän relativitetsteori
tisdag 2014-10-21, 15.15 - 16.15
Medverkande: Thomas Bäckdahl, University of Edinburgh
Plats: Rum 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH
2014-10-21T15:15:00.395+02:00 2014-10-21T16:15:00.395+02:00 Bäckdahl, Thomas: Methods for proving decay of fields on black hole spacetimes (Seminarium, Differentialgeometri och allmän relativitetsteori) Rum 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Bäckdahl, Thomas: Methods for proving decay of fields on black hole spacetimes (Seminarium, Differentialgeometri och allmän relativitetsteori) -
Seminarium, Logik
onsdag 2014-10-22, 10.00 - 12.00
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
2014-10-22T10:00:00.270+02:00 2014-10-22T12:00:00.270+02:00 Valentin Goranko: On the theories of almost sure validities in the finite in some fragments of monadic second-order logic (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Valentin Goranko: On the theories of almost sure validities in the finite in some fragments of monadic second-order logic (Seminarium, Logik) -
Seminarium, Analys
onsdag 2014-10-22, 10.30 - 11.30
Medverkande: Rishika Rupam, Texas A&M University
Plats: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university
2014-10-22T10:30:00.201+02:00 2014-10-22T11:30:00.201+02:00 Rishika Rupam: The Toeplitz kernel approach in inverse spectral theory of differential operators (Seminarium, Analys) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Rishika Rupam: The Toeplitz kernel approach in inverse spectral theory of differential operators (Seminarium, Analys) -
Examensarbete
onsdag 2014-10-22, 10.30
Plats: Sal 32, hus 5, Kräftriket, Matematiska institutionen, Stockholms universitet
2014-10-22T10:30:00.890+02:00 2014-10-22T10:30:00.890+02:00 Alexander Ketonen: Analys av PaiCo-metoden (Examensarbete) Sal 32, hus 5, Kräftriket, Matematiska institutionen, Stockholms universitet (KTH, Stockholm, Sweden)Alexander Ketonen: Analys av PaiCo-metoden (Examensarbete) -
Examensarbete
onsdag 2014-10-22, 11.15
Plats: Sal 32, hus 5, Kräftriket, Matematiska institutionen, Stockholms universitet
2014-10-22T11:15:00.930+02:00 2014-10-22T11:15:00.930+02:00 Fredrik Bjärnek: Prissättning för skadeförsäkring med postnummer som kredibilitetsfaktor (Examensarbete) Sal 32, hus 5, Kräftriket, Matematiska institutionen, Stockholms universitet (KTH, Stockholm, Sweden)Fredrik Bjärnek: Prissättning för skadeförsäkring med postnummer som kredibilitetsfaktor (Examensarbete) -
Seminarium, KTH Analys
onsdag 2014-10-22, 13.15
Medverkande: Michael Benedicks
Plats: Seminarierum 3721, Lindstedtsvägen 25 KTH
2014-10-22T13:15:00.426+02:00 2014-10-22T13:15:00.426+02:00 Michael Benedicks:Parameter selection in one-dimensional maps revisited (Seminarium, KTH Analys) Seminarierum 3721, Lindstedtsvägen 25 KTH (KTH, Stockholm, Sweden)Michael Benedicks:Parameter selection in one-dimensional maps revisited (Seminarium, KTH Analys) -
Seminarium, Algebra och geometri
onsdag 2014-10-22, 13.15 - 14.15
Medverkande: Dan Edidin, University of Missouri
Plats: Room 3418, Institutionen för matematik, KTH
2014-10-22T13:15:00.454+02:00 2014-10-22T14:15:00.454+02:00 Dan Edidin: Strong regular embeddings and the geometry of hypertoric stacks (Seminarium, Algebra och geometri) Room 3418, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Dan Edidin: Strong regular embeddings and the geometry of hypertoric stacks (Seminarium, Algebra och geometri) -
Seminarium, Matematisk statistik
onsdag 2014-10-22, 15.15
Medverkande: Måns Thulin, Uppsala
Plats: The Cramér room (room 306), building 6, Kräftriket, Department of mathematics, Stockholm university
2014-10-22T15:15:00.493+02:00 2014-10-22T15:15:00.493+02:00 Måns Thulin: When a 95% confidence interval really is a 1% interval – Challenges (and solutions) when analyzing discrete data (Seminarium, Matematisk statistik) The Cramér room (room 306), building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Måns Thulin: When a 95% confidence interval really is a 1% interval – Challenges (and solutions) when analyzing discrete data (Seminarium, Matematisk statistik) -
Seminarium, Logik
onsdag 2014-10-22, 15.15 - 17.00
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
2014-10-22T15:15:00.749+02:00 2014-10-22T17:00:00.749+02:00 Roussanka Loukanova: An overview of applications of logic to computational linguistics (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Roussanka Loukanova: An overview of applications of logic to computational linguistics (Seminarium, Logik) -
Konferens
torsdag 2014-10-23, 08.30 - 17.00
Plats: Beijersalen, Kungl. Vetenskapsakademien, Lilla Frescativägen 4A, Stockholm
2014-10-23T08:30:00.827+02:00 2014-10-23T17:00:00.827+02:00 The Rolf Schock Prize symposium in mathematics (Konferens) Beijersalen, Kungl. Vetenskapsakademien, Lilla Frescativägen 4A, Stockholm (KTH, Stockholm, Sweden)The Rolf Schock Prize symposium in mathematics (Konferens) -
Seminarium, Numerisk analys
torsdag 2014-10-23, 14.15 - 15.00
Medverkande: Rafael Monteiro, Indiana Univ.
Plats: KTH Mathematics, Lindstedtsvägen 25, floor 7, room 3721
2014-10-23T14:15:00.592+02:00 2014-10-23T15:00:00.592+02:00 Rafael Monteiro: Transverse steady bifurcation of viscous shock solutions of a system of parabolic conservation laws (Seminarium, Numerisk analys) KTH Mathematics, Lindstedtsvägen 25, floor 7, room 3721 (KTH, Stockholm, Sweden)Rafael Monteiro: Transverse steady bifurcation of viscous shock solutions of a system of parabolic conservation laws (Seminarium, Numerisk analys) -
Seminarium, Teoretisk datalogi
fredag 2014-10-24, 10.30
Medverkande: Rocco De Nicola, IMT - Institute for Advanced Studies, Lucca
Plats: Room 4523, Lindstedsvägen 3, KTH CSC
2014-10-24T10:30:00.139+02:00 2014-10-24T10:30:00.139+02:00 Rocco De Nicola: A formal approach to autonomic systems programming: The SCEL Language (Seminarium, Teoretisk datalogi) Room 4523, Lindstedsvägen 3, KTH CSC (KTH, Stockholm, Sweden)Rocco De Nicola: A formal approach to autonomic systems programming: The SCEL Language (Seminarium, Teoretisk datalogi) -
Seminarium, Optimeringslära och systemteori
fredag 2014-10-24, 11.00 - 12.00
Medverkande: Prof. Dr. Kurt Helmes, Humboldt-Universität zu Berlin
Plats: Room 3721, Lindstedtsvägen 25, 7th floor, KTH
2014-10-24T11:00:00.134+02:00 2014-10-24T12:00:00.134+02:00 Dynamic advertising and pricing models: a special class of controlled jump Markov processes (Seminarium, Optimeringslära och systemteori) Room 3721, Lindstedtsvägen 25, 7th floor, KTH (KTH, Stockholm, Sweden)Dynamic advertising and pricing models: a special class of controlled jump Markov processes (Seminarium, Optimeringslära och systemteori) -
Seminarium, Utbildning
fredag 2014-10-24, 11.15 - 12.00
Medverkande: Hans Sterk, Eindhoven
Plats: Seminarierum 3418 på plan 4, Institutionen för matematik, KTH
2014-10-24T11:15:00.627+02:00 2014-10-24T12:00:00.627+02:00 Hans Sterk: Industrial and Applied Mathematics at Eindhoven University of Technology (Seminarium, Utbildning) Seminarierum 3418 på plan 4, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Hans Sterk: Industrial and Applied Mathematics at Eindhoven University of Technology (Seminarium, Utbildning) -
Disputation
fredag 2014-10-24, 13.00
Plats: Room 14, building 5, Kräftriket, Department of mathematics, Stockholm university
Respondent: Daniel Bergh
2014-10-24T13:00:00.039+02:00 2014-10-24T13:00:00.039+02:00 Daniel Bergh: Destackification and Motivic Classes of Stacks (Disputation) Room 14, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Daniel Bergh: Destackification and Motivic Classes of Stacks (Disputation)