Archive of Events

Showing 1 - 388 of 388 Results

Show results per page

Turn Page

Sie sind auf Seite:1-388

Date

Event
27/11/2023

PromotionsCAFÉ: Going Abroad for your next research visit or internship?
24/11/2023

Open for all UnRAVeL Members: 3rd Gerhard Woeginger Research Colloquium of the Center of Algorithmics and Optimization
22/11/2023

Bi-Weekly Talk: Eran Rosenbluth: Global Affairs
16/11/2023 - 17/11/2023

UnRAVeL Fall Workshop
13/11/2023

Guest Talk: Francesco Pontiggia: Deductive Controller Synthesis for Probabilistic Hyperproperties
08/11/2023

Bi-Weekly Talk: Christoph Standke: The Importance of Parameters in Database Queries
25/10/2023

Bi-Weekly Talk: Mariia Anapolska: Appointment assignment with time windows
12/10/2023

Guest Talk: Cristina David: Lessons learnt from using GNNs to estimate program termination
11/10/2023

Bi-Weekly Talk: Tim Seppelt: What is Homomorphism Indistinguishability?
20/09/2023

Graduate Seminar: Till Hofmann: Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
12/09/2023

UnRAVeL Application Talks
04/08/2023

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

Team Carologistics scored second place in this year’s Robocup finale
18/07/2023

Open for all UnRAVeL Members: Artificial Intelligence Colloquium (AIC)
13/07/2023

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

Bi-Weekly Talk: Dennis Fischer
07/07/2023

Graduate Seminar: Jip Spel: Monotonicity in Markov Models
06/07/2023

Open for all UnRAVeL Members: 2nd Gerhard Woeginger Research Colloquium of the Center of Algorithmics and Optimization
29/06/2023

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

Bi-Weekly Talk: Andreas Klinger: Privacy-Preserving Fully Online Matching with Deadlines
22/06/2023

Survey Lecture: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action
15/06/2023

Survey Lecture: Britta Peis: Ascending Auctions and Matroids
14/06/2023

Bi-Weekly Talk: Eleanore Meyer: Termination Analysis of Simple Randomised Linear Programs
31/05/2023

Bi-Weekly Meeting: Research Speed Dating
25/05/2023

Survey Lecture: Jürgen Giesl: Proving Termination with Dependency Pairs
23/05/2023

Guest Talk: Sebastian Kassing: On the existence of minimizers in neural network optimisation landscapes
17/05/2023

Bi-Weekly Meeting: Carolina Gerlach
12/05/2023

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

Survey Lecture: Nils Nießen: Can Trains Be on Time?
04/05/2023

Survey Lecture: Sebastian Trimpe: Event-Triggered Learning
03/05/2023

Open for all UnRAVeL Members: Talk: Andrzej Wasowski
03/05/2023

Bi-Weekly Talk: Tabea Brandt: Patient-to-room Assignment: Combinatorics, Complexity & Exact Algorithms
27/04/2023

Survey Lecture: Christina Büsing: Robust Strategic Planning for Mobile Medical Units
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
20/04/2023

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

Bi-Weekly Talk: Komal Muluk: Make a graph singly connected by edge orientations
13/04/2023

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

Survey Lecture: Michael Schaub: Learning from Networks with Unobserved Edges
05/04/2023

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

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

Bi-Weekly Talk: Christoph Grüne: The Complexity of Graph Exploration Games
21/03/2023

Guest Talk: Marck van der Vegt: Robust Almost-Sure Reachability in Multi-Environment MDPs
14/03/2023

Guest Talk: Fortunat Rajaona: Weakest Precondition Semantics and Model Checking Technique for Knowledge-Transforming Programs
08/03/2023

Bi-Weekly Talk: Nadine Friesen: Modelling time in the railway network design problem
22/02/2023

Bi-Weekly Talk: Tarik Viehmann: Combining Knowledge-based Control and Data-Driven Models in Industrial Domains
08/02/2023

Bi-Weekly Talk: Jan-Christoph Kassing: Analyzing Almost-Sure Termination of Probabilistic Term Rewriting via Innermost Almost-Sure Termination
25/01/2023

Bi-Weekly Talk: Jip Spel: Monotonicity in pMDPs
11/01/2023

