Jahr 2024
09.01.2024:
Antonios Antoniadis, AG Maschinelles Lernen, RPTU
"A Journey into Learning Augmented Algorithms"
"A Journey into Learning Augmented Algorithms"
09.01.2024:
Dennis Bappert, Amazon Web Services (AWS)
""Scale Beyond Your Local Machine" - Without Sacrificing Experience"
""Scale Beyond Your Local Machine" - Without Sacrificing Experience"
09.01.2024:
Yannic Maus, AG Maschinelles Lernen, RPTU
"Distributed Algorithms for Graph Problems and Beyond"
"Distributed Algorithms for Graph Problems and Beyond"
11.01.2024:
Christian Schilling, Department of Computer Science, RPTU
"Safety verification of cyber-physical systems with learned components"
"Safety verification of cyber-physical systems with learned components"
12.01.2024:
Rayna Dimitrova, Department of Computer Science, RPTU
"Synthesis of Reactive Programs Beyond Boolean Domains and Specifications"
"Synthesis of Reactive Programs Beyond Boolean Domains and Specifications"
12.01.2024:
Tobias Meggendorfer, Department of Computer Science, RPTU
"Quantifying Risk in Decision Making"
"Quantifying Risk in Decision Making"
19.01.2024:
Peter Lammich, Department of Computer Science, RPTU
"Stepwise Refinement for Provably Correct and Efficient Software"
"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"
"Query Evaluation over Textual Data and Graph Data"
23.01.2024:
Jiaxin Pan, AG Maschinelles Lernen, RPTU
"Foundations of Large-scale Cryptography"
"Foundations of Large-scale Cryptography"
23.01.2024:
Sebastian Wild, AG Maschinelles Lernen, RPTU
"Powersort & Computing over compressed graph-structured data"
"Powersort & Computing over compressed graph-structured data"
30.01.2024:
Moses Ganardi, AG Maschinelles Lernen, RPTU
"Straight-Line Programs: From Compression to Verification"
"Straight-Line Programs: From Compression to Verification"
30.01.2024:
Mariano Kamp, Amazon Web Services (AWS)
""Look Ma: I shrunk Bert!" -- Knowledge Distillation"
""Look Ma: I shrunk Bert!" -- Knowledge Distillation"
06.02.2024:
Johannes Langer, Amazon Web Services (AWS)
""
""
20.02.2024:
Sandra Kiefer, AG Maschinelles Lernen, RPTU
"The Power of Counting for Graph Comparison"
"The Power of Counting for Graph Comparison"
28.02.2024:
Christoph Siebenbrunner, WU Vienna
"Methods for Financial Stability Analysis"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)
"Methods for Financial Stability Analysis"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)
14.03.2024:
Andrea Lattuada, VMware Research
"Practical, automation-assisted verification of efficient systems software"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)
"Practical, automation-assisted verification of efficient systems software"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)
15.03.2024:
Prof. Dino Sejdinovic, University of Adelaide
"Generalised Variational Inference Meets Bayesian Deep Learning"
"Generalised Variational Inference Meets Bayesian Deep Learning"
21.03.2024:
Johannes Schoder, Institute for Computer Science, University of Jena
"First Steps Towards Bringing Automatic Differentiation to Scale with RISC-V"
"First Steps Towards Bringing Automatic Differentiation to Scale with RISC-V"
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)
"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)
"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)
"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)
"Easily encode problems in SAT With This One Simple Trick: Declarative programming in C using CBMC"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)
08.05.2024:
Saurabh Agarwal, University of Wisconsin-Madison
"Reducing Data Movement to Accelerate Machine Learning"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)
"Reducing Data Movement to Accelerate Machine Learning"
(MPI-SWS in Kooperation mit dem Fachbereich Informatik)
16.05.2024:
Xuân Tùng Nguyễn, INFN / University of Padua
"Neural connectivity: a parallel in vitro and in silico analysis"
"Neural connectivity: a parallel in vitro and in silico analysis"
23.05.2024:
Dr. Max Sagebaum, RPTU Kaiserslautern-Landau
"Introduction to cppfront – a new syntax for C++ – and compile time regular expression generation"
"Introduction to cppfront – a new syntax for C++ – and compile time regular expression generation"