Research Areas Overview Overview Algorithmics Algorithmics Complex Systems Complex Systems Computer Graphics & Sound Computer Graphics & Sound Human Computer Interaction Human Computer Interaction Modelling and Validation of Distributed Systems Modelling and Validation of Distributed Systems Robotics Robotics Cryptology & Security Cryptology & Security Scientific Calculations Scientific Calculations Object Oriented Software Systems Object Oriented Software Systems Programming Languages and Formal Models Programming Languages and Formal Models