Kalender

Reading course: Homotopy Type Theory

1 nov

Kursstart

ti 2016-11-01, 10.00 - ti 2016-12-20, 11.00

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

2016-11-01T10:00:00.000+01:00 2016-12-20T11:00:00.000+01:00 Reading course: Homotopy Type Theory (Kursstart) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Reading course: Homotopy Type Theory (Kursstart)

Patrizio Pelliccione: Architecting the next generation of vehicles

14 nov

Seminarium, Teoretisk datalogi

måndag 2016-11-14, 13.15

Medverkande: Patrizio Pelliccione, Chalmers University of Technology

Plats: Room 1440 Biblioteket, Lindstedtsvägen 3

2016-11-14T13:15:00.000+01:00 2016-11-14T13:15:00.000+01:00 Patrizio Pelliccione: Architecting the next generation of vehicles (Seminarium, Teoretisk datalogi) Room 1440 Biblioteket, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Patrizio Pelliccione: Architecting the next generation of vehicles (Seminarium, Teoretisk datalogi)

Olof Sisask: Strong upper bounds on the sizes of caps over finite fields via linear algebra over polynomial rings

15 nov

Seminarium, kommutativ algebra

tisdag 2016-11-15, 13.00

Medverkande: Olof Sisask, KTH

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

2016-11-15T13:00:00.000+01:00 2016-11-15T13:00:00.000+01:00 Olof Sisask: Strong upper bounds on the sizes of caps over finite fields via linear algebra over polynomial rings (Seminarium, kommutativ algebra) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Olof Sisask: Strong upper bounds on the sizes of caps over finite fields via linear algebra over polynomial rings (Seminarium, kommutativ algebra)

F.O. de Paiva: Semilinear elliptic problem of Ambrosetti-Prodi type

16 nov

Seminarium, Analys

onsdag 2016-11-16, 10.30 - 11.30

Medverkande: F.O. de Paiva

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

2016-11-16T10:30:00.000+01:00 2016-11-16T11:30:00.000+01:00 F.O. de Paiva: Semilinear elliptic problem of Ambrosetti-Prodi type (Seminarium, Analys) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)F.O. de Paiva: Semilinear elliptic problem of Ambrosetti-Prodi type (Seminarium, Analys)

Jonas Bjermo: Methods and procedures in International Large Scale Assessments with examples from the Trends in Mathematics and Science Study (TIMSS)

16 nov

Seminarium, Statistik

onsdag 2016-11-16, 13.00 - 14.00

Medverkande: Jonas Bjermo, Department of Statistics

Plats: Room B705, Department of Statistics

2016-11-16T13:00:00.000+01:00 2016-11-16T14:00:00.000+01:00 Jonas Bjermo: Methods and procedures in International Large Scale Assessments with examples from the Trends in Mathematics and Science Study (TIMSS) (Seminarium, Statistik) Room B705, Department of Statistics (KTH, Stockholm, Sweden)Jonas Bjermo: Methods and procedures in International Large Scale Assessments with examples from the Trends in Mathematics and Science Study (TIMSS) (Seminarium, Statistik)

Justyna Szpond: Parameter spaces of some extremal line configurations and applications

16 nov

Seminarium, Algebra och geometri

onsdag 2016-11-16, 13.15 - 14.15

Medverkande: Justyna Szpond, University of Kraków

Plats: Room 306, Kräftriket, SU

2016-11-16T13:15:00.000+01:00 2016-11-16T14:15:00.000+01:00 Justyna Szpond: Parameter spaces of some extremal line configurations and applications (Seminarium, Algebra och geometri) Room 306, Kräftriket, SU (KTH, Stockholm, Sweden)Justyna Szpond: Parameter spaces of some extremal line configurations and applications (Seminarium, Algebra och geometri)

Hayk Aleksanyan: Discrete Balayage and Boundary Sandpile

16 nov

Seminarium, KTH Analys

onsdag 2016-11-16, 13.15

Medverkande: Hayk Aleksanyan, KTH

Plats: 3721

2016-11-16T13:15:00.000+01:00 2016-11-16T13:15:00.000+01:00 Hayk Aleksanyan: Discrete Balayage and Boundary Sandpile (Seminarium, KTH Analys) 3721 (KTH, Stockholm, Sweden)Hayk Aleksanyan: Discrete Balayage and Boundary Sandpile (Seminarium, KTH Analys)

Abid Ali Lashari: Branching process approach for epidemics in dynamic partnership network

16 nov

Seminarium, Matematisk statistik

onsdag 2016-11-16, 15.15

Medverkande: Abid Ali Lashari, Stockholm University

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

2016-11-16T15:15:00.000+01:00 2016-11-16T15:15:00.000+01:00 Abid Ali Lashari: Branching process approach for epidemics in dynamic partnership network (Seminarium, Matematisk statistik) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Abid Ali Lashari: Branching process approach for epidemics in dynamic partnership network (Seminarium, Matematisk statistik)

Tomasz Szemberg: Waldschmidt constants

17 nov

Seminarium, Algebra och geometri

