Archive of Events

Showing 1 - 379 of 379 Results

Show results per page

Turn Page

Sie sind auf Seite:1-379

Date

Event
23/04/2021

Application Talk: Niklas Kotowski
20/12/2021

Application Talk: Vincent Grande
11/12/2019

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
17/05/2023

Bi-Weekly Meeting: Carolina Gerlach
26/06/2019

Bi-Weekly Meeting: Guided Tour through CAVE
31/05/2023

Bi-Weekly Meeting: Research Speed Dating
07/12/2022

Bi-Weekly Meeting: Research Speed Dating Christmas Edition
11/10/2017

Bi-weekly Meeting: Stips and Kolls only: first acquaintance
13/04/2021

Bi-Weekly Talk and Moves Seminar: Tobias Winkler
20/03/2019

Bi-Weekly Talk by Vipin Ravindran VijayalakshmiBi-Weekly Talk by Vipin Ravindran Vijayalakshmi: Always be Two Steps Ahead of Your Enemy
17/10/2018

Bi-Weekly Talk: A Multiobjective Approach to Hospital Patient to Room Assignment
30/06/2021

Bi-Weekly Talk: Alexander Bork: Underapproximations for Indefinite-Horizon POMDPs
18/04/2018

Bi-Weekly Talk: An Introduction To ω-Automata
04/03/2020

Bi-Weekly Talk: Andreas Klinger: A new hope for matching in a galaxy far, far away....
28/06/2023

Bi-Weekly Talk: Andreas Klinger: Privacy-Preserving Fully Online Matching with Deadlines
03/04/2019

Bi-Weekly Talk: Anton Pirogov: A unified approach to Büchi determinization
20/05/2020

Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata
07/02/2018

Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs
30/10/2019

Bi-Weekly Talk: Björn Tauer: Waiting for Trains: Complexity Results
22/12/2021

Bi-Weekly Talk: Christoph Grüne: Fun with Mini Metro and Mini Motorways
22/03/2023

Bi-Weekly Talk: Christoph Grüne: The Complexity of Graph Exploration Games
04/04/2018

Bi-Weekly Talk: Competitive Packet Routing: How mistrusting harms performance
26/08/2020

Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs
12/07/2023

Bi-Weekly Talk: Dennis Fischer
11/08/2021

Bi-Weekly Talk: Dennis Fischer: The bilevel bottleneck assignment problem
07/08/2019

Bi-Weekly Talk: Dennis Fischer: The Recoverable Robust Assignment Problem
14/06/2023

Bi-Weekly Talk: Eleanore Meyer: Termination Analysis of Simple Randomised Linear Programs
27/10/2021

Bi-Weekly Talk: Eran Rosenbluth: The Solidarity Cover Problem
21/02/2018

Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence
17/04/2019

Bi-Weekly Talk: Exploring Sparse Graphs with Advice
10/11/2021

Bi-Weekly Talk: Fabian Meyer: Termination and Complexity Analysis of Probabilistic Programs
08/08/2018

Bi-Weekly Talk: Flowpipe construction-based reachability analysis for the safety verification of hybrid systems
12/12/2018

Bi-Weekly Talk: Guided Tour through ELVA
26/10/2022

Bi-Weekly Talk: Henrik Hose
04/07/2018

Bi-Weekly Talk: Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
04/04/2018

Bi-Weekly Talk: Improving Local Search for Distributed Resource Allocation and Equilibrium Computation
10/10/2018

Bi-Weekly Talk: Individual Traffic Simulation in Aachen via MATSim
19/09/2018

Bi-Weekly Talk: Inductive Lower Bounds in Probabilistic Programs
02/05/2018

Bi-Weekly Talk: Introduction to Online Algorithms with Advice
08/02/2023

Bi-Weekly Talk: Jan-Christoph Kassing: Analyzing Almost-Sure Termination of Probabilistic Term Rewriting via Innermost Almost-Sure Termination
12/08/2020

Bi-Weekly Talk: Janosch Fuchs: Graph Exploration Revisited
06/07/2022

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

Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic
13/04/2022

Bi-Weekly Talk: Jasper Nalbach: Levelwise construction of a single cylindrical algebraic cell
24/07/2019

Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic?
27/01/2021

