Kalender

Jesús Giráldez Crú: The notion of structure in real-world SAT solving

7 maj

Seminarium, Teoretisk datalogi

torsdag 2015-05-07, 12.00

Medverkande: Jesús Giráldez Crú, Artificial Intelligence Research Institute IIIA-CSIC, Barcelona

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

2015-05-07T12:00:00.146+02:00 2015-05-07T12:00:00.146+02:00 Jesús Giráldez Crú: The notion of structure in real-world SAT solving (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Jesús Giráldez Crú: The notion of structure in real-world SAT solving (Seminarium, Teoretisk datalogi)

Ulf Persson: Olika manifestationer av den enkla gruppen med 168 element

7 maj

Lunchseminarium

torsdag 2015-05-07, 12.20 - 13.00

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

2015-05-07T12:20:00.221+02:00 2015-05-07T13:00:00.221+02:00 Ulf Persson: Olika manifestationer av den enkla gruppen med 168 element (Lunchseminarium) Sal 3721, Lindstedtsvägen 27, plan 7, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Ulf Persson: Olika manifestationer av den enkla gruppen med 168 element (Lunchseminarium)

Jens Hoppe: Geodesics on Ellipsoids

7 maj

Seminarium, Analys och matematisk fysik

torsdag 2015-05-07, 15.15 - 16.15

Medverkande: Jens Hoppe, Department of Mathematics, KTH

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

2015-05-07T15:15:00.954+02:00 2015-05-07T16:15:00.954+02:00 Jens Hoppe: Geodesics on Ellipsoids (Seminarium, Analys och matematisk fysik) Room 3721, Lindstedtsvägen 25, 7th floor, Department of mathematics, KTH (KTH, Stockholm, Sweden)Jens Hoppe: Geodesics on Ellipsoids (Seminarium, Analys och matematisk fysik)