Veranstaltungsarchiv

Treffer 1 - 364 von 364 Ergebnissen

Seitenweise anzeigen

Blättern

Sie sind auf Seite:1-364

Datum

Veranstaltung
21.03.2023

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

Abgesagt: Für interessierte UnRAVeL Mitglieder: Information & Networking for Young Researchers
20.04.2020 - 22.04.2020

Abgesagt: Special Event: Treffen mit Austrian RTG VLCA (Vienna Center for Logic and Algorithms)
11.03.2020 - 12.03.2020

Abgesagt: Special Event: Workshop zum Thema "Integer and Combinatorial Optimization"
23.04.2021

Application Talk: Niklas Kotowski
20.12.2021

Application Talk: Vincent Grande
11.12.2019

Bi-Weekly Gastvortrag: Florian Schanzenbächer: Feedback control for metro lines with a junction, based on a discrete event traffic model of the train dynamics
26.06.2019

Bi-Weekly Meeting: Besuch der CAVE
17.05.2023

Bi-Weekly Meeting: Carolina Gerlach
31.05.2023

Bi-Weekly Meeting: Research Speed Dating
07.12.2022

Bi-Weekly Meeting: Research Speed Dating Christmas Edition
20.03.2019

Bi-Weekly Talk by Vipin Ravindran Vijayalakshmi: Always be Two Steps Ahead of Your Enemy
13.04.2021

Bi-Weekly Talk und Moves Seminar: Tobias Winkler
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....
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
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
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
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 und 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
08.08.2018

Bi-Weekly Talk: vFlowpipe construction-based reachability analysis for the safety verification of hybrid systems
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 - Gastvortrag: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
27.06.2019

CANCELLED: Ringvorlesung: How to Win Games that Never End?
12.06.2018

EU Regional School - Hennig Seminar
30.05.2022 - 01.06.2022

Frühlingsworkshop: Bloemendal
06.03.2019 - 08.03.2019

Frühlingsworkshop: Monschau
12.03.2018

Frühlingsworkshop: Rolduc
22.11.2021 - 23.11.2021

Für interessierte UnRAVel Mitglieder: 1st EBN VIRTUAL CONFERENCE
20.04.2021

Für interessierte UnRAVeL Mitglieder: 2nd Springer Nature Webinar for authors - Information on the German DEAL agreement
18.03.2019

Für interessierte UnRAVel Mitglieder: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019
21.01.2022

Für interessierte UnRAVel Mitglieder: Christoph Standke: Probabilistic Query Evaluation with Bag Semantics
26.10.2021

Für interessierte UnRAVel Mitglieder: DFG-Förderangebote für die wissenschaftliche Karriere
19.04.2021

Für interessierte UnRAVeL Mitglieder: Digital EU-Career Workshop von ICT & MTE: EU-Careers: An Insight into Research Programs, Grants and Projects
21.04.2023

Für interessierte UnRAVeL Mitglieder: ERS Guest Talk: Prof. Nobuhiro Yoshikawa: Digital Transformation (DX) for Developing CFRP Tank - Design, Manufacturing and Inspection
14.09.2020 - 18.09.2020

Für interessierte UnRAVel Mitglieder: Highlights of Logic, Games and Automata 2020
21.10.2021

Für interessierte UnRAVel Mitglieder: Informatics Europe Web-Seminar: SMT Solving: Past, Present and Future
09.04.2019

Für interessierte UnRAVel Mitglieder: Informatik Kolloquium: AI for Good
24.02.2021

Für interessierte UnRAVel Mitglieder: Informatik Kolloquium: Operational Planning for Mobile Medical Units
06.08.2020

Für interessierte UnRAVel Mitglieder: Joost-Pieter Katoen: MOVES Seminar Automated Termination Analysis of Polynomial Probabilistic Programs
12.05.2023

Für interessierte UnRAVeL Mitglieder: Kickoff Research Colloquium of the Center for Algorithmics and Optimization
06.05.2019

Für interessierte UnRAVel Mitglieder: Künstliche Intelligenz: Chancen und Risiken
14.11.2022

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

Für interessierte UnRAVel Mitglieder: MOVES Seminar: Gradient-Descent for Randomized Controllers under Partial Observability
27.01.2022

Für interessierte UnRAVel Mitglieder: MOVES Seminar: Marcel Moosbrugger: Probabilistic Program Analysis using Algebraic Recurrences
18.05.2021