Bi-Weekly Talk: Jip Spel: Finding Provably Optimal Markov Chains
25/01/2023

Bi-Weekly Talk: Jip Spel: Monotonicity in pMDPs
10/03/2021

Bi-Weekly Talk: Joshua Moerman: Weighted Register Automata
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
07/04/2021

Bi-Weekly Talk: Katharina Eickhoff: Integer Programming Formulations for the Burning Number Problem
19/04/2023

Bi-Weekly Talk: Komal Muluk: Make a graph singly connected by edge orientations
05/05/2021

Bi-Weekly Talk: Komal Muluk: On the complexity of singly connected vertex deletion
18/09/2019

Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time
27/11/2019

Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs
19/01/2022

Bi-Weekly Talk: Mariia Anapolska: Multithread interval scheduling with machine availabilities
10/07/2019

Bi-Weekly Talk: Martin Comis & Tabea Krabs: Minimum Color-Degree Perfect b -Matchings
24/03/2021

Bi-Weekly Talk: Martin Comis: Robust strategic planning for mobile medical units with steerable and unsteerable demands
06/05/2020

Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks
21/08/2019

Bi-Weekly Talk: Matthias Volk and Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
05/04/2023

Bi-Weekly Talk: Michael Scholkemper: Spectral Implications of Graph Structure and a Random Graph Model to Preserve It
08/03/2023

Bi-Weekly Talk: Nadine Friesen: Modelling time in the railway network design problem
16/03/2022

Bi-Weekly Talk: Nadine Friesen: Railway Network Design Problem under Timetable Constraints
15/05/2019

Bi-Weekly Talk: On the Union Closed Fragment of Existential Second-Order Logic
05/09/2018

Bi-Weekly Talk: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
22/08/2018

Bi-Weekly Talk: Operational Planning for Mobile Medical Units
29/01/2020

Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
10/07/2018

Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption
20/02/2019

Bi-Weekly Talk: Provenance Analysis for Guarded Logics
23/11/2022

Bi-Weekly Talk: Qihui Feng: A Logic of Belief over Continuous and Discrete Probability Distribution
27/06/2018

Bi-Weekly Talk: Quantitative Separation Logic
23/01/2019

Bi-Weekly Talk: Railway Network Capacity Analysis for Strategic Planning
12/06/2019

Bi-Weekly Talk: Reasoning about uncertainty
19/02/2020

Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems
02/03/2022

Bi-Weekly Talk: Rebecca Haehn: Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies
15/07/2020

Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics
25/07/2018

Bi-Weekly Talk: Sebastian Junges und Dennis Fischer
20/07/2022

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

Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables
21/04/2021

Bi-Weekly Talk: Stephan Zieger: The Dial-a-Ride Problem in Railways
03/05/2023

Bi-Weekly Talk: Tabea Brandt: Patient-to-room Assignment: Combinatorics, Complexity & Exact Algorithms
24/02/2021

Bi-Weekly Talk: Tabea Krabs: One transfer per patient suffices: Structural insights about patient-to-room assignment
12/10/2022

Bi-Weekly Talk: Tamme Emunds: Traffic management in real time for urban railway transit
22/02/2023

Bi-Weekly Talk: Tarik Viehmann: Combining Knowledge-based Control and Data-Driven Models in Industrial Domains
16/06/2021

Bi-Weekly Talk: Termination of Probabilistic Programs via PTRS
13/11/2019

Bi-Weekly Talk: Till Hofmann
16/02/2022

Bi-Weekly Talk: Tim Seppelt: Homomorphism Tensors and Linear Equations
16/12/2020

Bi-Weekly Talk: Tim Seppelt: How Indistinguishable are Cospectral Graphs? Weisfeiler–Leman, Graph Spectra, and Graph Powers
30/03/2022

Bi-Weekly Talk: Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
18/11/2020

Bi-Weekly Talk: Tobias Winkler: Out of Control: Reducing Probabilistic Models by Control-State Elimination
09/11/2022

Bi-Weekly Talk: Vincent Grande
03/06/2020

Bi-Weekly Talk: Vipin Vijayalakshmi: Scheduling Games with Machine-Dependent Priority Lists
02/10/2019

Bi-Weekly-Meeting - Guest Talk: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
09/03/2020

Canceled: Open for all UnRAVeL-members: Information & Networking for Young Researchers
20/04/2020 - 22/04/2020