torsdag 2016-11-17, 14.15 - 15.15

Medverkande: Tomasz Szemberg, University of Kraków

Plats: Room 3418, KTH

2016-11-17T14:15:00.000+01:00 2016-11-17T15:15:00.000+01:00 Tomasz Szemberg: Waldschmidt constants (Seminarium, Algebra och geometri) Room 3418, KTH (KTH, Stockholm, Sweden)Tomasz Szemberg: Waldschmidt constants (Seminarium, Algebra och geometri)

Self-organization and Intervention of Nonlinear Multi-agent Systems

18 nov

Seminarium, Optimeringslära och systemteori

fredag 2016-11-18, 11.00 - 12.00

Medverkande: Yuecheng Yang

Plats: Seminar room 3721, Lindstedtsvägen 25

2016-11-18T11:00:00.000+01:00 2016-11-18T12:00:00.000+01:00 Self-organization and Intervention of Nonlinear Multi-agent Systems (Seminarium, Optimeringslära och systemteori) Seminar room 3721, Lindstedtsvägen 25 (KTH, Stockholm, Sweden)Self-organization and Intervention of Nonlinear Multi-agent Systems (Seminarium, Optimeringslära och systemteori)

Olof Bergvall: Cohomology of arrangements and moduli spaces

18 nov

Disputation

fredag 2016-11-18, 13.00

Medverkande: Olof Bergvall

Plats: Wallenbergsalen, Hus 3, Kräftriket, SU

Respondent: Olof Bergval , Mathematics

2016-11-18T13:00:00.000+01:00 2016-11-18T13:00:00.000+01:00 Olof Bergvall: Cohomology of arrangements and moduli spaces (Disputation) Wallenbergsalen, Hus 3, Kräftriket, SU (KTH, Stockholm, Sweden)Olof Bergvall: Cohomology of arrangements and moduli spaces (Disputation)

Tomas Berggren: Central Limit Theorems for the Circular Unitary Ensemble and a transition to the Poisson Point Process

18 nov

Seminarium, Doktorand

fredag 2016-11-18, 13.15 - 14.15

Medverkande: Tomas Berggren, KTH

Plats: Room 3418, Lindstedtsvägen 25, 4th floor, Department of Mathematics, KTH

2016-11-18T13:15:00.000+01:00 2016-11-18T14:15:00.000+01:00 Tomas Berggren: Central Limit Theorems for the Circular Unitary Ensemble and a transition to the Poisson Point Process (Seminarium, Doktorand) Room 3418, Lindstedtsvägen 25, 4th floor, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Tomas Berggren: Central Limit Theorems for the Circular Unitary Ensemble and a transition to the Poisson Point Process (Seminarium, Doktorand)

Christopher Nerz: Canonical foliations of constant mean curvature

18 nov

Seminarium, Differentialgeometri och allmän relativitetsteori

fredag 2016-11-18, 15.15

Medverkande: Christopher Nerz

Plats: Room 3418, Lindstedtsvägen 25, 4th floor, Department of Mathematics, KTH

2016-11-18T15:15:00.000+01:00 2016-11-18T15:15:00.000+01:00 Christopher Nerz: Canonical foliations of constant mean curvature (Seminarium, Differentialgeometri och allmän relativitetsteori) Room 3418, Lindstedtsvägen 25, 4th floor, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Christopher Nerz: Canonical foliations of constant mean curvature (Seminarium, Differentialgeometri och allmän relativitetsteori)

Ilario Bonacina: Strong size lower bounds in regular resolution via games

21 nov

Seminarium, Teoretisk datalogi

måndag 2016-11-21, 12.00

Medverkande: Ilario Bonacina, Theory Group, KTH

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

