Tölvunarfræðideild

Viðburðir

ICE-TCS seminar entitled Liveness and Safety for Communicating Transactions. Matthew Hennessy.

  • 17.11.2011, 14:00 - 15:00

MatthewMatthew Hennessy (Computer Science Department at Trinity College Dublin, Ireland) delivers an ICE-TCS seminar entitled Liveness and Safety for Communicating Transactions on November 17th.

When: November 17th in room V107

Time: 14:00-15:00