Guest Talk: Nils Jansen: Intelligent Decision-Making Under Uncertainty: Beyond Probabilities
11/01/2023

UnRAVeL Participation Meeting
07/12/2022

Bi-Weekly Meeting: Research Speed Dating Christmas Edition
25/11/2022

Guest Talk: Gabriele Venturato: Towards Tractable Dynamic Decision Making With Circuits
24/11/2022

PromotionsCAFÉ: Quo vadis, Doctor? - nach der Promotion in die Beratung
24/11/2022

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

Bi-Weekly Talk: Qihui Feng: A Logic of Belief over Continuous and Discrete Probability Distribution
21/11/2022

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

Guest Talk: Joël Ouaknine: The Skolem Landscape
14/11/2022

Open for all UnRAVeL Members: Liat Peterfreund: Querying Incomplete Numerical Data: Between Certain and Possible Answers
09/11/2022

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

Bi-Weekly Talk: Vincent Grande
26/10/2022

Bi-Weekly Talk: Henrik Hose
21/10/2022

Graduate Seminar: Rebecca Haehn
12/10/2022

Bi-Weekly Talk: Tamme Emunds: Traffic management in real time for urban railway transit
07/10/2022

Commemoration in honor of Gerhard Wöginger
26/08/2022

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

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

Guest Talk: Nicole Megow: Learning-Augmented Online Algorithms for Scheduling and Routing
06/07/2022

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

Survey Lecture: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases
28/06/2022

Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
21/06/2022

Survey Lecture: Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning
14/06/2022

Survey Lecture: Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty
07/06/2022 - 10/06/2022

INOC open for all UnRAVeL members
30/05/2022 - 01/06/2022

Spring Workshop: Bloemendal
25/05/2022

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

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
23/05/2022

UnRAVeL Application Talk
17/05/2022

Guest Talk: Christel Baier: From verification to causality-based explications
10/05/2022

Survey Lecture: Martin Grohe: Graph Representations Based on Homomorphisms
03/05/2022

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

Graduate Seminar: Matthias Volk
28/04/2022 - 28/04/2022

Girls‘ Day 2022
26/04/2022

Survey Lecture: Nils Nießen: Acceptance of Driverless Trains
26/04/2022

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Deciding FO-definability of Regular Languages
19/04/2022

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

Bi-Weekly Talk: Jasper Nalbach: Levelwise construction of a single cylindrical algebraic cell
30/03/2022

Bi-Weekly Talk: Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
29/03/2022

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

Bi-Weekly Talk: Nadine Friesen: Railway Network Design Problem under Timetable Constraints
02/03/2022

Bi-Weekly Talk: Rebecca Haehn: Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies
16/02/2022

Bi-Weekly Talk: Tim Seppelt: Homomorphism Tensors and Linear Equations
09/02/2022

Guest Talk: Maria Hilvert: Did you invent something? – Computerimplemented invention disclosure, patents and what to consider upfront
27/01/2022

Open for all UnRAVeL Members: MOVES Seminar: Marcel Moosbrugger: Probabilistic Program Analysis using Algebraic Recurrences
27/01/2022

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the Structure of Moment Equations in Kinetic Theory
21/01/2022

Open for all UnRAVeL Members: Christoph Standke: Probabilistic Query Evaluation with Bag Semantics
21/01/2022

UnRAVeL Application Talks
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
19/01/2022

PromotionsCAFÉ: Tag Eins oder eines Tages - Wie man sein eigenes Start-Up gründet!
19/01/2022

Bi-Weekly Talk: Mariia Anapolska: Multithread interval scheduling with machine availabilities
18/01/2022

UnRAVeL Application Talks
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
22/12/2021

Bi-Weekly Talk: Christoph Grüne: Fun with Mini Metro and Mini Motorways
21/12/2021

Open for all UnRAVeL Members: MOVES Seminar: Gradient-Descent for Randomized Controllers under Partial Observability
20/12/2021

Application Talk: Vincent Grande
13/12/2021

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

Guest Talk: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties
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
01/12/2021

Guest Talk: Jean-Francois Raskin
24/11/2021

Guest Talk: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
22/11/2021 - 23/11/2021

Open for all UnRAVeL Members: 1st EBN VIRTUAL CONFERENCE
18/11/2021

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

Guest Talk: Dana Fisman: Learning languages of infinite words
10/11/2021

