SEMINARS

  • Thursday, 28. August, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Ahrendt (Chalmers Univ. of Technology) talks about "Integrated static and runtime verification of data and control properties" (see abstract).

Computer Science Seminars

Expired: [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001]

CENS Seminars

Expired: [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001]

Control Systems Seminars

Expired: [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001]

Seminars

Expired: [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001]

Last modified: 2013/09/04 13:13