11.01.2021:
Eric Jedermaann, AG DISCO, Prof. Schmitt
"space-DISCO - An Introduction To Satellite Security"
"space-DISCO - An Introduction To Satellite Security"
11.01.2021:
Thomas Schneider, AG Algorithmics and Complexity, Prof. Schweitzer
"Classification of Finite Highly Regular Vertex-Coloured Graphs"
"Classification of Finite Highly Regular Vertex-Coloured Graphs"
13.01.2021 15:00 Uhr:
In the Distinguished Lecture Series of the Max Planck Institute for Softwaresystems in cooperation with the department of computer science,
Steve Zdancewi
is giving a talk on his work onVellVM: Verifying LLVM IR Code
14.01.2021 16:00 Uhr:
Within the Seminar Series on Scientific Computing we are pleased to announce a lecture by
PD Dr. Stefan Langer
is giving a talk on his work on
"On boundary value problems for RANS equations and two-equation turbulence models – Talk 1"
21.01.2021:
Dr. Roy Charles Swanson, NASA Langley Research Center
"On boundary value problems for RANS equations and two-equation turbulence models – Talk 2"
"On boundary value problems for RANS equations and two-equation turbulence models – Talk 2"
25.01.2021:
Jayasankar Santhosh, SDS-DFKI, Prof. Dengel
"Deep Learning Based Learning Analytics and Augmentation"
"Deep Learning Based Learning Analytics and Augmentation"
25.01.2021:
Jan-Tobias Sohns, AG Visual Information Analysis, Prof. Leitte
"Decision Boundaries: Feature-Space Exploration of Black Box Classifiers"
"Decision Boundaries: Feature-Space Exploration of Black Box Classifiers"
28.01.2021:
Prof. Qiqi Wang, Massachusetts Institute of Technology (MIT), USA
"The climatic butterfly effect — do numerical simulations capture the statistics of chaotic systems?"
"The climatic butterfly effect — do numerical simulations capture the statistics of chaotic systems?"
08.02.2021:
Shraddha Gupta, AG Embedded Intelligence, Prof. Lukowicz
"Explainable and informed machine learning based predictive maintenance in hot staking resistance welding process"
"Explainable and informed machine learning based predictive maintenance in hot staking resistance welding process"
08.02.2021:
Markus Schröder, DFKI GmbH, Smart Data & Knowledge Services (SDS) Group, Prof. Andreas Dengel
"Building Knowledge Graphs from Messy Enterprise Data"
"Building Knowledge Graphs from Messy Enterprise Data"
11.02.2021:
Michaela Schmitt, TU Kaiserslautern
"Recent approaches in Opacity Optimization"
"Recent approaches in Opacity Optimization"
22.02.2021:
Iuliia Brishtel, DFKI
"User´s ongoing physiological and mental state recognition using multimodal sensor approach"
"User´s ongoing physiological and mental state recognition using multimodal sensor approach"
22.02.2021:
Jack D. Martin, AG Cyber-Physical Systems
"Constraint Net Design and Implementation Utilizing Affine Arithmetic Decision Diagrams and Integer Decision Diagrams"
"Constraint Net Design and Implementation Utilizing Affine Arithmetic Decision Diagrams and Integer Decision Diagrams"
22.02.2021:
Constantin Seebach, AG Algoritms and Complexity, Prof. Schweitzer
"Exponential Time Algorithms for Easy Problems"
"Exponential Time Algorithms for Easy Problems"
25.02.2021:
Yutaka Nagashima
"Artificial Intelligence for Inductive Theorem Proving"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Artificial Intelligence for Inductive Theorem Proving"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
11.03.2021:
Ekaterina Komendantskaya,
"Continuous Verification of Machine Learning: a Declarative Programming Approach"
"Continuous Verification of Machine Learning: a Declarative Programming Approach"
18.03.2021:
Chih-Hong Cheng,
"Verification and Validation of DNN-based Autonomy Perception"
"Verification and Validation of DNN-based Autonomy Perception"
25.03.2021:
Oliver Markgraf,
"Learning in reactive Synthesis"
"Learning in reactive Synthesis"
29.03.2021:
Kuldeep Meel, National University of Singapore
"Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
31.03.2021:
Katerina Argyraki, EPFL, Switzerland
"Internet Transparency"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Internet Transparency"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
08.04.2021:
Guyue (Grace) Liu, Carnegie Mellon University
"Watching the Watchmen: Trustworthy Network Tasks Outsourcing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Watching the Watchmen: Trustworthy Network Tasks Outsourcing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
14.04.2021:
André Platzer, Carnegie Mellon University
"Logical Foundations of Cyber-Physical Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Logical Foundations of Cyber-Physical Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
19.04.2021:
Torben Fetzer,
"Structured Light Reconstruction - An Entire Pipeline with Improvements in Usability, Accuracy, Stability and Speed"
"Structured Light Reconstruction - An Entire Pipeline with Improvements in Usability, Accuracy, Stability and Speed"
21.04.2021:
Joost-Pieter Katoen, RWTH Aachen University
"On Probabilistic Program Termination"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"On Probabilistic Program Termination"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
22.04.2021:
Pablo Barceló, Pontificia Universidad Católica de Chile
"Explainability Queries for ML Models and its Connections with Data Management Problems"
"Explainability Queries for ML Models and its Connections with Data Management Problems"
28.04.2021:
Phokion G. Kolaitis, University of California Santa Cruz and IBM Research
"Computational Social Choice and Incomplete Information"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Computational Social Choice and Incomplete Information"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
29.04.2021:
Félix Givois, Fraunhofer ITWM, Kaiserslautern
"Quantum Computing for Material Characterization"
"Quantum Computing for Material Characterization"
03.05.2021:
Lovro Bosnar, Computer Graphics and HCI Group
"Material modeling and rendering for surface inspection"
"Material modeling and rendering for surface inspection"
05.05.2021:
Prakash Panangaden, McGill University and Mila
"Distributional analysis of sampling-based RL algorithms"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Distributional analysis of sampling-based RL algorithms"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
06.05.2021:
Paula Harder, Fraunhofer ITWM, Kaiserslautern
"Emulating Aerosol Microphysics with Machine Learning"
"Emulating Aerosol Microphysics with Machine Learning"
27.05.2021:
Yunwen Lei,
"Statistical Learning by Stochastic Gradient Descent"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Statistical Learning by Stochastic Gradient Descent"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
12.05.2021:
Orna Kupfermann, Hebrew University, Jerusalem
"From Correctness to High Quality"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"From Correctness to High Quality"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
17.05.2021:
Mahta Bakhshizadeh,
"Context-Aware Recommender Systems for Personal Knowledge Assistants"
"Context-Aware Recommender Systems for Personal Knowledge Assistants"
17.05.2021:
Gajendra Doniparthi,
"Indexing Methods for Interactive Exploration of Large-Scale Bio-Science Research Data"
"Indexing Methods for Interactive Exploration of Large-Scale Bio-Science Research Data"
19.05.2021:
Margo Seltzer, University of British Columbia
"Caching: It's not just about Data"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Caching: It's not just about Data"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
20.05.2021:
Johannes Blühdorn, Technische Universität Kaiserslautern
"OpDiLib, an Open Multiprocessing Differentiation Library"
"OpDiLib, an Open Multiprocessing Differentiation Library"
20.05.2021:
Loris D’Antoni, University of Wisconsin-Madison
"Programmable Program Synthesis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Programmable Program Synthesis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
26.05.2021:
Mooly Sagiv, Certora and Tel Aviv University
"Modularity for Decidability: Formal Reasoning about Decentralized Financial Applications"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Modularity for Decidability: Formal Reasoning about Decentralized Financial Applications"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
27.05.2021:
Raju Ram, Fraunhofer ITWM, Kaiserslautern
"Hybrid parallel ILU preconditioner to solve sparse linear systems"
"Hybrid parallel ILU preconditioner to solve sparse linear systems"
02.06.2021:
Jon Kleinberg, Cornell University, Ithaca, New York
"Monoculture and Simplicity in an Ecosystem of Algorithmic Decision-Making"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Monoculture and Simplicity in an Ecosystem of Algorithmic Decision-Making"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
07.06.2021:
Zai Müller-Zhang,
"Integrated Planning and Scheduling for Customized Production using Digital Twins and Reinforcement Learning"
"Integrated Planning and Scheduling for Customized Production using Digital Twins and Reinforcement Learning"
16.06.2021:
Tulika Mitra, National University of Singapore
"Domain-Agnostic Accelerators: Efficiency with Programmability"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Domain-Agnostic Accelerators: Efficiency with Programmability"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
21.06.2021:
Tim Dellmann,
"Robust object recognition for agricultural robots through augmentation with simulated data sets"
"Robust object recognition for agricultural robots through augmentation with simulated data sets"
21.06.2021:
Christian Kötting,
"FPGAs in Roboterkontrollarchitekturen"
"FPGAs in Roboterkontrollarchitekturen"
24.06.2021:
Dr. Mathias J. Krause, Lattice Boltzmann Research Group, Karlsruher Institut für Technologie (KIT)
"Fluid Flow Optimization with Lattice Boltzmann Methods with Applications"
"Fluid Flow Optimization with Lattice Boltzmann Methods with Applications"
30.06.2021:
Herbert Bos, Vrije Universiteit Amsterdam
"Attacks on Hardware: Why You Should Not Do It"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Attacks on Hardware: Why You Should Not Do It"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
05.07.2021:
Dennis Meckel,
"Concepts and Tooling for the Ecosystem of the Behavior-Based Control Architecture iB2C"
"Concepts and Tooling for the Ecosystem of the Behavior-Based Control Architecture iB2C"
08.07.2021:
Avraam Chatzimichailidis, Fraunhofer ITWM, Kaiserslautern
"Second-Order Methods for Neural Networks/Bridging the Gap between Neural Network Pruning and Neural Architecture Search"
"Second-Order Methods for Neural Networks/Bridging the Gap between Neural Network Pruning and Neural Architecture Search"
14.07.2021:
Prof. Peter Pietzuch, Imperial College London
"Making Distributed Deep Learning Adaptive"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Making Distributed Deep Learning Adaptive"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
11.08.2021:
Debmalya Mandal, Columbia University
"Decision Making with Heterogeneous Agents"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Decision Making with Heterogeneous Agents"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
15.09.2021:
Frank Piessens, Katholieke Universiteit Leuven, Belgium
"Validating models for microarchitectural security"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Validating models for microarchitectural security"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
16.09.2021:
Matthias Christandl, Copenhagen
"Fault-tolerant Coding for Quantum Communication"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Fault-tolerant Coding for Quantum Communication"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
22.09.2021:
Laura Kovacs, TU Wien
"Algebra-based Analysis of Polynomial Probabilistic Programs"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Algebra-based Analysis of Polynomial Probabilistic Programs"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
28.10.2021:
Alexandra Silva,
"Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
03.11.2021:
Timothy Roscoe, ETH Zurich
"Enzian: a cache-coherent heterogeneous research computer"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Enzian: a cache-coherent heterogeneous research computer"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
08.11.2021:
Sebastian Schloßer, TU Kaiserslautern
"Interactive Semantics for the Course "Fundamentals of Programming""
"Interactive Semantics for the Course "Fundamentals of Programming""
11.11.2021:
Dr. Max Sagebaum, TU Kaiserslautern
"Aggregated type handling in CoDiPack"
"Aggregated type handling in CoDiPack"
15.11.2021:
Johannes Gehrke, Microsoft Research at Redmond
"Database Systems 2.0"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Database Systems 2.0"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
22.11.2021:
Pervaiz Iqbal Khan, AG Smart Data and Knowledge services
"Leveraging Biomedical data to improve healthcare services"
"Leveraging Biomedical data to improve healthcare services"
25.11.2021:
Julian Gutierrez,
"Games, Logic, and Formal Verification"
"Games, Logic, and Formal Verification"
25.11.2021:
Dr. Emre Özkaya, AG Scientific Computing, TU Kaiserslautern
"Robust Design Optimization Package: RoDeO"
"Robust Design Optimization Package: RoDeO"
29.11.2021:
Eric Kinner, AG Garth, TU Kaiserslautern
"Streamline Embedding using Machine Learning"
"Streamline Embedding using Machine Learning"
02.12.2021:
Artur Jeż, University of Wrocław
"Recompression-based algorithm for word equations"
"Recompression-based algorithm for word equations"
02.12.2021:
Dr. Giles Strong, CERN, University of Padova
"PyTorch-based Differential Muon Tomography Optimisation"
"PyTorch-based Differential Muon Tomography Optimisation"
06.12.2021:
Vitor Fortes Rey, AG Lukowicz, TU Kaiserslautern
"Translating Videos into Synthetic Training Data for Wearable Sensor-Based Activity Recognition Systems"
"Translating Videos into Synthetic Training Data for Wearable Sensor-Based Activity Recognition Systems"
09.12.2021:
Florin Manea, University of Göttingen
"Matching Patterns with Variables: A General Framework for Text Processing"
"Matching Patterns with Variables: A General Framework for Text Processing"
09.12.2021:
Prof. Mathieu Morlighem, Department of Earth Sciences, Dartmouth College, Hanover, New Hampshire, USA
"The challenges of modeling the ice sheets in a changing climate"
"The challenges of modeling the ice sheets in a changing climate"
13.12.2021:
Damjan Hatic, AG HCI, TU Kaiserslautern
"Machine learning methods for analysis of post catastrophic crisis areas"
"Machine learning methods for analysis of post catastrophic crisis areas"
13.12.2021:
Sebastian Zillien, AG Computer Graphics, HS Worms
"Reliability Test Suite for Input Data Perturbations"
"Reliability Test Suite for Input Data Perturbations"