Cancelled: Special Event: Joint meeting with RTG VLCA (Vienna Center for Logic and Algorithms)
11/03/2020 - 12/03/2020

Cancelled: Special Event: Workshop on "Integer and Combinatorial Optimization"
27/06/2019

CANCELLED: Survey Lecture: How to Win Games that Never End?
07/10/2022

Commemoration in honor of Gerhard Wöginger
08/02/2019

Computer Science Graduate Seminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
14/12/2017

Computer Science Graduate Seminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments
03/03/2020

Computer Science Graduate Seminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability
13/02/2020

Computer Science Graduate Seminar: Sebastian Junges: Parameter Synthesis in Markov Models
21/02/2018

Computer Science Graduate Seminar: Stefan Wüller: Privacy-Preserving Electronic Bartering
12/06/2018

EU Regional School - Hennig Seminar
24/05/2018

Gastvortrag: Learning-Based Techniques for the Verification of Partially-Specified MDPs
28/04/2022 - 28/04/2022

Girls‘ Day 2022
26/04/2018

Girl'sDay
30/07/2020

Good scientific practice: Course “good scientific practice”
17/06/2020

Good scientific practice: Erika Ábrahám: Behind the scenes: Review processes for publications
21/02/2019

Good scientific practice: Information meeting: DFG funding oppertunities
14/11/2018

Good scientific practice: Research Data Management
18/02/2021

Graduate Seminar: Anton Pirogov: Automata-theoretic techniques for probabilistic verification
21/11/2022

Graduate Seminar: Daxin Liu: Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
26/08/2022

Graduate Seminar: Janosch Fuchs: Graph Exploration with Advice (and Online Crossing Minimization)
07/07/2023

Graduate Seminar: Jip Spel: Monotonicity in Markov Models
30/10/2020

Graduate Seminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
18/06/2021

Graduate Seminar: Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
07/05/2021

Graduate Seminar: Martin Comis
23/09/2021

Graduate Seminar: Martin Ritzert: Learning on Graphs with Logic and Neural Networks
28/04/2022

Graduate Seminar: Matthias Volk
24/08/2021

Graduate Seminar: Peter Lindner: The Theory of Infinite Probabilistic Databases
21/10/2022

Graduate Seminar: Rebecca Haehn
23/07/2021

Graduate Seminar: Richard Wilke: Reasoning about Dependence and Independence: Teams and Multiteams
20/09/2023

Graduate Seminar: Till Hofmann: Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
14/02/2020

Guest Talk: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance
07/11/2018

Guest Talk: Almost Sure Productivity
09/12/2019

Guest Talk: An NLOG fragment of inclusion logic
25/04/2019

Guest Talk: Anytime Approximation in Probabilistic Databases via Scaled Dissociations
06/01/2021

Guest Talk: Benny Kimelfeld: Probabilistic Databases: Variations, Computations, Implications
08/12/2021

Guest Talk: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties
26/11/2019

Guest Talk: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs
17/05/2022

Guest Talk: Christel Baier: From verification to causality-based explications
30/01/2019

Guest Talk: Computation and Improvement of Wardop Equilibria with Unknown Demands
16/11/2021

Guest Talk: Dana Fisman: Learning languages of infinite words
15/06/2021

Guest Talk: Daniel Neider: Horn-ICE Learning: An Inductive Approach to Deductive Software Verification
28/11/2018

Guest Talk: Data generation for programming by example
20/11/2018

Guest Talk: Development of Dependable Autonomous Robots
29/05/2019

Guest Talk: Florent Delgrange: Life is Random, Time is Not: Markov Decision Processes with Window Objectives
23/05/2018

Guest Talk: Formal verification and learning of complex systems
14/03/2023

Guest Talk: Fortunat Rajaona: Weakest Precondition Semantics and Model Checking Technique for Knowledge-Transforming Programs
04/11/2020

Guest Talk: Gabriele Kern-Isberner: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning
25/11/2022

Guest Talk: Gabriele Venturato: Towards Tractable Dynamic Decision Making With Circuits
28/05/2019

Guest Talk: Guy Avni: Graph games in Shielding and in Bidding
07/10/2020

