Kalender

Karl Palmskog: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant

3 dec

Seminarium, Övrigt

måndag 2012-12-03, 12.10 - 13.00

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

2012-12-03T12:10:00.186+01:00 2012-12-03T13:00:00.186+01:00 Karl Palmskog: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminarium, Övrigt) Room 4523, Lindstedtsvägen 5, 5th floor, KTH CSC (KTH, Stockholm, Sweden)Karl Palmskog: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminarium, Övrigt)

Persa Gobeljic: Classification of Probability of Default and Rating Philosophies

3 dec

Examensarbete

måndag 2012-12-03, 15.15 - 16.00

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

2012-12-03T15:15:00.808+01:00 2012-12-03T16:00:00.808+01:00 Persa Gobeljic: Classification of Probability of Default and Rating Philosophies (Examensarbete) Seminarierum 3721, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 7. (KTH, Stockholm, Sweden)Persa Gobeljic: Classification of Probability of Default and Rating Philosophies (Examensarbete)