Jahr 2021
11.01.2021:
Eric Jedermaann, AG DISCO, Prof. Schmitt
"space-DISCO - An Introduction To Satellite Security"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"space-DISCO - An Introduction To Satellite Security"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
11.01.2021:
Thomas Schneider, AG Algorithmics and Complexity, Prof. Schweitzer
"Classification of Finite Highly Regular Vertex-Coloured Graphs"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Classification of Finite Highly Regular Vertex-Coloured Graphs"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"On boundary value problems for RANS equations and two-equation turbulence models – Talk 2"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
25.01.2021:
Jayasankar Santhosh, SDS-DFKI, Prof. Dengel
"Deep Learning Based Learning Analytics and Augmentation"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Deep Learning Based Learning Analytics and Augmentation"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
25.01.2021:
Jan-Tobias Sohns, AG Visual Information Analysis, Prof. Leitte
"Decision Boundaries: Feature-Space Exploration of Black Box Classifiers"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Decision Boundaries: Feature-Space Exploration of Black Box Classifiers"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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?"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"The climatic butterfly effect — do numerical simulations capture the statistics of chaotic systems?"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
08.02.2021:
Shraddha Gupta, AG Embedded Intelligence, Prof. Lukowicz
"Explainable and informed machine learning based predictive maintenance in hot staking resistance welding process"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Explainable and informed machine learning based predictive maintenance in hot staking resistance welding process"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
08.02.2021:
Markus Schröder, DFKI GmbH, Smart Data & Knowledge Services (SDS) Group, Prof. Andreas Dengel
"Building Knowledge Graphs from Messy Enterprise Data"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Building Knowledge Graphs from Messy Enterprise Data"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
11.02.2021:
Michaela Schmitt, TU Kaiserslautern
"Recent approaches in Opacity Optimization"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Recent approaches in Opacity Optimization"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
22.02.2021:
Iuliia Brishtel, DFKI
"User´s ongoing physiological and mental state recognition using multimodal sensor approach"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"User´s ongoing physiological and mental state recognition using multimodal sensor approach"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
22.02.2021:
Jack D. Martin, AG Cyber-Physical Systems
"Constraint Net Design and Implementation Utilizing Affine Arithmetic Decision Diagrams and Integer Decision Diagrams"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Constraint Net Design and Implementation Utilizing Affine Arithmetic Decision Diagrams and Integer Decision Diagrams"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
22.02.2021:
Constantin Seebach, AG Algoritms and Complexity, Prof. Schweitzer
"Exponential Time Algorithms for Easy Problems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Exponential Time Algorithms for Easy Problems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Continuous Verification of Machine Learning: a Declarative Programming Approach"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
18.03.2021:
Chih-Hong Cheng,
"Verification and Validation of DNN-based Autonomy Perception"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Verification and Validation of DNN-based Autonomy Perception"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
25.03.2021:
Oliver Markgraf,
"Learning in reactive Synthesis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Learning in reactive Synthesis"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Structured Light Reconstruction - An Entire Pipeline with Improvements in Usability, Accuracy, Stability and Speed"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Explainability Queries for ML Models and its Connections with Data Management Problems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Quantum Computing for Material Characterization"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
03.05.2021:
Lovro Bosnar, Computer Graphics and HCI Group
"Material modeling and rendering for surface inspection"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Material modeling and rendering for surface inspection"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Emulating Aerosol Microphysics with Machine Learning"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Context-Aware Recommender Systems for Personal Knowledge Assistants"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
17.05.2021:
Gajendra Doniparthi,
"Indexing Methods for Interactive Exploration of Large-Scale Bio-Science Research Data"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Indexing Methods for Interactive Exploration of Large-Scale Bio-Science Research Data"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"OpDiLib, an Open Multiprocessing Differentiation Library"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Hybrid parallel ILU preconditioner to solve sparse linear systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Integrated Planning and Scheduling for Customized Production using Digital Twins and Reinforcement Learning"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Robust object recognition for agricultural robots through augmentation with simulated data sets"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
21.06.2021:
Christian Kötting,
"FPGAs in Roboterkontrollarchitekturen"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"FPGAs in Roboterkontrollarchitekturen"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Fluid Flow Optimization with Lattice Boltzmann Methods with Applications"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Concepts and Tooling for the Ecosystem of the Behavior-Based Control Architecture iB2C"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Second-Order Methods for Neural Networks/Bridging the Gap between Neural Network Pruning and Neural Architecture Search"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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""
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Interactive Semantics for the Course "Fundamentals of Programming""
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
11.11.2021:
Dr. Max Sagebaum, TU Kaiserslautern
"Aggregated type handling in CoDiPack"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Aggregated type handling in CoDiPack"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Leveraging Biomedical data to improve healthcare services"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
25.11.2021:
Julian Gutierrez,
"Games, Logic, and Formal Verification"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Games, Logic, and Formal Verification"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
25.11.2021:
Dr. Emre Özkaya, AG Scientific Computing, TU Kaiserslautern
"Robust Design Optimization Package: RoDeO"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Robust Design Optimization Package: RoDeO"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
29.11.2021:
Eric Kinner, AG Garth, TU Kaiserslautern
"Streamline Embedding using Machine Learning"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Streamline Embedding using Machine Learning"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
02.12.2021:
Artur Jeż, University of Wrocław
"Recompression-based algorithm for word equations"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Recompression-based algorithm for word equations"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
02.12.2021:
Dr. Giles Strong, CERN, University of Padova
"PyTorch-based Differential Muon Tomography Optimisation"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"PyTorch-based Differential Muon Tomography Optimisation"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
06.12.2021:
Vitor Fortes Rey, AG Lukowicz, TU Kaiserslautern
"Translating Videos into Synthetic Training Data for Wearable Sensor-Based Activity Recognition Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Translating Videos into Synthetic Training Data for Wearable Sensor-Based Activity Recognition Systems"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
09.12.2021:
Florin Manea, University of Göttingen
"Matching Patterns with Variables: A General Framework for Text Processing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Matching Patterns with Variables: A General Framework for Text Processing"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
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"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"The challenges of modeling the ice sheets in a changing climate"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
13.12.2021:
Damjan Hatic, AG HCI, TU Kaiserslautern
"Machine learning methods for analysis of post catastrophic crisis areas"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Machine learning methods for analysis of post catastrophic crisis areas"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
13.12.2021:
Sebastian Zillien, AG Computer Graphics, HS Worms
"Reliability Test Suite for Input Data Perturbations"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)
"Reliability Test Suite for Input Data Perturbations"
MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)