Kalender

Martin Argerami: Classification of Operator Systems

7 mar

Seminarium, Mittag-Leffler

måndag 2016-03-07, 14.00 - 15.00

Medverkande: Martin Argerami, University of Regina

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

2016-03-07T14:00:00.132+01:00 2016-03-07T15:00:00.132+01:00 Martin Argerami: Classification of Operator Systems (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Martin Argerami: Classification of Operator Systems (Seminarium, Mittag-Leffler)

Karem Sakallah: SAT-Enabled Verification of State Transition Systems

8 mar

Seminarium, Teoretisk datalogi

tisdag 2016-03-08, 12.00

Medverkande: Karem Sakallah, University of Michigan and Qatar Computing Research Institute

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-08T12:00:00.677+01:00 2016-03-08T12:00:00.677+01:00 Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi)

Håkon Robbestad Gylterud: Strong collection, subset collection and the identity type

9 mar

Seminarium, Logik

onsdag 2016-03-09, 10.00 - 11.45

Medverkande: Håkon Robbestad Gylterud

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

2016-03-09T10:00:00.802+01:00 2016-03-09T11:45:00.802+01:00 Håkon Robbestad Gylterud: Strong collection, subset collection and the identity type (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: Strong collection, subset collection and the identity type (Seminarium, Logik)

Tatjana von Rosen: On Some Patterned Matrices Arising in Linear Models

9 mar

Seminarium, Statistik

onsdag 2016-03-09, 13.00 - 14.00

Medverkande: Tatjana von Rosen, Department of Statistics

Plats: Room B705, Department of Statistics, Stockholm university

2016-03-09T13:00:00.053+01:00 2016-03-09T14:00:00.053+01:00 Tatjana von Rosen: On Some Patterned Matrices Arising in Linear Models (Seminarium, Statistik) Room B705, Department of Statistics, Stockholm university (KTH, Stockholm, Sweden)Tatjana von Rosen: On Some Patterned Matrices Arising in Linear Models (Seminarium, Statistik)

Teoman Turgut: Singular systems on manifolds

9 mar

Seminarium, KTH Analys

onsdag 2016-03-09, 13.15

Medverkande: Teoman Turgut (Bogaziçi University, Turkey)

Plats: Seminarierum 3721, Lindstedtsvägen 25

2016-03-09T13:15:00.702+01:00 2016-03-09T13:15:00.702+01:00 Teoman Turgut: Singular systems on manifolds (Seminarium, KTH Analys) Seminarierum 3721, Lindstedtsvägen 25 (KTH, Stockholm, Sweden)Teoman Turgut: Singular systems on manifolds (Seminarium, KTH Analys)

Erik Lindström: Iterated filtering, historical background and future developments

9 mar

Seminarium, Matematisk statistik

onsdag 2016-03-09, 14.00

Medverkande: Erik Lindström, (Lund)

Plats: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University

2016-03-09T14:00:00.007+01:00 2016-03-09T14:00:00.007+01:00 Erik Lindström: Iterated filtering, historical background and future developments (Seminarium, Matematisk statistik) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Erik Lindström: Iterated filtering, historical background and future developments (Seminarium, Matematisk statistik)

Thierry Giordano: $\Bbb Z^d$-odometers and cohomology

9 mar

Seminarium, Mittag-Leffler

onsdag 2016-03-09, 14.00 - 15.00

Medverkande: Thierry Giordano, University of Ottawa

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

2016-03-09T14:00:00.550+01:00 2016-03-09T15:00:00.550+01:00 Thierry Giordano: $\Bbb Z^d$-odometers and cohomology (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Thierry Giordano: $\Bbb Z^d$-odometers and cohomology (Seminarium, Mittag-Leffler)

Volodymyr Mazorchuk: (Higher) representation theory

9 mar

SMC kollokvium

onsdag 2016-03-09, 15.15 - 16.15

Medverkande: Volodymyr Mazorchuk, Uppsala Universitet

Plats: Oskar Klein, AlbaNova

2016-03-09T15:15:00.269+01:00 2016-03-09T16:15:00.269+01:00 Volodymyr Mazorchuk: (Higher) representation theory (SMC kollokvium) Oskar Klein, AlbaNova (KTH, Stockholm, Sweden)Volodymyr Mazorchuk: (Higher) representation theory (SMC kollokvium)

Alexander Mamonov: Nonlinear acoustic imaging via reduced order model backprojection

10 mar

Seminarium, Numerisk analys

torsdag 2016-03-10, 14.15 - 15.00

Medverkande: Alexander Mamonov, University of Houston

Plats: KTH Mathematics, Lindstedtsvägen 25, floor 7, room 3721

2016-03-10T14:15:00.339+01:00 2016-03-10T15:00:00.339+01:00 Alexander Mamonov: Nonlinear acoustic imaging via reduced order model backprojection (Seminarium, Numerisk analys) KTH Mathematics, Lindstedtsvägen 25, floor 7, room 3721 (KTH, Stockholm, Sweden)Alexander Mamonov: Nonlinear acoustic imaging via reduced order model backprojection (Seminarium, Numerisk analys)

Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata

11 mar

Seminarium, Teoretisk datalogi

fredag 2016-03-11, 13.15

Medverkande: Marielle Stoelinga (Associate Professor of Risk Management for ICT University of Twente)

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-11T13:15:00.297+01:00 2016-03-11T13:15:00.297+01:00 Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminarium, Teoretisk datalogi)

Richard Tsai: Level set methods and applications

11 mar

Populärföreläsning

fredag 2016-03-11, 14.00 - 14.50

Medverkande: Richard Tsai, KTH

Plats: 3721

2016-03-11T14:00:00.198+01:00 2016-03-11T14:50:00.198+01:00 Richard Tsai: Level set methods and applications (Populärföreläsning) 3721 (KTH, Stockholm, Sweden)Richard Tsai: Level set methods and applications (Populärföreläsning)

David Sherman: Equivalent operator categories

11 mar

Seminarium, Mittag-Leffler

fredag 2016-03-11, 14.00 - 15.00

Medverkande: David Sherman, University of Virginia

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

2016-03-11T14:00:00.466+01:00 2016-03-11T15:00:00.466+01:00 David Sherman: Equivalent operator categories (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)David Sherman: Equivalent operator categories (Seminarium, Mittag-Leffler)

Spectral Theory and Applications: Conference in memory of Boris Pavlov (1936 – 2016)

13 mar

Konferens

sö 2016-03-13, 09.30 - ti 2016-03-15, 12.30

Plats: Building 5, Kräftriket, Department of mathematics, Stockholm University

2016-03-13T09:30:00.991+01:00 2016-03-15T12:30:00.991+01:00 Spectral Theory and Applications: Conference in memory of Boris Pavlov (1936 – 2016) (Konferens) Building 5, Kräftriket, Department of mathematics, Stockholm University (KTH, Stockholm, Sweden)Spectral Theory and Applications: Conference in memory of Boris Pavlov (1936 – 2016) (Konferens)