27.06.2024: Johannes Albert Stegmann, RPTU Kaiserslautern-Landau
"Improving Evaluation Performance for Large Derivative Computations Through Cache Optimisation Techniques in CoDiPack"

26.06.2024: Dr. Kai Lampka, Habilitationsvortrag
"Real-Time Calculus based System Analysis"

20.06.2024: Max Aehle, Scientific Computing Group, RPTU Kaiserslautern-Landau
"Algorithmic Derivatives of Electromagnetic Shower Simulations"

13.06.2024: Prof. Dr. Zekeriya Erkin, Delft University of Technology
"ML meets MPC: Financial Crime Detection with Privacy"

13.06.2024: Ivan Barranco Gomez, School of Civil, Aerospace and Design Engineering; University of Bristol
"Optimising Ion Thruster Performance: Advances in Particle-in-Cell and Monte Carlo Simulations"

23.05.2024: Dr. Max Sagebaum, RPTU Kaiserslautern-Landau
"Introduction to cppfront – a new syntax for C++ – and compile time regular expression generation"

21.05.2024: Stephan Mandt, University of California, Irvine
"From Entropy to Artistry: on Thermodynamics and Generative AI"

16.05.2024: Xuân Tùng Nguyễn, INFN / University of Padua
"Neural connectivity: a parallel in vitro and in silico analysis"

08.05.2024: Saurabh Agarwal, University of Wisconsin-Madison
"Reducing Data Movement to Accelerate Machine Learning"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

19.04.2024: Haibo Chen, Shanghai Jiao Tong University
"Formal Methods for Systems Software: The Good, The Bad, The Ugly"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

19.04.2024: Andreea Costea, Automated Reasoning Group
"Patch Space Exploration using Static Analysis Feedback"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

19.04.2024: Matthew Hague, Automated Reasoning Group
"Parikh's Theorem Made Symbolic"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

19.04.2024: Martin Lester, Automated Reasoning Group
"Easily encode problems in SAT With This One Simple Trick: Declarative programming in C using CBMC"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

21.03.2024: Johannes Schoder, Institute for Computer Science, University of Jena
"First Steps Towards Bringing Automatic Differentiation to Scale with RISC-V"

15.03.2024: Prof. Dino Sejdinovic, University of Adelaide
"Generalised Variational Inference Meets Bayesian Deep Learning"

14.03.2024: Andrea Lattuada, VMware Research
"Practical, automation-assisted verification of efficient systems software"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

28.02.2024: Christoph Siebenbrunner, WU Vienna
"Methods for Financial Stability Analysis"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)

20.02.2024: Sandra Kiefer, AG Maschinelles Lernen, RPTU
"The Power of Counting for Graph Comparison"

06.02.2024: Johannes Langer, Amazon Web Services (AWS)
""

30.01.2024: Moses Ganardi, AG Maschinelles Lernen, RPTU
"Straight-Line Programs: From Compression to Verification"

30.01.2024: Mariano Kamp, Amazon Web Services (AWS)
""Look Ma: I shrunk Bert!" -- Knowledge Distillation"

29.01.2024: Sandor Dalecke, AG Cyber Physical Systems, Prof. Grimm
"„Inclusive” Systems Engineering with SysMD"

29.01.2024: Nabeel Khalid, Smart Data and Knowledge Services, DFKI, Prof. Dengel
"Microscopic Image Analysis: From Cell Segmentation to Tracking and Beyond"

29.01.2024: Muhammad Saif Ullah Khan, AG Augmented Vision, Prof. Dr. Didier Stricker
"Motion Models for Robust Human Kinematics Capturing on Edge Devices"

29.01.2024: Maximilian Kunz, AG Robotersysteme, Prof. Berns
"High-Level Semantic Localization for Human-like Navigation"

29.01.2024: Jan Rottmayer, AG Scientific Computing, Prof. Gauger
"Surrogate-based Optimization for Aerodynamic Design Optimization"

23.01.2024: Jiaxin Pan, AG Maschinelles Lernen, RPTU
"Foundations of Large-scale Cryptography"

23.01.2024: Sebastian Wild, AG Maschinelles Lernen, RPTU
"Powersort & Computing over compressed graph-structured data"

19.01.2024: Peter Lammich, Department of Computer Science, RPTU
"Stepwise Refinement for Provably Correct and Efficient Software"

19.01.2024: Markus Schmid, Department of Computer Science, RPTU
"Query Evaluation over Textual Data and Graph Data"

12.01.2024: Rayna Dimitrova, Department of Computer Science, RPTU
"Synthesis of Reactive Programs Beyond Boolean Domains and Specifications"

12.01.2024: Tobias Meggendorfer, Department of Computer Science, RPTU
"Quantifying Risk in Decision Making"

11.01.2024: Christian Schilling, Department of Computer Science, RPTU
"Safety verification of cyber-physical systems with learned components"

09.01.2024: Antonios Antoniadis, AG Maschinelles Lernen, RPTU
"A Journey into Learning Augmented Algorithms"

09.01.2024: Dennis Bappert, Amazon Web Services (AWS)
""Scale Beyond Your Local Machine" - Without Sacrificing Experience"

09.01.2024: Yannic Maus, AG Maschinelles Lernen, RPTU
"Distributed Algorithms for Graph Problems and Beyond"