Kalender

Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation

1 jun

Seminarium, Teoretisk datalogi

måndag 2015-06-01, 13.00

Medverkande: Philipp Rümmer, Department of Information Technology, Uppsala University

Plats: Room 4523 Lindstedtsvägen 5, KTH

2015-06-01T13:00:00.817+02:00 2015-06-01T13:00:00.817+02:00 Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation (Seminarium, Teoretisk datalogi) Room 4523 Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Philipp Rümmer: Domain-Specific Guidance for Craig Interpolation (Seminarium, Teoretisk datalogi)

Gustav Zickert: Furstenberg's conjecture and measure rigidity for some classes of non-abelian affine actions on tori

2 jun

Examensarbete

tisdag 2015-06-02, 10.15

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

2015-06-02T10:15:00.339+02:00 2015-06-02T10:15:00.339+02:00 Gustav Zickert: Furstenberg's conjecture and measure rigidity for some classes of non-abelian affine actions on tori (Examensarbete) Room 3418, Lindstedtsvägen 25, 4th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Gustav Zickert: Furstenberg's conjecture and measure rigidity for some classes of non-abelian affine actions on tori (Examensarbete)

Aleksander Madry: From graphs to matrices, and back: bridging the combinatorial and the continuous

2 jun

Seminarium, Teoretisk datalogi

tisdag 2015-06-02, 12.00

Medverkande: Aleksander Madry, MIT

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

2015-06-02T12:00:00.634+02:00 2015-06-02T12:00:00.634+02:00 Aleksander Madry: From graphs to matrices, and back: bridging the combinatorial and the continuous (Seminarium, Teoretisk datalogi) Room 4423, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Aleksander Madry: From graphs to matrices, and back: bridging the combinatorial and the continuous (Seminarium, Teoretisk datalogi)

David Kimsey: Multidimensional moment problems, the subnormal completion problem in several variables and cubature formulas

2 jun

Seminarium, KTH Analys

tisdag 2015-06-02, 13.15

Medverkande: David Kimsey, Ben-Gurion University in Beer-Sheva, Israel.

Plats: Seminarierum 3733, Lindstedtsvägen 25, KTH

2015-06-02T13:15:00.310+02:00 2015-06-02T13:15:00.310+02:00 David Kimsey: Multidimensional moment problems, the subnormal completion problem in several variables and cubature formulas (Seminarium, KTH Analys) Seminarierum 3733, Lindstedtsvägen 25, KTH (KTH, Stockholm, Sweden)David Kimsey: Multidimensional moment problems, the subnormal completion problem in several variables and cubature formulas (Seminarium, KTH Analys)

Joachim Kock: Decomposition spaces, incidence algebras and Möbius inversion

2 jun

Topologiska aktiviteter

tisdag 2015-06-02, 13.15 - 15.00

Medverkande: Joachim Kock, Universitat Autònoma de Barcelona

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

2015-06-02T13:15:00.498+02:00 2015-06-02T15:00:00.498+02:00 Joachim Kock: Decomposition spaces, incidence algebras and Möbius inversion (Topologiska aktiviteter) Room 306, House 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Joachim Kock: Decomposition spaces, incidence algebras and Möbius inversion (Topologiska aktiviteter)

Erik Palmgren: Progress report on formailzing categories with attributes in type theory

3 jun

Seminarium, Logik

onsdag 2015-06-03, 10.00 - 11.45

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

