english only
EPFL > I&C > Tresor > Seminars
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
seminars:meetingroom [2009/11/16 14:56]
losa
seminars:meetingroom [2010/03/04 15:54]
chamberl
Line 5: Line 5:
   * Tuesday, 16:00 - 18:00, Tresor talk   * Tuesday, 16:00 - 18:00, Tresor talk
   * Thursday, 16:00 - 18:00, Tresor talk   * Thursday, 16:00 - 18:00, Tresor talk
-  * Friday, 14:00 - 15:00, MTC informal meeting 
-  * Friday, 13:15 - 16:00 [[http://​richmodels.epfl.ch/​LAT|Logic and Automata Theory]] 
  
 Single reservations:​ \\ Single reservations:​ \\
 +  * Friday, March 05 2010, 09:00 - 13:00, Scala meeting ​
  
 +
 +Obsolete:
 +  * Weekly, Friday, 14:00 - 15:00, MTC informal meeting
 +  * Weekly, Friday, 13:15 - 16:00 [[http://​richmodels.epfl.ch/​LAT|Logic and Automata Theory]]
   * Wednesday, November 25th, 14:00 - 15:00 : Sequential Verification of Serializability (talk by Hagit Attiya)   * Wednesday, November 25th, 14:00 - 15:00 : Sequential Verification of Serializability (talk by Hagit Attiya)
   * Tuesday, ~ 10:45 - 11:30 : meeting of LARA with visitors   * Tuesday, ~ 10:45 - 11:30 : meeting of LARA with visitors
-  ​ 
-Obsolete: 
   * Monday, October 26 2009, 13:15 - 15:00 //Thesis defense// (Vasu Singh)   * Monday, October 26 2009, 13:15 - 15:00 //Thesis defense// (Vasu Singh)
   * Wednesday, September 23, 13:30 - 14:30 //​Conference call// (Thomas Wies)   * Wednesday, September 23, 13:30 - 14:30 //​Conference call// (Thomas Wies)