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
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
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

Turn Page

RWTH

Services

Social Media

Institutions