View as list
Types : AllComputer Science seminarGraduate seminarBio-Informatics seminarStudents seminarFaculty & Graduate
Years : 2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  
2011 Months : January  February  March  April  May  June  July  August  September  October  November  December  

October November – 2011 December

SunMonTueWedThuFriSat
  1
12:00 Restricted Identification
2
 
3
 
4
 
5
 
6
12:00 New Approaches for Unknown Malware Detection
7
 
8
12:00 Approximating graphs by spanning trees
9
 
10
 
11
 
12
 
13
 
14
14:00 Multi-Robot Patrol: From Theory to Reality
15
12:00 Automating the Heuristic Design Process
16
 
17
 
18
 
19
 
20
 
21
 
22
12:00 Recent Advances in Solving Combinatorial Optimization Tasks over Graphical Models
23
 
24
12:00 Applying Software Engineering and Formal Verification Methods to Biological Systems
25
 
26
 
27
 
28
 
29
12:00 Proving the Correctness of Distributed Computing Protocols
30