This website uses technically necessary cookies to offer the best possible functionality.

Further Information

Archive of Events

Showing 301 - 350 of 364 Results

Show all results

Turn Page

Date

Event
17/06/2020

Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself
30/05/2022 - 01/06/2022

Spring Workshop: Bloemendal
06/03/2019 - 08/03/2019

Spring Workshop: Monschau
12/03/2018

Spring Workshop: Rolduc
21/04/2020 - 21/04/2020

Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
04/07/2019

Survey Lecture: Applications of Privacy-Preserving Protocols
23/05/2019

Survey Lecture: Automatic Train Protection und Control Systems
10/06/2021

Survey Lecture: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory
28/06/2022

Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
29/07/2021

Survey Lecture: canceled -Ringvorlesung: Gerhard Woeginger: Bilevel optimization
14/06/2022

Survey Lecture: Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
08/07/2021

Survey Lecture: Christina Büsing: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
27/04/2023

Survey Lecture: Christina Büsing: Robust Strategic Planning for Mobile Medical Units
06/05/2021

Survey Lecture: Christof Löding: Learning Automata for Infinite Words
06/06/2019

Survey Lecture: Competitive Analysis of Online Algorithms
19/04/2018

Survey Lecture: Computing on Encrypted Data
26/04/2018

Survey Lecture: Dynamic Network Flows
29/04/2021

Survey Lecture: Erich Grädel: Hidden Variables in Quantum Mechanics and Logics of Dependence and Independence
13/04/2023

Survey Lecture: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking
15/04/2021

Survey Lecture: Erika Ábrahám: Probabilistic Hyperproperties
24/05/2022

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
18/04/2019

Survey Lecture: Expressing and Verifying Probabilistic Hyperproperties
05/07/2022

Survey Lecture: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases
24/06/2021

Survey Lecture: Gerhard Lakemeyer: Uncertainty in Robotics
12/07/2018

Survey Lecture: How to Win Games that Never End?
01/07/2021

Survey Lecture: Joost-Pieter Katoen: The Surprises of Probabilistic Termination
03/05/2022

Survey Lecture: Jürgen Giesl: Improving Automatic Complexity Analysis of Probabilistic and Non-Probabilistic Integer Programs
22/04/2021

Survey Lecture: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs
25/05/2023

Survey Lecture: Jürgen Giesl: Proving Termination with Dependency Pairs
03/05/2018

Survey Lecture: Logic and Languages
02/05/2019

Survey Lecture: Logics of Dependence and Independence
10/05/2022

Survey Lecture: Martin Grohe: Graph Representations Based on Homomorphisms
20/05/2021

Survey Lecture: Martin Grohe: The Logic of Graph Neural Networks
20/04/2023

Survey Lecture: Martin Grohe: The Quest for a Logic Capturing PTIME
06/04/2023

Survey Lecture: Michael Schaub: Learning from Networks with Unobserved Edges
19/04/2022

Survey Lecture: Michael Schaub: Signal processing on graphs and complexes
26/04/2022

Survey Lecture: Nils Nießen: Acceptance of Driverless Trains
11/05/2023

Survey Lecture: Nils Nießen: Can Trains Be on Time?
17/06/2021

Survey Lecture: Nils Nießen: Optimised Maintenance of Railway Infrastructure
28/06/2018

Survey Lecture: Probabilistic Hybrid Systems
05/07/2018

Survey Lecture: Probabilistic Robotics
04/04/2019

Survey Lecture: Programs That Every Now and Then Flip Coins
17/05/2018

Survey Lecture: Programs That Every Now and Then Flip Coins
07/06/2018

Survey Lecture: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
04/05/2023

Survey Lecture: Sebastian Trimpe: Event-Triggered Learning
21/06/2022

Survey Lecture: Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning
16/05/2019

Survey Lecture: Static and Dynamic Network flows under Uncertainties
11/04/2019

Survey Lecture: Termination and Complexity Analysis for Programs
14/06/2018

Survey Lecture: Termination and Complexity Analysis for Programs
22/07/2021

Survey Lecture: Ulrike Meyer: Malware Detection - A story on how a research topic evolved

Turn Page

RWTH

Services

Social Media

Institutions