Computer Science
Home

Computer Science Colloquium

Aktuelle Vorträge

Vergangene Vorträge

Wed 19.6.2019, 16:00   Prof. Noeska Smit : Medical Visualization: Visualizing the Invisible
Wed 22.5.2019, 10:00   Prof. Daisuke Iwai : Computational Projection Mapping
Thu 16.5.2019, 11:00   Ass.-Prof. Dr. Mirela Alistar : Mobile Microfluidics
Wed 10.4.2019, 12:30   Dr. Roman Pflugfelder : Introducing Visual Object Tracking From Classical Views to Machine Learning
Wed 27.2.2019, 11:00   Prof. Dr. Christoph Lüth : Self-verifying Systems: Challenges and Perspectives
Mon 28.1.2019, 13:00   Prof. Dr.-Ing. Ulf Schlichtmann : Advancing the use of Microfluidic Biochips by Electronic Design Automation
Wed 23.1.2019, 10:00   Florian Sattler : Analysing the Performance Evolution of Run-Time Configurable Systems
Tue 8.1.2019, 14:00   Miriah Meyer : Research Through Visualization Design Study
Thu 6.12.2018, 15:00   Cristian Cadar : Dynamic Symbolic Execution for Software Analysis
Mon 12.11.2018, 17:15   Radu Grosu : Towards Explainable RNNs: Modeling, Learning and Verification
Fri 9.11.2018, 13:30   Prof. Markku Sakkinen : Cyclomatic Complexity - the most overrated Software metric? - and related ideas
Tue 6.11.2018, 14:00   Luca Pulina  : Formal Methods and Cyber-Physical Systems: Research Activities and Funded Projects at the IDEA Lab
Mon 15.10.2018, 12:00   Alan Mishchenko : Integrating an AIG Package, Simulator and SAT Solver
Tue 9.10.2018, 14:00   Dr. Daniel Tille : Functional Safety - A brief overview from DFT point of view
Wed 26.9.2018, 10:15   Prof. Dr. Hamid Sarbazi-Azad : An Efficient Scheme for Prolonging the Lifetime of Phase-Change Memories
Tue 10.7.2018, 15:00   Prof. Dr. Sebastian Fischmeister : The Convergence of Safety and Security for Safety-critical Systems
Tue 5.6.2018, 13:00   Wolfgang Aigner : Visual Analytics as a Design Science Discipline
Mon 28.5.2018, 17:15   Warren A. Hunt Jr : Specification and Verification of x86 Machine-Level Code
Mon 14.5.2018, 09:15   Dr. Mirela Alistar : Personal Biochips
Mon 7.5.2018, 15:30   Florian Gilcher : Secure Coding with Rust
Tue 24.4.2018, 10:15   Nawfal Al-Zubaidi R-Smith MSc : Methods of Numerical Inversion of Laplace Transforms for Electrical Engineering and their Applications
Thu 29.3.2018, 10:15   Dr. Mukesh Mohania : Blockchain-based Data Management, Analytics and Applications
Mon 26.2.2018, 10:00   Ass.-Prof. Dr. Philip Brisk : Design Software for Microfluidics: Integrating Fluid Modeling with Design Objectives
Fri 23.2.2018, 10:00   Ass.-Prof. Dr. Ansuman Banerjee : Formal methods for ranking verification counterexamples through assumption mining
Fri 26.1.2018, 11:00   Dirk Draheim : Generalized Jeffrey Conditionalization - a Frequentist Semantics of Partial Conditionalization
Thu 25.1.2018, 10:30   Wolfgang Waltenberger : On Particle Physics, Information, and Machines That Learn
Thu 18.1.2018, 10:15   Radu Mardare : Quantitative Equational Reasoning
Wed 13.12.2017, 15:30   Przemyslaw Musialski : Shape Optimization for Consumer-Level Digital Fabrication
Wed 13.12.2017, 08:30   Dr. Markus Funk : AR, VR, Drones - Augmented Reality, Virtual Reality and Unmanned Aerial Vehicles
Mon 11.12.2017, 12:30   Yuecel