Bi-Weekly Talk: Fabian Meyer: Termination and Complexity Analysis of Probabilistic Programs
04/11/2021

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

UnRAVeL Applicationtalks
02/11/2021

Open for all UnRAVeL Members: RWTH Diversity Days
27/10/2021

Bi-Weekly Talk: Eran Rosenbluth: The Solidarity Cover Problem
26/10/2021

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

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

Open for all UnRAVeL Members: Informatics Europe Web-Seminar: SMT Solving: Past, Present and Future
14/10/2021

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

Graduate Seminar: Martin Ritzert: Learning on Graphs with Logic and Neural Networks
21/09/2021

Guest Talk: Martin Ziegler: Computer Science of Continuous Data
13/09/2021

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

Informatik-Oberseminar: Vipin Ravindran Vijayalakshmi: Selfishness in Strategic Resource Allocation Problems
26/08/2021

PromotionsCAFÉ: How you can do what you really want - More personal freedom through financial independence
24/08/2021

Graduate Seminar: Peter Lindner: The Theory of Infinite Probabilistic Databases
19/08/2021

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

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Regularity for optimal transportation and application to the matching problem
11/08/2021

Bi-Weekly Talk: Dennis Fischer: The bilevel bottleneck assignment problem
29/07/2021

Survey Lecture: canceled -Ringvorlesung: Gerhard Woeginger: Bilevel optimization
28/07/2021

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

Graduate Seminar: Richard Wilke: Reasoning about Dependence and Independence: Teams and Multiteams
22/07/2021

Survey Lecture: Ulrike Meyer: Malware Detection - A story on how a research topic evolved
08/07/2021

Survey Lecture: Christina Büsing: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
01/07/2021

Survey Lecture: Joost-Pieter Katoen: The Surprises of Probabilistic Termination
01/07/2021

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

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Trajectorial Otto calculus
30/06/2021

Bi-Weekly Talk: Alexander Bork: Underapproximations for Indefinite-Horizon POMDPs
24/06/2021

Survey Lecture: Gerhard Lakemeyer: Uncertainty in Robotics
18/06/2021

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

Survey Lecture: Nils Nießen: Optimised Maintenance of Railway Infrastructure
17/06/2021

Guest Talk: Raphaël Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
16/06/2021

Bi-Weekly Talk: Termination of Probabilistic Programs via PTRS
15/06/2021

Guest Talk: Daniel Neider: Horn-ICE Learning: An Inductive Approach to Deductive Software Verification
10/06/2021

Survey Lecture: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory
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
08/06/2021

Special Event: Movie "Picture the Scientist"
01/06/2021

Joint Meeting of the German RTGs in Computer Science: DFG Funding Opportunities for Early Career Researchers (requested talk by DFG)
01/06/2021

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Computation in Finite Model Theory: Symmetric Algorithms and their Limitations
20/05/2021

Survey Lecture: Martin Grohe: The Logic of Graph Neural Networks
20/05/2021

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

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

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

PromotionsCAFÉ: Das Lesen der Anderen - User-Tracking auf Verlagsplattformen
12/05/2021

Guest Talk: Mirco Giacobbe: Neural Termination Analysis
11/05/2021

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Semiring Provenance for LFP and Strategy Analysis of Büchi Games
07/05/2021

Graduate Seminar: Martin Comis
06/05/2021

Survey Lecture: Christof Löding: Learning Automata for Infinite Words
06/05/2021

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Fast computations of Wasserstein gradient flows
05/05/2021

Bi-Weekly Talk: Komal Muluk: On the complexity of singly connected vertex deletion
29/04/2021

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

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

Application Talk: Niklas Kotowski
22/04/2021

Survey Lecture: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs
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
21/04/2021

Bi-Weekly Talk: Stephan Zieger: The Dial-a-Ride Problem in Railways
20/04/2021

Open for all UnRAVeL Members: 2nd Springer Nature Webinar for authors - Information on the German DEAL agreement
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
15/04/2021

Survey Lecture: Erika Ábrahám: Probabilistic Hyperproperties
15/04/2021

PromotionsCAFÉ: Quo vadis, Doctor? nach der Promotion zu DLR
13/04/2021

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

Bi-Weekly Talk and Moves Seminar: Tobias Winkler
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
07/04/2021

