Calendar

Karl Palmskog: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant

3 Dec

Seminar, other

Monday 2012-12-03, 12:10 - 13:00

Location: Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC

2012-12-03T12:10:00.186+01:00 2012-12-03T13:00:00.186+01:00 Karl Palmskog: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminar, other) Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC (KTH, Stockholm, Sweden)Karl Palmskog: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminar, other)

Persa Gobeljic: Classification of Probability of Default and Rating Philosophies

3 Dec

Degree project

Monday 2012-12-03, 15:15 - 16:00

Location: Seminarierum 3721, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 7.

2012-12-03T15:15:00.808+01:00 2012-12-03T16:00:00.808+01:00 Persa Gobeljic: Classification of Probability of Default and Rating Philosophies (Degree project) Seminarierum 3721, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 7. (KTH, Stockholm, Sweden)Persa Gobeljic: Classification of Probability of Default and Rating Philosophies (Degree project)

Richard Tsai: An Implicit Interface Boundary Integral Method for Poisson’s Equation on Arbitrary Domains

4 Dec

Seminar, Numerical analysis

Tuesday 2012-12-04, 12:15

Location: Room 304, Teknikringen 14, Department of mathematics, KTH

2012-12-04T12:15:00.055+01:00 2012-12-04T12:15:00.055+01:00 Richard Tsai: An Implicit Interface Boundary Integral Method for Poisson’s Equation on Arbitrary Domains (Seminar, Numerical analysis) Room 304, Teknikringen 14, Department of mathematics, KTH (KTH, Stockholm, Sweden)Richard Tsai: An Implicit Interface Boundary Integral Method for Poisson’s Equation on Arbitrary Domains (Seminar, Numerical analysis)

Pablo Miranda: Eigenvalue Asymptotics for Dirichlet and Neumann Half-plane Magnetic Hamiltonians

4 Dec

Seminar, Mittag-Leffler

Tuesday 2012-12-04, 14:00 - 15:00

Location: Institut Mittag-Leffler, Auravägen 17, Djursholm