2015-06-03T10:00:00.018+02:00 2015-06-03T11:45:00.018+02:00 Erik Palmgren: Progress report on formailzing categories with attributes in type theory (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Erik Palmgren: Progress report on formailzing categories with attributes in type theory (Seminarium, Logik)

WEric Landström: Material Identification using Multiple X-Ray Absorptiometry

3 jun

Examensarbete

Scientific Computing

onsdag 2015-06-03, 11.00

Plats: Room 3424, Lindstedtsv 25, Dept of Mathematics, KTH

Respondent: WEric Landström

2015-06-03T11:00:00.988+02:00 2015-06-03T11:00:00.988+02:00 WEric Landström: Material Identification using Multiple X-Ray Absorptiometry (Examensarbete) Room 3424, Lindstedtsv 25, Dept of Mathematics, KTH (KTH, Stockholm, Sweden)WEric Landström: Material Identification using Multiple X-Ray Absorptiometry (Examensarbete)

Martina Scolamiero: Multidimensional Persistence and Noise.

3 jun

Seminarium, Algebra och geometri

onsdag 2015-06-03, 13.15 - 14.15

Medverkande: Martina Scolamiero, KTH

Plats: Room 306, Kräftriket, SU

2015-06-03T13:15:00.700+02:00 2015-06-03T14:15:00.700+02:00 Martina Scolamiero: Multidimensional Persistence and Noise. (Seminarium, Algebra och geometri) Room 306, Kräftriket, SU (KTH, Stockholm, Sweden)Martina Scolamiero: Multidimensional Persistence and Noise. (Seminarium, Algebra och geometri)

Anthony Widjaja Lin: Detecting Redundant CSS Rules in HTML5: A Tree-Rewriting Approach

3 jun

Seminarium, Teoretisk datalogi

onsdag 2015-06-03, 15.00

Medverkande: Anthony Widjaja Lin, Yale-NUS College

Plats: Room 1440(biblioteket)

2015-06-03T15:00:00.167+02:00 2015-06-03T15:00:00.167+02:00 Anthony Widjaja Lin: Detecting Redundant CSS Rules in HTML5: A Tree-Rewriting Approach (Seminarium, Teoretisk datalogi) Room 1440(biblioteket) (KTH, Stockholm, Sweden)Anthony Widjaja Lin: Detecting Redundant CSS Rules in HTML5: A Tree-Rewriting Approach (Seminarium, Teoretisk datalogi)

ERPA International Congresses on Education (2015)

4 jun

Konferens

to 2015-06-04, 08.00 - sö 2015-06-07, 19.20

Plats: ERPA International Congresses on Education (2015)

2015-06-04T08:00:00.253+02:00 2015-06-07T19:20:00.253+02:00 ERPA International Congresses on Education (2015) (Konferens) ERPA International Congresses on Education (2015) (KTH, Stockholm, Sweden)ERPA International Congresses on Education (2015) (Konferens)

Grigory Mikhalkin: Logarithmic area of real plane curves and refined enumerative geometry

4 jun

Seminarium, Analys

torsdag 2015-06-04, 10.30 - 11.30

Medverkande: Grigory Mikhalkin, Department of Mathematics, University of Geneva

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

2015-06-04T10:30:00.109+02:00 2015-06-04T11:30:00.109+02:00 Grigory Mikhalkin: Logarithmic area of real plane curves and refined enumerative geometry (Seminarium, Analys) Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Grigory Mikhalkin: Logarithmic area of real plane curves and refined enumerative geometry (Seminarium, Analys)

Henrik Löfberg: Barcodes: A Topological Method for Data Clustering

4 jun

Examensarbete

torsdag 2015-06-04, 11.00

Plats: Room 3418, Department of Mathematics, KTH

Respondent: Henrik Löfberg , Mathematics

2015-06-04T11:00:00.251+02:00 2015-06-04T11:00:00.251+02:00 Henrik Löfberg: Barcodes: A Topological Method for Data Clustering (Examensarbete) Room 3418, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Henrik Löfberg: Barcodes: A Topological Method for Data Clustering (Examensarbete)

Jens Forsgård: Tropical aspects of real polynomials and hypergeometric functions

4 jun

Disputation

torsdag 2015-06-04, 13.00

Plats: Room 14, bulding 5, Kräftriket, Department of mathematics, Stockholm university

Respondent: Jens Forsgård , Mathematics

2015-06-04T13:00:00.379+02:00 2015-06-04T13:00:00.379+02:00 Jens Forsgård: Tropical aspects of real polynomials and hypergeometric functions (Disputation) Room 14, bulding 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Jens Forsgård: Tropical aspects of real polynomials and hypergeometric functions (Disputation)

Klas Modin: Computational Anatomy and Shape Analysis: From Fields Medalists to Medical Doctors

4 jun

Seminarium, Numerisk analys

torsdag 2015-06-04, 14.15 - 15.00

Medverkande: Klas Modin, Chalmers

Plats: Room 3721, Lindstedtsvägen 25, 7th floor, Department of Mathematics, KTH

2015-06-04T14:15:00.054+02:00 2015-06-04T15:00:00.054+02:00 Klas Modin: Computational Anatomy and Shape Analysis: From Fields Medalists to Medical Doctors (Seminarium, Numerisk analys) Room 3721, Lindstedtsvägen 25, 7th floor, Department of Mathematics, KTH (KTH, Stockholm, Sweden)Klas Modin: Computational Anatomy and Shape Analysis: From Fields Medalists to Medical Doctors (Seminarium, Numerisk analys)

Sara Hallin: Modeling of Life-Limited Spare Units in a Steady-State Scenario

5 jun

Examensarbete

fredag 2015-06-05, 10.00 - 10.30

Medverkande: Sara Hallin

Plats: Seminar room 3721, Lindstedtsvägen 25

2015-06-05T10:00:00.147+02:00 2015-06-05T10:30:00.147+02:00 Sara Hallin: Modeling of Life-Limited Spare Units in a Steady-State Scenario (Examensarbete) Seminar room 3721, Lindstedtsvägen 25 (KTH, Stockholm, Sweden)Sara Hallin: Modeling of Life-Limited Spare Units in a Steady-State Scenario (Examensarbete)

David Rydberg: GPU Predictor-Corrector Interior Point Method for Large-Scale Linear Programming

5 jun

Examensarbete

Scientific Computing

fredag 2015-06-05, 10.00

Plats: Room 3424, Lindstedtsvägen 25, 4th floor, Dept of Mathematics, KTH

Respondent: David Rydberg , Mathematics

2015-06-05T10:00:00.708+02:00 2015-06-05T10:00:00.708+02:00 David Rydberg: GPU Predictor-Corrector Interior Point Method for Large-Scale Linear Programming (Examensarbete) Room 3424, Lindstedtsvägen 25, 4th floor, Dept of Mathematics, KTH (KTH, Stockholm, Sweden)David Rydberg: GPU Predictor-Corrector Interior Point Method for Large-Scale Linear Programming (Examensarbete)