Bi-Weekly Talk: Katharina Eickhoff: Integer Programming Formulations for the Burning Number Problem
24/03/2021

Bi-Weekly Talk: Martin Comis: Robust strategic planning for mobile medical units with steerable and unsteerable demands
10/03/2021

Bi-Weekly Talk: Joshua Moerman: Weighted Register Automata
24/02/2021

Open for all UnRAVeL-members: Computer Science Colloquium: Operational Planning for Mobile Medical Units
24/02/2021

Bi-Weekly Talk: Tabea Krabs: One transfer per patient suffices: Structural insights about patient-to-room assignment
18/02/2021

Graduate Seminar: Anton Pirogov: Automata-theoretic techniques for probabilistic verification
17/02/2021

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

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

Bi-Weekly Talk: Jip Spel: Finding Provably Optimal Markov Chains
27/01/2021 - 28/01/2021

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

Guest Talk: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy
06/01/2021

Guest Talk: Benny Kimelfeld: Probabilistic Databases: Variations, Computations, Implications
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
16/12/2020

Bi-Weekly Talk: Tim Seppelt: How Indistinguishable are Cospectral Graphs? Weisfeiler–Leman, Graph Spectra, and Graph Powers
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
09/12/2020

Internal UnRAVeL workshop
02/12/2020

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

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Salomon Sickert-Zehnter: An Efficient Normalisation Procedure for Linear Temporal Logic
26/11/2020

PromotionsCAFÉ: Scientific publishing is hacked
26/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: The geometry of weakly regular isometric immersions
24/11/2020

Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Moshe Y. Vardi: A logical revolution
20/11/2020

Open for all UnRAVeL Members: Sebastian Pokutta
19/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: On the structure of divergence-free vector measures on the plane
18/11/2020

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

Open for all UnRAVeL Members: Webinar by GRK 2193: Adaption Intelligence of Factories
12/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Symplectic field theory and topological entropy in Hamiltonian systems
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
05/11/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: K-convergence of numerical solutions of the Euler equations
04/11/2020

Guest Talk: Gabriele Kern-Isberner: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning
30/10/2020

Graduate Seminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
27/10/2020

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

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

Guest Talk: Michael Schaub: Learning from signals on graphs with unobserved edges
15/10/2020

Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: Finding solutions of the multi-dimensional compressible Euler equations
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
14/09/2020 - 18/09/2020

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

Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic
26/08/2020

Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs
12/08/2020

Bi-Weekly Talk: Janosch Fuchs: Graph Exploration Revisited
06/08/2020

Open for all UnRAVeL-members: Joost-Pieter Katoen: MOVES Seminar Automated Termination Analysis of Polynomial Probabilistic Programs
30/07/2020

Good scientific practice: Course “good scientific practice”
28/07/2020

Guest Talk: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
15/07/2020

Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics
17/06/2020

Good scientific practice: Erika Ábrahám: Behind the scenes: Review processes for publications
17/06/2020

Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself
09/06/2020

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

Special Event: Online Meeting: Meeting of the German Computer Science Research Training Groups
04/06/2020

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

Bi-Weekly Talk: Vipin Vijayalakshmi: Scheduling Games with Machine-Dependent Priority Lists
27/05/2020

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

Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata
06/05/2020

Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks
21/04/2020 - 21/04/2020

Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
20/04/2020 - 22/04/2020

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

Guest Talk: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
11/03/2020 - 12/03/2020

Cancelled: Special Event: Workshop on "Integer and Combinatorial Optimization"
09/03/2020

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

Open for all UnRAVeL-members: Workshop on Projekt ROSI (Referenzimplementierung für offene szientometrische Indikatoren)
04/03/2020

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

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

Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems
18/02/2020

Guest Talk: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
14/02/2020

Guest Talk: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance
13/02/2020

Computer Science Graduate Seminar: Sebastian Junges: Parameter Synthesis in Markov Models
13/02/2020

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

Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
24/01/2020

Regular's Table
22/01/2020

PromotionsCafé Minorities in Social Networks
07/01/2020

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

Special Event: UnRAVeL New Year Reception
18/12/2019

Special Event: Exchangevisit for the students from Cachan
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
09/12/2019

Guest Talk: An NLOG fragment of inclusion logic
05/12/2019

