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

Weitere Informationen

Veranstaltungsarchiv

Treffer 201 - 250 von 364 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
27.05.2020

Für interessierte UnRAVeL Mitglieder: Wege in der Wissenschaft - Fördermöglichkeiten und Karrierewege in der Postdoc-Phase
20.05.2020

Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata
06.05.2020

Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks
21.04.2020 - 21.04.2020

Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
20.04.2020 - 22.04.2020

Abgesagt: Special Event: Treffen mit Austrian RTG VLCA (Vienna Center for Logic and Algorithms)
12.03.2020

Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
11.03.2020 - 12.03.2020

Abgesagt: Special Event: Workshop zum Thema "Integer and Combinatorial Optimization"
09.03.2020

Abgesagt: Für interessierte UnRAVeL Mitglieder: Information & Networking for Young Researchers
04.03.2020

Für interessierte UnRAVeL Mitglieder: Workshop zum Projekt ROSI (Referenzimplementierung für offene szientometrische Indikatoren)
04.03.2020

Bi-Weekly Talk: Andreas Klinger: A new hope for matching in a galaxy far, far away....
03.03.2020

Informatik Oberseminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability
19.02.2020

Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems
18.02.2020

Gastvortrag: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
14.02.2020

Gastvortrag: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance
13.02.2020

Informatik Oberseminar: Sebastian Junges: Parameter Synthesis in Markov Models
13.02.2020

Gastvortrag: Javier Esparza: Black Ninjas in the Dark: Analyzing Population Protocols.
29.01.2020

Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
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

Blättern

RWTH

Service

Soziale Medien

Einrichtungen