Guest Talk: Guy Van den Broeck: From Probabilistic Circuits to Probabilistic Programs and Back
23/09/2020

Guest Talk: Jan Hoffmann: Raising Expectations: Automating Expected Cost Analysis with Types
13/02/2020

Guest Talk: Javier Esparza: Black Ninjas in the Dark: Analyzing Population Protocols.
01/12/2021

Guest Talk: Jean-Francois Raskin
05/09/2019

Guest Talk: Ji Guan: Model Checking Applied to Quantum Physics
17/11/2022

Guest Talk: Joël Ouaknine: The Skolem Landscape
04/08/2023

Guest Talk: Johannes Lehmann: Counterexample-based backward responsibility in transition systems using the Shapley value
- 19/07/2023

Guest Talk: José Verschae: Searching for infections in (Un)certain Graphs: Algorithms, Complexity and Bounds
19/02/2018

Guest Talk: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
02/12/2020

Guest Talk: Kuldeep Meel: Sparse Hashing for Scalable Approximate Model Counting: When Theory and Practice Finally Meet
07/01/2020

Guest Talk: Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
13/01/2021

Guest Talk: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy
03/04/2023

Guest Talk: Mahsa Shirmohammadi: Stochastic games and strategy complexity
21/03/2023

Guest Talk: Marck van der Vegt: Robust Almost-Sure Reachability in Multi-Environment MDPs
09/02/2022

Guest Talk: Maria Hilvert: Did you invent something? – Computerimplemented invention disclosure, patents and what to consider upfront
19/05/2021

Guest Talk: Marta Kwiatkowska: Probabilistic model checking for strategic equilibria-based decision making
21/09/2021

Guest Talk: Martin Ziegler: Computer Science of Continuous Data
20/12/2017

Guest Talk: Maurice van Keulen: Probabilistic Data Integration – Dealing with data quality issues in data integration
21/10/2020

Guest Talk: Michael Schaub: Learning from signals on graphs with unobserved edges
16/05/2018

Guest Talk: Milan Češka: Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection Abstract
12/05/2021

Guest Talk: Mirco Giacobbe: Neural Termination Analysis
07/12/2017

Guest Talk: Motion Planning under Uncertainty and Partial Observability
26/06/2018

Guest Talk: Nash Flows with Spillback
07/07/2022

Guest Talk: Nicole Megow: Learning-Augmented Online Algorithms for Scheduling and Routing
11/01/2023

Guest Talk: Nils Jansen: Intelligent Decision-Making Under Uncertainty: Beyond Probabilities
18/02/2020

Guest Talk: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
26/02/2019

Guest Talk: On the Complexity of Value Iteration
07/12/2017

Guest Talk: Ordered Nominal Sets and Automata
24/11/2022

Guest Talk: Paolo Morettin: Probabilistic formal verification of AI systems with Weighted Model Integration
23/10/2018

Guest Talk: Polyregular functions
23/11/2017

Guest Talk: Probabilistic Databases - Managing uncertainty in data
29/10/2019

Guest Talk: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
20/11/2019

Guest Talk: Prof. Lenore Zuck
17/06/2021

Guest Talk: Raphaël Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
29/03/2022

Guest Talk: Raphaël Reynouard: The Baum-Welch Algorithm in All its Power
03/09/2019

Guest Talk: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
23/05/2023

Guest Talk: Sebastian Kassing: On the existence of minimizers in neural network optimisation landscapes
23/07/2018

Guest talk: Sensitivity of probabilistic programs
29/05/2018

Guest Talk: Simulating and analyzing autonomous taxis in the agent-based transport simulation MatSim -- an overview about existing work
24/10/2018

Guest Talk: Strategical Timetable Planning
26/04/2019

Guest Talk: The role of Mathematical Optimization to enhance Interpretability in Data Science
12/03/2020

Guest Talk: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
01/10/2019

Guest Talk: Tom van Dijk: Tangles and Distractions in Parity Games
24/11/2021

Guest Talk: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
04/12/2018

Guest Talk: Verification and Strategy Synthesis for Stochastic Games
28/07/2020

Guest Talk: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
19/11/2018

Guest-Talk: Sebastian Arming:Parameter-Independent Strategies for pMDPs
09/11/2022

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

Informatik-Oberseminar
06/09/2021