Für interessierte UnRAVeL Mitglieder: Online Workshop: Wege in der Wissenschaft - Fördermöglichkeiten und Karrierewege
01.06.2021

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Computation in Finite Model Theory: Symmetric Algorithms and their Limitations
26.04.2022

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

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Frank Wolter: Separating Positive and Negative Data Examples in the Presence of an Ontology
27.10.2020

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Guillermo Alberto Perez: Revisiting Synthesis for One-Counter Automata
24.11.2020

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Moshe Y. Vardi: A logical revolution
13.04.2021

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Rafael Peñaloza: Semiring-based Provenance for Light-weight Description Logics
02.02.2021

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Robin Hirsch: Relation algebra, games, representations, constraints
01.12.2020

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Salomon Sickert-Zehnter: An Efficient Normalisation Procedure for Linear Temporal Logic
27.04.2021

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Semiring Extension of Answer Set Programs and Sum-of-Product Problems
11.05.2021

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Semiring Provenance for LFP and Strategy Analysis of Büchi Games
10.11.2020

Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Wojciech Czerwinski: Tower-hardness of the reachability problem for Vector Addition Systems
27.01.2021 - 28.01.2021

Für interessierte UnRAVeL Mitglieder: RTG Computational Cognition: workshop on deep reinforcement learning
20.11.2020

Für interessierte UnRAVeL Mitglieder: Sebastian Pokutta
09.05.2019

Für interessierte UnRAVel Mitglieder: Seminar: Wie schreibe ich einen Fachartikel für IEEE
02.11.2021

Für interessierte UnRAVel Mitglieder: Tage der Vielfalt der RWTH
07.12.2021 - 07.12.2021

Für interessierte UnRAVel Mitglieder: Talk at QuantLA by Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
03.05.2023

Für interessierte UnRAVeL Mitglieder: Talk: Andrzej Wasowski
06.11.2019

Für interessierte UnRAVeL Mitglieder: Vortrag von Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen für die Massen?“
16.11.2020

Für interessierte UnRAVeL Mitglieder: Webinar by GRK 2193: Adaption Intelligence of Factories
22.10.2021

Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Dynamische Virtualisierungen für eine effiziente und ganzheitliche Fabrikplanung
28.07.2021

Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Industrialisierung der Software-Generierung: Anwendungen von Software-Synthese in Fabrikplanung & Logistik
19.08.2021

Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Modellbasierte Anpassungsplanung von Fertigungsprozessen
13.09.2021

Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Planung unter Unsicherheit: Sequenzialisierung und Pfadplanung
01.07.2021

Für interessierte UnRAVel Mitglieder: Webinarreihe von dem GRK 2193: Die Fabrik im digitalen Zeitalter: Organisation technischer Dienstleistungen
13.12.2021

Für interessierte UnRAVel Mitglieder: Webinarreihe von dem GRK 2193: Live-Demo: Gestaltung eines wandlungsfähigen und dezentral organisierten Produktionssystems
18.11.2021

Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: A free boundary problem arising in a model of cell polarization
08.04.2021

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors
17.12.2020

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors
20.05.2021

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Entropy satisfying multi well-balanced schemes for shallow water type systems
06.05.2021

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Fast computations of Wasserstein gradient flows
15.10.2020

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Finding solutions of the multi-dimensional compressible Euler equations
05.11.2020

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: K-convergence of numerical solutions of the Euler equations
14.10.2021

Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: On Neural Differential Equations
10.06.2021

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: On the sticky particle solutions to the pressureless Euler system in general dimension
19.11.2020

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: On the structure of divergence-free vector measures on the plane
27.01.2022

Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: On the Structure of Moment Equations in Kinetic Theory
04.11.2021

Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: Optimal control problems and the turnpike property
22.04.2021

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Phase-Field Gradient Theory: the geometry of gradient flows and its configuration mechanics
19.08.2021

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Regularity for optimal transportation and application to the matching problem
20.01.2022

Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: Singular harmonic maps from planar domains into manifolds through Ginzburg–Landau and p–harmonic relaxations
13.01.2022

Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: Statistical inverse problems and affine-invariant gradient flow structures in the space of probability measures
12.11.2020

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Symplectic field theory and topological entropy in Hamiltonian systems
26.11.2020

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: The geometry of weakly regular isometric immersions
01.07.2021

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Trajectorial Otto calculus
27.05.2020

Für interessierte UnRAVeL Mitglieder: Wege in der Wissenschaft - Fördermöglichkeiten und Karrierewege in der Postdoc-Phase
05.12.2019

Für interessierte UnRAVeL Mitglieder: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter
09.06.2020

Für interessierte UnRAVeL Mitglieder: Workshop „Gamification und Mixed Reality für Lehrende in den Ingenieurwissenschaften“
04.06.2020

