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

Further Information

Archive of Events

Showing 301 - 350 of 379 Results

Show all results

Turn Page

Date

Event
23/01/2019

Bi-Weekly Talk: Railway Network Capacity Analysis for Strategic Planning
12/12/2018

Bi-Weekly Talk: Guided Tour through ELVA
04/12/2018

Guest Talk: Verification and Strategy Synthesis for Stochastic Games
28/11/2018

Special Event: Movie - THE CLEANERS
28/11/2018

Guest Talk: Data generation for programming by example
27/11/2018

Special Event: Reopening of the Railway Technical Training and Test Facility (ELVA)
20/11/2018

Guest Talk: Development of Dependable Autonomous Robots
19/11/2018

Guest-Talk: Sebastian Arming:Parameter-Independent Strategies for pMDPs
14/11/2018

Good scientific practice: Research Data Management
07/11/2018

Guest Talk: Almost Sure Productivity
24/10/2018

Guest Talk: Strategical Timetable Planning
23/10/2018

Guest Talk: Polyregular functions
17/10/2018

Bi-Weekly Talk: A Multiobjective Approach to Hospital Patient to Room Assignment
10/10/2018

Bi-Weekly Talk: Individual Traffic Simulation in Aachen via MATSim
19/09/2018

Bi-Weekly Talk: Inductive Lower Bounds in Probabilistic Programs
13/09/2018

Regulars Table: Guiness House
05/09/2018

Bi-Weekly Talk: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
22/08/2018

Bi-Weekly Talk: Operational Planning for Mobile Medical Units
09/08/2018

Regular's Table: Café & Bar Zuhause
08/08/2018

PromotionsCafé: Going Abroad - Challenges and Experiences
08/08/2018

Bi-Weekly Talk: Flowpipe construction-based reachability analysis for the safety verification of hybrid systems
31/07/2018

Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments
25/07/2018

Special Event: Opening of UnRAVeL Room
25/07/2018

Bi-Weekly Talk: Sebastian Junges und Dennis Fischer
23/07/2018

Guest talk: Sensitivity of probabilistic programs
12/07/2018

Survey Lecture: How to Win Games that Never End?
10/07/2018

Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption
05/07/2018

Survey Lecture: Probabilistic Robotics
04/07/2018

Bi-Weekly Talk: Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
28/06/2018

Survey Lecture: Probabilistic Hybrid Systems
27/06/2018

Bi-Weekly Talk: Quantitative Separation Logic
26/06/2018

Guest Talk: Nash Flows with Spillback
26/06/2018

Open to UnRAVeL-members: EU Regional School - Fonnesbeck Seminar
21/06/2018

Survey Lecture: Uncertainty and Randomness in Railway Operations Research
14/06/2018

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

Presentation: Jip Spel
12/06/2018

EU Regional School - Hennig Seminar
07/06/2018

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

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

Gastvortrag: Learning-Based Techniques for the Verification of Partially-Specified MDPs
23/05/2018

Guest Talk: Formal verification and learning of complex systems
17/05/2018

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

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

Survey Lecture: Logic and Languages
02/05/2018

Bi-Weekly Talk: Introduction to Online Algorithms with Advice
26/04/2018

Survey Lecture: Dynamic Network Flows
26/04/2018

Girl'sDay
19/04/2018

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

Bi-Weekly Talk: An Introduction To ω-Automata
12/04/2018

Ringvorlesung: Competitive Analysis of Online Algorithms

Turn Page

RWTH

Services

Social Media

Institutions