Computer Science Colloquium
05/23/2011on Monday , May 23, 2011 at 17:00, Turing Lecture Hall
Prof. Dr. Christoph Scholl (University of Freiburg)
Verification of hybrid systems with symbolic methods
moreon Monday , May 23, 2011 at 17:00, Turing Lecture Hall
Prof. Dr. Christoph Scholl (University of Freiburg)
Verification of hybrid systems with symbolic methods
moreon Monday , May 9, 2011 at 17:00, Turing Lecture Hall
Prof. Dr.-Ing. Reinhold E. Achatz (Corporate Vice President, Siemens AG):
Development of complex software systems with examples from industrial practice
moreThe University of Würzburg supports students and PhD students who want to go to India for a study visit, a research visit or an internship.
Applications are possible at any time.
moreOn April 1, 2011 Prof. Björn Scheuermann became head of the working group Telematics at the chair Computer Science VII (Robotics and Telematics).
more