Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.

Weitere Informationen

Veranstaltungsarchiv

Treffer 301 - 350 von 379 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
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

Gastvortrag: Verification and Strategy Synthesis for Stochastic Games
28.11.2018

Special Event: Kino - THE CLEANERS
28.11.2018

Gastvortrag: Data generation for programming by example
27.11.2018

Special Event: Wiedereröffnung der Eisenbahntechnischen Lehr- und Versuchsanlage (ELVA)
20.11.2018

Gastvortrag: Development of Dependable Autonomous Robots
19.11.2018

Gastvortrag: Sebastian Arming:Parameter-Independent Strategies for pMDPs
14.11.2018

Good scientific practice: Research Data Management
07.11.2018

Gastvortrag: Almost Sure Productivity
24.10.2018

Gastvortrag: Strategical Timetable Planning
23.10.2018

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

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

Stammtisch: Café & Bar Zuhause
08.08.2018

PromotionsCafé: Going Abroad - Challenges and Experiences
08.08.2018

Bi-Weekly Talk: vFlowpipe 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

Gastvortrag: Sensitivity of probabilistic programs
12.07.2018

Ringvorlesung: How to Win Games that Never End?
10.07.2018

Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption
05.07.2018

Ringvorlesung: Probabilistic Robotics
04.07.2018

Bi-Weekly Talk: Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
28.06.2018

Ringvorlesung: Probabilistic Hybrid Systems
27.06.2018

Bi-Weekly Talk: Quantitative Separation Logic
26.06.2018

Gastvortrag: Nash Flows with Spillback
26.06.2018

Open to UnRAVeL-members: EU Regional School - Fonnesbeck Seminar
21.06.2018

Ringvorlesung: Uncertainty and Randomness in Railway Operations Research
14.06.2018

Ringvorlesung: Termination and Complexity Analysis for Programs
13.06.2018

Präsentation: Jip Spel
12.06.2018

EU Regional School - Hennig Seminar
07.06.2018

Ringvorlesung: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
29.05.2018

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

Gastvortrag: Formal verification and learning of complex systems
17.05.2018

Ringvorlesung: Programs That Every Now and Then Flip Coins
16.05.2018

Gastvortrag: Milan Češka:Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection Abstract
03.05.2018

Ringvorlesung: Logic and Languages
02.05.2018

Bi-Weekly Talk: Introduction to Online Algorithms with Advice
26.04.2018

Ringvorlesung: Dynamic Network Flows
26.04.2018

Girl'sDay - Mädchen-Zukunftstag
19.04.2018

Ringvorlesung: Computing on Encrypted Data
18.04.2018

Bi-Weekly Talk: An Introduction To ω-Automata
12.04.2018

Ringvorlesung: Competitive Analysis of Online Algorithms

Blättern

RWTH

Service

Soziale Medien

Einrichtungen