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

Further Information

Archive of Events

Showing 151 - 200 of 379 Results

Show all results

Turn Page

Date

Event
19/02/2018

Guest Talk: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
02/12/2020

Guest Talk: Kuldeep Meel: Sparse Hashing for Scalable Approximate Model Counting: When Theory and Practice Finally Meet
07/01/2020

Guest Talk: Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
13/01/2021

Guest Talk: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy
03/04/2023

Guest Talk: Mahsa Shirmohammadi: Stochastic games and strategy complexity
21/03/2023

Guest Talk: Marck van der Vegt: Robust Almost-Sure Reachability in Multi-Environment MDPs
09/02/2022

Guest Talk: Maria Hilvert: Did you invent something? – Computerimplemented invention disclosure, patents and what to consider upfront
19/05/2021

Guest Talk: Marta Kwiatkowska: Probabilistic model checking for strategic equilibria-based decision making
21/09/2021

Guest Talk: Martin Ziegler: Computer Science of Continuous Data
20/12/2017

Guest Talk: Maurice van Keulen: Probabilistic Data Integration – Dealing with data quality issues in data integration
21/10/2020

Guest Talk: Michael Schaub: Learning from signals on graphs with unobserved edges
16/05/2018

Guest Talk: Milan Češka: Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection Abstract
12/05/2021

Guest Talk: Mirco Giacobbe: Neural Termination Analysis
07/12/2017

Guest Talk: Motion Planning under Uncertainty and Partial Observability
26/06/2018

Guest Talk: Nash Flows with Spillback
07/07/2022

Guest Talk: Nicole Megow: Learning-Augmented Online Algorithms for Scheduling and Routing
11/01/2023

Guest Talk: Nils Jansen: Intelligent Decision-Making Under Uncertainty: Beyond Probabilities
18/02/2020

Guest Talk: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
26/02/2019

Guest Talk: On the Complexity of Value Iteration
07/12/2017

Guest Talk: Ordered Nominal Sets and Automata
24/11/2022

Guest Talk: Paolo Morettin: Probabilistic formal verification of AI systems with Weighted Model Integration
23/10/2018

Guest Talk: Polyregular functions
23/11/2017

Guest Talk: Probabilistic Databases - Managing uncertainty in data
29/10/2019

Guest Talk: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
20/11/2019

Guest Talk: Prof. Lenore Zuck
17/06/2021

Guest Talk: Raphaël Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
29/03/2022

Guest Talk: Raphaël Reynouard: The Baum-Welch Algorithm in All its Power
03/09/2019

Guest Talk: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
23/05/2023

Guest Talk: Sebastian Kassing: On the existence of minimizers in neural network optimisation landscapes
23/07/2018

Guest talk: Sensitivity of probabilistic programs
29/05/2018

Guest Talk: Simulating and analyzing autonomous taxis in the agent-based transport simulation MatSim -- an overview about existing work
24/10/2018

Guest Talk: Strategical Timetable Planning
26/04/2019

Guest Talk: The role of Mathematical Optimization to enhance Interpretability in Data Science
12/03/2020

Guest Talk: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
01/10/2019

Guest Talk: Tom van Dijk: Tangles and Distractions in Parity Games
24/11/2021

Guest Talk: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
04/12/2018

Guest Talk: Verification and Strategy Synthesis for Stochastic Games
28/07/2020

Guest Talk: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
19/11/2018

Guest-Talk: Sebastian Arming:Parameter-Independent Strategies for pMDPs
09/11/2022

IGaD und Career Center Themenabend (online): “Mein Weg zur Professur“ mit Professorin Christina Büsing (RWTH)
25/09/2019

Informatik-Oberseminar
06/09/2021

Informatik-Oberseminar: Vipin Ravindran Vijayalakshmi: Selfishness in Strategic Resource Allocation Problems
07/06/2022 - 10/06/2022

INOC open for all UnRAVeL members
09/12/2020

Internal UnRAVeL workshop
01/06/2021

Joint Meeting of the German RTGs in Computer Science: DFG Funding Opportunities for Early Career Researchers (requested talk by DFG)
26/08/2019

MFCS 2019: Alexandra Silva: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
26/08/2019

MFCS 2019: Daniel Lokshtanov: Picking Random Vertices
26/08/2019 - 30/08/2019

MFCS 2019: Jérôme Leroux: Petri Net Reachability Problem
26/08/2019

MFCS 2019: Kavitha Telikepalli: Popular Matchings: Good, Bad, and Mixed
26/08/2019

MFCS 2019: Kurt Mehlhorn: Trustworthy Graph Algorithms

Turn Page

RWTH

Services

Social Media

Institutions