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

Further Information

Archive of Events

Showing 301 - 347 of 347 Results

Show all results

Turn Page

First Page
Previous Page
51-100
201-250
251-300
Sie sind auf Seite:301-347

Date

Event
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
04/04/2018

Bi-Weekly Talk: Competitive Packet Routing: How mistrusting harms performance
04/04/2018

Bi-Weekly Talk: Improving Local Search for Distributed Resource Allocation and Equilibrium Computation
12/03/2018

Spring Workshop: Rolduc
21/02/2018

Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence
21/02/2018

Computer Science Graduate Seminar: Stefan Wüller: Privacy-Preserving Electronic Bartering
19/02/2018

Guest Talk: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
14/02/2018

Presentation for UnRAVeL application: Katrin Dannert
07/02/2018

PromotionsCafé: Tolerance for Diversity... Welcome to the Real World!
07/02/2018

Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs
31/01/2018

Presentation for UnRAVeL application: Shahid Khan
29/01/2018

Talk: Technical and organizational challenges of the „Stuttgart 21“ construction project
23/01/2018

Talk: abc-Optimization
22/01/2018

Talk: Technical innovations in the railway sector „SmartRail“
10/01/2018

Presentation for UnRAVeL application: Stephan Zieger
10/01/2018

Presentation for UnRAVeL application: Rebecca Haehn
20/12/2017

Guest Talk: Maurice van Keulen: Probabilistic Data Integration – Dealing with data quality issues in data integration
18/12/2017

Presentation for UnRAVeL application: Fatima Ezzahra El Orche
14/12/2017

Computer Science Graduate Seminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments
14/12/2017

Presentation for UnRAVeL application: Daxin Liu
13/12/2017

Talk: Rail Traffic Planning and Capacity Analysis
07/12/2017

Guest Talk: Motion Planning under Uncertainty and Partial Observability
07/12/2017

Guest Talk: Ordered Nominal Sets and Automata
29/11/2017

Talk: Parameter Synthesis in Probabilistic Model Checking
23/11/2017

Guest Talk: Probabilistic Databases - Managing uncertainty in data
15/11/2017

Talk: Challenges in the RoboCup Logisitics League (RCLL)
15/11/2017

Talk: Proving almost-sure termination with non-ranking super martingales
10/11/2017

Social Event: UnRAVeL Kickoff
11/10/2017

Bi-weekly Meeting: Stips and Kolls only: first acquaintance

Turn Page

First Page
Previous Page
51-100
201-250
251-300
Sie sind auf Seite:301-347

RWTH

Services

Social Media

Institutions