D-INFK Events Events of the Department of Computer Science, ETH Zurich http://www.inf.ethz.ch/news/events/ http://www.inf.ethz.ch/rss Python/ Zope webmaster@inf.ethz.ch Thu, 17 May 2012 01:39:39 GMT Thu, 17 May 2012 01:39:39 GMT http://www.inf.ethz.ch/rss/inf-logo.png Department of Computer Science http://www.inf.ethz.ch/ 140 35 Towards a 10,000 Mobile Robot Smart Warehouse http://www.inf.ethz.ch/news/events/details/index?id=1432 Talk Monday, 21 May 2012 16:15, by: Pete Wurman and Raffaello D'Andrea Kiva Systems 2012-05-21 http://www.inf.ethz.ch/news/events/details/index?id=1432 Verification Games: Making Verification Fun http://www.inf.ethz.ch/news/events/details/index?id=1429 Talk Monday, 4 June 2012 14:15, by: Dr. Werner Dietl University of Washington 2012-06-04 http://www.inf.ethz.ch/news/events/details/index?id=1429 Developing and using pluggable type systems http://www.inf.ethz.ch/news/events/details/index?id=1430 Tutorial Monday, 4 June 2012 15:15, by: Dr. Werner Dietl University of Washington 2012-06-04 http://www.inf.ethz.ch/news/events/details/index?id=1430 ZISC Workshop on Secure Mobile and Cloud Computing 2012 http://www.inf.ethz.ch/news/events/details/index?id=1427 Workshop Thursday, 7 June 2012 08:30, by: Various speakers 2012-06-07 http://www.inf.ethz.ch/news/events/details/index?id=1427