2012-12-04T14:00:00.831+01:00 2012-12-04T15:00:00.831+01:00 Pablo Miranda: Eigenvalue Asymptotics for Dirichlet and Neumann Half-plane Magnetic Hamiltonians (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Pablo Miranda: Eigenvalue Asymptotics for Dirichlet and Neumann Half-plane Magnetic Hamiltonians (Seminar, Mittag-Leffler)

Marius Mantoiu: Magnetic compactness

4 Dec

Seminar, Mittag-Leffler

Tuesday 2012-12-04, 15:30 - 16:30

Location: Institut Mittag-Leffler, Auravägen 17, Djursholm

2012-12-04T15:30:00.512+01:00 2012-12-04T16:30:00.512+01:00 Marius Mantoiu: Magnetic compactness (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Marius Mantoiu: Magnetic compactness (Seminar, Mittag-Leffler)

Erik Lundberg: Applied queueing theory in customer support

5 Dec

Degree project

Wednesday 2012-12-05, 10:00

Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2012-12-05T10:00:00.020+01:00 2012-12-05T10:00:00.020+01:00 Erik Lundberg: Applied queueing theory in customer support (Degree project) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Erik Lundberg: Applied queueing theory in customer support (Degree project)

Allard. M. Tamminga: Correspondence analysis for many-valued logics (joint work with Barteld Kooi)

5 Dec

Seminar, Logic

Wednesday 2012-12-05, 10:00 - 11:45

Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

2012-12-05T10:00:00.519+01:00 2012-12-05T11:45:00.519+01:00 Allard. M. Tamminga: Correspondence analysis for many-valued logics (joint work with Barteld Kooi) (Seminar, Logic) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Allard. M. Tamminga: Correspondence analysis for many-valued logics (joint work with Barteld Kooi) (Seminar, Logic)

Leif Melkersson: Finiteness properties of (local cohomology modules) with support at a closed set of dimension one.

5 Dec

Seminar, Algebra & Geometry

Wednesday 2012-12-05, 13:15 - 14:15

Location: Room 306, Kräftriket, SU

2012-12-05T13:15:00.406+01:00 2012-12-05T14:15:00.406+01:00 Leif Melkersson: Finiteness properties of (local cohomology modules) with support at a closed set of dimension one. (Seminar, Algebra & Geometry) Room 306, Kräftriket, SU (KTH, Stockholm, Sweden)Leif Melkersson: Finiteness properties of (local cohomology modules) with support at a closed set of dimension one. (Seminar, Algebra & Geometry)

Kaj Nyström: Boundary behaviour for non-negative solutions to non-linear and degenerate parabolic PDE:s

5 Dec

Seminar, Pluricomplex

Wednesday 2012-12-05, 16:00 - 16:45

Location: Room 14, building 5, Kräftriket, Stockholm University

2012-12-05T16:00:00.904+01:00 2012-12-05T16:45:00.904+01:00 Kaj Nyström: Boundary behaviour for non-negative solutions to non-linear and degenerate parabolic PDE:s (Seminar, Pluricomplex) Room 14, building 5, Kräftriket, Stockholm University (KTH, Stockholm, Sweden)Kaj Nyström: Boundary behaviour for non-negative solutions to non-linear and degenerate parabolic PDE:s (Seminar, Pluricomplex)

Håkan Persson: Approximation of Plurisubharmonic Functions and Stein Neighborhood Bases

5 Dec

Seminar, Pluricomplex

Wednesday 2012-12-05, 16:45 - 17:30

Location: Room 14, building 5, Kräftriket, Stockholm University

2012-12-05T16:45:00.002+01:00 2012-12-05T17:30:00.002+01:00 Håkan Persson: Approximation of Plurisubharmonic Functions and Stein Neighborhood Bases (Seminar, Pluricomplex) Room 14, building 5, Kräftriket, Stockholm University (KTH, Stockholm, Sweden)Håkan Persson: Approximation of Plurisubharmonic Functions and Stein Neighborhood Bases (Seminar, Pluricomplex)

Sergey Korotov: New Bisection-Type Algorithms for Handling FE meshes

6 Dec

Seminar, Numerical analysis

Thursday 2012-12-06, 11:00 - 12:00

Location: Room 304, Teknikringen 14, KTH

2012-12-06T11:00:00.770+01:00 2012-12-06T12:00:00.770+01:00 Sergey Korotov: New Bisection-Type Algorithms for Handling FE meshes (Seminar, Numerical analysis) Room 304, Teknikringen 14, KTH (KTH, Stockholm, Sweden)Sergey Korotov: New Bisection-Type Algorithms for Handling FE meshes (Seminar, Numerical analysis)

Serge Richard: New representation formulas for the wave operators in potential scattering on R³

6 Dec

Seminar, Mittag-Leffler

Thursday 2012-12-06, 14:00 - 15:00

Location: Institut Mittag-Leffler, Auravägen 17, Djursholm

2012-12-06T14:00:00.626+01:00 2012-12-06T15:00:00.626+01:00 Serge Richard: New representation formulas for the wave operators in potential scattering on R³ (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Serge Richard: New representation formulas for the wave operators in potential scattering on R³ (Seminar, Mittag-Leffler)

Francesco Pappalardi :The exponent of elliptic curves over finite fields

6 Dec

Seminar, DNA

Thursday 2012-12-06, 15:15

Location: Room 3721, Math department, KTH

2012-12-06T15:15:00.760+01:00 2012-12-06T15:15:00.760+01:00 Francesco Pappalardi :The exponent of elliptic curves over finite fields (Seminar, DNA) Room 3721, Math department, KTH (KTH, Stockholm, Sweden)Francesco Pappalardi :The exponent of elliptic curves over finite fields (Seminar, DNA)

Rafael Tiedra de Aldecoa: Commutator methods for unitary operators

6 Dec

Seminar, Mittag-Leffler

Thursday 2012-12-06, 15:30 - 16:30

Location: Institut Mittag-Leffler, Auravägen 17, Djursholm

2012-12-06T15:30:00.787+01:00 2012-12-06T16:30:00.787+01:00 Rafael Tiedra de Aldecoa: Commutator methods for unitary operators (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Rafael Tiedra de Aldecoa: Commutator methods for unitary operators (Seminar, Mittag-Leffler)

Johan Frisk: On the Power of Conflict-Driven Clause-Learning SAT Solvers

7 Dec

Degree project

Friday 2012-12-07, 13:15

Location: Room 4523, Lindstedtsvägen 5, plan 5, KTH CSC

2012-12-07T13:15:00.127+01:00 2012-12-07T13:15:00.127+01:00 Johan Frisk: On the Power of Conflict-Driven Clause-Learning SAT Solvers (Degree project) Room 4523, Lindstedtsvägen 5, plan 5, KTH CSC (KTH, Stockholm, Sweden)Johan Frisk: On the Power of Conflict-Driven Clause-Learning SAT Solvers (Degree project)

Christoph Neuner: Shift-invariant linear relations on the Hardy space H²

7 Dec

Seminar, Graduate student

Friday 2012-12-07, 13:15 - 14:00

Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2012-12-07T13:15:00.727+01:00 2012-12-07T14:00:00.727+01:00 Christoph Neuner: Shift-invariant linear relations on the Hardy space H² (Seminar, Graduate student) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Christoph Neuner: Shift-invariant linear relations on the Hardy space H² (Seminar, Graduate student)

Quantum graphs in Mathematics, Physics and Applications

7 Dec

Conference

Fri 2012-12-07, 14:00 - Sat 2012-12-08, 17:30

Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2012-12-07T14:00:00.856+01:00 2012-12-08T17:30:00.856+01:00 Quantum graphs in Mathematics, Physics and Applications (Conference) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Quantum graphs in Mathematics, Physics and Applications (Conference)

Jack Hall: The Picard functor mini-course, lecture 7

7 Dec

Seminar, Algebraic Geometry (arXiv)

Friday 2012-12-07, 15:00 - 16:00

Location: KTH 3733

2012-12-07T15:00:00.180+01:00 2012-12-07T16:00:00.180+01:00 Jack Hall: The Picard functor mini-course, lecture 7 (Seminar, Algebraic Geometry (arXiv)) KTH 3733 (KTH, Stockholm, Sweden)Jack Hall: The Picard functor mini-course, lecture 7 (Seminar, Algebraic Geometry (arXiv))

Rajsekar Manokaran: Hypercontractivity, Sum-of-Squares Proofs, and their Applications

11 Dec

Seminar, other

Tuesday 2012-12-11, 12:10 - 13:00

Location: Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC

2012-12-11T12:10:00.942+01:00 2012-12-11T13:00:00.942+01:00 Rajsekar Manokaran: Hypercontractivity, Sum-of-Squares Proofs, and their Applications (Seminar, other) Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC (KTH, Stockholm, Sweden)Rajsekar Manokaran: Hypercontractivity, Sum-of-Squares Proofs, and their Applications (Seminar, other)

Håkon Robbestad Gylterud: The partiality monad and its algebras

12 Dec

Seminar, Logic

Wednesday 2012-12-12, 10:00 - 11:45

Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

2012-12-12T10:00:00.161+01:00 2012-12-12T11:45:00.161+01:00 Håkon Robbestad Gylterud: The partiality monad and its algebras (Seminar, Logic) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: The partiality monad and its algebras (Seminar, Logic)

Frank H. Lutz: Combinatorial Roundness of Grains in Cellular Microstructures and Complicatedness Measurements for Cell Complexes

12 Dec

Seminar, Combinatorics

Wednesday 2012-12-12, 10:15 - 12:00

Location: Room 3733, 7th floor, Dept. Mathematics, KTH

2012-12-12T10:15:00.150+01:00 2012-12-12T12:00:00.150+01:00 Frank H. Lutz: Combinatorial Roundness of Grains in Cellular Microstructures and Complicatedness Measurements for Cell Complexes (Seminar, Combinatorics) Room 3733, 7th floor, Dept. Mathematics, KTH (KTH, Stockholm, Sweden)Frank H. Lutz: Combinatorial Roundness of Grains in Cellular Microstructures and Complicatedness Measurements for Cell Complexes (Seminar, Combinatorics)

Bo Sundgren: The systems approach to official statistics

12 Dec

Seminar, Statistics

Wednesday 2012-12-12, 13:00 - 14:00

Location: Room D220, Department of statistics, Stockholm university

2012-12-12T13:00:00.708+01:00 2012-12-12T14:00:00.708+01:00 Bo Sundgren: The systems approach to official statistics (Seminar, Statistics) Room D220, Department of statistics, Stockholm university (KTH, Stockholm, Sweden)Bo Sundgren: The systems approach to official statistics (Seminar, Statistics)

Hendrik Lenstra: Escher and the Droste effect

12 Dec

SMC Colloquium

Wednesday 2012-12-12, 15:15 - 16:15

Location: Oskar Klein auditorium, Albanova

2012-12-12T15:15:00.266+01:00 2012-12-12T16:15:00.266+01:00 Hendrik Lenstra: Escher and the Droste effect (SMC Colloquium) Oskar Klein auditorium, Albanova (KTH, Stockholm, Sweden)Hendrik Lenstra: Escher and the Droste effect (SMC Colloquium)

Anita Layton: Simulating fluid flow and solute transport in a compliant tube

13 Dec

Seminar, Numerical analysis

Thursday 2012-12-13, 13:30

Location: Room 304, Teknikringen 14, Department of mathematics, KTH

2012-12-13T13:30:00.756+01:00 2012-12-13T13:30:00.756+01:00 Anita Layton: Simulating fluid flow and solute transport in a compliant tube (Seminar, Numerical analysis) Room 304, Teknikringen 14, Department of mathematics, KTH (KTH, Stockholm, Sweden)Anita Layton: Simulating fluid flow and solute transport in a compliant tube (Seminar, Numerical analysis)

Hendrik Lenstra: Lattices with symmetry

13 Dec

Seminar, DNA

Thursday 2012-12-13, 15:15

Location: Room 3721, Mathematics Dept., KTH

2012-12-13T15:15:00.694+01:00 2012-12-13T15:15:00.694+01:00 Hendrik Lenstra: Lattices with symmetry (Seminar, DNA) Room 3721, Mathematics Dept., KTH (KTH, Stockholm, Sweden)Hendrik Lenstra: Lattices with symmetry (Seminar, DNA)

Mariusz Hynek: On some interesting properties of the spinorial representations of so(N)

14 Dec

Seminar, Graduate student

Friday 2012-12-14, 13:15 - 14:15

Location: Room 3721, Lindstedtsvägen 25, 7th floor, Department of Mathematics, KTH

2012-12-14T13:15:00.540+01:00 2012-12-14T14:15:00.540+01:00 Mariusz Hynek: On some interesting properties of the spinorial representations of so(N) (Seminar, Graduate student) Room 3721, Lindstedtsvägen 25, 7th floor, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Mariusz Hynek: On some interesting properties of the spinorial representations of so(N) (Seminar, Graduate student)

Elchin Hasanalizade: Some applications of the Goldston-Pintz-Yi ldi ri m sieve

14 Dec

Degree project

Friday 2012-12-14, 15:15

Location: Room 3721, Lindstedtsvägen 25, 7th floor, Department of mathematics, KTH

2012-12-14T15:15:00.943+01:00 2012-12-14T15:15:00.943+01:00 Elchin Hasanalizade: Some applications of the Goldston-Pintz-Yi ldi ri m sieve (Degree project) Room 3721, Lindstedtsvägen 25, 7th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Elchin Hasanalizade: Some applications of the Goldston-Pintz-Yi ldi ri m sieve (Degree project)

Sangxia Huang: Majority is Stablest: Discrete and SoS

17 Dec

Seminar, other

Monday 2012-12-17, 12:10 - 13:00

Location: Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC

2012-12-17T12:10:00.074+01:00 2012-12-17T13:00:00.074+01:00 Sangxia Huang: Majority is Stablest: Discrete and SoS (Seminar, other) Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC (KTH, Stockholm, Sweden)Sangxia Huang: Majority is Stablest: Discrete and SoS (Seminar, other)

Oliver Serang: A graphical, nonparametric Bayesian approach for the robust decomposition of mixtures

17 Dec

Seminar, Mathematical statistics

Monday 2012-12-17, 15:15 - 16:00

Location: Room 3721, Lindstedtsvägen 25, 7th floor, Department of mathematics, KTH

2012-12-17T15:15:00.022+01:00 2012-12-17T16:00:00.022+01:00 Oliver Serang: A graphical, nonparametric Bayesian approach for the robust decomposition of mixtures (Seminar, Mathematical statistics) Room 3721, Lindstedtsvägen 25, 7th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Oliver Serang: A graphical, nonparametric Bayesian approach for the robust decomposition of mixtures (Seminar, Mathematical statistics)

Damr Tewolde: Pricing Inflation Derivatives: A survey of short rate- and market models

18 Dec

Degree project

Tuesday 2012-12-18, 14:15 - 15:00

Location: Seminarierum 3721, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 7.

2012-12-18T14:15:00.567+01:00 2012-12-18T15:00:00.567+01:00 Damr Tewolde: Pricing Inflation Derivatives: A survey of short rate- and market models (Degree project) Seminarierum 3721, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 7. (KTH, Stockholm, Sweden)Damr Tewolde: Pricing Inflation Derivatives: A survey of short rate- and market models (Degree project)

Yating Yu & Meng Ting: Deconvolution of Transmission Electron Microscopy images

19 Dec

Degree project

Wednesday 2012-12-19, 14:30 - 15:00

Location: Room 3733, Lindstedtsvägen 25, 7th floor, Department of mathematics, KTH

2012-12-19T14:30:00.935+01:00 2012-12-19T15:00:00.935+01:00 Yating Yu & Meng Ting: Deconvolution of Transmission Electron Microscopy images (Degree project) Room 3733, Lindstedtsvägen 25, 7th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Yating Yu & Meng Ting: Deconvolution of Transmission Electron Microscopy images (Degree project)

Sara Sjöstedt-de Luna: Modelling varved lake sediment to detect past environment and climate changes - a functional data analysis approach

19 Dec

Seminar, Mathematical statistics

Wednesday 2012-12-19, 15:15

Location: The Cramér room (room 306), building 6, Kräftriket, Department of mathematics, Stockholm university

2012-12-19T15:15:00.447+01:00 2012-12-19T15:15:00.447+01:00 Sara Sjöstedt-de Luna: Modelling varved lake sediment to detect past environment and climate changes - a functional data analysis approach (Seminar, Mathematical statistics) The Cramér room (room 306), building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Sara Sjöstedt-de Luna: Modelling varved lake sediment to detect past environment and climate changes - a functional data analysis approach (Seminar, Mathematical statistics)

Magnus Carlson: The etale homotopy type and hints of a generalization

20 Dec

Degree project

Thursday 2012-12-20, 08:15 - 09:15

Location: Room 31, building 5, Kräftriket, Department of mathematics, Stockholm university

2012-12-20T08:15:00.270+01:00 2012-12-20T09:15:00.270+01:00 Magnus Carlson: The etale homotopy type and hints of a generalization (Degree project) Room 31, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Magnus Carlson: The etale homotopy type and hints of a generalization (Degree project)

Anu Kokkarinen: The S-Procedure and the Kalman-Yakubovich-Popov Lemma

20 Dec

Degree project

Thursday 2012-12-20, 09:15 - 10:15

Location: Room 31, building 5, Kräftriket, Department of mathematics, Stockholm university

2012-12-20T09:15:00.982+01:00 2012-12-20T10:15:00.982+01:00 Anu Kokkarinen: The S-Procedure and the Kalman-Yakubovich-Popov Lemma (Degree project) Room 31, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Anu Kokkarinen: The S-Procedure and the Kalman-Yakubovich-Popov Lemma (Degree project)

Elin Ottergren: Multiplier Sequences for Laguerre bases

20 Dec

Licentiate seminar

Thursday 2012-12-20, 13:00

Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2012-12-20T13:00:00.184+01:00 2012-12-20T13:00:00.184+01:00 Elin Ottergren: Multiplier Sequences for Laguerre bases (Licentiate seminar) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Elin Ottergren: Multiplier Sequences for Laguerre bases (Licentiate seminar)

Jens Forsgård: On Hypersurface Coamoebas and Integral Representations of A-Hypergeometric Functions

21 Dec

Licentiate seminar

Friday 2012-12-21, 10:00

Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2012-12-21T10:00:00.620+01:00 2012-12-21T10:00:00.620+01:00 Jens Forsgård: On Hypersurface Coamoebas and Integral Representations of A-Hypergeometric Functions (Licentiate seminar) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Jens Forsgård: On Hypersurface Coamoebas and Integral Representations of A-Hypergeometric Functions (Licentiate seminar)