Veranstaltungsarchiv

Treffer 1 - 388 von 388 Ergebnissen

Seitenweise anzeigen

Blättern

Sie sind auf Seite:1-388

Datum

Veranstaltung
- 19.07.2023

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

Zweiwöchentliches Treffen: erstes Kennenlernen
10.11.2017

Social Event: UnRAVeL Kickoff
15.11.2017

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

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

Gastvortrag: Probabilistic Databases - Managing uncertainty in data
29.11.2017

Vortrag: Parameter Synthesis in Probabilistic Model Checking
07.12.2017

Gastvortrag: Ordered Nominal Sets and Automata
07.12.2017

Gastvortrag: Motion Planning under Uncertainty and Partial Observability
13.12.2017

Vortrag: Rail Traffic Planning and Capacity Analysis
14.12.2017

Präsentation: Daxin Liu
14.12.2017

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

Präsentation: Fatima Ezzahra El Orche
20.12.2017

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

Präsentation: Rebecca Haehn
10.01.2018

Präsentation: Stephan Zieger
22.01.2018

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

Vortrag: abc-Optimierung
29.01.2018

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

Präsentation: Shahid Khan
07.02.2018

Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs
07.02.2018

PromotionsCafé: Tolerance for Diversity... Welcome to the Real World!
14.02.2018

Präsentation: Katrin Dannert
19.02.2018

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

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

Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence
12.03.2018

Frühlingsworkshop: Rolduc
04.04.2018

Bi-Weekly Talk: Improving Local Search for Distributed Resource Allocation and Equilibrium Computation
04.04.2018

Bi-Weekly Talk: Competitive Packet Routing: How mistrusting harms performance
12.04.2018

Ringvorlesung: Competitive Analysis of Online Algorithms
18.04.2018

Bi-Weekly Talk: An Introduction To ω-Automata
19.04.2018

Ringvorlesung: Computing on Encrypted Data
26.04.2018

Girl'sDay - Mädchen-Zukunftstag
26.04.2018

Ringvorlesung: Dynamic Network Flows
02.05.2018

Bi-Weekly Talk: Introduction to Online Algorithms with Advice
03.05.2018

Ringvorlesung: Logic and Languages
16.05.2018

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

Ringvorlesung: Programs That Every Now and Then Flip Coins
23.05.2018

Gastvortrag: Formal verification and learning of complex systems
24.05.2018

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

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

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

EU Regional School - Hennig Seminar
13.06.2018

Präsentation: Jip Spel
14.06.2018

Ringvorlesung: Termination and Complexity Analysis for Programs
21.06.2018

Ringvorlesung: Uncertainty and Randomness in Railway Operations Research
26.06.2018

Open to UnRAVeL-members: EU Regional School - Fonnesbeck Seminar
26.06.2018

Gastvortrag: Nash Flows with Spillback
27.06.2018

Bi-Weekly Talk: Quantitative Separation Logic
28.06.2018

Ringvorlesung: Probabilistic Hybrid Systems
04.07.2018

Bi-Weekly Talk: Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer
05.07.2018

Ringvorlesung: Probabilistic Robotics
10.07.2018

Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption
12.07.2018

Ringvorlesung: How to Win Games that Never End?
23.07.2018

Gastvortrag: Sensitivity of probabilistic programs
25.07.2018

Bi-Weekly Talk: Sebastian Junges und Dennis Fischer
25.07.2018

Special Event: Opening of UnRAVeL Room
31.07.2018

Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments
08.08.2018

Bi-Weekly Talk: vFlowpipe construction-based reachability analysis for the safety verification of hybrid systems
08.08.2018

PromotionsCafé: Going Abroad - Challenges and Experiences
09.08.2018

Stammtisch: Café & Bar Zuhause
22.08.2018

Bi-Weekly Talk: Operational Planning for Mobile Medical Units
05.09.2018

Bi-Weekly Talk: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
13.09.2018

Stammtisch: Guiness House
19.09.2018

Bi-Weekly Talk: Inductive Lower Bounds in Probabilistic Programs
10.10.2018

