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

Further Information

Archive of Events

Showing 201 - 250 of 363 Results

Show all results

Turn Page

Date

Event
20/05/2020

Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata
06/05/2020

Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks
21/04/2020 - 21/04/2020

Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
20/04/2020 - 22/04/2020

Cancelled: Special Event: Joint meeting with RTG VLCA (Vienna Center for Logic and Algorithms)
12/03/2020

Guest Talk: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
11/03/2020 - 12/03/2020

Cancelled: Special Event: Workshop on "Integer and Combinatorial Optimization"
09/03/2020

Canceled: Open for all UnRAVeL-members: Information & Networking for Young Researchers
04/03/2020

Open for all UnRAVeL-members: Workshop on Projekt ROSI (Referenzimplementierung für offene szientometrische Indikatoren)
04/03/2020

Bi-Weekly Talk: Andreas Klinger: A new hope for matching in a galaxy far, far away....
03/03/2020

Computer Science Graduate Seminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability
19/02/2020

Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems
18/02/2020

Guest Talk: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
14/02/2020

Guest Talk: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance
13/02/2020

Computer Science Graduate Seminar: Sebastian Junges: Parameter Synthesis in Markov Models
13/02/2020

Guest Talk: Javier Esparza: Black Ninjas in the Dark: Analyzing Population Protocols.
29/01/2020

Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
24/01/2020

Regular's Table
22/01/2020

PromotionsCafé Minorities in Social Networks
07/01/2020

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

Special Event: UnRAVeL New Year Reception
18/12/2019

Special Event: Exchangevisit for the students from Cachan
11/12/2019

Bi-Weekly Guest Talk: Florian Schanzenbächer: Feedback control for metro lines with a junction, based on a discrete event traffic model of the train dynamics
09/12/2019

Guest Talk: An NLOG fragment of inclusion logic
05/12/2019

Open for all UnRAVeL-members: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter
27/11/2019

Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs
26/11/2019

Guest Talk: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs
20/11/2019

Guest Talk: Prof. Lenore Zuck
13/11/2019

Regular's Table: Café & Bar Zuhause
13/11/2019

Bi-Weekly Talk: Till Hofmann
11/11/2019

Presentation for UnRAVeL application: Christoph Grüne
06/11/2019

Open for all UnRAVeL-members: Talk by Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen für die Massen?“
30/10/2019

Bi-Weekly Talk: Björn Tauer: Waiting for Trains: Complexity Results
29/10/2019

Guest Talk: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
23/10/2019

Special Event: Introduction to Category Theory Block Seminar
16/10/2019

Regular's Table: Café & Bar Zuhause
16/10/2019

Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables
02/10/2019

Bi-Weekly-Meeting - Guest Talk: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
01/10/2019

Guest Talk: Tom van Dijk: Tangles and Distractions in Parity Games
25/09/2019

Informatik-Oberseminar
18/09/2019

Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time
05/09/2019

Guest Talk: Ji Guan: Model Checking Applied to Quantum Physics
03/09/2019

Guest Talk: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
26/08/2019

MFCS 2019: Kavitha Telikepalli: Popular Matchings: Good, Bad, and Mixed
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: Kurt Mehlhorn: Trustworthy Graph Algorithms
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
21/08/2019

Bi-Weekly Talk: Matthias Volk and Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
07/08/2019

Bi-Weekly Talk: Dennis Fischer: The Recoverable Robust Assignment Problem
31/07/2019

PromotionsCafé: Meine erste Steuererklärung

Turn Page

RWTH

Services

Social Media

Institutions