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

Weitere Informationen

Veranstaltungsarchiv

Treffer 301 - 350 von 364 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

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

Frühlingsworkshop: Rolduc
21.02.2018

Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence
21.02.2018

Informatik Oberseminar: Stefan Wüller: Privacy-Preserving Electronic Bartering
19.02.2018

Gastvortrag: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
14.02.2018

Präsentation: 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

Präsentation: Shahid Khan
29.01.2018

Vortrag: Technical and organizational challenges of the „Stuttgart 21“ construction project
23.01.2018

Vortrag: abc-Optimierung
22.01.2018

Vortrag: Technical innovations in the railway sector „SmartRail“
10.01.2018

Präsentation: Stephan Zieger

Blättern

RWTH

Service

Soziale Medien

Einrichtungen