Bi-Weekly Talk: Individual Traffic Simulation in Aachen via MATSim
17.10.2018

Bi-Weekly Talk: A Multiobjective Approach to Hospital Patient to Room Assignment
23.10.2018

Gastvortrag: Polyregular functions
24.10.2018

Gastvortrag: Strategical Timetable Planning
07.11.2018

Gastvortrag: Almost Sure Productivity
14.11.2018

Good scientific practice: Research Data Management
19.11.2018

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

Gastvortrag: Development of Dependable Autonomous Robots
27.11.2018

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

Gastvortrag: Data generation for programming by example
28.11.2018

Special Event: Kino - THE CLEANERS
04.12.2018

Gastvortrag: Verification and Strategy Synthesis for Stochastic Games
12.12.2018

Bi-Weekly Talk: Guided Tour through ELVA
23.01.2019

Bi-Weekly Talk: Railway Network Capacity Analysis for Strategic Planning
30.01.2019

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

Informatik Oberseminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
20.02.2019

Bi-Weekly Talk: Provenance Analysis for Guarded Logics
21.02.2019

Good scientific practice: Informationsveranstaltung über die Förderprogramme der DFG
26.02.2019

Gastvortrag: On the Complexity of Value Iteration
27.02.2019

PromotionsCafé Strategische Finanzplanung
06.03.2019 - 08.03.2019

Frühlingsworkshop: Monschau
18.03.2019

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

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

Bi-Weekly Talk: Anton Pirogov: A unified approach to Büchi determinization
04.04.2019

Ringvorlesung: Programs That Every Now and Then Flip Coins
09.04.2019

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

Ringvorlesung: Termination and Complexity Analysis for Programs
17.04.2019

Bi-Weekly Talk: Exploring Sparse Graphs with Advice
18.04.2019

Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties
25.04.2019

Gastvortrag: Anytime Approximation in Probabilistic Databases via Scaled Dissociations
26.04.2019

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

Ringvorlesung: Logics of Dependence and Independence
06.05.2019

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

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

Ringvorlesung: Uncertainty in Databases
15.05.2019

Bi-Weekly Talk: On the Union Closed Fragment of Existential Second-Order Logic
16.05.2019

Ringvorlesung: Static and Dynamic Network flows under Uncertainties
23.05.2019

Ringvorlesung: Automatic Train Protection und Control Systems
28.05.2019

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

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

Ringvorlesung: Competitive Analysis of Online Algorithms
12.06.2019

Bi-Weekly Talk: Reasoning about uncertainty
16.06.2019 - 19.06.2019

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

Bi-Weekly Meeting: Besuch der CAVE
27.06.2019

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

Ringvorlesung: Applications of Privacy-Preserving Protocols
09.07.2019

PromotionsCafé: Geschlecht und Transition
10.07.2019

Bi-Weekly Talk: Martin Comis & Tabea Krabs: Minimum Color-Degree Perfect b -Matchings
24.07.2019

Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic?
31.07.2019

PromotionsCafé: Meine erste Steuererklärung
07.08.2019

Bi-Weekly Talk: Dennis Fischer: The Recoverable Robust Assignment Problem
21.08.2019

Bi-Weekly Talk: Matthias Volk und Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
26.08.2019 - 30.08.2019

MFCS 2019: Jérôme Leroux: Petri Net Reachability Problem
26.08.2019

MFCS 2019: Daniel Lokshtanov: Picking Random Vertices
26.08.2019

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

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

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

Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time
25.09.2019

Informatik-Oberseminar
01.10.2019

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

Bi-Weekly-Meeting - Gastvortrag: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
16.10.2019

Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables
16.10.2019

Stammtisch: Café & Bar Zuhause
23.10.2019

Special Event: Introduction to Category Theory Block Seminar
29.10.2019

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

Bi-Weekly Talk: Björn Tauer: Waiting for Trains: Complexity Results
06.11.2019

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

Presentation for UnRAVeL application: Christoph Grüne
13.11.2019

Bi-Weekly Talk: Till Hofmann
13.11.2019

Stammtisch: Café & Bar Zuhause
20.11.2019

