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