Veranstaltungsarchiv

Treffer 1 - 379 von 379 Ergebnissen

Seitenweise anzeigen

Blättern

Sie sind auf Seite:1-379

Datum

Veranstaltung
20.09.2023

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

UnRAVeL Application Talks
04.08.2023

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

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

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

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

Bi-Weekly Talk: Dennis Fischer
07.07.2023

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

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

Ringvorlesung: 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

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

Ringvorlesung: 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

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

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

Bi-Weekly Meeting: Carolina Gerlach
12.05.2023

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

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

Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning
03.05.2023

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

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

Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units
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
20.04.2023

Ringvorlesung: 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

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

Ringvorlesung: 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

Gastvortrag: 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

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

Gastvortrag: 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

Gastvortrag: 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

Gastvortrag: 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

Gastvortrag: 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

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

Gastvortrag: Joël Ouaknine: The Skolem Landscape
14.11.2022

Für interessierte UnRAVeL Mitglieder: 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

Informatik-Oberseminar: Rebecca Haehn
12.10.2022

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

Gedenkfeier zu Ehren von Gerhard Wöginger
26.08.2022

Informatik-Oberseminar: 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

Gastvortrag: 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

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

INOC offen für alle UnRAVeL Mitglieder
30.05.2022 - 01.06.2022

Frühlingsworkshop: 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

Gastvortrag: 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

Informatik-Oberseminar: 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

Für interessierte UnRAVeL Mitglieder: 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

Gastvortrag: 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

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

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

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

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

UnRAVeL Application Talks
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
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

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
22.12.2021

Bi-Weekly Talk: Christoph Grüne: Fun with Mini Metro and Mini Motorways
21.12.2021

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

Application Talk: Vincent Grande
13.12.2021

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

Gastvortrag: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties
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
01.12.2021

Gastvortrag: Jean-Francois Raskin
24.11.2021

Gastvortrag: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
22.11.2021 - 23.11.2021

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

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

Gastvortrag: 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

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

UnRAVeL Applicationtalks
02.11.2021

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

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

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

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

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

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

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

Gastvortrag: Martin Ziegler: Computer Science of Continuous Data
13.09.2021

Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 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

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

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

Für interessierte UnRAVeL Mitglieder: 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

Ringvorlesung: canceled - Gerhard Woeginger: Bilevel optimization
28.07.2021

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

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

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

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

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

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

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

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

Ringvorlesung: Gerhard Lakemeyer: Uncertainty in Robotics
18.06.2021

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

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

Gastvortrag: 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

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

Ringvorlesung: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory
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
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

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

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

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

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

Für interessierte UnRAVeL Mitglieder: 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

Gastvortrag: Mirco Giacobbe: Neural Termination Analysis
11.05.2021

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

Mathematik Oberseminar: Martin Comis
06.05.2021

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

Für interessierte UnRAVeL Mitglieder: 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

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

Für interessierte UnRAVel Mitglieder: 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

Ringvorlesung: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs
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
21.04.2021

Bi-Weekly Talk: Stephan Zieger: The Dial-a-Ride Problem in Railways
20.04.2021

Für interessierte UnRAVeL Mitglieder: 2nd Springer Nature Webinar for authors - Information on the German DEAL agreement
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
15.04.2021

Ringvorlesung: Erika Ábrahám: Probabilistic Hyperproperties
15.04.2021

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

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

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

Für interessierte UnRAVel Mitglieder: Informatik Kolloquium: 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

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

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

Für interessierte UnRAVel Mitglieder: 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

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

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

Gastvortrag: Benny Kimelfeld: Probabilistic Databases: Variations, Computations, Implications
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
16.12.2020

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

Interner UnRAVeL workshop
02.12.2020

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

Für interessierte UnRAVel Mitglieder: 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

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

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

Für interessierte UnRAVeL Mitglieder: Sebastian Pokutta
19.11.2020

Für interessierte UnRAVeL Mitglieder: 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

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

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Symplectic field theory and topological entropy in Hamiltonian systems
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
05.11.2020

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

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

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

Für interessierte UnRAVel Mitglieder: 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

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

Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Finding solutions of the multi-dimensional compressible Euler equations
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
14.09.2020 - 18.09.2020

Für interessierte UnRAVel Mitglieder: 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

Für interessierte UnRAVel Mitglieder: 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

Gastvortrag: 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

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

Special Event: Online Meeting: Vernetzungstreffen Dagstuhl 2020
04.06.2020

Für interessierte UnRAVeL Mitglieder: 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

Für interessierte UnRAVeL Mitglieder: 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

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

Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
11.03.2020 - 12.03.2020

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

Abgesagt: Für interessierte UnRAVeL Mitglieder: Information & Networking for Young Researchers
04.03.2020

Für interessierte UnRAVeL Mitglieder: Workshop zum 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

Informatik Oberseminar: 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

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

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

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

Gastvortrag: 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

Stammtisch
22.01.2020

PromotionsCafé Minorities in Social Networks
07.01.2020

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

Special Event: UnRAVeL Neujahrsempfang
18.12.2019

Special Event: Austauschbesuch der Studierenden aus Cachan
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
09.12.2019

Gastvortrag: An NLOG fragment of inclusion logic
05.12.2019

Für interessierte UnRAVeL Mitglieder: 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

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

Gastvortrag: Prof. Lenore Zuck
13.11.2019