Gastvortrag: Prof. Lenore Zuck
26.11.2019

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

Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs
05.12.2019

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

Gastvortrag: An NLOG fragment of inclusion logic
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
18.12.2019

Special Event: Austauschbesuch der Studierenden aus Cachan
06.01.2020

Special Event: UnRAVeL Neujahrsempfang
07.01.2020

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

PromotionsCafé Minorities in Social Networks
24.01.2020

Stammtisch
29.01.2020

Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions
13.02.2020

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

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

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

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

Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems
03.03.2020

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

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

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

Abgesagt: Für interessierte UnRAVeL Mitglieder: Information & Networking for Young Researchers
11.03.2020 - 12.03.2020

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

Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
20.04.2020 - 22.04.2020

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

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

Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks
20.05.2020

Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata
27.05.2020

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

Bi-Weekly Talk: Vipin Vijayalakshmi: Scheduling Games with Machine-Dependent Priority Lists
04.06.2020

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

Special Event: Online Meeting: Vernetzungstreffen Dagstuhl 2020
09.06.2020

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

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

Good scientific practice: Erika Ábrahám: Behind the scenes: Review processes for publications
15.07.2020

Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics
28.07.2020

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

Good scientific practice: Course “good scientific practice”
06.08.2020

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

Bi-Weekly Talk: Janosch Fuchs: Graph Exploration Revisited
26.08.2020

Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs
09.09.2020

Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic
14.09.2020 - 18.09.2020

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

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

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

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

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

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

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

Oberseminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
04.11.2020

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

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: K-convergence of numerical solutions of the Euler equations
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
12.11.2020

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

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

Bi-Weekly Talk: Tobias Winkler: Out of Control: Reducing Probabilistic Models by Control-State Elimination
19.11.2020

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

Für interessierte UnRAVeL Mitglieder: Sebastian Pokutta
24.11.2020

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

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

PromotionsCAFÉ: Scientific publishing is hacked
01.12.2020

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

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

Interner UnRAVeL workshop
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
16.12.2020

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

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

Gastvortrag: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy
27.01.2021 - 28.01.2021

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

Bi-Weekly Talk: Jip Spel: Finding Provably Optimal Markov Chains
02.02.2021

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

PromotionsCAFÉ: Creating German Data Science Pizzas in a Responsible Way
18.02.2021

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

Bi-Weekly Talk: Tabea Krabs: One transfer per patient suffices: Structural insights about patient-to-room assignment
24.02.2021

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

Bi-Weekly Talk: Joshua Moerman: Weighted Register Automata
24.03.2021

Bi-Weekly Talk: Martin Comis: Robust strategic planning for mobile medical units with steerable and unsteerable demands
07.04.2021

Bi-Weekly Talk: Katharina Eickhoff: Integer Programming Formulations for the Burning Number Problem
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
13.04.2021

Bi-Weekly Talk und Moves Seminar: Tobias Winkler
13.04.2021

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

PromotionsCAFÉ: Quo vadis, Doctor? nach der Promotion zu DLR
15.04.2021

Ringvorlesung: Erika Ábrahám: Probabilistic Hyperproperties
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
20.04.2021

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

Bi-Weekly Talk: Stephan Zieger: The Dial-a-Ride Problem in Railways
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
22.04.2021

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

Application Talk: Niklas Kotowski
27.04.2021

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

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

Bi-Weekly Talk: Komal Muluk: On the complexity of singly connected vertex deletion
06.05.2021

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

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

Mathematik Oberseminar: Martin Comis
11.05.2021

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

Gastvortrag: Mirco Giacobbe: Neural Termination Analysis
17.05.2021

PromotionsCAFÉ: Das Lesen der Anderen - User-Tracking auf Verlagsplattformen
18.05.2021

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

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

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

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

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

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

Special Event: Movie "Picture the Scientist"
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
10.06.2021

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

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

Bi-Weekly Talk: Termination of Probabilistic Programs via PTRS
17.06.2021

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

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

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

Ringvorlesung: Gerhard Lakemeyer: Uncertainty in Robotics
30.06.2021