Open for all UnRAVeL-members: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter
27/11/2019

Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs
26/11/2019

Guest Talk: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs
20/11/2019

Guest Talk: Prof. Lenore Zuck
13/11/2019

Regular's Table: Café & Bar Zuhause
13/11/2019

Bi-Weekly Talk: Till Hofmann
11/11/2019

Presentation for UnRAVeL application: Christoph Grüne
06/11/2019

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

Bi-Weekly Talk: Björn Tauer: Waiting for Trains: Complexity Results
29/10/2019

Guest Talk: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
23/10/2019

Special Event: Introduction to Category Theory Block Seminar
16/10/2019

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

Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables
02/10/2019

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

Guest Talk: Tom van Dijk: Tangles and Distractions in Parity Games
25/09/2019

Informatik-Oberseminar
18/09/2019

Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time
05/09/2019

Guest Talk: Ji Guan: Model Checking Applied to Quantum Physics
03/09/2019

Guest Talk: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
26/08/2019

MFCS 2019: Kavitha Telikepalli: Popular Matchings: Good, Bad, and Mixed
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: Kurt Mehlhorn: Trustworthy Graph Algorithms
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
21/08/2019

Bi-Weekly Talk: Matthias Volk and Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
07/08/2019

Bi-Weekly Talk: Dennis Fischer: The Recoverable Robust Assignment Problem
31/07/2019

PromotionsCafé: Meine erste Steuererklärung
24/07/2019

Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic?
10/07/2019

Bi-Weekly Talk: Martin Comis & Tabea Krabs: Minimum Color-Degree Perfect b -Matchings
09/07/2019

PromotionsCafé: Geschlecht und Transition
04/07/2019

Survey Lecture: Applications of Privacy-Preserving Protocols
27/06/2019

CANCELLED: Survey Lecture: How to Win Games that Never End?
26/06/2019

Bi-Weekly Meeting: Guided Tour through CAVE
16/06/2019 - 19/06/2019

Special Event: Meeting of the German Computer Science Research Training Groups
12/06/2019

Bi-Weekly Talk: Reasoning about uncertainty
06/06/2019

Survey Lecture: Competitive Analysis of Online Algorithms
29/05/2019

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

Guest Talk: Guy Avni: Graph games in Shielding and in Bidding
23/05/2019

Survey Lecture: Automatic Train Protection und Control Systems
16/05/2019

Survey Lecture: Static and Dynamic Network flows under Uncertainties
15/05/2019

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

Survey Lecture: Uncertainty in Databases
09/05/2019

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

Open for all UnRAVeL-members: Artificial Intelligence: Chances and Risks
02/05/2019

Survey Lecture: Logics of Dependence and Independence
26/04/2019

Guest Talk: The role of Mathematical Optimization to enhance Interpretability in Data Science
25/04/2019

Guest Talk: Anytime Approximation in Probabilistic Databases via Scaled Dissociations
18/04/2019

Survey Lecture: Expressing and Verifying Probabilistic Hyperproperties
17/04/2019

Bi-Weekly Talk: Exploring Sparse Graphs with Advice
11/04/2019

Survey Lecture: Termination and Complexity Analysis for Programs
09/04/2019

Open for all UnRAVeL-members: Computer Science Colloquium: AI for Good
04/04/2019

Survey Lecture: Programs That Every Now and Then Flip Coins
03/04/2019

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

Bi-Weekly Talk by Vipin Ravindran VijayalakshmiBi-Weekly Talk by Vipin Ravindran Vijayalakshmi: Always be Two Steps Ahead of Your Enemy
18/03/2019

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

Spring Workshop: Monschau
27/02/2019

PromotionsCafé: financial planning
26/02/2019

Guest Talk: On the Complexity of Value Iteration
21/02/2019

Good scientific practice: Information meeting: DFG funding oppertunities
20/02/2019

Bi-Weekly Talk: Provenance Analysis for Guarded Logics
08/02/2019

Computer Science Graduate Seminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
30/01/2019

Guest Talk: Computation and Improvement of Wardop Equilibria with Unknown Demands
23/01/2019

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

Bi-Weekly Talk: Guided Tour through ELVA
04/12/2018

Guest Talk: Verification and Strategy Synthesis for Stochastic Games
28/11/2018

