Calendar

Valentin Goranko: Logics for visual-epistemic reasoning in multi-agent systems

16 Sep

Seminar, Logic

Wednesday 2015-09-16, 10:00 - 11:45

Participating: Valentin Goranko

Location: Room 22, building 5, Kräftriket, Department of mathematics, Stockholm University (Note unusual loca

2015-09-16T10:00:00.353+02:00 2015-09-16T11:45:00.353+02:00 Valentin Goranko: Logics for visual-epistemic reasoning in multi-agent systems (Seminar, Logic) Room 22, building 5, Kräftriket, Department of mathematics, Stockholm University (Note unusual loca (KTH, Stockholm, Sweden)Valentin Goranko: Logics for visual-epistemic reasoning in multi-agent systems (Seminar, Logic)

Stefan Heuer: Bijections between k-Shi arrangement, k-parking functions and k-parking graphs

16 Sep

Degree project

Wednesday 2015-09-16, 10:15 - 11:15

Location: Rum 3418, Matematik, KTH, Lindstedtsvägen 25

2015-09-16T10:15:00.914+02:00 2015-09-16T11:15:00.914+02:00 Stefan Heuer: Bijections between k-Shi arrangement, k-parking functions and k-parking graphs (Degree project) Rum 3418, Matematik, KTH, Lindstedtsvägen 25 (KTH, Stockholm, Sweden)Stefan Heuer: Bijections between k-Shi arrangement, k-parking functions and k-parking graphs (Degree project)

Analysis day in memory of Mikael Passare

16 Sep

Seminar, Analysis SU

Wednesday 2015-09-16, 11:00 - 15:00

Location: Department of Mathematics, Stockholm University

2015-09-16T11:00:00.310+02:00 2015-09-16T15:00:00.310+02:00 Analysis day in memory of Mikael Passare (Seminar, Analysis SU) Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Analysis day in memory of Mikael Passare (Seminar, Analysis SU)

Damien Zufferey: From models and specifications to programs and constraints: increasing automation in verification

16 Sep

Seminar, Theoretical computer science

Wednesday 2015-09-16, 13:15

Participating: Damien Zufferey, MIT CSAIL

Location: Room 522/(Fantum 22) (THM-CB)

2015-09-16T13:15:00.557+02:00 2015-09-16T13:15:00.557+02:00 Damien Zufferey: From models and specifications to programs and constraints: increasing automation in verification (Seminar, Theoretical computer science) Room 522/(Fantum 22) (THM-CB) (KTH, Stockholm, Sweden)Damien Zufferey: From models and specifications to programs and constraints: increasing automation in verification (Seminar, Theoretical computer science)

Gregory F. Lawler: Self-avoiding motion

16 Sep

SMC Colloquium

Wednesday 2015-09-16, 15:15

Participating: Gregory F. Lawler, University of Chicago, USA

Location: Oskar Klein lecture hall at Albanova

2015-09-16T15:15:00.782+02:00 2015-09-16T15:15:00.782+02:00 Gregory F. Lawler: Self-avoiding motion (SMC Colloquium) Oskar Klein lecture hall at Albanova (KTH, Stockholm, Sweden)Gregory F. Lawler: Self-avoiding motion (SMC Colloquium)