Kalender

Fei Chen: Oblivious and online matching via continuous linear programming

9 nov

Seminarium, Teoretisk datalogi

måndag 2015-11-09, 12.00 - 13.00

Medverkande: Fei Chen, Theory Group, KTH

Plats: Room 4523, Lindstedtsvägen 5, KTH

2015-11-09T12:00:00.579+01:00 2015-11-09T13:00:00.579+01:00 Fei Chen: Oblivious and online matching via continuous linear programming (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Fei Chen: Oblivious and online matching via continuous linear programming (Seminarium, Teoretisk datalogi)

Kristian Ranestad: The Waring problem for homogeneous and bihomogeneous forms in few variables, old and new results

10 nov

Seminarium, kommutativ algebra

tisdag 2015-11-10, 10.00

Medverkande: Kristian Ranestad, Oslo

Plats: Room 34, House 5, Kräftriket, Department of Mathematics, Stockholm University

2015-11-10T10:00:00.070+01:00 2015-11-10T10:00:00.070+01:00 Kristian Ranestad: The Waring problem for homogeneous and bihomogeneous forms in few variables, old and new results (Seminarium, kommutativ algebra) Room 34, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Kristian Ranestad: The Waring problem for homogeneous and bihomogeneous forms in few variables, old and new results (Seminarium, kommutativ algebra)

Simon von Metzner: Risks and scenarios in the Swedish income-based pension system

10 nov

Examensarbete

Matematisk Statistik

tisdag 2015-11-10, 10.15 - 11.00

Medverkande: Simon von Metzner

Plats: Seminarierummet 3418, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 4

2015-11-10T10:15:00.177+01:00 2015-11-10T11:00:00.177+01:00 Simon von Metzner: Risks and scenarios in the Swedish income-based pension system (Examensarbete) Seminarierummet 3418, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 4 (KTH, Stockholm, Sweden)Simon von Metzner: Risks and scenarios in the Swedish income-based pension system (Examensarbete)

Constanze Roitzheim: Homological Localisation of Model Categories

10 nov

Topologiska aktiviteter

tisdag 2015-11-10, 13.15 - 15.00

Medverkande: Constanze Roitzheim, University of Kent

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

2015-11-10T13:15:00.712+01:00 2015-11-10T15:00:00.712+01:00 Constanze Roitzheim: Homological Localisation of Model Categories (Topologiska aktiviteter) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Constanze Roitzheim: Homological Localisation of Model Categories (Topologiska aktiviteter)

Roman Golovko: A few remarks on the Arnold's chord estimate

10 nov

Seminarium, Mittag-Leffler

tisdag 2015-11-10, 14.00 - 15.00

Medverkande: Roman Golovko, Alfred Renyi Institute of Mathematics

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

2015-11-10T14:00:00.674+01:00 2015-11-10T15:00:00.674+01:00 Roman Golovko: A few remarks on the Arnold's chord estimate (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Roman Golovko: A few remarks on the Arnold's chord estimate (Seminarium, Mittag-Leffler)

Jonatan Lenells: Två perkolationsformler

10 nov

Docentföreläsning

tisdag 2015-11-10, 14.15 - 15.00

Medverkande: Jonatan Lenells

Plats: H1, Teknikringen 33, vån 2

2015-11-10T14:15:00.333+01:00 2015-11-10T15:00:00.333+01:00 Jonatan Lenells: Två perkolationsformler (Docentföreläsning) H1, Teknikringen 33, vån 2 (KTH, Stockholm, Sweden)Jonatan Lenells: Två perkolationsformler (Docentföreläsning)

Yang Huang: Bypass -- a building block of contact Morse theory

10 nov

Seminarium, Mittag-Leffler

tisdag 2015-11-10, 15.30 - 16.30

Medverkande: Yang Huang, Aarhus University

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

2015-11-10T15:30:00.251+01:00 2015-11-10T16:30:00.251+01:00 Yang Huang: Bypass -- a building block of contact Morse theory (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Yang Huang: Bypass -- a building block of contact Morse theory (Seminarium, Mittag-Leffler)

Konstantin Zarembo: Random Matrices in Quantum Field Theory

11 nov

Seminarium, Analys och matematisk fysik

onsdag 2015-11-11, 11.00 - 12.00

Medverkande: Konstantin Zarembo

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

2015-11-11T11:00:00.195+01:00 2015-11-11T12:00:00.195+01:00 Konstantin Zarembo: Random Matrices in Quantum Field Theory (Seminarium, Analys och matematisk fysik) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Konstantin Zarembo: Random Matrices in Quantum Field Theory (Seminarium, Analys och matematisk fysik)

Pär Stockhammar: Some applications of a Bayesian VAR model

11 nov

Seminarium, Statistik

onsdag 2015-11-11, 13.00 - 14.00

Medverkande: Pär Stockhammar, Deptartment of Statistics and National Institute of Economic Research

Plats: Room B705, Department of Statistics, Stockholm university

2015-11-11T13:00:00.397+01:00 2015-11-11T14:00:00.397+01:00 Pär Stockhammar: Some applications of a Bayesian VAR model (Seminarium, Statistik) Room B705, Department of Statistics, Stockholm university (KTH, Stockholm, Sweden)Pär Stockhammar: Some applications of a Bayesian VAR model (Seminarium, Statistik)

James Borger: Witt vectors and canonical lifts in families.

11 nov

Seminarium, Algebra och geometri

onsdag 2015-11-11, 13.15 - 14.15

Medverkande: James Borger, Australian National University

Plats: Room 3418, Institutionen för matematik, KTH

2015-11-11T13:15:00.454+01:00 2015-11-11T14:15:00.454+01:00 James Borger: Witt vectors and canonical lifts in families. (Seminarium, Algebra och geometri) Room 3418, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)James Borger: Witt vectors and canonical lifts in families. (Seminarium, Algebra och geometri)

Silvius Klein: Continuity, positivity and simplicity of the Lyapunov exponents for linear quasi-periodic cocycles

11 nov

Seminarium, KTH Analys

onsdag 2015-11-11, 13.15

Medverkande: Silvius Klein, Norwegian University of Science and Technology (NTNU)

Plats: Seminarierum 3721, Lindstedtsvägen 25, KTH

2015-11-11T13:15:00.648+01:00 2015-11-11T13:15:00.648+01:00 Silvius Klein: Continuity, positivity and simplicity of the Lyapunov exponents for linear quasi-periodic cocycles (Seminarium, KTH Analys) Seminarierum 3721, Lindstedtsvägen 25, KTH (KTH, Stockholm, Sweden)Silvius Klein: Continuity, positivity and simplicity of the Lyapunov exponents for linear quasi-periodic cocycles (Seminarium, KTH Analys)

Pieter Trapman: Percolation and spatial epidemics

11 nov

Docentföreläsning

onsdag 2015-11-11, 15.15 - 16.15

Medverkande: Pieter Trapman, Department of Mathematics, Stockholm University

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

2015-11-11T15:15:00.209+01:00 2015-11-11T16:15:00.209+01:00 Pieter Trapman: Percolation and spatial epidemics (Docentföreläsning) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Pieter Trapman: Percolation and spatial epidemics (Docentföreläsning)

Douglas Lundholm: Some regularized triangle geometry

12 nov

Lunchseminarium

torsdag 2015-11-12, 12.20

Medverkande: Douglas Lundholm, KTH

Plats: Sal 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH

2015-11-12T12:20:00.667+01:00 2015-11-12T12:20:00.667+01:00 Douglas Lundholm: Some regularized triangle geometry (Lunchseminarium) Sal 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Douglas Lundholm: Some regularized triangle geometry (Lunchseminarium)

Marcelo Alves: Legendrian contact homology and topological entropy

12 nov

Seminarium, Mittag-Leffler

torsdag 2015-11-12, 14.00 - 15.00

Medverkande: Marcelo Alves, Université libre de Bruxelles

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

2015-11-12T14:00:00.786+01:00 2015-11-12T15:00:00.786+01:00 Marcelo Alves: Legendrian contact homology and topological entropy (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Marcelo Alves: Legendrian contact homology and topological entropy (Seminarium, Mittag-Leffler)

Urs Fuchs: Positive Loops of Legendrians in Prequantization Spaces

12 nov

Seminarium, Mittag-Leffler

torsdag 2015-11-12, 15.30 - 16.30

Medverkande: Urs Fuchs, Ruhr-Universität Bochum (RUB)

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

2015-11-12T15:30:00.931+01:00 2015-11-12T16:30:00.931+01:00 Urs Fuchs: Positive Loops of Legendrians in Prequantization Spaces (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Urs Fuchs: Positive Loops of Legendrians in Prequantization Spaces (Seminarium, Mittag-Leffler)

Low-energy optimisation: A methodology for integrating environmental considerations early in the vehicle engineering design process

13 nov

Seminarium, Optimeringslära och systemteori

fredag 2015-11-13, 11.00 - 12.00

Medverkande: Ciarán O'Reilly

Plats: Lindstedtsvägen 25, seimnar room 3721

2015-11-13T11:00:00.625+01:00 2015-11-13T12:00:00.625+01:00 Low-energy optimisation: A methodology for integrating environmental considerations early in the vehicle engineering design process (Seminarium, Optimeringslära och systemteori) Lindstedtsvägen 25, seimnar room 3721 (KTH, Stockholm, Sweden)Low-energy optimisation: A methodology for integrating environmental considerations early in the vehicle engineering design process (Seminarium, Optimeringslära och systemteori)

Gohar Aleksanyan: Optimal switching problem

13 nov

Seminarium, Doktorand

fredag 2015-11-13, 13.15 - 14.15

Medverkande: Gohar Aleksanyan, KTH

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

2015-11-13T13:15:00.540+01:00 2015-11-13T14:15:00.540+01:00 Gohar Aleksanyan: Optimal switching problem (Seminarium, Doktorand) Room 3418, Lindstedtsvägen 25, 4th floor, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Gohar Aleksanyan: Optimal switching problem (Seminarium, Doktorand)

Kasper Green Larsen: Unconditional lower bounds for data structures

16 nov

Seminarium, Teoretisk datalogi

måndag 2015-11-16, 12.00

Medverkande: Kasper Green Larsen, Aarhus University

Plats: Room 4523, Lindstedtsvägen 5, KTH

2015-11-16T12:00:00.837+01:00 2015-11-16T12:00:00.837+01:00 Kasper Green Larsen: Unconditional lower bounds for data structures (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Kasper Green Larsen: Unconditional lower bounds for data structures (Seminarium, Teoretisk datalogi)

Elisa Postinghel: Fat points in projective spaces: a geometric approach

17 nov

Seminarium, Algebra och geometri

tisdag 2015-11-17, 10.00

Medverkande: Elisa Postinghel, Leuven

Plats: Room 34, House 5, Kräftriket, Department of Mathematics, Stockholm University

2015-11-17T10:00:00.397+01:00 2015-11-17T10:00:00.397+01:00 Elisa Postinghel: Fat points in projective spaces: a geometric approach (Seminarium, Algebra och geometri) Room 34, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Elisa Postinghel: Fat points in projective spaces: a geometric approach (Seminarium, Algebra och geometri)

Katarina Fetisova: Evaluation of climate model simulations by means of statistical methods

17 nov

Licentiatseminarium

Mathematical Statistics

tisdag 2015-11-17, 13.00 - 14.00

Medverkande: Katarina Fetisova

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

Licentiand: Katarina Fetisova , Math Stat, SU

2015-11-17T13:00:00.119+01:00 2015-11-17T14:00:00.119+01:00 Katarina Fetisova: Evaluation of climate model simulations by means of statistical methods (Licentiatseminarium) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Katarina Fetisova: Evaluation of climate model simulations by means of statistical methods (Licentiatseminarium)

Philip Hackney: Aspects of the homotopy theory of wheeled properads

17 nov

Topologiska aktiviteter

tisdag 2015-11-17, 13.15 - 14.15

Medverkande: Philip Hackney (Stockholm University)

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

2015-11-17T13:15:00.526+01:00 2015-11-17T14:15:00.526+01:00 Philip Hackney: Aspects of the homotopy theory of wheeled properads (Topologiska aktiviteter) Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Philip Hackney: Aspects of the homotopy theory of wheeled properads (Topologiska aktiviteter)

Agnès Gadbled: Toric constructions of monotone Lagrangian submanifolds in ℂℙ^2 and ℂℙ^1×ℂℙ^1

17 nov

Seminarium, Mittag-Leffler

tisdag 2015-11-17, 14.00 - 15.00

Medverkande: Agnès Gadbled, Centro de Matemática da Universidade do Porto

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

2015-11-17T14:00:00.612+01:00 2015-11-17T15:00:00.612+01:00 Agnès Gadbled: Toric constructions of monotone Lagrangian submanifolds in ℂℙ^2 and ℂℙ^1×ℂℙ^1 (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Agnès Gadbled: Toric constructions of monotone Lagrangian submanifolds in ℂℙ^2 and ℂℙ^1×ℂℙ^1 (Seminarium, Mittag-Leffler)

Teodor Alfson: Topics in Nonlinear Ordinary Differential Equations

18 nov

Examensarbete

onsdag 2015-11-18, 09.00 - 10.00

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

2015-11-18T09:00:00.444+01:00 2015-11-18T10:00:00.444+01:00 Teodor Alfson: Topics in Nonlinear Ordinary Differential Equations (Examensarbete) Room 32, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Teodor Alfson: Topics in Nonlinear Ordinary Differential Equations (Examensarbete)

Christian Hägg: Sequential differentiation of polynomials with zeros determined by simple polygons

18 nov

Examensarbete

onsdag 2015-11-18, 10.00 - 11.00

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

2015-11-18T10:00:00.309+01:00 2015-11-18T11:00:00.309+01:00 Christian Hägg: Sequential differentiation of polynomials with zeros determined by simple polygons (Examensarbete) Room 32, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Christian Hägg: Sequential differentiation of polynomials with zeros determined by simple polygons (Examensarbete)

Andrew Swan: Identity types in Algebraic Model Structures

18 nov

Seminarium, Logik

onsdag 2015-11-18, 10.00 - 11.45

Medverkande: Andrew Swan, Leeds

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

2015-11-18T10:00:00.800+01:00 2015-11-18T11:45:00.800+01:00 Andrew Swan: Identity types in Algebraic Model Structures (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm University (KTH, Stockholm, Sweden)Andrew Swan: Identity types in Algebraic Model Structures (Seminarium, Logik)

Diana Barseghyan: Semiclassical bounds in magnetic bottles

18 nov

Seminarium, Analys

onsdag 2015-11-18, 10.30 - 11.30

Medverkande: Diana Barseghyan

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

2015-11-18T10:30:00.158+01:00 2015-11-18T11:30:00.158+01:00 Diana Barseghyan: Semiclassical bounds in magnetic bottles (Seminarium, Analys) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Diana Barseghyan: Semiclassical bounds in magnetic bottles (Seminarium, Analys)

Ralf Morrison: Moduli of Tropical Plane Curves

18 nov

Seminarium, Algebra och geometri

onsdag 2015-11-18, 13.15 - 14.15

Medverkande: Ralf Morrison, KTH

Plats: Room 306, Kräftriket, SU

2015-11-18T13:15:00.564+01:00 2015-11-18T14:15:00.564+01:00 Ralf Morrison: Moduli of Tropical Plane Curves (Seminarium, Algebra och geometri) Room 306, Kräftriket, SU (KTH, Stockholm, Sweden)Ralf Morrison: Moduli of Tropical Plane Curves (Seminarium, Algebra och geometri)

Wolfgang Schmid: Monitoring time dependent processes

18 nov

Seminarium, Matematisk statistik

onsdag 2015-11-18, 15.15 - 16.15

Medverkande: Wolfgang Schmid, (Frankfurt (Oder), Germany)

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

2015-11-18T15:15:00.592+01:00 2015-11-18T16:15:00.592+01:00 Wolfgang Schmid: Monitoring time dependent processes (Seminarium, Matematisk statistik) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Wolfgang Schmid: Monitoring time dependent processes (Seminarium, Matematisk statistik)

Lars Svensson: Något om transfinit induktion

19 nov

Lunchseminarium

torsdag 2015-11-19, 12.20

Medverkande: Lars Svensson, KTH

Plats: Sal 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH

2015-11-19T12:20:00.425+01:00 2015-11-19T12:20:00.425+01:00 Lars Svensson: Något om transfinit induktion (Lunchseminarium) Sal 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Lars Svensson: Något om transfinit induktion (Lunchseminarium)

Nena-Maria Röttgen: Compact invariant sets do not imply periodic orbits - examples of geodesic, Reeb and Hamiltonian flows

19 nov

Seminarium, Mittag-Leffler

torsdag 2015-11-19, 14.00 - 15.00

Medverkande: Nena-Maria Röttgen, Westfälische Wilhelms-Universität Münster

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

2015-11-19T14:00:00.070+01:00 2015-11-19T15:00:00.070+01:00 Nena-Maria Röttgen: Compact invariant sets do not imply periodic orbits - examples of geodesic, Reeb and Hamiltonian flows (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Nena-Maria Röttgen: Compact invariant sets do not imply periodic orbits - examples of geodesic, Reeb and Hamiltonian flows (Seminarium, Mittag-Leffler)

Lars Eldén: Generalizing Spectral Graph Partitioning to Sparse Tensors

19 nov

Seminarium, Numerisk analys

torsdag 2015-11-19, 14.15 - 15.00

Medverkande: Lars Eldén

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

2015-11-19T14:15:00.116+01:00 2015-11-19T15:00:00.116+01:00 Lars Eldén: Generalizing Spectral Graph Partitioning to Sparse Tensors (Seminarium, Numerisk analys) KTH Mathematics, Lindstedtsvägen 25, floor 7, room 3721 (KTH, Stockholm, Sweden)Lars Eldén: Generalizing Spectral Graph Partitioning to Sparse Tensors (Seminarium, Numerisk analys)

Marco Golla: Stein fillings of contact torus bundles

19 nov

Seminarium, Mittag-Leffler

torsdag 2015-11-19, 15.30 - 16.30

Medverkande: Marco Golla, University of Pisa

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

2015-11-19T15:30:00.078+01:00 2015-11-19T16:30:00.078+01:00 Marco Golla: Stein fillings of contact torus bundles (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Marco Golla: Stein fillings of contact torus bundles (Seminarium, Mittag-Leffler)

Resilient Control of Dynamical Flow Networks

20 nov

Seminarium, Optimeringslära och systemteori

fredag 2015-11-20, 11.00 - 12.00

Medverkande: Giacomo Como

Plats: Lindstedtsvägen 25, seimnar room 3721

2015-11-20T11:00:00.113+01:00 2015-11-20T12:00:00.113+01:00 Resilient Control of Dynamical Flow Networks (Seminarium, Optimeringslära och systemteori) Lindstedtsvägen 25, seimnar room 3721 (KTH, Stockholm, Sweden)Resilient Control of Dynamical Flow Networks (Seminarium, Optimeringslära och systemteori)

Anders Lundman: Higher order gauss maps

20 nov

Seminarium, Algebra och geometri

fredag 2015-11-20, 11.00 - 12.00

Medverkande: Anders Lundman, KTH

Plats: Room 3418, Institutionen för matematik, KTH

2015-11-20T11:00:00.564+01:00 2015-11-20T12:00:00.564+01:00 Anders Lundman: Higher order gauss maps (Seminarium, Algebra och geometri) Room 3418, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Anders Lundman: Higher order gauss maps (Seminarium, Algebra och geometri)

Björn Engquist: "Monge-Ampère equation and seismology"

20 nov

Seminarium, KTH Analys

fredag 2015-11-20, 13.15

Medverkande: Björn Engquist (Austin och KTH)

Plats: Seminarierum 3418, Lindstedsvägen 25, KTH (OBS: Tid och plats)

2015-11-20T13:15:00.707+01:00 2015-11-20T13:15:00.707+01:00 Björn Engquist: "Monge-Ampère equation and seismology" (Seminarium, KTH Analys) Seminarierum 3418, Lindstedsvägen 25, KTH (OBS: Tid och plats) (KTH, Stockholm, Sweden)Björn Engquist: "Monge-Ampère equation and seismology" (Seminarium, KTH Analys)

Ilario Bonacina: Lower bounds: from circuits to QBF proof systems

23 nov

Seminarium, Teoretisk datalogi

måndag 2015-11-23, 12.00

Medverkande: Ilario Bonacina, Theory Group, KTH

Plats: Room 4523, Lindstedtsvägen 5, KTH

2015-11-23T12:00:00.492+01:00 2015-11-23T12:00:00.492+01:00 Ilario Bonacina: Lower bounds: from circuits to QBF proof systems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Ilario Bonacina: Lower bounds: from circuits to QBF proof systems (Seminarium, Teoretisk datalogi)

Matthieu Loustaunau: Industrial process error estimation by machine learning

23 nov

Examensarbete

Scientific Computing

måndag 2015-11-23, 13.00 - 14.00

Medverkande: Matthieu Loustaunau

Plats: Room 3424, Department of Mathematics, KTH

Respondent: Matthieu Loustaunau

2015-11-23T13:00:00.520+01:00 2015-11-23T14:00:00.520+01:00 Matthieu Loustaunau: Industrial process error estimation by machine learning (Examensarbete) Room 3424, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Matthieu Loustaunau: Industrial process error estimation by machine learning (Examensarbete)

Elias Jarlebring: Numeriska metoder för olinjära egenvärdesproblem

23 nov

Docentföreläsning

måndag 2015-11-23, 14.15 - 15.00

Medverkande: Elias Jarlebring

Plats: Munin, Teknikringen 8 entreplan

2015-11-23T14:15:00.799+01:00 2015-11-23T15:00:00.799+01:00 Elias Jarlebring: Numeriska metoder för olinjära egenvärdesproblem (Docentföreläsning) Munin, Teknikringen 8 entreplan (KTH, Stockholm, Sweden)Elias Jarlebring: Numeriska metoder för olinjära egenvärdesproblem (Docentföreläsning)

Benoit Fresse: Rational homotopy and intrinsic formality of E_n-operads

24 nov

Topologiska aktiviteter

tisdag 2015-11-24, 13.15 - 15.00

Medverkande: Benoit Fresse

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

2015-11-24T13:15:00.602+01:00 2015-11-24T15:00:00.602+01:00 Benoit Fresse: Rational homotopy and intrinsic formality of E_n-operads (Topologiska aktiviteter) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Benoit Fresse: Rational homotopy and intrinsic formality of E_n-operads (Topologiska aktiviteter)

Dmitry Tonkonog: Circle actions and the Fukaya category

24 nov

Seminarium, Mittag-Leffler

tisdag 2015-11-24, 14.00 - 15.00

Medverkande: Dmitry Tonkonog, King's College, Cambridge

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

2015-11-24T14:00:00.079+01:00 2015-11-24T15:00:00.079+01:00 Dmitry Tonkonog: Circle actions and the Fukaya category (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Dmitry Tonkonog: Circle actions and the Fukaya category (Seminarium, Mittag-Leffler)

Maksim Maydanskiy: Symplectic multi-energy thermodynamics via exponential families of distribution

24 nov

Seminarium, Mittag-Leffler

tisdag 2015-11-24, 15.30 - 16.30

Medverkande: Maksim Maydanskiy, Institut Mathematiques de Jussieu

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

2015-11-24T15:30:00.816+01:00 2015-11-24T16:30:00.816+01:00 Maksim Maydanskiy: Symplectic multi-energy thermodynamics via exponential families of distribution (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Maksim Maydanskiy: Symplectic multi-energy thermodynamics via exponential families of distribution (Seminarium, Mittag-Leffler)

Dag Westerståhl: The meaning of ⎕ and other logical constants

25 nov

Seminarium, Logik

onsdag 2015-11-25, 10.00 - 11.45

Medverkande: Dag Westerståhl

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

2015-11-25T10:00:00.957+01:00 2015-11-25T11:45:00.957+01:00 Dag Westerståhl: The meaning of ⎕ and other logical constants (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm University (KTH, Stockholm, Sweden)Dag Westerståhl: The meaning of ⎕ and other logical constants (Seminarium, Logik)

Anders Claesson: Interval orders via combinatorial species and ballot matrices

25 nov

Seminarium, Kombinatorik

onsdag 2015-11-25, 10.15 - 11.15

Medverkande: Anders Claesson, Univ. of Strathclyde

Plats: Room 3418

2015-11-25T10:15:00.225+01:00 2015-11-25T11:15:00.225+01:00 Anders Claesson: Interval orders via combinatorial species and ballot matrices (Seminarium, Kombinatorik) Room 3418 (KTH, Stockholm, Sweden)Anders Claesson: Interval orders via combinatorial species and ballot matrices (Seminarium, Kombinatorik)

Frantisek Stampach: On spectral properties of a class of complex Jacobi matrices with periodically modulated weights

25 nov

Seminarium, Analys

onsdag 2015-11-25, 10.30 - 11.30

Medverkande: Frantisek Stampach

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

2015-11-25T10:30:00.591+01:00 2015-11-25T11:30:00.591+01:00 Frantisek Stampach: On spectral properties of a class of complex Jacobi matrices with periodically modulated weights (Seminarium, Analys) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm University (KTH, Stockholm, Sweden)Frantisek Stampach: On spectral properties of a class of complex Jacobi matrices with periodically modulated weights (Seminarium, Analys)

Raul Cano: A model for nonresponse

25 nov

Seminarium, Statistik

onsdag 2015-11-25, 13.00 - 14.00

Medverkande: Raul Cano, Department of Statistics

Plats: Room B705, Department of Statistics, Stockholm university

2015-11-25T13:00:00.793+01:00 2015-11-25T14:00:00.793+01:00 Raul Cano: A model for nonresponse (Seminarium, Statistik) Room B705, Department of Statistics, Stockholm university (KTH, Stockholm, Sweden)Raul Cano: A model for nonresponse (Seminarium, Statistik)

David Witt Nyström: Okounkov bodies and embeddings of torus-invariant Kähler balls.

25 nov

Seminarium, Algebra och geometri

onsdag 2015-11-25, 13.15 - 14.15

Medverkande: David Witt Nyström, Göteborgs universitet

Plats: Room 3418, Institutionen för matematik, KTH

2015-11-25T13:15:00.454+01:00 2015-11-25T14:15:00.454+01:00 David Witt Nyström: Okounkov bodies and embeddings of torus-invariant Kähler balls. (Seminarium, Algebra och geometri) Room 3418, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)David Witt Nyström: Okounkov bodies and embeddings of torus-invariant Kähler balls. (Seminarium, Algebra och geometri)

Maria Saprykina: Examples of Hamiltonian systems with Arnold diffusion

25 nov

Seminarium, KTH Analys

onsdag 2015-11-25, 13.15

Medverkande: Maria Saprykina, KTH

Plats: Seminarierum 3721, Liindstedsvägen 25

2015-11-25T13:15:00.540+01:00 2015-11-25T13:15:00.540+01:00 Maria Saprykina: Examples of Hamiltonian systems with Arnold diffusion (Seminarium, KTH Analys) Seminarierum 3721, Liindstedsvägen 25 (KTH, Stockholm, Sweden)Maria Saprykina: Examples of Hamiltonian systems with Arnold diffusion (Seminarium, KTH Analys)

Simon Johansson: A Modal PML for the 2D Shallow Water Equations in Conservative Variables

26 nov

Examensarbete

Scientific Computing

torsdag 2015-11-26, 10.00 - 11.00

Medverkande: Simon Johansson

Plats: Room 3424, Department of Mathematics, KTH

Respondent: Simon Johansson

2015-11-26T10:00:00.932+01:00 2015-11-26T11:00:00.932+01:00 Simon Johansson: A Modal PML for the 2D Shallow Water Equations in Conservative Variables (Examensarbete) Room 3424, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Simon Johansson: A Modal PML for the 2D Shallow Water Equations in Conservative Variables (Examensarbete)

Stockholm-Uppsala Analysis and Probability Day 2015

26 nov

Konferens

torsdag 2015-11-26, 13.00 - 17.30

Plats: Polhemssalen, Ångströmlaboratoriet, Uppsala University.

2015-11-26T13:00:00.392+01:00 2015-11-26T17:30:00.392+01:00 Stockholm-Uppsala Analysis and Probability Day 2015 (Konferens) Polhemssalen, Ångströmlaboratoriet, Uppsala University. (KTH, Stockholm, Sweden)Stockholm-Uppsala Analysis and Probability Day 2015 (Konferens)

Miniseries of lectures on one of the crown jewels of Theoretical Computer Science: PCP Theorem and hardness of approximation

26 nov

Seminarium, Teoretisk datalogi

to 2015-11-26, 13.15 - to 2015-12-10, 14.15

Plats: Seminar room 1537 on the 5th floor at Lindstedtsvägen 3

2015-11-26T13:15:00.965+01:00 2015-12-10T14:15:00.965+01:00 Miniseries of lectures on one of the crown jewels of Theoretical Computer Science: PCP Theorem and hardness of approximation (Seminarium, Teoretisk datalogi) Seminar room 1537 on the 5th floor at Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Miniseries of lectures on one of the crown jewels of Theoretical Computer Science: PCP Theorem and hardness of approximation (Seminarium, Teoretisk datalogi)

Rémi Cretois: Counting real rational curves on real symplectic 4-folds with vanishing first Chern class

26 nov

Seminarium, Mittag-Leffler

torsdag 2015-11-26, 14.00 - 15.00

Medverkande: Rémi Cretois, Uppsala University

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

2015-11-26T14:00:00.127+01:00 2015-11-26T15:00:00.127+01:00 Rémi Cretois: Counting real rational curves on real symplectic 4-folds with vanishing first Chern class (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Rémi Cretois: Counting real rational curves on real symplectic 4-folds with vanishing first Chern class (Seminarium, Mittag-Leffler)

Patrick Henning: Two-level finite element discretizations for simulating Bose-Einstein condensates

26 nov

Seminarium, Numerisk analys

torsdag 2015-11-26, 14.15 - 15.00

Medverkande: Patrick Henning, KTH

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

2015-11-26T14:15:00.556+01:00 2015-11-26T15:00:00.556+01:00 Patrick Henning: Two-level finite element discretizations for simulating Bose-Einstein condensates (Seminarium, Numerisk analys) KTH Mathematics, Lindstedtsvägen 25, floor 7, room 3721 (KTH, Stockholm, Sweden)Patrick Henning: Two-level finite element discretizations for simulating Bose-Einstein condensates (Seminarium, Numerisk analys)

Paolo Ghiggini: An application of L2 Betti numbers to symplectic topolog

26 nov

Seminarium, Mittag-Leffler

torsdag 2015-11-26, 15.30 - 16.30

Medverkande: Paolo Ghiggini, Université de Nantes

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

2015-11-26T15:30:00.614+01:00 2015-11-26T16:30:00.614+01:00 Paolo Ghiggini: An application of L2 Betti numbers to symplectic topolog (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Paolo Ghiggini: An application of L2 Betti numbers to symplectic topolog (Seminarium, Mittag-Leffler)

David Rydh: Functorial flatification of maps by blow-ups

27 nov

Seminarium, Algebraisk geometri (arXiv)

fredag 2015-11-27, 11.00 - 12.00

Medverkande: David Rydh, KTH

Plats: Room 3418, Institutionen för matematik, KTH

2015-11-27T11:00:00.300+01:00 2015-11-27T12:00:00.300+01:00 David Rydh: Functorial flatification of maps by blow-ups (Seminarium, Algebraisk geometri (arXiv)) Room 3418, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)David Rydh: Functorial flatification of maps by blow-ups (Seminarium, Algebraisk geometri (arXiv))

Lars Brandell: Matematikkunskaperna 2015 för nybörjarna på KTH

27 nov

Seminarium, Utbildning

fredag 2015-11-27, 12.15 - 13.00

Medverkande: Lars Brandell

Plats: Seminarierum 3721 på plan 7, Institutionen för matematik, KTH

2015-11-27T12:15:00.892+01:00 2015-11-27T13:00:00.892+01:00 Lars Brandell: Matematikkunskaperna 2015 för nybörjarna på KTH (Seminarium, Utbildning) Seminarierum 3721 på plan 7, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Lars Brandell: Matematikkunskaperna 2015 för nybörjarna på KTH (Seminarium, Utbildning)

Connected services and challenges in real time vehicle analysis from streamed data

27 nov

Seminarium, Optimeringslära och systemteori

fredag 2015-11-27, 17.52 - 18.52

Medverkande: Jesper Ulke

Plats: Lindstedtsvägen 25, seimnar room 3721

2015-11-27T17:52:00.490+01:00 2015-11-27T18:52:00.490+01:00 Connected services and challenges in real time vehicle analysis from streamed data (Seminarium, Optimeringslära och systemteori) Lindstedtsvägen 25, seimnar room 3721 (KTH, Stockholm, Sweden)Connected services and challenges in real time vehicle analysis from streamed data (Seminarium, Optimeringslära och systemteori)

Armin Biere: Model checking, SAT and bit-vectors + Evaluating CDCL restart schemes

30 nov

Seminarium, Teoretisk datalogi

måndag 2015-11-30, 12.00

Medverkande: Armin Biere, Johannes Kepler University Linz

Plats: Room 4523, Lindstedtsvägen 5

2015-11-30T12:00:00.567+01:00 2015-11-30T12:00:00.567+01:00 Armin Biere: Model checking, SAT and bit-vectors + Evaluating CDCL restart schemes (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Armin Biere: Model checking, SAT and bit-vectors + Evaluating CDCL restart schemes (Seminarium, Teoretisk datalogi)

Emil Sköldberg: Some monomial ideals with multiplicative resolutions

1 dec

Topologiska aktiviteter

ti 2015-12-01, 13.15 - ti 2015-11-17, 14.15

Medverkande: Emil Sköldberg, NUI Galway

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

2015-12-01T13:15:00.526+01:00 2015-11-17T14:15:00.526+01:00 Emil Sköldberg: Some monomial ideals with multiplicative resolutions (Topologiska aktiviteter) Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Emil Sköldberg: Some monomial ideals with multiplicative resolutions (Topologiska aktiviteter)

Emil Sköldberg: Some monomial ideals with multiplicative resolutions

1 dec

Seminarium, Algebra och geometri

tisdag 2015-12-01, 13.15

Medverkande: Emil Sköldberg, NUI Galway

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

2015-12-01T13:15:00.778+01:00 2015-12-01T13:15:00.778+01:00 Emil Sköldberg: Some monomial ideals with multiplicative resolutions (Seminarium, Algebra och geometri) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Emil Sköldberg: Some monomial ideals with multiplicative resolutions (Seminarium, Algebra och geometri)

Sylvain Courte: Legendrian submanifolds with hamiltonian isotopic symplectizations

1 dec

Seminarium, Mittag-Leffler

tisdag 2015-12-01, 14.00 - 15.00

Medverkande: Sylvain Courte, Uppsala Universitet

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

2015-12-01T14:00:00.049+01:00 2015-12-01T15:00:00.049+01:00 Sylvain Courte: Legendrian submanifolds with hamiltonian isotopic symplectizations (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Sylvain Courte: Legendrian submanifolds with hamiltonian isotopic symplectizations (Seminarium, Mittag-Leffler)

Cecilia Karlsson: Orientations of Morse flow trees in Legendrian contact homology

1 dec

Seminarium, Mittag-Leffler

tisdag 2015-12-01, 15.30 - 16.30

Medverkande: Cecilia Karlsson, Uppsala Universitet

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

2015-12-01T15:30:00.927+01:00 2015-12-01T16:30:00.927+01:00 Cecilia Karlsson: Orientations of Morse flow trees in Legendrian contact homology (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djurshol (KTH, Stockholm, Sweden)Cecilia Karlsson: Orientations of Morse flow trees in Legendrian contact homology (Seminarium, Mittag-Leffler)

Michael Makkai: Abstract set theory and the syntax of FOLDS

2 dec

Seminarium, Logik

onsdag 2015-12-02, 10.00 - 11.45

Medverkande: Michael Makkai (McGill, Montreal)

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

2015-12-02T10:00:00.494+01:00 2015-12-02T11:45:00.494+01:00 Michael Makkai: Abstract set theory and the syntax of FOLDS (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm University (KTH, Stockholm, Sweden)Michael Makkai: Abstract set theory and the syntax of FOLDS (Seminarium, Logik)

Harald Helfgott: The ternary Goldbach conjecture

2 dec

Seminarium, KTH Analys

onsdag 2015-12-02, 13.15

Medverkande: Harald Helfgott (Göttingen/CNRS)

Plats: Rum 3721

2015-12-02T13:15:00.838+01:00 2015-12-02T13:15:00.838+01:00 Harald Helfgott: The ternary Goldbach conjecture (Seminarium, KTH Analys) Rum 3721 (KTH, Stockholm, Sweden)Harald Helfgott: The ternary Goldbach conjecture (Seminarium, KTH Analys)

KaYin Leung: Dangerous connections: on binding site models for infectious disease dynamics

2 dec

Seminarium, Matematisk statistik

onsdag 2015-12-02, 15.15 - 16.15

Medverkande: KaYin Leung: Utrecht University & University Medical Center Utrecht, The Netherlands

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

2015-12-02T15:15:00.178+01:00 2015-12-02T16:15:00.178+01:00 KaYin Leung: Dangerous connections: on binding site models for infectious disease dynamics (Seminarium, Matematisk statistik) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)KaYin Leung: Dangerous connections: on binding site models for infectious disease dynamics (Seminarium, Matematisk statistik)

Dmitry Khavinson: "Between two truths of the real domain, the easiest and shortest path quite often passes through the complex domain." P. Painleve, 1900. A variation on the theme of analytic continuation.

2 dec

SMC kollokvium

onsdag 2015-12-02, 15.15 - 16.15

Medverkande: Dmitry Khavinson, Univ of Southern Florida

Plats: Oskar Kleins auditorium, AlbaNova

2015-12-02T15:15:00.285+01:00 2015-12-02T16:15:00.285+01:00 Dmitry Khavinson: "Between two truths of the real domain, the easiest and shortest path quite often passes through the complex domain." P. Painleve, 1900. A variation on the theme of analytic continuation. (SMC kollokvium) Oskar Kleins auditorium, AlbaNova (KTH, Stockholm, Sweden)Dmitry Khavinson: "Between two truths of the real domain, the easiest and shortest path quite often passes through the complex domain." P. Painleve, 1900. A variation on the theme of analytic continuation. (SMC kollokvium)

Guillermo Rodríguez Cano: Information Flow and Data Control in Online Social Networks: Insights and Lessons

3 dec

Seminarium, Teoretisk datalogi

torsdag 2015-12-03, 11.00

Medverkande: Guillermo Rodríguez Cano, Ph.D student at the Department of Theoretical Computer Science, KTH

Plats: Room 1537, KTH CSC, Lindstedtsvägen 3, Stockholm, Sweden

2015-12-03T11:00:00.965+01:00 2015-12-03T11:00:00.965+01:00 Guillermo Rodríguez Cano: Information Flow and Data Control in Online Social Networks: Insights and Lessons (Seminarium, Teoretisk datalogi) Room 1537, KTH CSC, Lindstedtsvägen 3, Stockholm, Sweden (KTH, Stockholm, Sweden)Guillermo Rodríguez Cano: Information Flow and Data Control in Online Social Networks: Insights and Lessons (Seminarium, Teoretisk datalogi)

Oliva Ståhl: Model-based outlier adjustments for samples from skewed populations

3 dec

Seminarium, Statistik

torsdag 2015-12-03, 13.00

Medverkande: Oliva Ståhl, Department of Statistics

Plats: E420 in Södra husen, Frescati, Stockholm university

2015-12-03T13:00:00.927+01:00 2015-12-03T13:00:00.927+01:00 Oliva Ståhl: Model-based outlier adjustments for samples from skewed populations (Seminarium, Statistik) E420 in Södra husen, Frescati, Stockholm university (KTH, Stockholm, Sweden)Oliva Ståhl: Model-based outlier adjustments for samples from skewed populations (Seminarium, Statistik)

Workshop on Categorical Logic 3-4 December, Stockholm University

3 dec

Konferens

to 2015-12-03, 13.30 - fr 2015-12-04, 17.30

Plats: Stockholm University Mathematics Department, on the Kräftriket campus, buildings 5 and 6 (“Hus 5/6”)

2015-12-03T13:30:00.425+01:00 2015-12-04T17:30:00.425+01:00 Workshop on Categorical Logic 3-4 December, Stockholm University (Konferens) Stockholm University Mathematics Department, on the Kräftriket campus, buildings 5 and 6 (“Hus 5/6”) (KTH, Stockholm, Sweden)Workshop on Categorical Logic 3-4 December, Stockholm University (Konferens)

Lars Hesselholt: K-theory of division algebras

7 dec

Seminarium, Algebra och geometri

måndag 2015-12-07, 15.15 - 16.15

Medverkande: Lars Hesselholt, Copenhagen / Nagoya

Plats: KTH, room 3418

2015-12-07T15:15:00.276+01:00 2015-12-07T16:15:00.276+01:00 Lars Hesselholt: K-theory of division algebras (Seminarium, Algebra och geometri) KTH, room 3418 (KTH, Stockholm, Sweden)Lars Hesselholt: K-theory of division algebras (Seminarium, Algebra och geometri)

Rosona Eldred: Comparing the homotopy functor calculi

8 dec

Topologiska aktiviteter

tisdag 2015-12-08, 13.15 - 15.00

Medverkande: Rosona Eldred

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

2015-12-08T13:15:00.121+01:00 2015-12-08T15:00:00.121+01:00 Rosona Eldred: Comparing the homotopy functor calculi (Topologiska aktiviteter) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Rosona Eldred: Comparing the homotopy functor calculi (Topologiska aktiviteter)

Michael Makkai: FOLDS equivalences as the basis of a general theory of identity for concepts in higher dimensional categories

9 dec

Seminarium, Logik

onsdag 2015-12-09, 10.00 - 11.45

Medverkande: Michael Makkai (McGill, Montreal)

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

2015-12-09T10:00:00.715+01:00 2015-12-09T11:45:00.715+01:00 Michael Makkai: FOLDS equivalences as the basis of a general theory of identity for concepts in higher dimensional categories (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm (KTH, Stockholm, Sweden)Michael Makkai: FOLDS equivalences as the basis of a general theory of identity for concepts in higher dimensional categories (Seminarium, Logik)

Clas Löfwall: The holonomy Lie algebra of matroids

9 dec

Seminarium, Algebra och geometri

onsdag 2015-12-09, 13.15 - 15.00

Medverkande: Clas Löfwall, SU

Plats: KTH, room 3418

2015-12-09T13:15:00.276+01:00 2015-12-09T15:00:00.276+01:00 Clas Löfwall: The holonomy Lie algebra of matroids (Seminarium, Algebra och geometri) KTH, room 3418 (KTH, Stockholm, Sweden)Clas Löfwall: The holonomy Lie algebra of matroids (Seminarium, Algebra och geometri)

Daniel Bosk: Privacy to the People

10 dec

Seminarium, Teoretisk datalogi

torsdag 2015-12-10, 10.00

Medverkande: Daniel Bosk, Department of Theoretical Computer Science, KTH Royal Institute of Technology

Plats: CSC Library, KTH CSC, Stockholm, Sweden

2015-12-10T10:00:00.482+01:00 2015-12-10T10:00:00.482+01:00 Daniel Bosk: Privacy to the People (Seminarium, Teoretisk datalogi) CSC Library, KTH CSC, Stockholm, Sweden (KTH, Stockholm, Sweden)Daniel Bosk: Privacy to the People (Seminarium, Teoretisk datalogi)

Pär Kurlberg: Vad är en klassgrupp?

10 dec

Lunchseminarium

torsdag 2015-12-10, 12.20

Medverkande: Pär Kurlberg, KTH

Plats: Sal 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH

2015-12-10T12:20:00.373+01:00 2015-12-10T12:20:00.373+01:00 Pär Kurlberg: Vad är en klassgrupp? (Lunchseminarium) Sal 3721, Lindstedtsvägen 25, plan 7, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Pär Kurlberg: Vad är en klassgrupp? (Lunchseminarium)

David Rydh: Mayer–Vietoris squares and descent of étale sheaves

11 dec

Seminarium, Algebraisk geometri (arXiv)

fredag 2015-12-11, 11.00 - 12.00

Medverkande: David Rydh, KTH

Plats: Room 3418, Institutionen för matematik, KTH

2015-12-11T11:00:00.300+01:00 2015-12-11T12:00:00.300+01:00 David Rydh: Mayer–Vietoris squares and descent of étale sheaves (Seminarium, Algebraisk geometri (arXiv)) Room 3418, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)David Rydh: Mayer–Vietoris squares and descent of étale sheaves (Seminarium, Algebraisk geometri (arXiv))

Engineering Large-Scale Quantum Networks: Control, Optimization, and Adaptive Decisions

11 dec

Seminarium, Optimeringslära och systemteori

fredag 2015-12-11, 11.00 - 12.00

Medverkande: Guodong Shi

Plats: Lindstedtsvägen 25, seimnar room 3721

2015-12-11T11:00:00.386+01:00 2015-12-11T12:00:00.386+01:00 Engineering Large-Scale Quantum Networks: Control, Optimization, and Adaptive Decisions (Seminarium, Optimeringslära och systemteori) Lindstedtsvägen 25, seimnar room 3721 (KTH, Stockholm, Sweden)Engineering Large-Scale Quantum Networks: Control, Optimization, and Adaptive Decisions (Seminarium, Optimeringslära och systemteori)

Kristin Yvonne Rozier: Linear temporal logic satisfiability checking

14 dec

Seminarium, Teoretisk datalogi

måndag 2015-12-14, 12.00

Medverkande: Kristin Yvonne Rozier, University of Cincinnati

Plats: Room 4523, Lindstedtsvägen 5

2015-12-14T12:00:00.316+01:00 2015-12-14T12:00:00.316+01:00 Kristin Yvonne Rozier: Linear temporal logic satisfiability checking (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Kristin Yvonne Rozier: Linear temporal logic satisfiability checking (Seminarium, Teoretisk datalogi)

Eric Rozier: Engineering Next-Generation Data Systems for Secure, Smart, Connected Health Analytics

15 dec

Seminarium, Teoretisk datalogi

tisdag 2015-12-15, 13.15

Medverkande: Eric Rozier, University of Cincinnati

Plats: Room 4523, Lindstedtsvägen 5, KTH

2015-12-15T13:15:00.397+01:00 2015-12-15T13:15:00.397+01:00 Eric Rozier: Engineering Next-Generation Data Systems for Secure, Smart, Connected Health Analytics (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Eric Rozier: Engineering Next-Generation Data Systems for Secure, Smart, Connected Health Analytics (Seminarium, Teoretisk datalogi)

Jesper Lundin: Elementborttagningsspel på acykliska pomängder och grafer

15 dec

Examensarbete

tisdag 2015-12-15, 13.15 - 14.15

Medverkande: Jesper Lundin

Plats: Seminarierum 3418

2015-12-15T13:15:00.654+01:00 2015-12-15T14:15:00.654+01:00 Jesper Lundin: Elementborttagningsspel på acykliska pomängder och grafer (Examensarbete) Seminarierum 3418 (KTH, Stockholm, Sweden)Jesper Lundin: Elementborttagningsspel på acykliska pomängder och grafer (Examensarbete)

Kurt Johansson:The two-time distribution in local random growth

16 dec

Seminarium, KTH Analys

onsdag 2015-12-16, 13.15

Medverkande: Kurt Johansson

Plats: Seminarierum 3721, Lindstedtsvägen 25, KTH

2015-12-16T13:15:00.379+01:00 2015-12-16T13:15:00.379+01:00 Kurt Johansson:The two-time distribution in local random growth (Seminarium, KTH Analys) Seminarierum 3721, Lindstedtsvägen 25, KTH (KTH, Stockholm, Sweden)Kurt Johansson:The two-time distribution in local random growth (Seminarium, KTH Analys)

Afshin Goodarzi: On sequential Cohen-Macaulayness

16 dec

Seminarium, Algebra och geometri

onsdag 2015-12-16, 13.15

Medverkande: Afshin Goodarzi, KTH

Plats: Room 34, House 5, Kräftriket, Department of Mathematics, Stockholm University

2015-12-16T13:15:00.778+01:00 2015-12-16T13:15:00.778+01:00 Afshin Goodarzi: On sequential Cohen-Macaulayness (Seminarium, Algebra och geometri) Room 34, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Afshin Goodarzi: On sequential Cohen-Macaulayness (Seminarium, Algebra och geometri)

Esbjörn Ohlsson: Non-life insurance reserving with separate estimation of known and unknown claims

16 dec

Seminarium, Matematisk statistik

onsdag 2015-12-16, 15.15 - 16.00

Medverkande: Esbjörn Ohlsson, (Länsförsäkringar AB & Stockholms universitet)

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

2015-12-16T15:15:00.039+01:00 2015-12-16T16:00:00.039+01:00 Esbjörn Ohlsson: Non-life insurance reserving with separate estimation of known and unknown claims (Seminarium, Matematisk statistik) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Esbjörn Ohlsson: Non-life insurance reserving with separate estimation of known and unknown claims (Seminarium, Matematisk statistik)