Für interessierte UnRAVeL Mitglieder: Workshop „Kollaborativ interdisziplinär – Gestaltung effektiver interdisziplinärer Zusammenarbeit“
04.03.2020

Für interessierte UnRAVeL Mitglieder: Workshop zum Projekt ROSI (Referenzimplementierung für offene szientometrische Indikatoren)
14.02.2020

Gastvortrag: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance
07.11.2018

Gastvortrag: Almost Sure Productivity
09.12.2019

Gastvortrag: An NLOG fragment of inclusion logic
25.04.2019

Gastvortrag: Anytime Approximation in Probabilistic Databases via Scaled Dissociations
06.01.2021

Gastvortrag: Benny Kimelfeld: Probabilistic Databases: Variations, Computations, Implications
08.12.2021

Gastvortrag: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties
26.11.2019

Gastvortrag: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs
17.05.2022

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

Gastvortrag: Computation and Improvement of Wardop Equilibria with Unknown Demands
16.11.2021

Gastvortrag: Dana Fisman: Learning languages of infinite words
15.06.2021

Gastvortrag: Daniel Neider: Horn-ICE Learning: An Inductive Approach to Deductive Software Verification
28.11.2018

Gastvortrag: Data generation for programming by example
20.11.2018

Gastvortrag: Development of Dependable Autonomous Robots
29.05.2019

Gastvortrag: Florent Delgrange: Life is Random, Time is Not: Markov Decision Processes with Window Objectives
23.05.2018

Gastvortrag: Formal verification and learning of complex systems
14.03.2023

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

Gastvortrag: Gabriele Kern-Isberner: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning
25.11.2022

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

Gastvortrag: Guy Avni: Graph games in Shielding and in Bidding
07.10.2020

Gastvortrag: Guy Van den Broeck: From Probabilistic Circuits to Probabilistic Programs and Back
23.09.2020

Gastvortrag: Jan Hoffmann: Raising Expectations: Automating Expected Cost Analysis with Types
13.02.2020

Gastvortrag: Javier Esparza: Black Ninjas in the Dark: Analyzing Population Protocols.
01.12.2021

Gastvortrag: Jean-Francois Raskin
05.09.2019

Gastvortrag: Ji Guan: Model Checking Applied to Quantum Physics
17.11.2022

Gastvortrag: Joël Ouaknine: The Skolem Landscape
19.02.2018

Gastvortrag: Justin Hsu: From Couplings to Probabilistic Relational Program Logics
02.12.2020

Gastvortrag: Kuldeep Meel: Sparse Hashing for Scalable Approximate Model Counting: When Theory and Practice Finally Meet
24.05.2018

Gastvortrag: Learning-Based Techniques for the Verification of Partially-Specified MDPs
07.01.2020

Gastvortrag: Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
13.01.2021

Gastvortrag: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy
03.04.2023

Gastvortrag: Mahsa Shirmohammadi: Stochastic games and strategy complexity
09.02.2022

Gastvortrag: Maria Hilvert: Did you invent something? – Computerimplemented invention disclosure, patents and what to consider upfront
19.05.2021

Gastvortrag: Marta Kwiatkowska: Probabilistic model checking for strategic equilibria-based decision making
21.09.2021

Gastvortrag: Martin Ziegler: Computer Science of Continuous Data
20.12.2017

Gastvortrag: Maurice van Keulen: Probabilistic Data Integration – Dealing with data quality issues in data integration
21.10.2020

Gastvortrag: Michael Schaub: Learning from signals on graphs with unobserved edges
16.05.2018

Gastvortrag: Milan Češka:Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection Abstract
12.05.2021

Gastvortrag: Mirco Giacobbe: Neural Termination Analysis
07.12.2017

Gastvortrag: Motion Planning under Uncertainty and Partial Observability
26.06.2018

Gastvortrag: Nash Flows with Spillback
07.07.2022

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

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

Gastvortrag: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
26.02.2019

Gastvortrag: On the Complexity of Value Iteration
07.12.2017

Gastvortrag: Ordered Nominal Sets and Automata
24.11.2022

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

Gastvortrag: Polyregular functions
23.11.2017

Gastvortrag: Probabilistic Databases - Managing uncertainty in data
29.10.2019

Gastvortrag: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
20.11.2019

Gastvortrag: Prof. Lenore Zuck
17.06.2021

Gastvortrag: Raphaël Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
29.03.2022

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

Gastvortrag: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
19.11.2018

Gastvortrag: Sebastian Arming:Parameter-Independent Strategies for pMDPs
23.05.2023

Gastvortrag: Sebastian Kassing: On the existence of minimizers in neural network optimisation landscapes
23.07.2018

