Archive of Events
-
Date
22/03/2023 Event
Bi-Weekly Talk: Christoph Grüne: The Complexity of Graph Exploration Games -
Date
21/03/2023 Event
Guest Talk: Marck van der Vegt: Robust Almost-Sure Reachability in Multi-Environment MDPs -
Date
14/03/2023 Event
Guest Talk: Fortunat Rajaona: Weakest Precondition Semantics and Model Checking Technique for Knowledge-Transforming Programs -
Date
08/03/2023 Event
Bi-Weekly Talk: Nadine Friesen: Modelling time in the railway network design problem -
Date
22/02/2023 Event
Bi-Weekly Talk: Tarik Viehmann: Combining Knowledge-based Control and Data-Driven Models in Industrial Domains -
Date
08/02/2023 Event
Bi-Weekly Talk: Jan-Christoph Kassing: Analyzing Almost-Sure Termination of Probabilistic Term Rewriting via Innermost Almost-Sure Termination -
Date
25/01/2023 Event
Bi-Weekly Talk: Jip Spel: Monotonicity in pMDPs -
Date
11/01/2023 Event
Guest Talk: Nils Jansen: Intelligent Decision-Making Under Uncertainty: Beyond Probabilities -
Date
11/01/2023 Event
UnRAVeL Participation Meeting -
Date
07/12/2022 Event
Bi-Weekly Meeting: Research Speed Dating Christmas Edition -
Date
25/11/2022 Event
Guest Talk: Gabriele Venturato: Towards Tractable Dynamic Decision Making With Circuits -
Date
24/11/2022 Event
PromotionsCAFÉ: Quo vadis, Doctor? - nach der Promotion in die Beratung -
Date
24/11/2022 Event
Guest Talk: Paolo Morettin: Probabilistic formal verification of AI systems with Weighted Model Integration -
Date
23/11/2022 Event
Bi-Weekly Talk: Qihui Feng: A Logic of Belief over Continuous and Discrete Probability Distribution -
Date
21/11/2022 Event
Graduate Seminar: Daxin Liu: Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification -
Date
17/11/2022 Event
Guest Talk: Joël Ouaknine: The Skolem Landscape -
Date
14/11/2022 Event
Open for all UnRAVeL Members: Liat Peterfreund: Querying Incomplete Numerical Data: Between Certain and Possible Answers -
Date
09/11/2022 Event
IGaD und Career Center Themenabend (online): “Mein Weg zur Professur“ mit Professorin Christina Büsing (RWTH) -
Date
09/11/2022 Event
Bi-Weekly Talk: Vincent Grande -
Date
26/10/2022 Event
Bi-Weekly Talk: Henrik Hose -
Date
21/10/2022 Event
Graduate Seminar: Rebecca Haehn -
Date
12/10/2022 Event
Bi-Weekly Talk: Tamme Emunds: Traffic management in real time for urban railway transit -
Date
07/10/2022 Event
Commemoration in honor of Gerhard Wöginger -
Date
26/08/2022 Event
Graduate Seminar: Janosch Fuchs: Graph Exploration with Advice (and Online Crossing Minimization) -
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
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