Bi-Weekly Talk: Alexander Bork: Underapproximations for Indefinite-Horizon POMDPs
01.07.2021

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

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

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

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

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

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

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

Ringvorlesung: canceled - Gerhard Woeginger: Bilevel optimization
11.08.2021

Bi-Weekly Talk: Dennis Fischer: The bilevel bottleneck assignment problem
19.08.2021

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

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

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

PromotionsCAFÉ: How you can do what you really want - More personal freedom through financial independence
06.09.2021

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

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

Gastvortrag: Martin Ziegler: Computer Science of Continuous Data
23.09.2021

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

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

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

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

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

Bi-Weekly Talk: Eran Rosenbluth: The Solidarity Cover Problem
02.11.2021

Für interessierte UnRAVel Mitglieder: Tage der Vielfalt der RWTH
03.11.2021

UnRAVeL Applicationtalks
04.11.2021

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

Bi-Weekly Talk: Fabian Meyer: Termination and Complexity Analysis of Probabilistic Programs
16.11.2021

Gastvortrag: Dana Fisman: Learning languages of infinite words
18.11.2021

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

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

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

Gastvortrag: Jean-Francois Raskin
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
08.12.2021

Gastvortrag: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties
13.12.2021

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

Application Talk: Vincent Grande
21.12.2021

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

Bi-Weekly Talk: Christoph Grüne: Fun with Mini Metro and Mini Motorways
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
18.01.2022

UnRAVeL Application Talks
19.01.2022

Bi-Weekly Talk: Mariia Anapolska: Multithread interval scheduling with machine availabilities
19.01.2022

PromotionsCAFÉ: Tag Eins oder eines Tages - Wie man sein eigenes Start-Up gründet!
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
21.01.2022

UnRAVeL Application Talks
21.01.2022

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

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

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

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

Bi-Weekly Talk: Tim Seppelt: Homomorphism Tensors and Linear Equations
02.03.2022

Bi-Weekly Talk: Rebecca Haehn: Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies
16.03.2022

Bi-Weekly Talk: Nadine Friesen: Railway Network Design Problem under Timetable Constraints
29.03.2022

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

Bi-Weekly Talk: Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs
13.04.2022

Bi-Weekly Talk: Jasper Nalbach: Levelwise construction of a single cylindrical algebraic cell
19.04.2022

Survey Lecture: Michael Schaub: Signal processing on graphs and complexes
26.04.2022

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

Survey Lecture: Nils Nießen: Acceptance of Driverless Trains
28.04.2022 - 28.04.2022

Girls‘ Day 2022
28.04.2022

Informatik-Oberseminar: Matthias Volk
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
17.05.2022

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

UnRAVeL Application Talk
24.05.2022

Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems
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
30.05.2022 - 01.06.2022

Frühlingsworkshop: Bloemendal
07.06.2022 - 10.06.2022

INOC offen für alle UnRAVeL Mitglieder
14.06.2022

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

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

Survey Lecture: Britta Peis: Stackelberg Network Pricing Games
05.07.2022

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

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

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

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

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

Gedenkfeier zu Ehren von Gerhard Wöginger
12.10.2022

Bi-Weekly Talk: Tamme Emunds: Traffic management in real time for urban railway transit
21.10.2022

Informatik-Oberseminar: Rebecca Haehn
26.10.2022

Bi-Weekly Talk: Henrik Hose
09.11.2022

Bi-Weekly Talk: Vincent Grande
09.11.2022

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

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

Gastvortrag: Joël Ouaknine: The Skolem Landscape
21.11.2022

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

Bi-Weekly Talk: Qihui Feng: A Logic of Belief over Continuous and Discrete Probability Distribution
24.11.2022

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

PromotionsCAFÉ: Quo vadis, Doctor? - nach der Promotion in die Beratung
25.11.2022

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

Bi-Weekly Meeting: Research Speed Dating Christmas Edition
11.01.2023

UnRAVeL Participation Meeting
11.01.2023

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

Bi-Weekly Talk: Jip Spel: Monotonicity in pMDPs
08.02.2023