Gastvortrag: Sensitivity of probabilistic programs
29.05.2018

Gastvortrag: Simulating and analyzing autonomous taxis in the agent-based transport simulation MatSim -- an overview about existing work
24.10.2018

Gastvortrag: Strategical Timetable Planning
26.04.2019

Gastvortrag: The role of Mathematical Optimization to enhance Interpretability in Data Science
12.03.2020

Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
01.10.2019

Gastvortrag: Tom van Dijk: Tangles and Distractions in Parity Games
24.11.2021

Gastvortrag: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
04.12.2018

Gastvortrag: Verification and Strategy Synthesis for Stochastic Games
28.07.2020

Gastvortrag: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
07.10.2022

Gedenkfeier zu Ehren von Gerhard Wöginger
28.04.2022 - 28.04.2022

Girls‘ Day 2022
26.04.2018

Girl'sDay - Mädchen-Zukunftstag
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: Informationsveranstaltung über die Förderprogramme der DFG
14.11.2018

Good scientific practice: Research Data Management
09.11.2022

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

Informatik Oberseminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
03.03.2020

Informatik Oberseminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability
13.02.2020

Informatik Oberseminar: Sebastian Junges: Parameter Synthesis in Markov Models
21.02.2018

Informatik Oberseminar: Stefan Wüller: Privacy-Preserving Electronic Bartering
25.09.2019

Informatik-Oberseminar
21.11.2022

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

Informatik-Oberseminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments
26.08.2022

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

Informatik-Oberseminar: Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
23.09.2021

Informatik-Oberseminar: Martin Ritzert: Learning on Graphs with Logic and Neural Networks
28.04.2022

Informatik-Oberseminar: Matthias Volk
24.08.2021

Informatik-Oberseminar: Peter Lindner: The Theory of Infinite Probabilistic Databases
21.10.2022

Informatik-Oberseminar: Rebecca Haehn
23.07.2021

Informatik-Oberseminar: Richard Wilke: Reasoning about Dependence and Independence: Teams and Multiteams
06.09.2021

Informatik-Oberseminar: Vipin Ravindran Vijayalakshmi: Selfishness in Strategic Resource Allocation Problems
07.06.2022 - 10.06.2022

INOC offen für alle UnRAVeL Mitglieder
09.12.2020

Interner 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)
07.05.2021

Mathematik Oberseminar: Martin Comis
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
18.02.2021

Oberseminar: Anton Pirogov: Automata-theoretic techniques for probabilistic verification
30.10.2020

Oberseminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
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
14.12.2017

Präsentation: Daxin Liu
18.12.2017

Präsentation: Fatima Ezzahra El Orche
13.06.2018

Präsentation: Jip Spel
14.02.2018

Präsentation: Katrin Dannert
10.01.2018

Präsentation: Rebecca Haehn
31.01.2018

Präsentation: Shahid Khan
10.01.2018

Präsentation: Stephan Zieger
11.11.2019

Presentation for UnRAVeL application: Christoph Grüne
21.10.2020

PromotionsCAFÉ - Gutes besser tun?! Eine kurze Einführung in den Effektiven Altruismus
22.01.2020

PromotionsCafé Minorities in Social Networks
27.02.2019

PromotionsCafé Strategische Finanzplanung
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
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!
04.07.2019

Ringvorlesung: Applications of Privacy-Preserving Protocols
23.05.2019

Ringvorlesung: Automatic Train Protection und Control Systems
10.06.2021

Ringvorlesung: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory
29.07.2021

Ringvorlesung: canceled - Gerhard Woeginger: Bilevel optimization
14.06.2022

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

Ringvorlesung: Christina Büsing: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints
27.04.2023

Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units
06.05.2021

Ringvorlesung: Christof Löding: Learning Automata for Infinite Words
06.06.2019

Ringvorlesung: Competitive Analysis of Online Algorithms
12.04.2018

Ringvorlesung: Competitive Analysis of Online Algorithms
19.04.2018

Ringvorlesung: Computing on Encrypted Data
26.04.2018

Ringvorlesung: Dynamic Network Flows
29.04.2021

Ringvorlesung: Erich Grädel: Hidden Variables in Quantum Mechanics and Logics of Dependence and Independence
13.04.2023

Ringvorlesung: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking
15.04.2021

Ringvorlesung: Erika Ábrahám: Probabilistic Hyperproperties
18.04.2019

Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties
24.06.2021

Ringvorlesung: Gerhard Lakemeyer: Uncertainty in Robotics
12.07.2018

Ringvorlesung: How to Win Games that Never End?
01.07.2021

Ringvorlesung: Joost-Pieter Katoen: The Surprises of Probabilistic Termination
22.04.2021

