Kalender

Laura Kovács: Symbol elimination for program analysis

18 maj

Seminarium, Teoretisk datalogi

måndag 2015-05-18, 12.00

Medverkande: Laura Kovács, Chalmers University of Technology

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

2015-05-18T12:00:00.698+02:00 2015-05-18T12:00:00.698+02:00 Laura Kovács: Symbol elimination for program analysis (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Laura Kovács: Symbol elimination for program analysis (Seminarium, Teoretisk datalogi)

Claudio Procesi: The Amitsur—Levitzki theorem revisited and matrix identities

18 maj

Seminarium, Mittag-Leffler

måndag 2015-05-18, 14.30 - 15.30

Medverkande: Claudio Procesi, Sapienza University of Rome

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

2015-05-18T14:30:00.234+02:00 2015-05-18T15:30:00.234+02:00 Claudio Procesi: The Amitsur—Levitzki theorem revisited and matrix identities (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Claudio Procesi: The Amitsur—Levitzki theorem revisited and matrix identities (Seminarium, Mittag-Leffler)