Informatik-Oberseminar: Vipin Ravindran Vijayalakshmi: Selfishness in Strategic Resource Allocation Problems
07/06/2022 - 10/06/2022

INOC open for all UnRAVeL members
09/12/2020

Internal UnRAVeL workshop
01/06/2021

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

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

MFCS 2019: Daniel Lokshtanov: Picking Random Vertices
26/08/2019 - 30/08/2019

MFCS 2019: Jérôme Leroux: Petri Net Reachability Problem
26/08/2019

MFCS 2019: Kavitha Telikepalli: Popular Matchings: Good, Bad, and Mixed
26/08/2019

MFCS 2019: Kurt Mehlhorn: Trustworthy Graph Algorithms
22/11/2021 - 23/11/2021

Open for all UnRAVeL Members: 1st EBN VIRTUAL CONFERENCE
06/07/2023

Open for all UnRAVeL Members: 2nd Gerhard Woeginger Research Colloquium of the Center of Algorithmics and Optimization
20/04/2021

Open for all UnRAVeL Members: 2nd Springer Nature Webinar for authors - Information on the German DEAL agreement
18/07/2023

Open for all UnRAVeL Members: Artificial Intelligence Colloquium (AIC)
21/01/2022

Open for all UnRAVeL Members: Christoph Standke: Probabilistic Query Evaluation with Bag Semantics
26/10/2021

Open for all UnRAVeL Members: DFG-Förderangebote für die wissenschaftliche Karriere
19/04/2021

Open for all UnRAVeL Members: Digital EU-Career Workshop by ICT & MTE: EU-Careers: An Insight into Research Programs, Grants and Projects
21/04/2023

Open for all UnRAVeL Members: ERS Guest Talk: Prof. Nobuhiro Yoshikawa: Digital Transformation (DX) for Developing CFRP Tank - Design, Manufacturing and Inspection
21/10/2021

Open for all UnRAVeL Members: Informatics Europe Web-Seminar: SMT Solving: Past, Present and Future
12/05/2023

Open for all UnRAVeL Members: Kickoff Research Colloquium of the Center for Algorithmics and Optimization
14/11/2022

Open for all UnRAVeL Members: Liat Peterfreund: Querying Incomplete Numerical Data: Between Certain and Possible Answers
21/12/2021

Open for all UnRAVeL Members: MOVES Seminar: Gradient-Descent for Randomized Controllers under Partial Observability
27/01/2022

Open for all UnRAVeL Members: MOVES Seminar: Marcel Moosbrugger: Probabilistic Program Analysis using Algebraic Recurrences
18/05/2021

Open for all UnRAVeL Members: Online Workshop: Wege in der Wissenschaft - Fördermöglichkeiten und Karrierewege
01/06/2021

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Computation in Finite Model Theory: Symmetric Algorithms and their Limitations
26/04/2022

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Deciding FO-definability of Regular Languages
15/12/2020

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Frank Wolter: Separating Positive and Negative Data Examples in the Presence of an Ontology
27/10/2020

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Guillermo Alberto Perez: Revisiting Synthesis for One-Counter Automata
24/11/2020

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Moshe Y. Vardi: A logical revolution
13/04/2021

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Rafael Peñaloza: Semiring-based Provenance for Light-weight Description Logics
02/02/2021

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Robin Hirsch: Relation algebra, games, representations, constraints
01/12/2020

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Salomon Sickert-Zehnter: An Efficient Normalisation Procedure for Linear Temporal Logic
27/04/2021

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Semiring Extension of Answer Set Programs and Sum-of-Product Problems
11/05/2021

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Semiring Provenance for LFP and Strategy Analysis of Büchi Games
10/11/2020

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Wojciech Czerwinski: Tower-hardness of the reachability problem for Vector Addition Systems
27/01/2021 - 28/01/2021

Open for all UnRAVeL Members: RTG Computational Cognition: workshop on deep reinforcement learning
02/11/2021

Open for all UnRAVeL Members: RWTH Diversity Days
20/11/2020

Open for all UnRAVeL Members: Sebastian Pokutta
07/12/2021 - 07/12/2021

Open for all UnRAVeL Members: Talk at QuantLA by Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
03/05/2023

Open for all UnRAVeL Members: Talk: Andrzej Wasowski
16/11/2020

