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

Weitere Informationen

Veranstaltungsarchiv

Treffer 301 - 350 von 364 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
29.03.2022

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

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

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

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

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

Survey Lecture: Nils Nießen: Acceptance of Driverless Trains
28.04.2022 - 28.04.2022

Girls‘ Day 2022
28.04.2022

Informatik-Oberseminar: Matthias Volk
03.05.2022

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

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

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

UnRAVeL Application Talk
24.05.2022

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
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
30.05.2022 - 01.06.2022

Frühlingsworkshop: Bloemendal
07.06.2022 - 10.06.2022

INOC offen für alle UnRAVeL Mitglieder
14.06.2022

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

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

Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
05.07.2022

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

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

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

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

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

Gedenkfeier zu Ehren von Gerhard Wöginger
12.10.2022

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

Informatik-Oberseminar: Rebecca Haehn
26.10.2022

Bi-Weekly Talk: Henrik Hose
09.11.2022

Bi-Weekly Talk: Vincent Grande
09.11.2022

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

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

Gastvortrag: Joël Ouaknine: The Skolem Landscape
21.11.2022

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

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

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

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

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

Bi-Weekly Meeting: Research Speed Dating Christmas Edition
11.01.2023

UnRAVeL Participation Meeting
11.01.2023

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

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

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

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

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

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

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

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

Gastvortrag: Mahsa Shirmohammadi: Stochastic games and strategy complexity
05.04.2023

Bi-Weekly Talk: Michael Scholkemper: Spectral Implications of Graph Structure and a Random Graph Model to Preserve It
06.04.2023

Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges

Blättern

RWTH

Service

Soziale Medien

Einrichtungen