Special Event: Movie - THE CLEANERS
28/11/2018

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

Special Event: Reopening of the Railway Technical Training and Test Facility (ELVA)
20/11/2018

Guest Talk: Development of Dependable Autonomous Robots
19/11/2018

Guest-Talk: Sebastian Arming:Parameter-Independent Strategies for pMDPs
14/11/2018

Good scientific practice: Research Data Management
07/11/2018

Guest Talk: Almost Sure Productivity
24/10/2018

Guest Talk: Strategical Timetable Planning
23/10/2018

Guest Talk: Polyregular functions
17/10/2018

Bi-Weekly Talk: A Multiobjective Approach to Hospital Patient to Room Assignment
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
13/09/2018

Regulars Table: Guiness House
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
09/08/2018

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

PromotionsCafé: Going Abroad - Challenges and Experiences
08/08/2018

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

Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments
25/07/2018

Special Event: Opening of UnRAVeL Room
25/07/2018

Bi-Weekly Talk: Sebastian Junges und Dennis Fischer
23/07/2018

Guest talk: Sensitivity of probabilistic programs
12/07/2018

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

Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption
05/07/2018

Survey Lecture: Probabilistic Robotics
04/07/2018

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

Survey Lecture: Probabilistic Hybrid Systems
27/06/2018

Bi-Weekly Talk: Quantitative Separation Logic
26/06/2018

Guest Talk: Nash Flows with Spillback
26/06/2018

Open to UnRAVeL-members: EU Regional School - Fonnesbeck Seminar
21/06/2018

Survey Lecture: Uncertainty and Randomness in Railway Operations Research
14/06/2018

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

Presentation: Jip Spel
12/06/2018

EU Regional School - Hennig Seminar
07/06/2018

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

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

Gastvortrag: Learning-Based Techniques for the Verification of Partially-Specified MDPs
23/05/2018

Guest Talk: Formal verification and learning of complex systems
17/05/2018

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

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

Survey Lecture: Logic and Languages
02/05/2018

Bi-Weekly Talk: Introduction to Online Algorithms with Advice
26/04/2018

Survey Lecture: Dynamic Network Flows
26/04/2018

Girl'sDay
19/04/2018

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

Bi-Weekly Talk: An Introduction To ω-Automata
12/04/2018

Ringvorlesung: Competitive Analysis of Online Algorithms
04/04/2018

Bi-Weekly Talk: Competitive Packet Routing: How mistrusting harms performance
04/04/2018

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

Spring Workshop: Rolduc
21/02/2018

Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence
21/02/2018

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

Guest Talk: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
14/02/2018

Presentation for UnRAVeL application: Katrin Dannert
07/02/2018

PromotionsCafé: Tolerance for Diversity... Welcome to the Real World!
07/02/2018

Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs
31/01/2018

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

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

Talk: abc-Optimization
22/01/2018

Talk: Technical innovations in the railway sector „SmartRail“
10/01/2018

Presentation for UnRAVeL application: Stephan Zieger
10/01/2018

Presentation for UnRAVeL application: Rebecca Haehn
20/12/2017

Guest Talk: Maurice van Keulen: Probabilistic Data Integration – Dealing with data quality issues in data integration
18/12/2017

Presentation for UnRAVeL application: Fatima Ezzahra El Orche
14/12/2017

Computer Science Graduate Seminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments
14/12/2017

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

Talk: Rail Traffic Planning and Capacity Analysis
07/12/2017

Guest Talk: Motion Planning under Uncertainty and Partial Observability
07/12/2017

Guest Talk: Ordered Nominal Sets and Automata
29/11/2017

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

Guest Talk: Probabilistic Databases - Managing uncertainty in data
15/11/2017

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

Talk: Proving almost-sure termination with non-ranking super martingales
10/11/2017

Social Event: UnRAVeL Kickoff
11/10/2017

Bi-weekly Meeting: Stips and Kolls only: first acquaintance
- 19/07/2023

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

Turn Page

Sie sind auf Seite:1-388

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 - 388 of 388 Results

Footer

RWTH

Services

Social Media

Institutions

h1

h2

h3

h4

h5

h6

You Are Here:

Archive of Events

Showing 1 - 388 of 388 Results

Turn Page

Turn Page

Footer

RWTH

Services

Social Media

Institutions