Open for all UnRAVeL Members: Webinar by GRK 2193: Adaption Intelligence of Factories
01/07/2021

Open for all UnRAVeL Members: webinar series by RTG 2193: Die Fabrik im digitalen Zeitalter: Organisation technischer Dienstleistungen
22/10/2021

Open for all UnRAVeL Members: webinar series by RTG 2193: Dynamische Virtualisierungen für eine effiziente und ganzheitliche Fabrikplanung
28/07/2021

Open for all UnRAVeL Members: webinar series by RTG 2193: Industrialisierung der Software-Generierung: Anwendungen von Software-Synthese in Fabrikplanung & Logistik
13/12/2021

Open for all UnRAVeL Members: webinar series by RTG 2193: Live-Demo: Gestaltung eines wandlungsfähigen und dezentral organisierten Produktionssystems
19/08/2021

Open for all UnRAVeL Members: webinar series by RTG 2193: Modellbasierte Anpassungsplanung von Fertigungsprozessen
13/09/2021

Open for all UnRAVeL Members: webinar series by RTG 2193: Planung unter Unsicherheit: Sequenzialisierung und Pfadplanung
18/11/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: A free boundary problem arising in a model of cell polarization
08/04/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors
17/12/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors
20/05/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Entropy satisfying multi well-balanced schemes for shallow water type systems
06/05/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Fast computations of Wasserstein gradient flows
15/10/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Finding solutions of the multi-dimensional compressible Euler equations
05/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: K-convergence of numerical solutions of the Euler equations
14/10/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On Neural Differential Equations
10/06/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the sticky particle solutions to the pressureless Euler system in general dimension
19/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the structure of divergence-free vector measures on the plane
27/01/2022

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the Structure of Moment Equations in Kinetic Theory
04/11/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Optimal control problems and the turnpike property
22/04/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Phase-Field Gradient Theory: the geometry of gradient flows and its configuration mechanics
19/08/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Regularity for optimal transportation and application to the matching problem
20/01/2022

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
13/01/2022

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
12/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Symplectic field theory and topological entropy in Hamiltonian systems
26/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: The geometry of weakly regular isometric immersions
01/07/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Trajectorial Otto calculus
18/03/2019

Open for all UnRAVeL-members: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019
06/05/2019

Open for all UnRAVeL-members: Artificial Intelligence: Chances and Risks
09/04/2019

Open for all UnRAVeL-members: Computer Science Colloquium: AI for Good
24/02/2021

Open for all UnRAVeL-members: Computer Science Colloquium: Operational Planning for Mobile Medical Units
14/09/2020 - 18/09/2020

Open for all UnRAVeL-members: Highlights of Logic, Games and Automata 2020
06/08/2020

Open for all UnRAVeL-members: Joost-Pieter Katoen: MOVES Seminar Automated Termination Analysis of Polynomial Probabilistic Programs
09/05/2019

Open for all UnRAVeL-members: Seminar: How to write a scientific paper for IEEE
06/11/2019

Open for all UnRAVeL-members: Talk by Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen für die Massen?“
27/05/2020

Open for all UnRAVeL-members: Wege in der Wissenschaft - Fördermöglichkeiten und Karrierewege in der Postdoc-Phase
05/12/2019

Open for all UnRAVeL-members: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter
09/06/2020

Open for all UnRAVeL-members: Workshop „Gamification und Mixed Reality für Lehrende in den Ingenieurwissenschaften“
04/06/2020

Open for all UnRAVeL-members: Workshop „Kollaborativ interdisziplinär – Gestaltung effektiver interdisziplinärer Zusammenarbeit“
04/03/2020

Open for all UnRAVeL-members: Workshop on Projekt ROSI (Referenzimplementierung für offene szientometrische Indikatoren)
31/07/2018

Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments
26/06/2018

Open to UnRAVeL-members: EU Regional School - Fonnesbeck Seminar
11/11/2019

Presentation for UnRAVeL application: Christoph Grüne
14/12/2017

Presentation for UnRAVeL application: Daxin Liu
18/12/2017

Presentation for UnRAVeL application: Fatima Ezzahra El Orche
14/02/2018

Presentation for UnRAVeL application: Katrin Dannert
10/01/2018

Presentation for UnRAVeL application: Rebecca Haehn
31/01/2018

