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

Weitere Informationen

Veranstaltungsarchiv

Treffer 201 - 250 von 347 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
24.01.2020

Stammtisch
22.01.2020

PromotionsCafé Minorities in Social Networks
07.01.2020

Gastvortrag: Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
06.01.2020

Special Event: UnRAVeL Neujahrsempfang
18.12.2019

Special Event: Austauschbesuch der Studierenden aus Cachan
11.12.2019

Bi-Weekly Gastvortrag: Florian Schanzenbächer: Feedback control for metro lines with a junction, based on a discrete event traffic model of the train dynamics
09.12.2019

Gastvortrag: An NLOG fragment of inclusion logic
05.12.2019

Für interessierte UnRAVeL Mitglieder: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter
27.11.2019

Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs
26.11.2019

Gastvortrag: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs
20.11.2019

Gastvortrag: Prof. Lenore Zuck
13.11.2019

Stammtisch: Café & Bar Zuhause
13.11.2019

Bi-Weekly Talk: Till Hofmann
11.11.2019

Presentation for UnRAVeL application: Christoph Grüne
06.11.2019

Für interessierte UnRAVeL Mitglieder: Vortrag von Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen für die Massen?“
30.10.2019

Bi-Weekly Talk: Björn Tauer: Waiting for Trains: Complexity Results
29.10.2019

Gastvortrag: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
23.10.2019

Special Event: Introduction to Category Theory Block Seminar
16.10.2019

Stammtisch: Café & Bar Zuhause
16.10.2019

Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables
02.10.2019

Bi-Weekly-Meeting - Gastvortrag: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
01.10.2019

Gastvortrag: Tom van Dijk: Tangles and Distractions in Parity Games
25.09.2019

Informatik-Oberseminar
18.09.2019

Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time
05.09.2019

Gastvortrag: Ji Guan: Model Checking Applied to Quantum Physics
03.09.2019

Gastvortrag: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
26.08.2019

MFCS 2019: Kavitha Telikepalli: Popular Matchings: Good, Bad, and Mixed
26.08.2019

MFCS 2019: Alexandra Silva: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
26.08.2019

MFCS 2019: Kurt Mehlhorn: Trustworthy Graph Algorithms
26.08.2019

MFCS 2019: Daniel Lokshtanov: Picking Random Vertices
26.08.2019 - 30.08.2019

MFCS 2019: Jérôme Leroux: Petri Net Reachability Problem
21.08.2019

Bi-Weekly Talk: Matthias Volk und Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
07.08.2019

Bi-Weekly Talk: Dennis Fischer: The Recoverable Robust Assignment Problem
31.07.2019

PromotionsCafé: Meine erste Steuererklärung
24.07.2019

Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic?
10.07.2019

Bi-Weekly Talk: Martin Comis & Tabea Krabs: Minimum Color-Degree Perfect b -Matchings
09.07.2019

PromotionsCafé: Geschlecht und Transition
04.07.2019

Ringvorlesung: Applications of Privacy-Preserving Protocols
27.06.2019

CANCELLED: Ringvorlesung: How to Win Games that Never End?
26.06.2019

Bi-Weekly Meeting: Besuch der CAVE
16.06.2019 - 19.06.2019

Special Event: Vernetzungstreffen der deutschen Informatik-GRKs in Dagstuhl
12.06.2019

Bi-Weekly Talk: Reasoning about uncertainty
06.06.2019

Ringvorlesung: Competitive Analysis of Online Algorithms
29.05.2019

Gastvortrag: Florent Delgrange: Life is Random, Time is Not: Markov Decision Processes with Window Objectives
28.05.2019

Gastvortrag: Guy Avni: Graph games in Shielding and in Bidding
23.05.2019

Ringvorlesung: Automatic Train Protection und Control Systems
16.05.2019

Ringvorlesung: Static and Dynamic Network flows under Uncertainties
15.05.2019

Bi-Weekly Talk: On the Union Closed Fragment of Existential Second-Order Logic
09.05.2019

Ringvorlesung: Uncertainty in Databases
09.05.2019

Für interessierte UnRAVel Mitglieder: Seminar: Wie schreibe ich einen Fachartikel für IEEE

Blättern

RWTH

Service

Soziale Medien

Einrichtungen