Archive of Events

Results�324

Refine List

Date
20/07/2022 Event
Bi-Weekly Talk: Stephan Zieger: A simulation framework for the operation of automated small rail vehicles in rural areas
Date
07/07/2022 Event
Guest Talk: Nicole Megow: Learning-Augmented Online Algorithms for Scheduling and Routing
Date
06/07/2022 Event
Bi-Weekly Talk: Janosch Fuchs: The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs
Date
05/07/2022 Event
Survey Lecture: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases
Date
28/06/2022 Event
Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
Date
21/06/2022 Event
Survey Lecture: Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning
Date
14/06/2022 Event
Survey Lecture: Christina B�sing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
Date
07/06/2022 - 10/06/2022 Event
INOC open for all UnRAVeL members
Date
30/05/2022 - 01/06/2022 Event
Spring Workshop: Bloemendal
Date
25/05/2022 Event
Bi-Weekly Talk: Katharina Eickhoff: Computing buyer-optimal Walrasian prices in multi-unit matching markets via a sequence of max flow computations
Date
24/05/2022 Event
Survey Lecture: Erika �brah�m: The Challenge of Compositionality for Stochastic Hybrid Systems
Date
23/05/2022 Event
UnRAVeL Application Talk
Date
17/05/2022 Event
Guest Talk: Christel Baier: From verification to causality-based explications
Date
11/05/2022 Event
Bi-Weekly Talk: Sasan Vakili
Date
10/05/2022 Event
Survey Lecture: Martin Grohe: Graph Representations Based on Homomorphisms
Date
03/05/2022 Event
Survey Lecture: J�rgen Giesl: Improving Automatic Complexity Analysis of Probabilistic and Non-Probabilistic Integer Programs
Date
28/04/2022 Event
Graduate Seminar: Matthias Volk
Date
28/04/2022 - 28/04/2022 Event
Girls‘ Day 2022
Date
26/04/2022 Event
Survey Lecture: Nils Nie�en: Acceptance of Driverless Trains
Date
26/04/2022 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Deciding FO-definability of Regular Languages
Date
19/04/2022 Event
Survey Lecture: Michael Schaub: Signal processing on graphs and complexes
Date
13/04/2022 Event
Bi-Weekly Talk: Jasper Nalbach: Levelwise construction of a single cylindrical algebraic cell
Date
30/03/2022 Event
Bi-Weekly Talk: Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
Date
29/03/2022 Event
Guest Talk: Rapha�l Reynouard: The Baum-Welch Algorithm in All its Power
Date
16/03/2022 Event
Bi-Weekly Talk: Nadine Friesen: Railway Network Design Problem under Timetable Constraints
Date
02/03/2022 Event
Bi-Weekly Talk: Rebecca Haehn: Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies
Date
16/02/2022 Event
Bi-Weekly Talk: Tim Seppelt: Homomorphism Tensors and Linear Equations
Date
09/02/2022 Event
Guest Talk: Maria Hilvert: Did you invent something? – Computerimplemented invention disclosure, patents and what to consider upfront
Date
27/01/2022 Event
Open for all UnRAVeL Members: MOVES Seminar: Marcel Moosbrugger: Probabilistic Program Analysis using Algebraic Recurrences
Date
27/01/2022 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the Structure of Moment Equations in Kinetic Theory
Date
21/01/2022 Event
Open for all UnRAVeL Members: Christoph Standke: Probabilistic Query Evaluation with Bag Semantics
Date
21/01/2022 Event
UnRAVeL Application Talks
Date
20/01/2022 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Singular harmonic maps from planar domains into manifolds through Ginzburg–Landau and p–harmonic relaxations
Date
19/01/2022 Event
PromotionsCAF�: Tag Eins oder eines Tages - Wie man sein eigenes Start-Up gr�ndet!
Date
19/01/2022 Event
Bi-Weekly Talk: Mariia Anapolska: Multithread interval scheduling with machine availabilities
Date
18/01/2022 Event
UnRAVeL Application Talks
Date
13/01/2022 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Statistical inverse problems and affine-invariant gradient flow structures in the space of probability measures
Date
22/12/2021 Event
Bi-Weekly Talk: Christoph Gr�ne: Fun with Mini Metro and Mini Motorways
Date
21/12/2021 Event
Open for all UnRAVeL Members: MOVES Seminar: Gradient-Descent for Randomized Controllers under Partial Observability
Date
20/12/2021 Event
Application Talk: Vincent Grande
Date
13/12/2021 Event
Open for all UnRAVeL Members: webinar series by RTG 2193: Live-Demo: Gestaltung eines wandlungsf�higen und dezentral organisierten Produktionssystems
Date
08/12/2021 Event
Guest Talk: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties
Date
07/12/2021 - 07/12/2021 Event
Open for all UnRAVeL Members: Talk at QuantLA by Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
Date
01/12/2021 Event
Guest Talk: Jean-Francois Raskin
Date
24/11/2021 Event
Guest Talk: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
Date
22/11/2021 - 23/11/2021 Event
Open for all UnRAVeL Members: 1st EBN VIRTUAL CONFERENCE
Date
18/11/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: A free boundary problem arising in a model of cell polarization
Date
16/11/2021 Event
Guest Talk: Dana Fisman: Learning languages of infinite words
Date
10/11/2021 Event
Bi-Weekly Talk: Fabian Meyer: Termination and Complexity Analysis of Probabilistic Programs
Date
04/11/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Optimal control problems and the turnpike property
Date
03/11/2021 Event
UnRAVeL Applicationtalks
Date
02/11/2021 Event
Open for all UnRAVeL Members: RWTH Diversity Days
Date
27/10/2021 Event
Bi-Weekly Talk: Eran Rosenbluth: The Solidarity Cover Problem
Date
26/10/2021 Event
Open for all UnRAVeL Members: DFG-F�rderangebote f�r die wissenschaftliche Karriere
Date
22/10/2021 Event
Open for all UnRAVeL Members: webinar series by RTG 2193: Dynamische Virtualisierungen f�r eine effiziente und ganzheitliche Fabrikplanung
Date
21/10/2021 Event
Open for all UnRAVeL Members: Informatics Europe Web-Seminar: SMT Solving: Past, Present and Future
Date
14/10/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On Neural Differential Equations
Date
23/09/2021 Event
Graduate Seminar: Martin Ritzert: Learning on Graphs with Logic and Neural Networks
Date
21/09/2021 Event
Guest Talk: Martin Ziegler: Computer Science of Continuous Data
Date
13/09/2021 Event
Open for all UnRAVeL Members: webinar series by RTG 2193: Planung unter Unsicherheit: Sequenzialisierung und Pfadplanung
Date
06/09/2021 Event
Informatik-Oberseminar: Vipin Ravindran Vijayalakshmi: Selfishness in Strategic Resource Allocation Problems
Date
26/08/2021 Event
PromotionsCAF�: How you can do what you really want - More personal freedom through financial independence
Date
24/08/2021 Event
Graduate Seminar: Peter Lindner: The Theory of Infinite Probabilistic Databases
Date
19/08/2021 Event
Open for all UnRAVeL Members: webinar series by RTG 2193: Modellbasierte Anpassungsplanung von Fertigungsprozessen
Date
19/08/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Regularity for optimal transportation and application to the matching problem
Date
11/08/2021 Event
Bi-Weekly Talk: Dennis Fischer: The bilevel bottleneck assignment problem
Date
29/07/2021 Event
Survey Lecture: canceled -Ringvorlesung: Gerhard Woeginger: Bilevel optimization
Date
28/07/2021 Event
Open for all UnRAVeL Members: webinar series by RTG 2193: Industrialisierung der Software-Generierung: Anwendungen von Software-Synthese in Fabrikplanung & Logistik
Date
23/07/2021 Event
Graduate Seminar: Richard Wilke: Reasoning about Dependence and Independence: Teams and Multiteams
Date
22/07/2021 Event
Survey Lecture: Ulrike Meyer: Malware Detection - A story on how a research topic evolved
Date
08/07/2021 Event
Survey Lecture: Christina B�sing: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
Date
01/07/2021 Event
Survey Lecture: Joost-Pieter Katoen: The Surprises of Probabilistic Termination
Date
01/07/2021 Event
Open for all UnRAVeL Members: webinar series by RTG 2193: Die Fabrik im digitalen Zeitalter: Organisation technischer Dienstleistungen
Date
01/07/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Trajectorial Otto calculus
Date
30/06/2021 Event
Bi-Weekly Talk: Alexander Bork: Underapproximations for Indefinite-Horizon POMDPs
Date
24/06/2021 Event
Survey Lecture: Gerhard Lakemeyer: Uncertainty in Robotics
Date
18/06/2021 Event
Graduate Seminar: Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
Date
17/06/2021 Event
Survey Lecture: Nils Nie�en: Optimised Maintenance of Railway Infrastructure
Date
17/06/2021 Event
Guest Talk: Rapha�l Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
Date
16/06/2021 Event
Bi-Weekly Talk: Termination of Probabilistic Programs via PTRS
Date
15/06/2021 Event
Guest Talk: Daniel Neider: Horn-ICE Learning: An Inductive Approach to Deductive Software Verification
Date
10/06/2021 Event
Survey Lecture: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory
Date
10/06/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the sticky particle solutions to the pressureless Euler system in general dimension
Date
08/06/2021 Event
Special Event: Movie "Picture the Scientist"
Date
01/06/2021 Event
Joint Meeting of the German RTGs in Computer Science: DFG Funding Opportunities for Early Career Researchers (requested talk by DFG)
Date
01/06/2021 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Computation in Finite Model Theory: Symmetric Algorithms and their Limitations
Date
20/05/2021 Event
Survey Lecture: Martin Grohe: The Logic of Graph Neural Networks
Date
20/05/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Entropy satisfying multi well-balanced schemes for shallow water type systems
Date
19/05/2021 Event
Guest Talk: Marta Kwiatkowska: Probabilistic model checking for strategic equilibria-based decision making
Date
18/05/2021 Event
Open for all UnRAVeL Members: Online Workshop: Wege in der Wissenschaft - F�rderm�glichkeiten und Karrierewege
Date
17/05/2021 Event
PromotionsCAF�: Das Lesen der Anderen - User-Tracking auf Verlagsplattformen
Date
12/05/2021 Event
Guest Talk: Mirco Giacobbe: Neural Termination Analysis
Date
11/05/2021 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Semiring Provenance for LFP and Strategy Analysis of B�chi Games
Date
07/05/2021 Event
Graduate Seminar: Martin Comis
Date
06/05/2021 Event
Survey Lecture: Christof L�ding: Learning Automata for Infinite Words
Date
06/05/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Fast computations of Wasserstein gradient flows
Date
05/05/2021 Event
Bi-Weekly Talk: Komal Muluk: On the complexity of singly connected vertex deletion
Date
29/04/2021 Event
Survey Lecture: Erich Gr�del: Hidden Variables in Quantum Mechanics and Logics of Dependence and Independence
Date
27/04/2021 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Semiring Extension of Answer Set Programs and Sum-of-Product Problems
Date
23/04/2021 Event
Application Talk: Niklas Kotowski
Date
22/04/2021 Event
Survey Lecture: J�rgen Giesl: Inferring Expected Runtimes of Probabilistic Programs
Date
22/04/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Phase-Field Gradient Theory: the geometry of gradient flows and its configuration mechanics
Date
21/04/2021 Event
Bi-Weekly Talk: Stephan Zieger: The Dial-a-Ride Problem in Railways
Date
20/04/2021 Event
Open for all UnRAVeL Members: 2nd Springer Nature Webinar for authors - Information on the German DEAL agreement
Date
19/04/2021 Event
Open for all UnRAVeL Members: Digital EU-Career Workshop by ICT & MTE: EU-Careers: An Insight into Research Programs, Grants and Projects
Date
15/04/2021 Event
Survey Lecture: Erika �brah�m: Probabilistic Hyperproperties
Date
15/04/2021 Event
PromotionsCAF�: Quo vadis, Doctor? nach der Promotion zu DLR
Date
13/04/2021 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Rafael Pe�aloza: Semiring-based Provenance for Light-weight Description Logics
Date
13/04/2021 Event
Bi-Weekly Talk and Moves Seminar: Tobias Winkler
Date
08/04/2021 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors
Date
07/04/2021 Event
Bi-Weekly Talk: Katharina Eickhoff: Integer Programming Formulations for the Burning Number Problem
Date
24/03/2021 Event
Bi-Weekly Talk: Martin Comis: Robust strategic planning for mobile medical units with steerable and unsteerable demands
Date
10/03/2021 Event
Bi-Weekly Talk: Joshua Moerman: Weighted Register Automata
Date
24/02/2021 Event
Open for all UnRAVeL-members: Computer Science Colloquium: Operational Planning for Mobile Medical Units
Date
24/02/2021 Event
Bi-Weekly Talk: Tabea Krabs: One transfer per patient suffices: Structural insights about patient-to-room assignment
Date
18/02/2021 Event
Graduate Seminar: Anton Pirogov: Automata-theoretic techniques for probabilistic verification
Date
17/02/2021 Event
PromotionsCAF�: Creating German Data Science Pizzas in a Responsible Way
Date
02/02/2021 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Robin Hirsch: Relation algebra, games, representations, constraints
Date
27/01/2021 Event
Bi-Weekly Talk: Jip Spel: Finding Provably Optimal Markov Chains
Date
27/01/2021 - 28/01/2021 Event
Open for all UnRAVeL Members: RTG Computational Cognition: workshop on deep reinforcement learning
Date
13/01/2021 Event
Guest Talk: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy
Date
06/01/2021 Event
Guest Talk: Benny Kimelfeld: Probabilistic Databases: Variations, Computations, Implications
Date
17/12/2020 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors
Date
16/12/2020 Event
Bi-Weekly Talk: Tim Seppelt: How Indistinguishable are Cospectral Graphs? Weisfeiler–Leman, Graph Spectra, and Graph Powers
Date
15/12/2020 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Frank Wolter: Separating Positive and Negative Data Examples in the Presence of an Ontology
Date
09/12/2020 Event
Internal UnRAVeL workshop
Date
02/12/2020 Event
Guest Talk: Kuldeep Meel: Sparse Hashing for Scalable Approximate Model Counting: When�Theory and Practice Finally Meet
Date
01/12/2020 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Salomon Sickert-Zehnter: An Efficient Normalisation Procedure for Linear Temporal Logic
Date
26/11/2020 Event
PromotionsCAF�: Scientific publishing is hacked
Date
26/11/2020 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: The geometry of weakly regular isometric immersions
Date
24/11/2020 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Moshe Y. Vardi: A logical revolution
Date
20/11/2020 Event
Open for all UnRAVeL Members: Sebastian Pokutta
Date
19/11/2020 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the structure of divergence-free vector measures on the plane
Date
18/11/2020 Event
Bi-Weekly Talk: Tobias Winkler: Out of Control: Reducing Probabilistic Models by Control-State Elimination
Date
16/11/2020 Event
Open for all UnRAVeL Members: Webinar by GRK 2193: Adaption Intelligence of Factories
Date
12/11/2020 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Symplectic field theory and topological entropy in Hamiltonian systems
Date
10/11/2020 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Wojciech Czerwinski: Tower-hardness of the reachability problem for Vector Addition Systems
Date
05/11/2020 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: K-convergence of numerical solutions of the Euler equations
Date
04/11/2020 Event
Guest Talk: Gabriele Kern-Isberner: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning
Date
30/10/2020 Event
Graduate Seminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
Date
27/10/2020 Event
Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Guillermo Alberto Perez: Revisiting Synthesis for One-Counter Automata
Date
21/10/2020 Event
PromotionsCAF� - Gutes besser tun?! Eine kurze Einf�hrung in den Effektiven Altruismus
Date
21/10/2020 Event
Guest Talk: Michael Schaub: Learning from signals on graphs with unobserved edges
Date
15/10/2020 Event
Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Finding solutions of the multi-dimensional compressible Euler equations
Date
07/10/2020 Event
Guest Talk: Guy Van den Broeck: From Probabilistic Circuits to Probabilistic Programs and Back
Date
23/09/2020 Event
Guest Talk: Jan Hoffmann: Raising Expectations: Automating Expected Cost Analysis with Types
Date
14/09/2020 - 18/09/2020 Event
Open for all UnRAVeL-members: Highlights of Logic, Games and Automata 2020
Date
09/09/2020 Event
Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic
Date
26/08/2020 Event
Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs
Date
12/08/2020 Event
Bi-Weekly Talk: Janosch Fuchs: Graph Exploration Revisited
Date
06/08/2020 Event
Open for all UnRAVeL-members: Joost-Pieter Katoen: MOVES Seminar Automated Termination Analysis of Polynomial Probabilistic Programs
Date
30/07/2020 Event
Good scientific practice: Course “good scientific practice”
Date
28/07/2020 Event
Guest Talk: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
Date
15/07/2020 Event
Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics
Date
17/06/2020 Event
Good scientific practice: Erika �brah�m: Behind the scenes: Review processes for publications
Date
17/06/2020 Event
Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself
Date
09/06/2020 Event
Open for all UnRAVeL-members: Workshop „Gamification und Mixed Reality f�r Lehrende in den Ingenieurwissenschaften“
Date
07/06/2020 - 10/06/2020 Event
Special Event: Online Meeting: Meeting of the German Computer Science Research Training Groups
Date
04/06/2020 Event
Open for all UnRAVeL-members: Workshop „Kollaborativ interdisziplin�r – Gestaltung effektiver interdisziplin�rer Zusammenarbeit“
Date
03/06/2020 Event
Bi-Weekly Talk: Vipin Vijayalakshmi: Scheduling Games with Machine-Dependent Priority Lists
Date
27/05/2020 Event
Open for all UnRAVeL-members: Wege in der Wissenschaft - F�rderm�glichkeiten und Karrierewege in der Postdoc-Phase
Date
20/05/2020 Event
Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic B�chi Automata
Date
06/05/2020 Event
Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks
Date
21/04/2020 - 21/04/2020 Event
Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
Date
20/04/2020 - 22/04/2020 Event
Cancelled: Special Event: Joint meeting with RTG VLCA (Vienna Center for Logic and Algorithms)
Date
12/03/2020 Event
Guest Talk: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
Date
11/03/2020 - 12/03/2020 Event
Cancelled: Special Event: Workshop on "Integer and Combinatorial Optimization"
Date
09/03/2020 Event
Canceled: Open for all UnRAVeL-members: Information & Networking for Young Researchers
Date
04/03/2020 Event
Open for all UnRAVeL-members: Workshop on Projekt ROSI (Referenzimplementierung f�r offene szientometrische Indikatoren)
Date
04/03/2020 Event
Bi-Weekly Talk: Andreas Klinger: A new hope for matching in a galaxy far, far away....
Date
03/03/2020 Event
Computer Science Graduate Seminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability
Date
19/02/2020 Event
Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems
Date
18/02/2020 Event
Guest Talk: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
Date
14/02/2020 Event
Guest Talk: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance
Date
13/02/2020 Event
Computer Science Graduate Seminar: Sebastian Junges: Parameter Synthesis in Markov Models
Date
13/02/2020 Event
Guest Talk: Javier Esparza: Black Ninjas in the Dark: Analyzing Population Protocols.
Date
29/01/2020 Event
Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
Date
24/01/2020 Event
Regular's Table
Date
22/01/2020 Event
PromotionsCaf� Minorities in Social Networks
Date
07/01/2020 Event
Guest Talk: Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Date
06/01/2020 Event
Special Event: UnRAVeL New Year Reception
Date
18/12/2019 Event
Special Event: Exchangevisit for the students from Cachan
Date
11/12/2019 Event
Bi-Weekly Guest Talk: Florian Schanzenb�cher: Feedback control for metro lines with a junction, based on a discrete event traffic model of the train dynamics
Date
09/12/2019 Event
Guest Talk: An NLOG fragment of inclusion logic
Date
05/12/2019 Event
Open for all UnRAVeL-members: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter
Date
27/11/2019 Event
Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs
Date
26/11/2019 Event
Guest Talk: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs
Date
20/11/2019 Event
Guest Talk: Prof. Lenore Zuck
Date
13/11/2019 Event
Regular's Table: Caf� & Bar Zuhause
Date
13/11/2019 Event
Bi-Weekly Talk: Till Hofmann
Date
11/11/2019 Event
Presentation for UnRAVeL application: Christoph Gr�ne
Date
06/11/2019 Event
Open for all UnRAVeL-members: Talk by Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen f�r die Massen?“
Date
30/10/2019 Event
Bi-Weekly Talk: Bj�rn Tauer: Waiting for Trains: Complexity Results
Date
29/10/2019 Event
Guest Talk: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
Date
23/10/2019 Event
Special Event: Introduction to Category Theory Block Seminar
Date
16/10/2019 Event
Regular's Table: Caf� & Bar Zuhause
Date
16/10/2019 Event
Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables
Date
02/10/2019 Event
Bi-Weekly-Meeting - Guest Talk: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
Date
01/10/2019 Event
Guest Talk: Tom van Dijk: Tangles and Distractions in Parity Games
Date
25/09/2019 Event
Informatik-Oberseminar
Date
18/09/2019 Event
Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time
Date
05/09/2019 Event
Guest Talk: Ji Guan: Model Checking Applied to Quantum Physics
Date
03/09/2019 Event
Guest Talk: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
Date
26/08/2019 Event
MFCS 2019: Kavitha Telikepalli: Popular Matchings: Good, Bad, and Mixed
Date
26/08/2019 Event
MFCS 2019: Alexandra Silva: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time
Date
26/08/2019 Event
MFCS 2019: Kurt Mehlhorn: Trustworthy Graph Algorithms
Date
26/08/2019 Event
MFCS 2019: Daniel Lokshtanov: Picking Random Vertices
Date
26/08/2019 - 30/08/2019 Event
MFCS 2019: J�r�me Leroux: Petri Net Reachability Problem
Date
21/08/2019 Event
Bi-Weekly Talk: Matthias Volk and Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
Date
07/08/2019 Event
Bi-Weekly Talk: Dennis Fischer: The Recoverable Robust Assignment Problem
Date
31/07/2019 Event
PromotionsCaf�: Meine erste Steuererkl�rung
Date
24/07/2019 Event
Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic?
Date
10/07/2019 Event
Bi-Weekly Talk: Martin Comis & Tabea Krabs: Minimum Color-Degree Perfect b -Matchings
Date
09/07/2019 Event
PromotionsCaf�: Geschlecht und Transition
Date
04/07/2019 Event
Survey Lecture: Applications of Privacy-Preserving Protocols
Date
27/06/2019 Event
CANCELLED: Survey Lecture: How to Win Games that Never End?
Date
26/06/2019 Event
Bi-Weekly Meeting: Guided Tour through CAVE
Date
16/06/2019 - 19/06/2019 Event
Special Event: Meeting of the German Computer Science Research Training Groups
Date
12/06/2019 Event
Bi-Weekly Talk: Reasoning about uncertainty
Date
06/06/2019 Event
Survey Lecture: Competitive Analysis of Online Algorithms
Date
29/05/2019 Event
Guest Talk: Florent Delgrange: Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Date
28/05/2019 Event
Guest Talk: Guy Avni: Graph games in Shielding and in Bidding
Date
23/05/2019 Event
Survey Lecture: Automatic Train Protection und Control Systems
Date
16/05/2019 Event
Survey Lecture: Static and Dynamic Network flows under Uncertainties
Date
15/05/2019 Event
Bi-Weekly Talk: On the Union Closed Fragment of Existential Second-Order Logic
Date
09/05/2019 Event
Survey Lecture: Uncertainty in Databases
Date
09/05/2019 Event
Open for all UnRAVeL-members: Seminar: How to write a scientific paper for IEEE
Date
06/05/2019 Event
Open for all UnRAVeL-members: Artificial Intelligence: Chances and Risks
Date
02/05/2019 Event
Survey Lecture: Logics of Dependence and Independence
Date
26/04/2019 Event
Guest Talk: The role of Mathematical Optimization to enhance Interpretability in Data Science
Date
25/04/2019 Event
Guest Talk: Anytime Approximation in Probabilistic Databases via Scaled Dissociations
Date
18/04/2019 Event
Survey Lecture: Expressing and Verifying Probabilistic Hyperproperties
Date
17/04/2019 Event
Bi-Weekly Talk: Exploring Sparse Graphs with Advice
Date
11/04/2019 Event
Survey Lecture: Termination and Complexity Analysis for Programs
Date
09/04/2019 Event
Open for all UnRAVeL-members: Computer Science Colloquium: AI for Good
Date
04/04/2019 Event
Survey Lecture: Programs That Every Now and Then Flip Coins
Date
03/04/2019 Event
Bi-Weekly Talk: Anton Pirogov: A unified approach to B�chi determinization
Date
20/03/2019 Event
Bi-Weekly Talk by Vipin Ravindran VijayalakshmiBi-Weekly Talk by Vipin Ravindran Vijayalakshmi: Always be Two Steps Ahead of Your Enemy
Date
18/03/2019 Event
Open for all UnRAVeL-members: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019
Date
06/03/2019 - 08/03/2019 Event
Spring Workshop: Monschau
Date
27/02/2019 Event
PromotionsCaf�: financial planning�
Date
26/02/2019 Event
Guest Talk: On the Complexity of Value Iteration
Date
21/02/2019 Event
Good scientific practice: Information meeting: DFG funding oppertunities
Date
20/02/2019 Event
Bi-Weekly Talk: Provenance Analysis for Guarded Logics
Date
08/02/2019 Event
Computer Science Graduate Seminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
Date
30/01/2019 Event
Guest Talk: Computation and Improvement of Wardop Equilibria with Unknown Demands
Date
23/01/2019 Event
Bi-Weekly Talk: Railway Network Capacity Analysis for Strategic Planning
Date
12/12/2018 Event
Bi-Weekly Talk: Guided Tour through ELVA
Date
04/12/2018 Event
Guest Talk: Verification and Strategy Synthesis for Stochastic Games
Date
28/11/2018 Event
Special Event: Movie - THE CLEANERS
Date
28/11/2018 Event
Guest Talk: Data generation for programming by example
Date
27/11/2018 Event
Special Event: Reopening of the Railway Technical Training and Test Facility (ELVA)
Date
20/11/2018 Event
Guest Talk: Development of Dependable Autonomous Robots
Date
19/11/2018 Event
Guest-Talk: Sebastian Arming:Parameter-Independent Strategies for pMDPs
Date
14/11/2018 Event
Good scientific practice: Research Data Management
Date
07/11/2018 Event
Guest Talk: Almost Sure Productivity
Date
24/10/2018 Event
Guest Talk: Strategical Timetable Planning
Date
23/10/2018 Event
Guest Talk: Polyregular functions
Date
17/10/2018 Event
Bi-Weekly Talk: A Multiobjective Approach to Hospital Patient to Room Assignment
Date
10/10/2018 Event
Bi-Weekly Talk: Individual Traffic Simulation in Aachen via MATSim
Date
19/09/2018 Event
Bi-Weekly Talk: Inductive Lower Bounds in Probabilistic Programs
Date
13/09/2018 Event
Regulars Table: Guiness House
Date
05/09/2018 Event
Bi-Weekly Talk: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
Date
22/08/2018 Event
Bi-Weekly Talk: Operational Planning for Mobile Medical Units
Date
09/08/2018 Event
Regular's Table: Caf� & Bar Zuhause
Date
08/08/2018 Event
PromotionsCaf�: Going Abroad - Challenges and Experiences
Date
08/08/2018 Event
Bi-Weekly Talk: Flowpipe construction-based reachability analysis for the safety verification of hybrid systems
Date
31/07/2018 Event
Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments
Date
25/07/2018 Event
Special Event: Opening of UnRAVeL Room
Date
25/07/2018 Event
Bi-Weekly Talk: Sebastian Junges und Dennis Fischer
Date
23/07/2018 Event
Guest talk: Sensitivity of probabilistic programs
Date
12/07/2018 Event
Survey Lecture: How to Win Games that Never End?
Date
10/07/2018 Event
Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption
Date
05/07/2018 Event
Survey Lecture: Probabilistic Robotics
Date
04/07/2018 Event
Bi-Weekly Talk: Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
Date
28/06/2018 Event
Survey Lecture: Probabilistic Hybrid Systems
Date
27/06/2018 Event
Bi-Weekly Talk: Quantitative Separation Logic
Date
26/06/2018 Event
Guest Talk: Nash Flows with Spillback
Date
26/06/2018 Event
Open to UnRAVeL-members: EU Regional School - Fonnesbeck Seminar
Date
21/06/2018 Event
Survey Lecture: Uncertainty and Randomness in Railway Operations Research
Date
14/06/2018 Event
Survey Lecture: Termination and Complexity Analysis for Programs
Date
13/06/2018 Event
Presentation: Jip Spel
Date
12/06/2018 Event
EU Regional School - Hennig Seminar
Date
07/06/2018 Event
Survey Lecture: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
Date
29/05/2018 Event
Guest Talk: Simulating and analyzing autonomous taxis in the agent-based transport simulation MatSim -- an overview about existing work
Date
24/05/2018 Event
Gastvortrag: Learning-Based Techniques for the Verification of Partially-Specified MDPs
Date
23/05/2018 Event
Guest Talk: Formal verification and learning of complex systems
Date
17/05/2018 Event
Survey Lecture: Programs That Every Now and Then Flip Coins
Date
16/05/2018 Event
Guest Talk: Milan Češka: Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection Abstract
Date
03/05/2018 Event
Survey Lecture: Logic and Languages
Date
02/05/2018 Event
Bi-Weekly Talk: Introduction to Online Algorithms with Advice
Date
26/04/2018 Event
Survey Lecture: Dynamic Network Flows
Date
26/04/2018 Event
Girl'sDay
Date
19/04/2018 Event
Survey Lecture: Computing on Encrypted Data
Date
18/04/2018 Event
Bi-Weekly Talk: An Introduction To ω-Automata
Date
12/04/2018 Event
Ringvorlesung: Competitive Analysis of Online Algorithms
Date
04/04/2018 Event
Bi-Weekly Talk: Competitive Packet Routing: How mistrusting harms performance
Date
04/04/2018 Event
Bi-Weekly Talk: Improving Local Search for Distributed Resource Allocation and Equilibrium Computation
Date
12/03/2018 Event
Spring Workshop: Rolduc
Date
21/02/2018 Event
Bi-Weekly Talk: Erich Gr�del & Richard Wilke: Logics for Dependence and Independence
Date
21/02/2018 Event
Computer Science Graduate Seminar: Stefan W�ller: Privacy-Preserving Electronic Bartering
Date
19/02/2018 Event
Guest Talk: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
Date
14/02/2018 Event
Presentation for UnRAVeL application: Katrin Dannert
Date
07/02/2018 Event
PromotionsCaf�: Tolerance for Diversity... Welcome to the Real World!
Date
07/02/2018 Event
Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs
Date
31/01/2018 Event
Presentation for UnRAVeL application: Shahid Khan
Date
29/01/2018 Event
Talk: Technical and organizational challenges of the „Stuttgart 21“ construction project
Date
23/01/2018 Event
Talk: abc-Optimization
Date
22/01/2018 Event
Talk: Technical innovations in the railway sector „SmartRail“
Date
10/01/2018 Event
Presentation for UnRAVeL application: Stephan Zieger
Date
10/01/2018 Event
Presentation for UnRAVeL application: Rebecca Haehn
Date
20/12/2017 Event
Guest Talk: Maurice van Keulen: Probabilistic Data Integration – Dealing with data quality issues in data integration
Date
18/12/2017 Event
Presentation for UnRAVeL application: Fatima Ezzahra El Orche
Date
14/12/2017 Event
Computer Science Graduate Seminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments
Date
14/12/2017 Event
Presentation for UnRAVeL application: Daxin Liu
Date
13/12/2017 Event
Talk: Rail Traffic Planning and Capacity Analysis
Date
07/12/2017 Event
Guest Talk: Motion Planning under Uncertainty and Partial Observability
Date
07/12/2017 Event
Guest Talk: Ordered Nominal Sets and Automata
Date
29/11/2017 Event
Talk: Parameter Synthesis in Probabilistic Model Checking
Date
23/11/2017 Event
Guest Talk: Probabilistic Databases - Managing uncertainty in data
Date
15/11/2017 Event
Talk: Challenges in the RoboCup Logisitics League (RCLL)
Date
15/11/2017 Event
Talk: Proving almost-sure termination with non-ranking super martingales
Date
10/11/2017 Event
Social Event: UnRAVeL Kickoff
Date
11/10/2017 Event
Bi-weekly Meeting: Stips and Kolls only: first acquaintance

Show all results

Faculties and Institutions

Main page RWTH

Intranet

Lectures and seminars

Regulars Table

Bi-Weekly Meetings

Annual Spring Workshop

UnRAVeL Seminars

Summer Schools and Workshops

Reading Groups

Survey Lecture "What's New in UnRAVeL?"

Publications

Ongoing Dissertation Projects

Completed Doctorates

Completed Bachelor and Master Theses

Profile

People

Ombudsperson

DFG - German Research Foundation

Upcoming Events

Announcements & Highlights

Archive of Events

Gender & Diversity

Guest Researchers

UnRAVeL Notice Board

Faculties and Institutions

Faculties and Institutes

Institutions

Archive of Events

Refine List

Time Period