2016-11-21T12:00:00.000+01:00 2016-11-21T12:00:00.000+01:00 Ilario Bonacina: Strong size lower bounds in regular resolution via games (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Ilario Bonacina: Strong size lower bounds in regular resolution via games (Seminarium, Teoretisk datalogi)

Ellen Powell: Level lines of the Gaussian free field with general boundary data

21 nov

Seminarium, Sannolikhetsteori

måndag 2016-11-21, 15.15 - 16.15

Medverkande: Ellen Powell (Cambridge)

Plats: Room 3721, Department of Mathematics, KTH. (Lindstedtsvägen 25)

2016-11-21T15:15:00.000+01:00 2016-11-21T16:15:00.000+01:00 Ellen Powell: Level lines of the Gaussian free field with general boundary data (Seminarium, Sannolikhetsteori) Room 3721, Department of Mathematics, KTH. (Lindstedtsvägen 25) (KTH, Stockholm, Sweden)Ellen Powell: Level lines of the Gaussian free field with general boundary data (Seminarium, Sannolikhetsteori)

Lionel Lang: The vanishing cycles of curves in toric surfaces (joint work with Rémi Crétois)

22 nov

Seminarium, kommutativ algebra

tisdag 2016-11-22, 13.00

Medverkande: Lionel Lang, Uppsala University

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

2016-11-22T13:00:00.000+01:00 2016-11-22T13:00:00.000+01:00 Lionel Lang: The vanishing cycles of curves in toric surfaces (joint work with Rémi Crétois) (Seminarium, kommutativ algebra) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Lionel Lang: The vanishing cycles of curves in toric surfaces (joint work with Rémi Crétois) (Seminarium, kommutativ algebra)

Greg Arone: Graph complexes and embeddings.

22 nov

Topologiska aktiviteter

tisdag 2016-11-22, 13.15 - 15.00

Medverkande: Greg Arone

Plats: Room 3721, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (NOTE UNUSUAL ROOM)

2016-11-22T13:15:00.000+01:00 2016-11-22T15:00:00.000+01:00 Greg Arone: Graph complexes and embeddings. (Topologiska aktiviteter) Room 3721, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (NOTE UNUSUAL ROOM) (KTH, Stockholm, Sweden)Greg Arone: Graph complexes and embeddings. (Topologiska aktiviteter)

Håkon Robbestad Gylterud: Categories with definitions

23 nov

Seminarium, Logik

onsdag 2016-11-23, 10.00 - 11.45

Medverkande: Håkon Robbestad Gylterud

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

2016-11-23T10:00:00.000+01:00 2016-11-23T11:45:00.000+01:00 Håkon Robbestad Gylterud: Categories with definitions (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: Categories with definitions (Seminarium, Logik)

Lukasz Kosinski: Extension property

23 nov

Seminarium, Analys

onsdag 2016-11-23, 10.30 - 11.30

Medverkande: Lukasz Kosinski

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

2016-11-23T10:30:00.000+01:00 2016-11-23T11:30:00.000+01:00 Lukasz Kosinski: Extension property (Seminarium, Analys) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Lukasz Kosinski: Extension property (Seminarium, Analys)

Innocent Ngaruye: Small Area Estimation for multivariate repeated measures data

23 nov

Seminarium, Statistik

onsdag 2016-11-23, 13.00 - 14.00

Medverkande: Innocent Ngaruye, Linköping University

Plats: Room B705, Department of Statistics, Stockholm University

2016-11-23T13:00:00.000+01:00 2016-11-23T14:00:00.000+01:00 Innocent Ngaruye: Small Area Estimation for multivariate repeated measures data (Seminarium, Statistik) Room B705, Department of Statistics, Stockholm University (KTH, Stockholm, Sweden)Innocent Ngaruye: Small Area Estimation for multivariate repeated measures data (Seminarium, Statistik)

Gustav Sædén Ståhl: The good Hilbert functor

23 nov

Seminarium, Algebra och geometri

onsdag 2016-11-23, 13.15 - 14.15

Medverkande: Gustav Sædén Ståhl, KTH

Plats: Room 3418, KTH

2016-11-23T13:15:00.000+01:00 2016-11-23T14:15:00.000+01:00 Gustav Sædén Ståhl: The good Hilbert functor (Seminarium, Algebra och geometri) Room 3418, KTH (KTH, Stockholm, Sweden)Gustav Sædén Ståhl: The good Hilbert functor (Seminarium, Algebra och geometri)

Pavel Pudlák: The lower bound challenge in proof complexity

23 nov

Seminarium, Teoretisk datalogi

onsdag 2016-11-23, 13.15 - 15.00

Medverkande: Pavel Pudlák, Institute of Mathematics, Czech Academy of Sciences

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

2016-11-23T13:15:00.000+01:00 2016-11-23T15:00:00.000+01:00 Pavel Pudlák: The lower bound challenge in proof complexity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Pavel Pudlák: The lower bound challenge in proof complexity (Seminarium, Teoretisk datalogi)

Helge Holden: On traffic modeling and the Braess paradox

23 nov

Seminarium, KTH Analys

onsdag 2016-11-23, 13.15

Medverkande: Helge Holden, NTNU Norwegian University of Science and Technology

Plats: 3721

2016-11-23T13:15:00.000+01:00 2016-11-23T13:15:00.000+01:00 Helge Holden: On traffic modeling and the Braess paradox (Seminarium, KTH Analys) 3721 (KTH, Stockholm, Sweden)Helge Holden: On traffic modeling and the Braess paradox (Seminarium, KTH Analys)

David Bolin: Multivariate normal inverse Gaussian Matérn fields

23 nov

Seminarium, Matematisk statistik

onsdag 2016-11-23, 15.15

Medverkande: David Bolin (Department of Mathematical Sciences, Chalmers University of Technology)

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

2016-11-23T15:15:00.000+01:00 2016-11-23T15:15:00.000+01:00 David Bolin: Multivariate normal inverse Gaussian Matérn fields (Seminarium, Matematisk statistik) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)David Bolin: Multivariate normal inverse Gaussian Matérn fields (Seminarium, Matematisk statistik)

Björn Gustafsson: Om Möbius- och Lorentz-transformationer.

24 nov

Lunchseminarium

torsdag 2016-11-24, 12.20

Medverkande: Björn Gustafsson

Plats: Seminarierummet plan 7 med vita tavlor, rum 3721.

2016-11-24T12:20:00.000+01:00 2016-11-24T12:20:00.000+01:00 Björn Gustafsson: Om Möbius- och Lorentz-transformationer. (Lunchseminarium) Seminarierummet plan 7 med vita tavlor, rum 3721. (KTH, Stockholm, Sweden)Björn Gustafsson: Om Möbius- och Lorentz-transformationer. (Lunchseminarium)

Daniel Peterseim: Computation of local and quasi-local effective diffusion tensors in elliptic homogenization

24 nov

Seminarium, Numerisk analys

torsdag 2016-11-24, 14.15 - 15.00

Medverkande: Daniel Peterseim, University of Bonn

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

2016-11-24T14:15:00.000+01:00 2016-11-24T15:00:00.000+01:00 Daniel Peterseim: Computation of local and quasi-local effective diffusion tensors in elliptic homogenization (Seminarium, Numerisk analys) KTH Mathematics, Lindstedtsvägen 25, floor 7, room 3721 (KTH, Stockholm, Sweden)Daniel Peterseim: Computation of local and quasi-local effective diffusion tensors in elliptic homogenization (Seminarium, Numerisk analys)

Robert J. McCann: Optimal transportation between unequal dimensions

24 nov

Seminarium, Mittag-Leffler

torsdag 2016-11-24, 15.00 - 16.50

Medverkande: Robert J. McCann, University of Toronto

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

2016-11-24T15:00:00.000+01:00 2016-11-24T16:50:00.000+01:00 Robert J. McCann: Optimal transportation between unequal dimensions (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Robert J. McCann: Optimal transportation between unequal dimensions (Seminarium, Mittag-Leffler)

Eric Larsson: Outermost apparent horizons with nontrivial topology

24 nov

Seminarium, Differentialgeometri och allmän relativitetsteori

torsdag 2016-11-24, 15.15

Medverkande: Eric Larsson

Plats: Seminar room 3721, Lindstedtsvägen 25.

2016-11-24T15:15:00.000+01:00 2016-11-24T15:15:00.000+01:00 Eric Larsson: Outermost apparent horizons with nontrivial topology (Seminarium, Differentialgeometri och allmän relativitetsteori) Seminar room 3721, Lindstedtsvägen 25. (KTH, Stockholm, Sweden)Eric Larsson: Outermost apparent horizons with nontrivial topology (Seminarium, Differentialgeometri och allmän relativitetsteori)

Arnaud Guillin: A probabilistic criterion for logarithmic Sobolev inequality

24 nov

Seminarium, Mittag-Leffler

torsdag 2016-11-24, 17.00 - 17.25

Medverkande: Arnaud Guillin, Blaise Pascal University, Clermont-Ferrand

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

2016-11-24T17:00:00.000+01:00 2016-11-24T17:25:00.000+01:00 Arnaud Guillin: A probabilistic criterion for logarithmic Sobolev inequality (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Arnaud Guillin: A probabilistic criterion for logarithmic Sobolev inequality (Seminarium, Mittag-Leffler)

Security for control systems: the observability of linear systems under adversarial attacks

25 nov

Seminarium, Optimeringslära och systemteori

fredag 2016-11-25, 11.00 - 12.00

Medverkande: Michelle Chong, Postdoctoral fellow, Lund University

Plats: Seminar room 3721, Lindstedtsvägen 25

2016-11-25T11:00:00.000+01:00 2016-11-25T12:00:00.000+01:00 Security for control systems: the observability of linear systems under adversarial attacks (Seminarium, Optimeringslära och systemteori) Seminar room 3721, Lindstedtsvägen 25 (KTH, Stockholm, Sweden)Security for control systems: the observability of linear systems under adversarial attacks (Seminarium, Optimeringslära och systemteori)

Stefano Marseglia: The theory of Witt vectors

25 nov

Seminarium, Doktorand

fredag 2016-11-25, 13.15 - 14.15

Medverkande: Stefano Marseglia, SU

Plats: Room 306, House 6, Kräftriket, SU

2016-11-25T13:15:00.000+01:00 2016-11-25T14:15:00.000+01:00 Stefano Marseglia: The theory of Witt vectors (Seminarium, Doktorand) Room 306, House 6, Kräftriket, SU (KTH, Stockholm, Sweden)Stefano Marseglia: The theory of Witt vectors (Seminarium, Doktorand)

Marc Vinyals: Marc VinyalsSpace in proof complexity

28 nov

Seminarium, Teoretisk datalogi

måndag 2016-11-28, 12.00

Medverkande: Marc Vinyals, Theory Group, KTH

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

2016-11-28T12:00:00.000+01:00 2016-11-28T12:00:00.000+01:00 Marc Vinyals: Marc VinyalsSpace in proof complexity (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marc Vinyals: Marc VinyalsSpace in proof complexity (Seminarium, Teoretisk datalogi)

Ralf Fröberg: Open problems on Hilbert series

29 nov

Seminarium, kommutativ algebra

tisdag 2016-11-29, 13.00 - 14.00

Medverkande: Ralf Fröberg

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

2016-11-29T13:00:00.000+01:00 2016-11-29T14:00:00.000+01:00 Ralf Fröberg: Open problems on Hilbert series (Seminarium, kommutativ algebra) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Ralf Fröberg: Open problems on Hilbert series (Seminarium, kommutativ algebra)

Kathryn Lesh: Tits buildings and fixed points of decomposition spaces

29 nov

Topologiska aktiviteter

tisdag 2016-11-29, 13.15 - 15.00

Medverkande: Kathryn Lesh (Union College)

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

2016-11-29T13:15:00.000+01:00 2016-11-29T15:00:00.000+01:00 Kathryn Lesh: Tits buildings and fixed points of decomposition spaces (Topologiska aktiviteter) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Kathryn Lesh: Tits buildings and fixed points of decomposition spaces (Topologiska aktiviteter)

Barbara Gris: Shape analysis through modular large deformations

29 nov

Seminarium, Differentialgeometri och allmän relativitetsteori

tisdag 2016-11-29, 14.15 - 15.10

Medverkande: Barbara Gris, Ecole Normale Superior de Cachan

Plats: Room 3418, KTH

2016-11-29T14:15:00.000+01:00 2016-11-29T15:10:00.000+01:00 Barbara Gris: Shape analysis through modular large deformations (Seminarium, Differentialgeometri och allmän relativitetsteori) Room 3418, KTH (KTH, Stockholm, Sweden)Barbara Gris: Shape analysis through modular large deformations (Seminarium, Differentialgeometri och allmän relativitetsteori)

Erik Palmgren: A setoid model in a flexible framework for formalized models of type theory

30 nov

Seminarium, Logik

onsdag 2016-11-30, 10.00 - 11.45

Medverkande: Erik Palmgren

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

2016-11-30T10:00:00.000+01:00 2016-11-30T11:45:00.000+01:00 Erik Palmgren: A setoid model in a flexible framework for formalized models of type theory (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Erik Palmgren: A setoid model in a flexible framework for formalized models of type theory (Seminarium, Logik)

Random partitions from random graphs

30 nov

Seminarium, Kombinatorik

onsdag 2016-11-30, 10.15 - 11.15

Medverkande: Erik Aas

Plats: Room 3418, KTH math department

2016-11-30T10:15:00.000+01:00 2016-11-30T11:15:00.000+01:00 Random partitions from random graphs (Seminarium, Kombinatorik) Room 3418, KTH math department (KTH, Stockholm, Sweden)Random partitions from random graphs (Seminarium, Kombinatorik)

Simon Stadler: Eigenvalue inequalities for partial differential operators

30 nov

Seminarium, Analys

onsdag 2016-11-30, 10.30 - 11.30

Medverkande: Simon Stadler (TU Graz/SU)

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

2016-11-30T10:30:00.000+01:00 2016-11-30T11:30:00.000+01:00 Simon Stadler: Eigenvalue inequalities for partial differential operators (Seminarium, Analys) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Simon Stadler: Eigenvalue inequalities for partial differential operators (Seminarium, Analys)

Andriy Andreev: Towards Simulation and Inference for the fOU2

30 nov

Seminarium, Statistik

onsdag 2016-11-30, 13.00 - 14.00

Medverkande: Andriy Andreev, Department of Statistics

Plats: Room B705, Department of Statistics, Stockholm University

2016-11-30T13:00:00.000+01:00 2016-11-30T14:00:00.000+01:00 Andriy Andreev: Towards Simulation and Inference for the fOU2 (Seminarium, Statistik) Room B705, Department of Statistics, Stockholm University (KTH, Stockholm, Sweden)Andriy Andreev: Towards Simulation and Inference for the fOU2 (Seminarium, Statistik)

Håkan Granath: Heun functions and quaternionic modular forms

30 nov

Seminarium, Algebra och geometri

onsdag 2016-11-30, 13.15 - 15.00

Medverkande: Håkan Granath, Karlstad University

Plats: Room 306, Kräftriket, SU

2016-11-30T13:15:00.000+01:00 2016-11-30T15:00:00.000+01:00 Håkan Granath: Heun functions and quaternionic modular forms (Seminarium, Algebra och geometri) Room 306, Kräftriket, SU (KTH, Stockholm, Sweden)Håkan Granath: Heun functions and quaternionic modular forms (Seminarium, Algebra och geometri)

Georgios Dimitroglou Rizell: The nearby Lagrangian conjecture for the two-torus

30 nov

Seminarium, KTH Analys

onsdag 2016-11-30, 13.15

Medverkande: Georgios Dimitroglou Rizell, Uppsala University

Plats: 3721

2016-11-30T13:15:00.000+01:00 2016-11-30T13:15:00.000+01:00 Georgios Dimitroglou Rizell: The nearby Lagrangian conjecture for the two-torus (Seminarium, KTH Analys) 3721 (KTH, Stockholm, Sweden)Georgios Dimitroglou Rizell: The nearby Lagrangian conjecture for the two-torus (Seminarium, KTH Analys)

Satoru Tsugawa: From Stochastic Cell Behavior to Reproducible Shapes: Order from Disorder

30 nov

Seminarium, Matematisk statistik

onsdag 2016-11-30, 15.15 - 16.15

Medverkande: Satoru Tsugawa (matstat, SU)

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

2016-11-30T15:15:00.000+01:00 2016-11-30T16:15:00.000+01:00 Satoru Tsugawa: From Stochastic Cell Behavior to Reproducible Shapes: Order from Disorder (Seminarium, Matematisk statistik) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Satoru Tsugawa: From Stochastic Cell Behavior to Reproducible Shapes: Order from Disorder (Seminarium, Matematisk statistik)

James Parks: The Lang-Trotter Conjecture for two elliptic curves

1 dec

Seminarium, DNA

torsdag 2016-12-01, 09.00

Medverkande: James Parks, KTH

Plats: 3721

2016-12-01T09:00:00.000+01:00 2016-12-01T09:00:00.000+01:00 James Parks: The Lang-Trotter Conjecture for two elliptic curves (Seminarium, DNA) 3721 (KTH, Stockholm, Sweden)James Parks: The Lang-Trotter Conjecture for two elliptic curves (Seminarium, DNA)

Laurent Miclo: On Markov intertwinings

1 dec

Seminarium, Mittag-Leffler

torsdag 2016-12-01, 15.30 - 16.50

Medverkande: Laurent Miclo, Université Paul Sabatier (Toulouse III)

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

2016-12-01T15:30:00.000+01:00 2016-12-01T16:50:00.000+01:00 Laurent Miclo: On Markov intertwinings (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Laurent Miclo: On Markov intertwinings (Seminarium, Mittag-Leffler)

Alexander Lorz: Mathematical models for population dynamics and resistance development

1 dec

Seminarium, Mittag-Leffler

torsdag 2016-12-01, 17.00 - 17.25

Medverkande: Alexander Lorz, Pierre-and-Marie-Curie University

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

2016-12-01T17:00:00.000+01:00 2016-12-01T17:25:00.000+01:00 Alexander Lorz: Mathematical models for population dynamics and resistance development (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Alexander Lorz: Mathematical models for population dynamics and resistance development (Seminarium, Mittag-Leffler)

Olaf Schnürer: DG enhanced six functor formalism and applications

2 dec

Seminarium, Algebra och geometri

fredag 2016-12-02, 14.30

Medverkande: Olaf Schnürer, University of Bonn

Plats: Room 3418, KTH

2016-12-02T14:30:00.000+01:00 2016-12-02T14:30:00.000+01:00 Olaf Schnürer: DG enhanced six functor formalism and applications (Seminarium, Algebra och geometri) Room 3418, KTH (KTH, Stockholm, Sweden)Olaf Schnürer: DG enhanced six functor formalism and applications (Seminarium, Algebra och geometri)

Tuba Masur: An Adaptive Surface Finite Element Method for the Laplace-Beltrami Equation

2 dec

Examensarbete

Scientific Computing

fredag 2016-12-02, 16.00

Medverkande: Tuba Masur

Plats: Room 3418, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 3

Respondent: Tuba Masur

2016-12-02T16:00:00.000+01:00 2016-12-02T16:00:00.000+01:00 Tuba Masur: An Adaptive Surface Finite Element Method for the Laplace-Beltrami Equation (Examensarbete) Room 3418, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 3 (KTH, Stockholm, Sweden)Tuba Masur: An Adaptive Surface Finite Element Method for the Laplace-Beltrami Equation (Examensarbete)

J. A. Carrillo: Minimizing Interaction Energies

6 dec

Seminarium, PDE

tisdag 2016-12-06, 10.15 - 11.00

Medverkande: J. A. Carrillo, Department of Mathematics, Imperial College London,

Plats: E53

2016-12-06T10:15:00.000+01:00 2016-12-06T11:00:00.000+01:00 J. A. Carrillo: Minimizing Interaction Energies (Seminarium, PDE) E53 (KTH, Stockholm, Sweden)J. A. Carrillo: Minimizing Interaction Energies (Seminarium, PDE)

Karen Yeressian: A minimization problem with free boundary related to a cooperative system

6 dec

Seminarium, PDE

tisdag 2016-12-06, 11.15 - 12.00

Medverkande: Karen Yeressian, KTH

Plats: E53

2016-12-06T11:15:00.000+01:00 2016-12-06T12:00:00.000+01:00 Karen Yeressian: A minimization problem with free boundary related to a cooperative system (Seminarium, PDE) E53 (KTH, Stockholm, Sweden)Karen Yeressian: A minimization problem with free boundary related to a cooperative system (Seminarium, PDE)

Ricardo Campos: A graph model for configuration spaces of points on a manifold.

6 dec

Topologiska aktiviteter

tisdag 2016-12-06, 13.15 - 15.00

Medverkande: Ricardo Campos (ETH)

Plats: Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH

2016-12-06T13:15:00.000+01:00 2016-12-06T15:00:00.000+01:00 Ricardo Campos: A graph model for configuration spaces of points on a manifold. (Topologiska aktiviteter) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Ricardo Campos: A graph model for configuration spaces of points on a manifold. (Topologiska aktiviteter)

Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth

7 dec

Seminarium, Logik

onsdag 2016-12-07, 10.00 - 11.45

Medverkande: Mateus de Oliveira Oliveira, University of Bergen

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

2016-12-07T10:00:00.000+01:00 2016-12-07T11:45:00.000+01:00 Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Mateus de Oliveira Oliveira: Ground Reachability and Joinability in Linear Term Rewriting Systems are Fixed Parameter Tractable with Respect to Depth (Seminarium, Logik)

Karen Smith: Geometry and Combinatorics via Finite Fields

7 dec

SMC kollokvium

onsdag 2016-12-07, 15.15 - 17.00

Medverkande: Professor Karen Smith, University of Michigan

Plats: Oskar Klein, AlbaNova

2016-12-07T15:15:00.000+01:00 2016-12-07T17:00:00.000+01:00 Karen Smith: Geometry and Combinatorics via Finite Fields (SMC kollokvium) Oskar Klein, AlbaNova (KTH, Stockholm, Sweden)Karen Smith: Geometry and Combinatorics via Finite Fields (SMC kollokvium)

Bernt Wennberg: A BGK-model derived from a particle system

8 dec

Seminarium, Mittag-Leffler

torsdag 2016-12-08, 16.00 - 16.50

Medverkande: Bernt Wennberg, Chalmers/University of Gothenburg

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

2016-12-08T16:00:00.000+01:00 2016-12-08T16:50:00.000+01:00 Bernt Wennberg: A BGK-model derived from a particle system (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Bernt Wennberg: A BGK-model derived from a particle system (Seminarium, Mittag-Leffler)

Robert König: Entropy power inequalities for bosonic quantum systems

8 dec

Seminarium, Mittag-Leffler

torsdag 2016-12-08, 17.00 - 17.25

Medverkande: Robert König, TU Munich

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

2016-12-08T17:00:00.000+01:00 2016-12-08T17:25:00.000+01:00 Robert König: Entropy power inequalities for bosonic quantum systems (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Robert König: Entropy power inequalities for bosonic quantum systems (Seminarium, Mittag-Leffler)

Matthieu Romagny: The complexity of flat groupoids

9 dec

Seminarium, Algebra och geometri

fredag 2016-12-09, 09.15 - 10.15

Medverkande: Matthieu Romagny, University of Rennes

Plats: Room 3418, KTH

2016-12-09T09:15:00.000+01:00 2016-12-09T10:15:00.000+01:00 Matthieu Romagny: The complexity of flat groupoids (Seminarium, Algebra och geometri) Room 3418, KTH (KTH, Stockholm, Sweden)Matthieu Romagny: The complexity of flat groupoids (Seminarium, Algebra och geometri)

Gustav Alfelt: Modelling covariance matrix time series

9 dec

Seminarium, Doktorand

fredag 2016-12-09, 13.15 - 14.15

Medverkande: Gustav Alfelt, SU

Plats: Room 306, House 6, Kräftriket, SU

2016-12-09T13:15:00.000+01:00 2016-12-09T14:15:00.000+01:00 Gustav Alfelt: Modelling covariance matrix time series (Seminarium, Doktorand) Room 306, House 6, Kräftriket, SU (KTH, Stockholm, Sweden)Gustav Alfelt: Modelling covariance matrix time series (Seminarium, Doktorand)

Niko Laaksonen: Mean values of L-functions and Landau's formula

9 dec

Seminarium, DNA

fredag 2016-12-09, 13.15

Medverkande: Niko Laaksonen, KTH

Plats: 3418

2016-12-09T13:15:00.000+01:00 2016-12-09T13:15:00.000+01:00 Niko Laaksonen: Mean values of L-functions and Landau's formula (Seminarium, DNA) 3418 (KTH, Stockholm, Sweden)Niko Laaksonen: Mean values of L-functions and Landau's formula (Seminarium, DNA)

Pontus Carlsson: The Pick Interpolation Theorem and Some Related Topics

12 dec

Examensarbete

måndag 2016-12-12, 10.00 - 11.00

Plats: Room 32, house 5, Kräftriket, Department of Mathematics, Stockholm University

2016-12-12T10:00:00.000+01:00 2016-12-12T11:00:00.000+01:00 Pontus Carlsson: The Pick Interpolation Theorem and Some Related Topics (Examensarbete) Room 32, house 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Pontus Carlsson: The Pick Interpolation Theorem and Some Related Topics (Examensarbete)

Larry Li: Sannolikheter i Texas Hold'em

12 dec

Examensarbete

måndag 2016-12-12, 11.15 - 12.15

Plats: Room 32, house 5, Kräftriket, Department of Mathematics, Stockholm University

2016-12-12T11:15:00.000+01:00 2016-12-12T12:15:00.000+01:00 Larry Li: Sannolikheter i Texas Hold'em (Examensarbete) Room 32, house 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Larry Li: Sannolikheter i Texas Hold'em (Examensarbete)

Kathryn Lesh: Tits buildings and fixed points of decomposition spaces

13 dec

Topologiska aktiviteter

tisdag 2016-12-13, 13.15 - 15.00

Medverkande: Kathryn Lesh (Union College)

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

2016-12-13T13:15:00.000+01:00 2016-12-13T15:00:00.000+01:00 Kathryn Lesh: Tits buildings and fixed points of decomposition spaces (Topologiska aktiviteter) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Kathryn Lesh: Tits buildings and fixed points of decomposition spaces (Topologiska aktiviteter)

Valery Isaev: Morita equivalence between homotopy type theories.

14 dec

Seminarium, Logik

onsdag 2016-12-14, 10.00 - 11.45

Medverkande: Valery Isaev, JetBrains Research / St Petersburg Academic University

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

2016-12-14T10:00:00.000+01:00 2016-12-14T11:45:00.000+01:00 Valery Isaev: Morita equivalence between homotopy type theories. (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Valery Isaev: Morita equivalence between homotopy type theories. (Seminarium, Logik)

Where are the increasing subsequences?

14 dec

Seminarium, Kombinatorik

onsdag 2016-12-14, 10.15 - 11.15

Medverkande: Jonas Sjöstrand

Plats: Room 3418, KTH math department

2016-12-14T10:15:00.000+01:00 2016-12-14T11:15:00.000+01:00 Where are the increasing subsequences? (Seminarium, Kombinatorik) Room 3418, KTH math department (KTH, Stockholm, Sweden)Where are the increasing subsequences? (Seminarium, Kombinatorik)

Yuli Liang: Citizens’ satisfaction with municipalities in Sweden: an example of the structural equation model (SEM)

14 dec

Seminarium, Statistik

onsdag 2016-12-14, 13.00 - 14.00

Medverkande: Yuli Liang, Statistics Sweden

Plats: Room B705, Department of Statistics, Stockholm University

2016-12-14T13:00:00.000+01:00 2016-12-14T14:00:00.000+01:00 Yuli Liang: Citizens’ satisfaction with municipalities in Sweden: an example of the structural equation model (SEM) (Seminarium, Statistik) Room B705, Department of Statistics, Stockholm University (KTH, Stockholm, Sweden)Yuli Liang: Citizens’ satisfaction with municipalities in Sweden: an example of the structural equation model (SEM) (Seminarium, Statistik)

Björn Selander: Stiefel–Whitney classes of curve covers

14 dec

Seminarium, Algebra och geometri

onsdag 2016-12-14, 13.15 - 14.15

Medverkande: Björn Selander

Plats: Room 306, Kräftriket, SU

2016-12-14T13:15:00.000+01:00 2016-12-14T14:15:00.000+01:00 Björn Selander: Stiefel–Whitney classes of curve covers (Seminarium, Algebra och geometri) Room 306, Kräftriket, SU (KTH, Stockholm, Sweden)Björn Selander: Stiefel–Whitney classes of curve covers (Seminarium, Algebra och geometri)

Douglas Lundholm: Recent rigorous studies of anyons and their number-theoretic aspects

14 dec

Seminarium, KTH Analys

onsdag 2016-12-14, 13.15

Medverkande: Douglas Lundholm, KTH

Plats: 3721

2016-12-14T13:15:00.000+01:00 2016-12-14T13:15:00.000+01:00 Douglas Lundholm: Recent rigorous studies of anyons and their number-theoretic aspects (Seminarium, KTH Analys) 3721 (KTH, Stockholm, Sweden)Douglas Lundholm: Recent rigorous studies of anyons and their number-theoretic aspects (Seminarium, KTH Analys)

Michael Loss: Magnetic Schrödinger operators on the circle

14 dec

Seminarium, Mittag-Leffler

onsdag 2016-12-14, 17.00 - 17.50

Medverkande: Michael Loss, Georgia Institute of Technology

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

2016-12-14T17:00:00.000+01:00 2016-12-14T17:50:00.000+01:00 Michael Loss: Magnetic Schrödinger operators on the circle (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Michael Loss: Magnetic Schrödinger operators on the circle (Seminarium, Mittag-Leffler)

A production-repair inventory model with time-varying demand and multiple setups

16 dec

Seminarium, Optimeringslära och systemteori

fredag 2016-12-16, 11.00 - 12.00

Medverkande: Prof. Mohd Bin Omar, University of Malaya, Malaysia

Plats: Seminar room 3721, Lindstedtsv. 25

2016-12-16T11:00:00.000+01:00 2016-12-16T12:00:00.000+01:00 A production-repair inventory model with time-varying demand and multiple setups (Seminarium, Optimeringslära och systemteori) Seminar room 3721, Lindstedtsv. 25 (KTH, Stockholm, Sweden)A production-repair inventory model with time-varying demand and multiple setups (Seminarium, Optimeringslära och systemteori)