Bi-Weekly Talk: Jan-Christoph Kassing: Analyzing Almost-Sure Termination of Probabilistic Term Rewriting via Innermost Almost-Sure Termination
22.02.2023

Bi-Weekly Talk: Tarik Viehmann: Combining Knowledge-based Control and Data-Driven Models in Industrial Domains
08.03.2023

Bi-Weekly Talk: Nadine Friesen: Modelling time in the railway network design problem
14.03.2023

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

Gastvortrag: Marck van der Vegt: Robust Almost-Sure Reachability in Multi-Environment MDPs
22.03.2023

Bi-Weekly Talk: Christoph Grüne: The Complexity of Graph Exploration Games
03.04.2023

Gastvortrag: Mahsa Shirmohammadi: Stochastic games and strategy complexity
05.04.2023

Bi-Weekly Talk: Michael Scholkemper: Spectral Implications of Graph Structure and a Random Graph Model to Preserve It
06.04.2023

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

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

Bi-Weekly Talk: Komal Muluk: Make a graph singly connected by edge orientations
20.04.2023

Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME
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
27.04.2023

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

Bi-Weekly Talk: Tabea Brandt: Patient-to-room Assignment: Combinatorics, Complexity & Exact Algorithms
03.05.2023

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

Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning
11.05.2023

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

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

Bi-Weekly Meeting: Carolina Gerlach
23.05.2023

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

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

Bi-Weekly Meeting: Research Speed Dating
14.06.2023

Bi-Weekly Talk: Eleanore Meyer: Termination Analysis of Simple Randomised Linear Programs
15.06.2023

Ringvorlesung: Britta Peis: Ascending Auctions and Matroids
22.06.2023

Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action
28.06.2023

Bi-Weekly Talk: Andreas Klinger: Privacy-Preserving Fully Online Matching with Deadlines
29.06.2023

Ringvorlesung: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks
06.07.2023

Für interessierte UnRAVeL Mitglieder: 2nd Gerhard Woeginger Research Colloquium of the Center of Algorithmics and Optimization
07.07.2023

Informatik-Oberseminar: Jip Spel: Monotonicity in Markov Models
12.07.2023

Bi-Weekly Talk: Dennis Fischer
13.07.2023

Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes!
18.07.2023

Für interessierte UnRAVeL Mitglieder: Artificial Intelligence Colloquium (AIC)
21.07.2023

Team Carologistics erreichte beim diesjährigen Robocup Finale den zweiten Platz
04.08.2023

Gastvortrag: Johannes Lehmann: Counterexample-based backward responsibility in transition systems using the Shapley value
12.09.2023

UnRAVeL Application Talks
20.09.2023

Informatik-Oberseminar: Till Hofmann: Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
11.10.2023

Bi-Weekly Talk: Tim Seppelt: What is Homomorphism Indistinguishability?
12.10.2023

Gastvortrag: Cristina David: Lessons learnt from using GNNs to estimate program termination
25.10.2023

Bi-Weekly Talk: Mariia Anapolska: Appointment assignment with time windows
08.11.2023

Bi-Weekly Talk: Christoph Standke: The Importance of Parameters in Database Queries
13.11.2023

Gastvortrag: Francesco Pontiggia: Deductive Controller Synthesis for Probabilistic Hyperproperties
16.11.2023 - 17.11.2023

UnRAVeL Herbst Workshop
22.11.2023

Bi-Weekly Talk: Eran Rosenbluth: Global Affairs
24.11.2023

Für interessierte UnRAVeL Mitglieder: 3rd Gerhard Woeginger Research Colloquium of the Center of Algorithmics and Optimization
27.11.2023

PromotionsCAFÉ: Going Abroad for your next research visit or internship?

Blättern

Sie sind auf Seite:1-388

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 - 388 von 388 Ergebnissen

Footer

RWTH

Service

Soziale Medien

Einrichtungen

h1

h2

h3

h4

h5

h6

Sie sind hier:

Veranstaltungsarchiv

Treffer 1 - 388 von 388 Ergebnissen

Blättern

Blättern

Footer

RWTH

Service

Soziale Medien

Einrichtungen