Calendar
Tue 22 January
-
Seminar, other
Tuesday 2013-01-22, 12:10 - 13:00
Location: Room 1537, Osquars backe 2, 5th floor, KTH
2013-01-22T12:10:00.883+01:00 2013-01-22T13:00:00.883+01:00 Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminar, other) Room 1537, Osquars backe 2, 5th floor, KTH (KTH, Stockholm, Sweden)Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminar, other)