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))