Presentation for UnRAVeL application: Shahid Khan
10/01/2018

Presentation for UnRAVeL application: Stephan Zieger
13/06/2018

Presentation: Jip Spel
21/10/2020

PromotionsCAFÉ - Gutes besser tun?! Eine kurze Einführung in den Effektiven Altruismus
22/01/2020

PromotionsCafé Minorities in Social Networks
17/02/2021

PromotionsCAFÉ: Creating German Data Science Pizzas in a Responsible Way
17/05/2021

PromotionsCAFÉ: Das Lesen der Anderen - User-Tracking auf Verlagsplattformen
27/02/2019

PromotionsCafé: financial planning
09/07/2019

PromotionsCafé: Geschlecht und Transition
08/08/2018

PromotionsCafé: Going Abroad - Challenges and Experiences
26/08/2021

PromotionsCAFÉ: How you can do what you really want - More personal freedom through financial independence
31/07/2019

PromotionsCafé: Meine erste Steuererklärung
24/11/2022

PromotionsCAFÉ: Quo vadis, Doctor? - nach der Promotion in die Beratung
15/04/2021

PromotionsCAFÉ: Quo vadis, Doctor? nach der Promotion zu DLR
26/11/2020

PromotionsCAFÉ: Scientific publishing is hacked
19/01/2022

PromotionsCAFÉ: Tag Eins oder eines Tages - Wie man sein eigenes Start-Up gründet!
07/02/2018

PromotionsCafé: Tolerance for Diversity... Welcome to the Real World!
24/01/2020

Regular's Table
13/11/2019

Regular's Table: Café & Bar Zuhause
16/10/2019

Regular's Table: Café & Bar Zuhause
09/08/2018

Regular's Table: Café & Bar Zuhause
13/09/2018

Regulars Table: Guiness House
12/04/2018

Ringvorlesung: Competitive Analysis of Online Algorithms
10/11/2017

Social Event: UnRAVeL Kickoff
18/12/2019

Special Event: Exchangevisit for the students from Cachan
23/10/2019

Special Event: Introduction to Category Theory Block Seminar
16/06/2019 - 19/06/2019

Special Event: Meeting of the German Computer Science Research Training Groups
28/11/2018

Special Event: Movie - THE CLEANERS
08/06/2021

Special Event: Movie "Picture the Scientist"
07/06/2020 - 10/06/2020

Special Event: Online Meeting: Meeting of the German Computer Science Research Training Groups
25/07/2018

Special Event: Opening of UnRAVeL Room
27/11/2018

Special Event: Reopening of the Railway Technical Training and Test Facility (ELVA)
06/01/2020

Special Event: UnRAVeL New Year Reception
17/06/2020

Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself
30/05/2022 - 01/06/2022

Spring Workshop: Bloemendal
06/03/2019 - 08/03/2019

Spring Workshop: Monschau
12/03/2018

Spring Workshop: Rolduc
21/04/2020 - 21/04/2020

Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
04/07/2019

Survey Lecture: Applications of Privacy-Preserving Protocols
23/05/2019

Survey Lecture: Automatic Train Protection und Control Systems
15/06/2023

Survey Lecture: Britta Peis: Ascending Auctions and Matroids
10/06/2021

Survey Lecture: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory
28/06/2022

Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
29/07/2021

Survey Lecture: canceled -Ringvorlesung: Gerhard Woeginger: Bilevel optimization
14/06/2022

Survey Lecture: Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
08/07/2021

Survey Lecture: Christina Büsing: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
27/04/2023

Survey Lecture: Christina Büsing: Robust Strategic Planning for Mobile Medical Units
06/05/2021

Survey Lecture: Christof Löding: Learning Automata for Infinite Words
29/06/2023

Survey Lecture: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks
06/06/2019

Survey Lecture: Competitive Analysis of Online Algorithms
19/04/2018

Survey Lecture: Computing on Encrypted Data
26/04/2018

Survey Lecture: Dynamic Network Flows
29/04/2021

Survey Lecture: Erich Grädel: Hidden Variables in Quantum Mechanics and Logics of Dependence and Independence
13/04/2023

Survey Lecture: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking
15/04/2021

Survey Lecture: Erika Ábrahám: Probabilistic Hyperproperties
24/05/2022

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
18/04/2019

