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

Weitere Informationen

Veranstaltungsarchiv

Treffer 201 - 250 von 379 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
14.09.2020 - 18.09.2020

Für interessierte UnRAVel Mitglieder: Highlights of Logic, Games and Automata 2020
09.09.2020

Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic
26.08.2020

Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs
12.08.2020

Bi-Weekly Talk: Janosch Fuchs: Graph Exploration Revisited
06.08.2020

Für interessierte UnRAVel Mitglieder: Joost-Pieter Katoen: MOVES Seminar Automated Termination Analysis of Polynomial Probabilistic Programs
30.07.2020

Good scientific practice: Course “good scientific practice”
28.07.2020

Gastvortrag: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
15.07.2020

Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics
17.06.2020

Good scientific practice: Erika Ábrahám: Behind the scenes: Review processes for publications
17.06.2020

Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself
09.06.2020

Für interessierte UnRAVeL Mitglieder: Workshop „Gamification und Mixed Reality für Lehrende in den Ingenieurwissenschaften“
07.06.2020 - 10.06.2020

Special Event: Online Meeting: Vernetzungstreffen Dagstuhl 2020
04.06.2020

Für interessierte UnRAVeL Mitglieder: Workshop „Kollaborativ interdisziplinär – Gestaltung effektiver interdisziplinärer Zusammenarbeit“
03.06.2020

Bi-Weekly Talk: Vipin Vijayalakshmi: Scheduling Games with Machine-Dependent Priority Lists
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

Blättern

RWTH

Service

Soziale Medien

Einrichtungen