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)

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)