Ringvorlesung: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs
25.05.2023

Ringvorlesung: Jürgen Giesl: Proving Termination with Dependency Pairs
03.05.2018

Ringvorlesung: Logic and Languages
02.05.2019

Ringvorlesung: Logics of Dependence and Independence
20.05.2021

Ringvorlesung: Martin Grohe: The Logic of Graph Neural Networks
20.04.2023

Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME
06.04.2023

Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges
11.05.2023

Ringvorlesung: Nils Nießen: Can Trains Be on Time?
17.06.2021

Ringvorlesung: Nils Nießen: Optimised Maintenance of Railway Infrastructure
28.06.2018

Ringvorlesung: Probabilistic Hybrid Systems
05.07.2018

Ringvorlesung: Probabilistic Robotics
04.04.2019

Ringvorlesung: Programs That Every Now and Then Flip Coins
17.05.2018

Ringvorlesung: Programs That Every Now and Then Flip Coins
07.06.2018

Ringvorlesung: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information
04.05.2023

Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning
16.05.2019

Ringvorlesung: Static and Dynamic Network flows under Uncertainties
11.04.2019

Ringvorlesung: Termination and Complexity Analysis for Programs
14.06.2018

Ringvorlesung: Termination and Complexity Analysis for Programs
22.07.2021

Ringvorlesung: Ulrike Meyer: Malware Detection - A story on how a research topic evolved
21.06.2018

Ringvorlesung: Uncertainty and Randomness in Railway Operations Research
09.05.2019

Ringvorlesung: Uncertainty in Databases
10.11.2017

Social Event: UnRAVeL Kickoff
18.12.2019

Special Event: Austauschbesuch der Studierenden aus Cachan
23.10.2019

Special Event: Introduction to Category Theory Block Seminar
28.11.2018

Special Event: Kino - THE CLEANERS
08.06.2021

Special Event: Movie "Picture the Scientist"
07.06.2020 - 10.06.2020

Special Event: Online Meeting: Vernetzungstreffen Dagstuhl 2020
25.07.2018

Special Event: Opening of UnRAVeL Room
06.01.2020

Special Event: UnRAVeL Neujahrsempfang
16.06.2019 - 19.06.2019

Special Event: Vernetzungstreffen der deutschen Informatik-GRKs in Dagstuhl
27.11.2018

Special Event: Wiedereröffnung der Eisenbahntechnischen Lehr- und Versuchsanlage (ELVA)
17.06.2020

Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself
21.04.2020 - 21.04.2020

Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference
24.01.2020

Stammtisch
13.11.2019

Stammtisch: Café & Bar Zuhause
16.10.2019

Stammtisch: Café & Bar Zuhause
09.08.2018

Stammtisch: Café & Bar Zuhause
13.09.2018

Stammtisch: Guiness House
28.06.2022

Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
24.05.2022

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
05.07.2022

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

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

Survey Lecture: Martin Grohe: Graph Representations Based on Homomorphisms
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
21.06.2022

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

UnRAVeL Application Talk
21.01.2022

UnRAVeL Application Talks
18.01.2022

UnRAVeL Application Talks
03.11.2021

UnRAVeL Applicationtalks
11.01.2023

UnRAVeL Participation Meeting
23.01.2018

Vortrag: abc-Optimierung
15.11.2017

Vortrag: Challenges in the RoboCup Logisitics League (RCLL)
29.11.2017

Vortrag: Parameter Synthesis in Probabilistic Model Checking
15.11.2017

Vortrag: Proving almost-sure termination with non-ranking super martingales
13.12.2017

Vortrag: Rail Traffic Planning and Capacity Analysis
29.01.2018

Vortrag: Technical and organizational challenges of the „Stuttgart 21“ construction project
22.01.2018

Vortrag: Technical innovations in the railway sector „SmartRail“
11.10.2017

Zweiwöchentliches Treffen: erstes Kennenlernen

Blättern

Sie sind auf Seite:1-364

h1

h2

h3

h4

h5

h6

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Fakultäten und Einrichtungen

RWTH

Fakultäten und Institute

Institut suchen:

Einrichtungen

Navigation

Auflistung verfeinern

Zeitraum

Veranstaltungsarchiv

Treffer 1 - 364 von 364 Ergebnissen

Footer

RWTH

Service

Soziale Medien

Einrichtungen

h1

h2

h3

h4

h5

h6

Sie sind hier:

Veranstaltungsarchiv

Treffer 1 - 364 von 364 Ergebnissen

Blättern

Blättern

Footer

RWTH

Service

Soziale Medien

Einrichtungen