Survey Lecture: Expressing and Verifying Probabilistic Hyperproperties
22/06/2023

Survey Lecture: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action
05/07/2022

Survey Lecture: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases
24/06/2021

Survey Lecture: Gerhard Lakemeyer: Uncertainty in Robotics
12/07/2018

Survey Lecture: How to Win Games that Never End?
13/07/2023

Survey Lecture: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes!
01/07/2021

Survey Lecture: Joost-Pieter Katoen: The Surprises of Probabilistic Termination
03/05/2022

Survey Lecture: Jürgen Giesl: Improving Automatic Complexity Analysis of Probabilistic and Non-Probabilistic Integer Programs
22/04/2021

Survey Lecture: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs
25/05/2023

Survey Lecture: Jürgen Giesl: Proving Termination with Dependency Pairs
03/05/2018

Survey Lecture: Logic and Languages
02/05/2019

Survey Lecture: Logics of Dependence and Independence
10/05/2022

Survey Lecture: Martin Grohe: Graph Representations Based on Homomorphisms
20/05/2021

Survey Lecture: Martin Grohe: The Logic of Graph Neural Networks
20/04/2023

Survey Lecture: Martin Grohe: The Quest for a Logic Capturing PTIME
06/04/2023

Survey Lecture: Michael Schaub: Learning from Networks with Unobserved Edges
19/04/2022

Survey Lecture: Michael Schaub: Signal processing on graphs and complexes
26/04/2022

Survey Lecture: Nils Nießen: Acceptance of Driverless Trains
11/05/2023

Survey Lecture: Nils Nießen: Can Trains Be on Time?
17/06/2021

Survey Lecture: Nils Nießen: Optimised Maintenance of Railway Infrastructure
28/06/2018

Survey Lecture: Probabilistic Hybrid Systems
05/07/2018

Survey Lecture: Probabilistic Robotics
04/04/2019

Survey Lecture: Programs That Every Now and Then Flip Coins
17/05/2018

Survey Lecture: Programs That Every Now and Then Flip Coins
07/06/2018

Survey Lecture: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
04/05/2023

Survey Lecture: Sebastian Trimpe: Event-Triggered Learning
21/06/2022

Survey Lecture: Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning
16/05/2019

Survey Lecture: Static and Dynamic Network flows under Uncertainties
11/04/2019

Survey Lecture: Termination and Complexity Analysis for Programs
14/06/2018

Survey Lecture: Termination and Complexity Analysis for Programs
22/07/2021

Survey Lecture: Ulrike Meyer: Malware Detection - A story on how a research topic evolved
21/06/2018

Survey Lecture: Uncertainty and Randomness in Railway Operations Research
09/05/2019

Survey Lecture: Uncertainty in Databases
23/01/2018

Talk: abc-Optimization
15/11/2017

Talk: Challenges in the RoboCup Logisitics League (RCLL)
29/11/2017

Talk: Parameter Synthesis in Probabilistic Model Checking
15/11/2017

Talk: Proving almost-sure termination with non-ranking super martingales
13/12/2017

Talk: Rail Traffic Planning and Capacity Analysis
29/01/2018

Talk: Technical and organizational challenges of the „Stuttgart 21“ construction project
22/01/2018

Talk: Technical innovations in the railway sector „SmartRail“
21/07/2023

Team Carologistics scored second place in this year’s Robocup finale
23/05/2022

UnRAVeL Application Talk
12/09/2023

UnRAVeL Application Talks
21/01/2022

UnRAVeL Application Talks
18/01/2022

UnRAVeL Application Talks
03/11/2021

UnRAVeL Applicationtalks
11/01/2023

UnRAVeL Participation Meeting

Turn Page

Sie sind auf Seite:1-379

h1

h2

h3

h4

h5

h6

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Faculties and Institutions

RWTH

Faculties and Institutes

Find Institute:

Institutions

Navigation

Refine List

Time Period

Archive of Events

Showing 1 - 379 of 379 Results

Footer

RWTH

Services

Social Media

Institutions

h1

h2

h3

h4

h5

h6

You Are Here:

Archive of Events

Showing 1 - 379 of 379 Results

Turn Page

Turn Page

Footer

RWTH

Services

Social Media

Institutions