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

Weitere Informationen

Veranstaltungsarchiv

Treffer 101 - 150 von 364 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
26.06.2018

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

Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments
30.10.2020

Oberseminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
18.02.2021

Oberseminar: Anton Pirogov: Automata-theoretic techniques for probabilistic verification
26.08.2019

MFCS 2019: Kurt Mehlhorn: Trustworthy Graph Algorithms
26.08.2019

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

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

MFCS 2019: Daniel Lokshtanov: Picking Random Vertices
26.08.2019

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

Mathematik Oberseminar: Martin Comis
01.06.2021

Joint Meeting of the German RTGs in Computer Science: DFG Funding Opportunities for Early Career Researchers (requested talk by DFG)
09.12.2020

Interner UnRAVeL workshop
07.06.2022 - 10.06.2022

INOC offen für alle UnRAVeL Mitglieder
06.09.2021

Informatik-Oberseminar: Vipin Ravindran Vijayalakshmi: Selfishness in Strategic Resource Allocation Problems
23.07.2021

Informatik-Oberseminar: Richard Wilke: Reasoning about Dependence and Independence: Teams and Multiteams
21.10.2022

Informatik-Oberseminar: Rebecca Haehn
24.08.2021

Informatik-Oberseminar: Peter Lindner: The Theory of Infinite Probabilistic Databases
28.04.2022

Informatik-Oberseminar: Matthias Volk
23.09.2021

Informatik-Oberseminar: Martin Ritzert: Learning on Graphs with Logic and Neural Networks
18.06.2021

Informatik-Oberseminar: Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
26.08.2022

Informatik-Oberseminar: Janosch Fuchs: Graph Exploration with Advice (and Online Crossing Minimization)
14.12.2017

Informatik-Oberseminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments
21.11.2022

Informatik-Oberseminar: Daxin Liu: Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
25.09.2019

Informatik-Oberseminar
21.02.2018

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

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

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

Informatik Oberseminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
09.11.2022

IGaD und Career Center Themenabend (online): “Mein Weg zur Professur“ mit Professorin Christina Büsing (RWTH)
14.11.2018

Good scientific practice: Research Data Management
21.02.2019

Good scientific practice: Informationsveranstaltung über die Förderprogramme der DFG
17.06.2020

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

Good scientific practice: Course “good scientific practice”
26.04.2018

Girl'sDay - Mädchen-Zukunftstag
28.04.2022 - 28.04.2022

Girls‘ Day 2022
07.10.2022

Gedenkfeier zu Ehren von Gerhard Wöginger
28.07.2020

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

Gastvortrag: Verification and Strategy Synthesis for Stochastic Games
24.11.2021

Gastvortrag: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
01.10.2019

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

Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
26.04.2019

Gastvortrag: The role of Mathematical Optimization to enhance Interpretability in Data Science
24.10.2018

Gastvortrag: Strategical Timetable Planning
29.05.2018

Gastvortrag: Simulating and analyzing autonomous taxis in the agent-based transport simulation MatSim -- an overview about existing work
23.07.2018

Gastvortrag: Sensitivity of probabilistic programs
23.05.2023

Gastvortrag: Sebastian Kassing: On the existence of minimizers in neural network optimisation landscapes
19.11.2018

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

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

Gastvortrag: Raphaël Reynouard: The Baum-Welch Algorithm in All its Power
17.06.2021

Gastvortrag: Raphaël Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes

Blättern

RWTH

Service

Soziale Medien

Einrichtungen