Stammtisch: Café & Bar Zuhause
13.11.2019

Bi-Weekly Talk: Till Hofmann
11.11.2019

Presentation for UnRAVeL application: Christoph Grüne
06.11.2019

Für interessierte UnRAVeL Mitglieder: Vortrag von 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

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

Special Event: Introduction to Category Theory Block Seminar
16.10.2019

Stammtisch: 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 - Gastvortrag: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
01.10.2019

Gastvortrag: 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

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

Gastvortrag: 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 und 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

Ringvorlesung: Applications of Privacy-Preserving Protocols
27.06.2019

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

Bi-Weekly Meeting: Besuch der CAVE
16.06.2019 - 19.06.2019

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

Bi-Weekly Talk: Reasoning about uncertainty
06.06.2019

Ringvorlesung: Competitive Analysis of Online Algorithms
29.05.2019

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

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

Ringvorlesung: Automatic Train Protection und Control Systems
16.05.2019

Ringvorlesung: 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

Ringvorlesung: Uncertainty in Databases
09.05.2019

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

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

Ringvorlesung: Logics of Dependence and Independence
26.04.2019

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

Gastvortrag: Anytime Approximation in Probabilistic Databases via Scaled Dissociations
18.04.2019

Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties
17.04.2019

Bi-Weekly Talk: Exploring Sparse Graphs with Advice
11.04.2019

Ringvorlesung: Termination and Complexity Analysis for Programs
09.04.2019

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

Ringvorlesung: 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 Vijayalakshmi: Always be Two Steps Ahead of Your Enemy
18.03.2019

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

Frühlingsworkshop: Monschau
27.02.2019

PromotionsCafé Strategische Finanzplanung
26.02.2019

Gastvortrag: On the Complexity of Value Iteration
21.02.2019

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

Bi-Weekly Talk: Provenance Analysis for Guarded Logics
08.02.2019

Informatik Oberseminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
30.01.2019

Gastvortrag: 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

Gastvortrag: Verification and Strategy Synthesis for Stochastic Games
28.11.2018

Special Event: Kino - THE CLEANERS
28.11.2018

Gastvortrag: Data generation for programming by example
27.11.2018

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

Gastvortrag: Development of Dependable Autonomous Robots
19.11.2018

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

Good scientific practice: Research Data Management
07.11.2018

Gastvortrag: Almost Sure Productivity
24.10.2018

Gastvortrag: Strategical Timetable Planning
23.10.2018

Gastvortrag: 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

Stammtisch: 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

Stammtisch: Café & Bar Zuhause
08.08.2018

PromotionsCafé: Going Abroad - Challenges and Experiences
08.08.2018

Bi-Weekly Talk: vFlowpipe 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

Gastvortrag: Sensitivity of probabilistic programs
12.07.2018

Ringvorlesung: How to Win Games that Never End?
10.07.2018

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

Ringvorlesung: Probabilistic Robotics
04.07.2018

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

Ringvorlesung: Probabilistic Hybrid Systems
27.06.2018

Bi-Weekly Talk: Quantitative Separation Logic
26.06.2018

Gastvortrag: Nash Flows with Spillback
26.06.2018

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

Ringvorlesung: Uncertainty and Randomness in Railway Operations Research
14.06.2018

Ringvorlesung: Termination and Complexity Analysis for Programs
13.06.2018

Präsentation: Jip Spel
12.06.2018

EU Regional School - Hennig Seminar
07.06.2018

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

Gastvortrag: 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

Gastvortrag: Formal verification and learning of complex systems
17.05.2018

Ringvorlesung: Programs That Every Now and Then Flip Coins
16.05.2018

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

Ringvorlesung: Logic and Languages
02.05.2018

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

Ringvorlesung: Dynamic Network Flows
26.04.2018

Girl'sDay - Mädchen-Zukunftstag
19.04.2018

Ringvorlesung: 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

Frühlingsworkshop: Rolduc
21.02.2018

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

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

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

Präsentation: 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

Präsentation: Shahid Khan
29.01.2018

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

Vortrag: abc-Optimierung
22.01.2018

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

Präsentation: Stephan Zieger
10.01.2018

Präsentation: Rebecca Haehn
20.12.2017

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

Präsentation: Fatima Ezzahra El Orche
14.12.2017

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

Präsentation: Daxin Liu
13.12.2017

Vortrag: Rail Traffic Planning and Capacity Analysis
07.12.2017

Gastvortrag: Motion Planning under Uncertainty and Partial Observability
07.12.2017

Gastvortrag: Ordered Nominal Sets and Automata
29.11.2017

Vortrag: Parameter Synthesis in Probabilistic Model Checking
23.11.2017

Gastvortrag: Probabilistic Databases - Managing uncertainty in data
15.11.2017

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

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

Social Event: UnRAVeL Kickoff
11.10.2017

Zweiwöchentliches Treffen: erstes Kennenlernen
- 19.07.2023

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

Blättern

Sie sind auf Seite:1-379

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

Footer

RWTH

Service

Soziale Medien

Einrichtungen

h1

h2

h3

h4

h5

h6

Sie sind hier:

Veranstaltungsarchiv

Treffer 1 - 379 von 379 Ergebnissen

Blättern

Blättern

Footer

RWTH

Service

Soziale Medien

Einrichtungen