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

Weitere Informationen

Veranstaltungsarchiv

Treffer 1 - 50 von 347 Ergebnissen

Alle Einträge anzeigen

Blättern

Sie sind auf Seite:1-50
51-100
101-150
letzte Seite
nächste Seite
251-300

Datum

Veranstaltung
22.03.2023

Bi-Weekly Talk: Christoph Grüne: The Complexity of Graph Exploration Games
21.03.2023

: Robust Almost-Sure Reachability in Multi-Environment MDPsGastvortrag: Marck van der Vegt
14.03.2023

Gastvortrag: Fortunat Rajaona: Weakest Precondition Semantics and Model Checking Technique for Knowledge-Transforming Programs
08.03.2023

Bi-Weekly Talk: Nadine Friesen: Modelling time in the railway network design problem
22.02.2023

Bi-Weekly Talk: Tarik Viehmann: Combining Knowledge-based Control and Data-Driven Models in Industrial Domains
08.02.2023

Bi-Weekly Talk: Jan-Christoph Kassing: Analyzing Almost-Sure Termination of Probabilistic Term Rewriting via Innermost Almost-Sure Termination
25.01.2023

Bi-Weekly Talk: Jip Spel: Monotonicity in pMDPs
11.01.2023

Gastvortrag: Nils Jansen: Intelligent Decision-Making Under Uncertainty: Beyond Probabilities
11.01.2023

UnRAVeL Participation Meeting
07.12.2022

Bi-Weekly Meeting: Research Speed Dating Christmas Edition
25.11.2022

Gastvortrag: Gabriele Venturato: Towards Tractable Dynamic Decision Making With Circuits
24.11.2022

PromotionsCAFÉ: Quo vadis, Doctor? - nach der Promotion in die Beratung
24.11.2022

Gastvortrag: Paolo Morettin: Probabilistic formal verification of AI systems with Weighted Model Integration
23.11.2022

Bi-Weekly Talk: Qihui Feng: A Logic of Belief over Continuous and Discrete Probability Distribution
21.11.2022

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

Gastvortrag: Joël Ouaknine: The Skolem Landscape
14.11.2022

Für interessierte UnRAVeL Mitglieder: Liat Peterfreund: Querying Incomplete Numerical Data: Between Certain and Possible Answers
09.11.2022

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

Bi-Weekly Talk: Vincent Grande
26.10.2022

Bi-Weekly Talk: Henrik Hose
21.10.2022

Informatik-Oberseminar: Rebecca Haehn
12.10.2022

Bi-Weekly Talk: Tamme Emunds: Traffic management in real time for urban railway transit
07.10.2022

Gedenkfeier zu Ehren von Gerhard Wöginger
26.08.2022

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

Bi-Weekly Talk: Stephan Zieger: A simulation framework for the operation of automated small rail vehicles in rural areas
07.07.2022

Gastvortrag: Nicole Megow: Learning-Augmented Online Algorithms for Scheduling and Routing
06.07.2022

Bi-Weekly Talk: Janosch Fuchs: The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs
05.07.2022

Survey Lecture: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases
28.06.2022

Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
21.06.2022

Survey Lecture: Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning
14.06.2022

Ringvorlesung: Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
07.06.2022 - 10.06.2022

INOC offen für alle UnRAVeL Mitglieder
30.05.2022 - 01.06.2022

Frühlingsworkshop: Bloemendal
25.05.2022

Bi-Weekly Talk: Katharina Eickhoff: Computing buyer-optimal Walrasian prices in multi-unit matching markets via a sequence of max flow computations
24.05.2022

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
23.05.2022

UnRAVeL Application Talk
17.05.2022

Gastvortrag: Christel Baier: From verification to causality-based explications
10.05.2022

Survey Lecture: Martin Grohe: Graph Representations Based on Homomorphisms
03.05.2022

Survey Lecture: Jürgen Giesl: Improving Automatic Complexity Analysis of Probabilistic and Non-Probabilistic Integer Programs
28.04.2022

Informatik-Oberseminar: Matthias Volk
28.04.2022 - 28.04.2022

Girls‘ Day 2022
26.04.2022

Survey Lecture: Nils Nießen: Acceptance of Driverless Trains
26.04.2022

Für interessierte UnRAVeL Mitglieder: Research Seminar by RTG QuantLA: Deciding FO-definability of Regular Languages
19.04.2022

Survey Lecture: Michael Schaub: Signal processing on graphs and complexes
13.04.2022

Bi-Weekly Talk: Jasper Nalbach: Levelwise construction of a single cylindrical algebraic cell
30.03.2022

Bi-Weekly Talk: Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
29.03.2022

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

Bi-Weekly Talk: Nadine Friesen: Railway Network Design Problem under Timetable Constraints
02.03.2022

Bi-Weekly Talk: Rebecca Haehn: Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies
16.02.2022

Bi-Weekly Talk: Tim Seppelt: Homomorphism Tensors and Linear Equations

Blättern

Sie sind auf Seite:1-50
51-100
101-150
letzte Seite
nächste Seite
251-300

RWTH

Service

Soziale Medien

Einrichtungen