Veranstaltungsarchiv
-
Datum
06.12.2023 Veranstaltung
Bi-Weekly Meeting: Research Speed Dating Christmas Edition -
Datum
27.11.2023 Veranstaltung
PromotionsCAFÉ: Going Abroad for your next research visit or internship? -
Datum
24.11.2023 Veranstaltung
Für interessierte UnRAVeL Mitglieder: 3rd Gerhard Woeginger Research Colloquium of the Center of Algorithmics and Optimization -
Datum
22.11.2023 Veranstaltung
Bi-Weekly Talk: Eran Rosenbluth: Global Affairs -
Datum
16.11.2023 - 17.11.2023 Veranstaltung
UnRAVeL Herbst Workshop -
Datum
13.11.2023 Veranstaltung
Gastvortrag: Francesco Pontiggia: Deductive Controller Synthesis for Probabilistic Hyperproperties -
Datum
08.11.2023 Veranstaltung
Bi-Weekly Talk: Christoph Standke: The Importance of Parameters in Database Queries -
Datum
25.10.2023 Veranstaltung
Bi-Weekly Talk: Mariia Anapolska: Appointment assignment with time windows -
Datum
12.10.2023 Veranstaltung
Gastvortrag: Cristina David: Lessons learnt from using GNNs to estimate program termination -
Datum
11.10.2023 Veranstaltung
Bi-Weekly Talk: Tim Seppelt: What is Homomorphism Indistinguishability? -
Datum
20.09.2023 Veranstaltung
Informatik-Oberseminar: Till Hofmann: Towards Bridging the Gap between High-Level Reasoning and Execution on Robots -
Datum
12.09.2023 Veranstaltung
UnRAVeL Application Talks -
Datum
04.08.2023 Veranstaltung
Gastvortrag: Johannes Lehmann: Counterexample-based backward responsibility in transition systems using the Shapley value -
Datum
21.07.2023 Veranstaltung
Team Carologistics erreichte beim diesjährigen Robocup Finale den zweiten Platz -
Datum
18.07.2023 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Artificial Intelligence Colloquium (AIC) -
Datum
13.07.2023 Veranstaltung
Ringvorlesung: Joost-Pieter Katoen: Can we meet the deadline? Most probably: yes! -
Datum
12.07.2023 Veranstaltung
Bi-Weekly Talk: Dennis Fischer -
Datum
07.07.2023 Veranstaltung
Informatik-Oberseminar: Jip Spel: Monotonicity in Markov Models -
Datum
06.07.2023 Veranstaltung
Für interessierte UnRAVeL Mitglieder: 2nd Gerhard Woeginger Research Colloquium of the Center of Algorithmics and Optimization -
Datum
29.06.2023 Veranstaltung
Ringvorlesung: Christopher Morris: Weisfeiler and Leman Go Machine Learning: Expressivity and Generalization of Graph Neural Networks -
Datum
28.06.2023 Veranstaltung
Bi-Weekly Talk: Andreas Klinger: Privacy-Preserving Fully Online Matching with Deadlines -
Datum
22.06.2023 Veranstaltung
Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action -
Datum
15.06.2023 Veranstaltung
Ringvorlesung: Britta Peis: Ascending Auctions and Matroids -
Datum
14.06.2023 Veranstaltung
Bi-Weekly Talk: Eleanore Meyer: Termination Analysis of Simple Randomised Linear Programs -
Datum
31.05.2023 Veranstaltung
Bi-Weekly Meeting: Research Speed Dating -
Datum
25.05.2023 Veranstaltung
Ringvorlesung: Jürgen Giesl: Proving Termination with Dependency Pairs -
Datum
23.05.2023 Veranstaltung
Gastvortrag: Sebastian Kassing: On the existence of minimizers in neural network optimisation landscapes -
Datum
17.05.2023 Veranstaltung
Bi-Weekly Meeting: Carolina Gerlach -
Datum
12.05.2023 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Kickoff Research Colloquium of the Center for Algorithmics and Optimization -
Datum
11.05.2023 Veranstaltung
Ringvorlesung: Nils Nießen: Can Trains Be on Time? -
Datum
04.05.2023 Veranstaltung
Ringvorlesung: Sebastian Trimpe: Event-Triggered Learning -
Datum
03.05.2023 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Talk: Andrzej Wasowski -
Datum
03.05.2023 Veranstaltung
Bi-Weekly Talk: Tabea Brandt: Patient-to-room Assignment: Combinatorics, Complexity & Exact Algorithms -
Datum
27.04.2023 Veranstaltung
Ringvorlesung: Christina Büsing: Robust Strategic Planning for Mobile Medical Units -
Datum
21.04.2023 Veranstaltung
Für interessierte UnRAVeL Mitglieder: ERS Guest Talk: Prof. Nobuhiro Yoshikawa: Digital Transformation (DX) for Developing CFRP Tank - Design, Manufacturing and Inspection -
Datum
20.04.2023 Veranstaltung
Ringvorlesung: Martin Grohe: The Quest for a Logic Capturing PTIME -
Datum
19.04.2023 Veranstaltung
Bi-Weekly Talk: Komal Muluk: Make a graph singly connected by edge orientations -
Datum
13.04.2023 Veranstaltung
Ringvorlesung: Erika Àbrahám: Building Bridges between Symbolic Computation and Satisfiability Checking -
Datum
06.04.2023 Veranstaltung
Ringvorlesung: Michael Schaub: Learning from Networks with Unobserved Edges -
Datum
05.04.2023 Veranstaltung
Bi-Weekly Talk: Michael Scholkemper: Spectral Implications of Graph Structure and a Random Graph Model to Preserve It -
Datum
03.04.2023 Veranstaltung
Gastvortrag: Mahsa Shirmohammadi: Stochastic games and strategy complexity -
Datum
22.03.2023 Veranstaltung
Bi-Weekly Talk: Christoph Grüne: The Complexity of Graph Exploration Games -
Datum
21.03.2023 Veranstaltung
Gastvortrag: Marck van der Vegt: Robust Almost-Sure Reachability in Multi-Environment MDPs -
Datum
14.03.2023 Veranstaltung
Gastvortrag: Fortunat Rajaona: Weakest Precondition Semantics and Model Checking Technique for Knowledge-Transforming Programs -
Datum
08.03.2023 Veranstaltung
Bi-Weekly Talk: Nadine Friesen: Modelling time in the railway network design problem -
Datum
22.02.2023 Veranstaltung
Bi-Weekly Talk: Tarik Viehmann: Combining Knowledge-based Control and Data-Driven Models in Industrial Domains -
Datum
08.02.2023 Veranstaltung
Bi-Weekly Talk: Jan-Christoph Kassing: Analyzing Almost-Sure Termination of Probabilistic Term Rewriting via Innermost Almost-Sure Termination -
Datum
25.01.2023 Veranstaltung
Bi-Weekly Talk: Jip Spel: Monotonicity in pMDPs -
Datum
11.01.2023 Veranstaltung
Gastvortrag: Nils Jansen: Intelligent Decision-Making Under Uncertainty: Beyond Probabilities -
Datum
11.01.2023 Veranstaltung
UnRAVeL Participation Meeting -
Datum
07.12.2022 Veranstaltung
Bi-Weekly Meeting: Research Speed Dating Christmas Edition -
Datum
25.11.2022 Veranstaltung
Gastvortrag: Gabriele Venturato: Towards Tractable Dynamic Decision Making With Circuits -
Datum
24.11.2022 Veranstaltung
PromotionsCAFÉ: Quo vadis, Doctor? - nach der Promotion in die Beratung -
Datum
24.11.2022 Veranstaltung
Gastvortrag: Paolo Morettin: Probabilistic formal verification of AI systems with Weighted Model Integration -
Datum
23.11.2022 Veranstaltung
Bi-Weekly Talk: Qihui Feng: A Logic of Belief over Continuous and Discrete Probability Distribution -
Datum
21.11.2022 Veranstaltung
Informatik-Oberseminar: Daxin Liu: Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification -
Datum
17.11.2022 Veranstaltung
Gastvortrag: Joël Ouaknine: The Skolem Landscape -
Datum
14.11.2022 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Liat Peterfreund: Querying Incomplete Numerical Data: Between Certain and Possible Answers -
Datum
09.11.2022 Veranstaltung
IGaD und Career Center Themenabend (online): “Mein Weg zur Professur“ mit Professorin Christina Büsing (RWTH) -
Datum
09.11.2022 Veranstaltung
Bi-Weekly Talk: Vincent Grande -
Datum
26.10.2022 Veranstaltung
Bi-Weekly Talk: Henrik Hose -
Datum
21.10.2022 Veranstaltung
Informatik-Oberseminar: Rebecca Haehn -
Datum
12.10.2022 Veranstaltung
Bi-Weekly Talk: Tamme Emunds: Traffic management in real time for urban railway transit -
Datum
07.10.2022 Veranstaltung
Gedenkfeier zu Ehren von Gerhard Wöginger -
Datum
26.08.2022 Veranstaltung
Informatik-Oberseminar: Janosch Fuchs: Graph Exploration with Advice (and Online Crossing Minimization) -
Datum
20.07.2022 Veranstaltung
Bi-Weekly Talk: Stephan Zieger: A simulation framework for the operation of automated small rail vehicles in rural areas -
Datum
07.07.2022 Veranstaltung
Gastvortrag: Nicole Megow: Learning-Augmented Online Algorithms for Scheduling and Routing -
Datum
06.07.2022 Veranstaltung
Bi-Weekly Talk: Janosch Fuchs: The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs -
Datum
05.07.2022 Veranstaltung
Survey Lecture: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases -
Datum
28.06.2022 Veranstaltung
Survey Lecture: Britta Peis: Stackelberg Network Pricing Games -
Datum
21.06.2022 Veranstaltung
Survey Lecture: Sebastian Trimpe: Uncertainty Bounds for Gaussian Process Regression with Applications to Safe Control and Learning -
Datum
14.06.2022 Veranstaltung
Ringvorlesung: Christina Büsing: A Branch & Bound Algorithm for Robust Binary Optimization with Budget Uncertainty -
Datum
07.06.2022 - 10.06.2022 Veranstaltung
INOC offen für alle UnRAVeL Mitglieder -
Datum
30.05.2022 - 01.06.2022 Veranstaltung
Frühlingsworkshop: Bloemendal -
Datum
25.05.2022 Veranstaltung
Bi-Weekly Talk: Katharina Eickhoff: Computing buyer-optimal Walrasian prices in multi-unit matching markets via a sequence of max flow computations -
Datum
24.05.2022 Veranstaltung
Survey Lecture: Erika Ábrahám: The Challenge of Compositionality for Stochastic Hybrid Systems -
Datum
23.05.2022 Veranstaltung
UnRAVeL Application Talk -
Datum
17.05.2022 Veranstaltung
Gastvortrag: Christel Baier: From verification to causality-based explications -
Datum
10.05.2022 Veranstaltung
Survey Lecture: Martin Grohe: Graph Representations Based on Homomorphisms -
Datum
03.05.2022 Veranstaltung
Survey Lecture: Jürgen Giesl: Improving Automatic Complexity Analysis of Probabilistic and Non-Probabilistic Integer Programs -
Datum
28.04.2022 Veranstaltung
Informatik-Oberseminar: Matthias Volk -
Datum
28.04.2022 - 28.04.2022 Veranstaltung
Girls‘ Day 2022 -
Datum
26.04.2022 Veranstaltung
Survey Lecture: Nils Nießen: Acceptance of Driverless Trains -
Datum
26.04.2022 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Research Seminar by RTG QuantLA: Deciding FO-definability of Regular Languages -
Datum
19.04.2022 Veranstaltung
Survey Lecture: Michael Schaub: Signal processing on graphs and complexes -
Datum
13.04.2022 Veranstaltung
Bi-Weekly Talk: Jasper Nalbach: Levelwise construction of a single cylindrical algebraic cell -
Datum
30.03.2022 Veranstaltung
Bi-Weekly Talk: Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs -
Datum
29.03.2022 Veranstaltung
Gastvortrag: Raphaël Reynouard: The Baum-Welch Algorithm in All its Power -
Datum
16.03.2022 Veranstaltung
Bi-Weekly Talk: Nadine Friesen: Railway Network Design Problem under Timetable Constraints -
Datum
02.03.2022 Veranstaltung
Bi-Weekly Talk: Rebecca Haehn: Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies -
Datum
16.02.2022 Veranstaltung
Bi-Weekly Talk: Tim Seppelt: Homomorphism Tensors and Linear Equations -
Datum
09.02.2022 Veranstaltung
Gastvortrag: Maria Hilvert: Did you invent something? – Computerimplemented invention disclosure, patents and what to consider upfront -
Datum
27.01.2022 Veranstaltung
Für interessierte UnRAVel Mitglieder: MOVES Seminar: Marcel Moosbrugger: Probabilistic Program Analysis using Algebraic Recurrences -
Datum
27.01.2022 Veranstaltung
Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: On the Structure of Moment Equations in Kinetic Theory -
Datum
21.01.2022 Veranstaltung
Für interessierte UnRAVel Mitglieder: Christoph Standke: Probabilistic Query Evaluation with Bag Semantics -
Datum
21.01.2022 Veranstaltung
UnRAVeL Application Talks -
Datum
20.01.2022 Veranstaltung
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 -
Datum
19.01.2022 Veranstaltung
PromotionsCAFÉ: Tag Eins oder eines Tages - Wie man sein eigenes Start-Up gründet! -
Datum
19.01.2022 Veranstaltung
Bi-Weekly Talk: Mariia Anapolska: Multithread interval scheduling with machine availabilities -
Datum
18.01.2022 Veranstaltung
UnRAVeL Application Talks -
Datum
13.01.2022 Veranstaltung
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 -
Datum
22.12.2021 Veranstaltung
Bi-Weekly Talk: Christoph Grüne: Fun with Mini Metro and Mini Motorways -
Datum
21.12.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: MOVES Seminar: Gradient-Descent for Randomized Controllers under Partial Observability -
Datum
20.12.2021 Veranstaltung
Application Talk: Vincent Grande -
Datum
13.12.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Webinarreihe von dem GRK 2193: Live-Demo: Gestaltung eines wandlungsfähigen und dezentral organisierten Produktionssystems -
Datum
08.12.2021 Veranstaltung
Gastvortrag: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties -
Datum
07.12.2021 - 07.12.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Talk at QuantLA by Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs -
Datum
01.12.2021 Veranstaltung
Gastvortrag: Jean-Francois Raskin -
Datum
24.11.2021 Veranstaltung
Gastvortrag: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks -
Datum
22.11.2021 - 23.11.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: 1st EBN VIRTUAL CONFERENCE -
Datum
18.11.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: A free boundary problem arising in a model of cell polarization -
Datum
16.11.2021 Veranstaltung
Gastvortrag: Dana Fisman: Learning languages of infinite words -
Datum
10.11.2021 Veranstaltung
Bi-Weekly Talk: Fabian Meyer: Termination and Complexity Analysis of Probabilistic Programs -
Datum
04.11.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: Optimal control problems and the turnpike property -
Datum
03.11.2021 Veranstaltung
UnRAVeL Applicationtalks -
Datum
02.11.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Tage der Vielfalt der RWTH -
Datum
27.10.2021 Veranstaltung
Bi-Weekly Talk: Eran Rosenbluth: The Solidarity Cover Problem -
Datum
26.10.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: DFG-Förderangebote für die wissenschaftliche Karriere -
Datum
22.10.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Dynamische Virtualisierungen für eine effiziente und ganzheitliche Fabrikplanung -
Datum
21.10.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Informatics Europe Web-Seminar: SMT Solving: Past, Present and Future -
Datum
14.10.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Weekly Seminar by RTG Eddy: On Neural Differential Equations -
Datum
23.09.2021 Veranstaltung
Informatik-Oberseminar: Martin Ritzert: Learning on Graphs with Logic and Neural Networks -
Datum
21.09.2021 Veranstaltung
Gastvortrag: Martin Ziegler: Computer Science of Continuous Data -
Datum
13.09.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Planung unter Unsicherheit: Sequenzialisierung und Pfadplanung -
Datum
06.09.2021 Veranstaltung
Informatik-Oberseminar: Vipin Ravindran Vijayalakshmi: Selfishness in Strategic Resource Allocation Problems -
Datum
26.08.2021 Veranstaltung
PromotionsCAFÉ: How you can do what you really want - More personal freedom through financial independence -
Datum
24.08.2021 Veranstaltung
Informatik-Oberseminar: Peter Lindner: The Theory of Infinite Probabilistic Databases -
Datum
19.08.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Modellbasierte Anpassungsplanung von Fertigungsprozessen -
Datum
19.08.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Regularity for optimal transportation and application to the matching problem -
Datum
11.08.2021 Veranstaltung
Bi-Weekly Talk: Dennis Fischer: The bilevel bottleneck assignment problem -
Datum
29.07.2021 Veranstaltung
Ringvorlesung: canceled - Gerhard Woeginger: Bilevel optimization -
Datum
28.07.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Webinarreihe des GRKs 2193: Industrialisierung der Software-Generierung: Anwendungen von Software-Synthese in Fabrikplanung & Logistik -
Datum
23.07.2021 Veranstaltung
Informatik-Oberseminar: Richard Wilke: Reasoning about Dependence and Independence: Teams and Multiteams -
Datum
22.07.2021 Veranstaltung
Ringvorlesung: Ulrike Meyer: Malware Detection - A story on how a research topic evolved -
Datum
08.07.2021 Veranstaltung
Ringvorlesung: Christina Büsing: Robust Minimum Cost Flow Problem Under Consistent Flow Constraints -
Datum
01.07.2021 Veranstaltung
Ringvorlesung: Joost-Pieter Katoen: The Surprises of Probabilistic Termination -
Datum
01.07.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Webinarreihe von dem GRK 2193: Die Fabrik im digitalen Zeitalter: Organisation technischer Dienstleistungen -
Datum
01.07.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Trajectorial Otto calculus -
Datum
30.06.2021 Veranstaltung
Bi-Weekly Talk: Alexander Bork: Underapproximations for Indefinite-Horizon POMDPs -
Datum
24.06.2021 Veranstaltung
Ringvorlesung: Gerhard Lakemeyer: Uncertainty in Robotics -
Datum
18.06.2021 Veranstaltung
Informatik-Oberseminar: Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs -
Datum
17.06.2021 Veranstaltung
Ringvorlesung: Nils Nießen: Optimised Maintenance of Railway Infrastructure -
Datum
17.06.2021 Veranstaltung
Gastvortrag: Raphaël Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes -
Datum
16.06.2021 Veranstaltung
Bi-Weekly Talk: Termination of Probabilistic Programs via PTRS -
Datum
15.06.2021 Veranstaltung
Gastvortrag: Daniel Neider: Horn-ICE Learning: An Inductive Approach to Deductive Software Verification -
Datum
10.06.2021 Veranstaltung
Ringvorlesung: Britta Peis: Sensitivity Analysis for Submodular Function Optimization with Applications in Algorithmic Game Theory -
Datum
10.06.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: On the sticky particle solutions to the pressureless Euler system in general dimension -
Datum
08.06.2021 Veranstaltung
Special Event: Movie "Picture the Scientist" -
Datum
01.06.2021 Veranstaltung
Joint Meeting of the German RTGs in Computer Science: DFG Funding Opportunities for Early Career Researchers (requested talk by DFG) -
Datum
01.06.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Computation in Finite Model Theory: Symmetric Algorithms and their Limitations -
Datum
20.05.2021 Veranstaltung
Ringvorlesung: Martin Grohe: The Logic of Graph Neural Networks -
Datum
20.05.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Entropy satisfying multi well-balanced schemes for shallow water type systems -
Datum
19.05.2021 Veranstaltung
Gastvortrag: Marta Kwiatkowska: Probabilistic model checking for strategic equilibria-based decision making -
Datum
18.05.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Online Workshop: Wege in der Wissenschaft - Fördermöglichkeiten und Karrierewege -
Datum
17.05.2021 Veranstaltung
PromotionsCAFÉ: Das Lesen der Anderen - User-Tracking auf Verlagsplattformen -
Datum
12.05.2021 Veranstaltung
Gastvortrag: Mirco Giacobbe: Neural Termination Analysis -
Datum
11.05.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Semiring Provenance for LFP and Strategy Analysis of Büchi Games -
Datum
07.05.2021 Veranstaltung
Mathematik Oberseminar: Martin Comis -
Datum
06.05.2021 Veranstaltung
Ringvorlesung: Christof Löding: Learning Automata for Infinite Words -
Datum
06.05.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Fast computations of Wasserstein gradient flows -
Datum
05.05.2021 Veranstaltung
Bi-Weekly Talk: Komal Muluk: On the complexity of singly connected vertex deletion -
Datum
29.04.2021 Veranstaltung
Ringvorlesung: Erich Grädel: Hidden Variables in Quantum Mechanics and Logics of Dependence and Independence -
Datum
27.04.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Semiring Extension of Answer Set Programs and Sum-of-Product Problems -
Datum
23.04.2021 Veranstaltung
Application Talk: Niklas Kotowski -
Datum
22.04.2021 Veranstaltung
Ringvorlesung: Jürgen Giesl: Inferring Expected Runtimes of Probabilistic Programs -
Datum
22.04.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Phase-Field Gradient Theory: the geometry of gradient flows and its configuration mechanics -
Datum
21.04.2021 Veranstaltung
Bi-Weekly Talk: Stephan Zieger: The Dial-a-Ride Problem in Railways -
Datum
20.04.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: 2nd Springer Nature Webinar for authors - Information on the German DEAL agreement -
Datum
19.04.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Digital EU-Career Workshop von ICT & MTE: EU-Careers: An Insight into Research Programs, Grants and Projects -
Datum
15.04.2021 Veranstaltung
Ringvorlesung: Erika Ábrahám: Probabilistic Hyperproperties -
Datum
15.04.2021 Veranstaltung
PromotionsCAFÉ: Quo vadis, Doctor? nach der Promotion zu DLR -
Datum
13.04.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Rafael Peñaloza: Semiring-based Provenance for Light-weight Description Logics -
Datum
13.04.2021 Veranstaltung
Bi-Weekly Talk und Moves Seminar: Tobias Winkler -
Datum
08.04.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors -
Datum
07.04.2021 Veranstaltung
Bi-Weekly Talk: Katharina Eickhoff: Integer Programming Formulations for the Burning Number Problem -
Datum
24.03.2021 Veranstaltung
Bi-Weekly Talk: Martin Comis: Robust strategic planning for mobile medical units with steerable and unsteerable demands -
Datum
10.03.2021 Veranstaltung
Bi-Weekly Talk: Joshua Moerman: Weighted Register Automata -
Datum
24.02.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Informatik Kolloquium: Operational Planning for Mobile Medical Units -
Datum
24.02.2021 Veranstaltung
Bi-Weekly Talk: Tabea Krabs: One transfer per patient suffices: Structural insights about patient-to-room assignment -
Datum
18.02.2021 Veranstaltung
Oberseminar: Anton Pirogov: Automata-theoretic techniques for probabilistic verification -
Datum
17.02.2021 Veranstaltung
PromotionsCAFÉ: Creating German Data Science Pizzas in a Responsible Way -
Datum
02.02.2021 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Robin Hirsch: Relation algebra, games, representations, constraints -
Datum
27.01.2021 Veranstaltung
Bi-Weekly Talk: Jip Spel: Finding Provably Optimal Markov Chains -
Datum
27.01.2021 - 28.01.2021 Veranstaltung
Für interessierte UnRAVeL Mitglieder: RTG Computational Cognition: workshop on deep reinforcement learning -
Datum
13.01.2021 Veranstaltung
Gastvortrag: Mahesh Viswanathan: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy -
Datum
06.01.2021 Veranstaltung
Gastvortrag: Benny Kimelfeld: Probabilistic Databases: Variations, Computations, Implications -
Datum
17.12.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Coupled finite-volume/Monte-Carlo methods for plasma edge simulation in fusion reactors -
Datum
16.12.2020 Veranstaltung
Bi-Weekly Talk: Tim Seppelt: How Indistinguishable are Cospectral Graphs? Weisfeiler–Leman, Graph Spectra, and Graph Powers -
Datum
15.12.2020 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Frank Wolter: Separating Positive and Negative Data Examples in the Presence of an Ontology -
Datum
09.12.2020 Veranstaltung
Interner UnRAVeL workshop -
Datum
02.12.2020 Veranstaltung
Gastvortrag: Kuldeep Meel: Sparse Hashing for Scalable Approximate Model Counting: When Theory and Practice Finally Meet -
Datum
01.12.2020 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Salomon Sickert-Zehnter: An Efficient Normalisation Procedure for Linear Temporal Logic -
Datum
26.11.2020 Veranstaltung
PromotionsCAFÉ: Scientific publishing is hacked -
Datum
26.11.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: The geometry of weakly regular isometric immersions -
Datum
24.11.2020 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Moshe Y. Vardi: A logical revolution -
Datum
20.11.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Sebastian Pokutta -
Datum
19.11.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: On the structure of divergence-free vector measures on the plane -
Datum
18.11.2020 Veranstaltung
Bi-Weekly Talk: Tobias Winkler: Out of Control: Reducing Probabilistic Models by Control-State Elimination -
Datum
16.11.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Webinar by GRK 2193: Adaption Intelligence of Factories -
Datum
12.11.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Symplectic field theory and topological entropy in Hamiltonian systems -
Datum
10.11.2020 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Wojciech Czerwinski: Tower-hardness of the reachability problem for Vector Addition Systems -
Datum
05.11.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: K-convergence of numerical solutions of the Euler equations -
Datum
04.11.2020 Veranstaltung
Gastvortrag: Gabriele Kern-Isberner: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning -
Datum
30.10.2020 Veranstaltung
Oberseminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time -
Datum
27.10.2020 Veranstaltung
Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Guillermo Alberto Perez: Revisiting Synthesis for One-Counter Automata -
Datum
21.10.2020 Veranstaltung
PromotionsCAFÉ - Gutes besser tun?! Eine kurze Einführung in den Effektiven Altruismus -
Datum
21.10.2020 Veranstaltung
Gastvortrag: Michael Schaub: Learning from signals on graphs with unobserved edges -
Datum
15.10.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Weekly Seminar by RTG Eddy: Finding solutions of the multi-dimensional compressible Euler equations -
Datum
07.10.2020 Veranstaltung
Gastvortrag: Guy Van den Broeck: From Probabilistic Circuits to Probabilistic Programs and Back -
Datum
23.09.2020 Veranstaltung
Gastvortrag: Jan Hoffmann: Raising Expectations: Automating Expected Cost Analysis with Types -
Datum
14.09.2020 - 18.09.2020 Veranstaltung
Für interessierte UnRAVel Mitglieder: Highlights of Logic, Games and Automata 2020 -
Datum
09.09.2020 Veranstaltung
Bi-Weekly Talk: Jasper Nalbach: A novel idea for solving satisfiability modulo linear real arithmetic -
Datum
26.08.2020 Veranstaltung
Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs -
Datum
12.08.2020 Veranstaltung
Bi-Weekly Talk: Janosch Fuchs: Graph Exploration Revisited -
Datum
06.08.2020 Veranstaltung
Für interessierte UnRAVel Mitglieder: Joost-Pieter Katoen: MOVES Seminar Automated Termination Analysis of Polynomial Probabilistic Programs -
Datum
30.07.2020 Veranstaltung
Good scientific practice: Course “good scientific practice” -
Datum
28.07.2020 Veranstaltung
Gastvortrag: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data -
Datum
15.07.2020 Veranstaltung
Bi-Weekly Talk: Richard Wilke: The Presburger fragment of logics with multiteam semantics -
Datum
17.06.2020 Veranstaltung
Good scientific practice: Erika Ábrahám: Behind the scenes: Review processes for publications -
Datum
17.06.2020 Veranstaltung
Special Event: Wil van der Aalst as the UnRAVeL-Ombudsman will present himself -
Datum
09.06.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Workshop „Gamification und Mixed Reality für Lehrende in den Ingenieurwissenschaften“ -
Datum
07.06.2020 - 10.06.2020 Veranstaltung
Special Event: Online Meeting: Vernetzungstreffen Dagstuhl 2020 -
Datum
04.06.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Workshop „Kollaborativ interdisziplinär – Gestaltung effektiver interdisziplinärer Zusammenarbeit“ -
Datum
03.06.2020 Veranstaltung
Bi-Weekly Talk: Vipin Vijayalakshmi: Scheduling Games with Machine-Dependent Priority Lists -
Datum
27.05.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Wege in der Wissenschaft - Fördermöglichkeiten und Karrierewege in der Postdoc-Phase -
Datum
20.05.2020 Veranstaltung
Bi-Weekly Talk: Anton Pirogov: Ambiguity in Probabilistic Büchi Automata -
Datum
06.05.2020 Veranstaltung
Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised NeuralNetworks -
Datum
21.04.2020 - 21.04.2020 Veranstaltung
Spring Workshop: Special Event: Internal UnRAVeL-Workshop as zoom conference -
Datum
20.04.2020 - 22.04.2020 Veranstaltung
Abgesagt: Special Event: Treffen mit Austrian RTG VLCA (Vienna Center for Logic and Algorithms) -
Datum
12.03.2020 Veranstaltung
Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications -
Datum
11.03.2020 - 12.03.2020 Veranstaltung
Abgesagt: Special Event: Workshop zum Thema "Integer and Combinatorial Optimization" -
Datum
09.03.2020 Veranstaltung
Abgesagt: Für interessierte UnRAVeL Mitglieder: Information & Networking for Young Researchers -
Datum
04.03.2020 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Workshop zum Projekt ROSI (Referenzimplementierung für offene szientometrische Indikatoren) -
Datum
04.03.2020 Veranstaltung
Bi-Weekly Talk: Andreas Klinger: A new hope for matching in a galaxy far, far away.... -
Datum
03.03.2020 Veranstaltung
Informatik Oberseminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability -
Datum
19.02.2020 Veranstaltung
Bi-Weekly Talk: Rebecca Haehn: Freight Train Scheduling in Railway Systems -
Datum
18.02.2020 Veranstaltung
Gastvortrag: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries -
Datum
14.02.2020 Veranstaltung
Gastvortrag: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance -
Datum
13.02.2020 Veranstaltung
Informatik Oberseminar: Sebastian Junges: Parameter Synthesis in Markov Models -
Datum
13.02.2020 Veranstaltung
Gastvortrag: Javier Esparza: Black Ninjas in the Dark: Analyzing Population Protocols. -
Datum
29.01.2020 Veranstaltung
Bi-Weekly Talk: Peter Lindner: Generative Datalog with Continuous Distributions -
Datum
24.01.2020 Veranstaltung
Stammtisch -
Datum
22.01.2020 Veranstaltung
PromotionsCafé Minorities in Social Networks -
Datum
07.01.2020 Veranstaltung
Gastvortrag: Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification -
Datum
06.01.2020 Veranstaltung
Special Event: UnRAVeL Neujahrsempfang -
Datum
18.12.2019 Veranstaltung
Special Event: Austauschbesuch der Studierenden aus Cachan -
Datum
11.12.2019 Veranstaltung
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 -
Datum
09.12.2019 Veranstaltung
Gastvortrag: An NLOG fragment of inclusion logic -
Datum
05.12.2019 Veranstaltung
Für interessierte UnRAVeL Mitglieder: What do you do? Die Zukunft der Medien – Meinungsbildung im digitalen Zeitalter -
Datum
27.11.2019 Veranstaltung
Bi-Weekly Talk: Marcel Hark: Computing Expected Runtimes for Constant Probability Programs -
Datum
26.11.2019 Veranstaltung
Gastvortrag: Carlos Budde: Discrete (Rare) Event Simulation for Dynamic Fault Trees with Repairs -
Datum
20.11.2019 Veranstaltung
Gastvortrag: Prof. Lenore Zuck -
Datum
13.11.2019 Veranstaltung
Stammtisch: Café & Bar Zuhause -
Datum
13.11.2019 Veranstaltung
Bi-Weekly Talk: Till Hofmann -
Datum
11.11.2019 Veranstaltung
Presentation for UnRAVeL application: Christoph Grüne -
Datum
06.11.2019 Veranstaltung
Für interessierte UnRAVeL Mitglieder: Vortrag von Prof. Dr. Joost-Pieter Katoen: „Probabilistische Programmierung: Maschinelles Lernen für die Massen?“ -
Datum
30.10.2019 Veranstaltung
Bi-Weekly Talk: Björn Tauer: Waiting for Trains: Complexity Results -
Datum
29.10.2019 Veranstaltung
Gastvortrag: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs -
Datum
23.10.2019 Veranstaltung
Special Event: Introduction to Category Theory Block Seminar -
Datum
16.10.2019 Veranstaltung
Stammtisch: Café & Bar Zuhause -
Datum
16.10.2019 Veranstaltung
Bi-Weekly Talk: Stephan Zieger: Identifying and Reducing Performance Uncertainty in UK Railway Timetables -
Datum
02.10.2019 Veranstaltung
Bi-Weekly-Meeting - Gastvortrag: David Jansen: A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems -
Datum
01.10.2019 Veranstaltung
Gastvortrag: Tom van Dijk: Tangles and Distractions in Parity Games -
Datum
25.09.2019 Veranstaltung
Informatik-Oberseminar -
Datum
18.09.2019 Veranstaltung
Bi-Weekly Talk: Laura Vargas Koch: Spillback Nash Flows Over Time -
Datum
05.09.2019 Veranstaltung
Gastvortrag: Ji Guan: Model Checking Applied to Quantum Physics -
Datum
03.09.2019 Veranstaltung
Gastvortrag: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity -
Datum
26.08.2019 Veranstaltung
MFCS 2019: Kavitha Telikepalli: Popular Matchings: Good, Bad, and Mixed -
Datum
26.08.2019 Veranstaltung
MFCS 2019: Alexandra Silva: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time -
Datum
26.08.2019 Veranstaltung
MFCS 2019: Kurt Mehlhorn: Trustworthy Graph Algorithms -
Datum
26.08.2019 Veranstaltung
MFCS 2019: Daniel Lokshtanov: Picking Random Vertices -
Datum
26.08.2019 - 30.08.2019 Veranstaltung
MFCS 2019: Jérôme Leroux: Petri Net Reachability Problem -
Datum
21.08.2019 Veranstaltung
Bi-Weekly Talk: Matthias Volk und Norman Weik: A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -
Datum
07.08.2019 Veranstaltung
Bi-Weekly Talk: Dennis Fischer: The Recoverable Robust Assignment Problem -
Datum
31.07.2019 Veranstaltung
PromotionsCafé: Meine erste Steuererklärung -
Datum
24.07.2019 Veranstaltung
Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic? -
Datum
10.07.2019 Veranstaltung
Bi-Weekly Talk: Martin Comis & Tabea Krabs: Minimum Color-Degree Perfect b -Matchings -
Datum
09.07.2019 Veranstaltung
PromotionsCafé: Geschlecht und Transition -
Datum
04.07.2019 Veranstaltung
Ringvorlesung: Applications of Privacy-Preserving Protocols -
Datum
27.06.2019 Veranstaltung
CANCELLED: Ringvorlesung: How to Win Games that Never End? -
Datum
26.06.2019 Veranstaltung
Bi-Weekly Meeting: Besuch der CAVE -
Datum
16.06.2019 - 19.06.2019 Veranstaltung
Special Event: Vernetzungstreffen der deutschen Informatik-GRKs in Dagstuhl -
Datum
12.06.2019 Veranstaltung
Bi-Weekly Talk: Reasoning about uncertainty -
Datum
06.06.2019 Veranstaltung
Ringvorlesung: Competitive Analysis of Online Algorithms -
Datum
29.05.2019 Veranstaltung
Gastvortrag: Florent Delgrange: Life is Random, Time is Not: Markov Decision Processes with Window Objectives -
Datum
28.05.2019 Veranstaltung
Gastvortrag: Guy Avni: Graph games in Shielding and in Bidding -
Datum
23.05.2019 Veranstaltung
Ringvorlesung: Automatic Train Protection und Control Systems -
Datum
16.05.2019 Veranstaltung
Ringvorlesung: Static and Dynamic Network flows under Uncertainties -
Datum
15.05.2019 Veranstaltung
Bi-Weekly Talk: On the Union Closed Fragment of Existential Second-Order Logic -
Datum
09.05.2019 Veranstaltung
Ringvorlesung: Uncertainty in Databases -
Datum
09.05.2019 Veranstaltung
Für interessierte UnRAVel Mitglieder: Seminar: Wie schreibe ich einen Fachartikel für IEEE -
Datum
06.05.2019 Veranstaltung
Für interessierte UnRAVel Mitglieder: Künstliche Intelligenz: Chancen und Risiken -
Datum
02.05.2019 Veranstaltung
Ringvorlesung: Logics of Dependence and Independence -
Datum
26.04.2019 Veranstaltung
Gastvortrag: The role of Mathematical Optimization to enhance Interpretability in Data Science -
Datum
25.04.2019 Veranstaltung
Gastvortrag: Anytime Approximation in Probabilistic Databases via Scaled Dissociations -
Datum
18.04.2019 Veranstaltung
Ringvorlesung: Expressing and Verifying Probabilistic Hyperproperties -
Datum
17.04.2019 Veranstaltung
Bi-Weekly Talk: Exploring Sparse Graphs with Advice -
Datum
11.04.2019 Veranstaltung
Ringvorlesung: Termination and Complexity Analysis for Programs -
Datum
09.04.2019 Veranstaltung
Für interessierte UnRAVel Mitglieder: Informatik Kolloquium: AI for Good -
Datum
04.04.2019 Veranstaltung
Ringvorlesung: Programs That Every Now and Then Flip Coins -
Datum
03.04.2019 Veranstaltung
Bi-Weekly Talk: Anton Pirogov: A unified approach to Büchi determinization -
Datum
20.03.2019 Veranstaltung
Bi-Weekly Talk by Vipin Ravindran Vijayalakshmi: Always be Two Steps Ahead of Your Enemy -
Datum
18.03.2019 Veranstaltung
Für interessierte UnRAVel Mitglieder: AlMoTh 2019 - Algorithmic Model Theory Meeting 2019 -
Datum
06.03.2019 - 08.03.2019 Veranstaltung
Frühlingsworkshop: Monschau -
Datum
27.02.2019 Veranstaltung
PromotionsCafé Strategische Finanzplanung -
Datum
26.02.2019 Veranstaltung
Gastvortrag: On the Complexity of Value Iteration -
Datum
21.02.2019 Veranstaltung
Good scientific practice: Informationsveranstaltung über die Förderprogramme der DFG -
Datum
20.02.2019 Veranstaltung
Bi-Weekly Talk: Provenance Analysis for Guarded Logics -
Datum
08.02.2019 Veranstaltung
Informatik Oberseminar: Advanced Weakest Precondition Calculi for Probabilistic Programs -
Datum
30.01.2019 Veranstaltung
Gastvortrag: Computation and Improvement of Wardop Equilibria with Unknown Demands -
Datum
23.01.2019 Veranstaltung
Bi-Weekly Talk: Railway Network Capacity Analysis for Strategic Planning -
Datum
12.12.2018 Veranstaltung
Bi-Weekly Talk: Guided Tour through ELVA -
Datum
04.12.2018 Veranstaltung
Gastvortrag: Verification and Strategy Synthesis for Stochastic Games -
Datum
28.11.2018 Veranstaltung
Special Event: Kino - THE CLEANERS -
Datum
28.11.2018 Veranstaltung
Gastvortrag: Data generation for programming by example -
Datum
27.11.2018 Veranstaltung
Special Event: Wiedereröffnung der Eisenbahntechnischen Lehr- und Versuchsanlage (ELVA) -
Datum
20.11.2018 Veranstaltung
Gastvortrag: Development of Dependable Autonomous Robots -
Datum
19.11.2018 Veranstaltung
Gastvortrag: Sebastian Arming:Parameter-Independent Strategies for pMDPs -
Datum
14.11.2018 Veranstaltung
Good scientific practice: Research Data Management -
Datum
07.11.2018 Veranstaltung
Gastvortrag: Almost Sure Productivity -
Datum
24.10.2018 Veranstaltung
Gastvortrag: Strategical Timetable Planning -
Datum
23.10.2018 Veranstaltung
Gastvortrag: Polyregular functions -
Datum
17.10.2018 Veranstaltung
Bi-Weekly Talk: A Multiobjective Approach to Hospital Patient to Room Assignment -
Datum
10.10.2018 Veranstaltung
Bi-Weekly Talk: Individual Traffic Simulation in Aachen via MATSim -
Datum
19.09.2018 Veranstaltung
Bi-Weekly Talk: Inductive Lower Bounds in Probabilistic Programs -
Datum
13.09.2018 Veranstaltung
Stammtisch: Guiness House -
Datum
05.09.2018 Veranstaltung
Bi-Weekly Talk: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs -
Datum
22.08.2018 Veranstaltung
Bi-Weekly Talk: Operational Planning for Mobile Medical Units -
Datum
09.08.2018 Veranstaltung
Stammtisch: Café & Bar Zuhause -
Datum
08.08.2018 Veranstaltung
PromotionsCafé: Going Abroad - Challenges and Experiences -
Datum
08.08.2018 Veranstaltung
Bi-Weekly Talk: vFlowpipe construction-based reachability analysis for the safety verification of hybrid systems -
Datum
31.07.2018 Veranstaltung
Open to UnRAVeL-members: Automata-Theoretic Synthesis for Probabilistic Environments -
Datum
25.07.2018 Veranstaltung
Special Event: Opening of UnRAVeL Room -
Datum
25.07.2018 Veranstaltung
Bi-Weekly Talk: Sebastian Junges und Dennis Fischer -
Datum
23.07.2018 Veranstaltung
Gastvortrag: Sensitivity of probabilistic programs -
Datum
12.07.2018 Veranstaltung
Ringvorlesung: How to Win Games that Never End? -
Datum
10.07.2018 Veranstaltung
Bi-Weekly Talk: Probabilistic Databases with an Infinite Open-World Assumption -
Datum
05.07.2018 Veranstaltung
Ringvorlesung: Probabilistic Robotics -
Datum
04.07.2018 Veranstaltung
Bi-Weekly Talk: Hierarchical and Dynamic Threshold Paillier Cryptosystem without Trusted Dealer -
Datum
28.06.2018 Veranstaltung
Ringvorlesung: Probabilistic Hybrid Systems -
Datum
27.06.2018 Veranstaltung
Bi-Weekly Talk: Quantitative Separation Logic -
Datum
26.06.2018 Veranstaltung
Gastvortrag: Nash Flows with Spillback -
Datum
26.06.2018 Veranstaltung
Open to UnRAVeL-members: EU Regional School - Fonnesbeck Seminar -
Datum
21.06.2018 Veranstaltung
Ringvorlesung: Uncertainty and Randomness in Railway Operations Research -
Datum
14.06.2018 Veranstaltung
Ringvorlesung: Termination and Complexity Analysis for Programs -
Datum
13.06.2018 Veranstaltung
Präsentation: Jip Spel -
Datum
12.06.2018 Veranstaltung
EU Regional School - Hennig Seminar -
Datum
07.06.2018 Veranstaltung
Ringvorlesung: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information -
Datum
29.05.2018 Veranstaltung
Gastvortrag: Simulating and analyzing autonomous taxis in the agent-based transport simulation MatSim -- an overview about existing work -
Datum
24.05.2018 Veranstaltung
Gastvortrag: Learning-Based Techniques for the Verification of Partially-Specified MDPs -
Datum
23.05.2018 Veranstaltung
Gastvortrag: Formal verification and learning of complex systems -
Datum
17.05.2018 Veranstaltung
Ringvorlesung: Programs That Every Now and Then Flip Coins -
Datum
16.05.2018 Veranstaltung
Gastvortrag: Milan Češka:Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection Abstract -
Datum
03.05.2018 Veranstaltung
Ringvorlesung: Logic and Languages -
Datum
02.05.2018 Veranstaltung
Bi-Weekly Talk: Introduction to Online Algorithms with Advice -
Datum
26.04.2018 Veranstaltung
Ringvorlesung: Dynamic Network Flows -
Datum
26.04.2018 Veranstaltung
Girl'sDay - Mädchen-Zukunftstag -
Datum
19.04.2018 Veranstaltung
Ringvorlesung: Computing on Encrypted Data -
Datum
18.04.2018 Veranstaltung
Bi-Weekly Talk: An Introduction To ω-Automata -
Datum
12.04.2018 Veranstaltung
Ringvorlesung: Competitive Analysis of Online Algorithms -
Datum
04.04.2018 Veranstaltung
Bi-Weekly Talk: Competitive Packet Routing: How mistrusting harms performance -
Datum
04.04.2018 Veranstaltung
Bi-Weekly Talk: Improving Local Search for Distributed Resource Allocation and Equilibrium Computation -
Datum
12.03.2018 Veranstaltung
Frühlingsworkshop: Rolduc -
Datum
21.02.2018 Veranstaltung
Bi-Weekly Talk: Erich Grädel & Richard Wilke: Logics for Dependence and Independence -
Datum
21.02.2018 Veranstaltung
Informatik Oberseminar: Stefan Wüller: Privacy-Preserving Electronic Bartering -
Datum
19.02.2018 Veranstaltung
Gastvortrag: Justin Hsu: From Couplings to Probabilistic Relational Program Logics -
Datum
14.02.2018 Veranstaltung
Präsentation: Katrin Dannert -
Datum
07.02.2018 Veranstaltung
PromotionsCafé: Tolerance for Diversity... Welcome to the Real World! -
Datum
07.02.2018 Veranstaltung
Bi-Weekly Talk: Automated Run-Time Analysis of Probabilistic Programs -
Datum
31.01.2018 Veranstaltung
Präsentation: Shahid Khan -
Datum
29.01.2018 Veranstaltung
Vortrag: Technical and organizational challenges of the „Stuttgart 21“ construction project -
Datum
23.01.2018 Veranstaltung
Vortrag: abc-Optimierung -
Datum
22.01.2018 Veranstaltung
Vortrag: Technical innovations in the railway sector „SmartRail“ -
Datum
10.01.2018 Veranstaltung
Präsentation: Stephan Zieger -
Datum
10.01.2018 Veranstaltung
Präsentation: Rebecca Haehn -
Datum
20.12.2017 Veranstaltung
Gastvortrag: Maurice van Keulen: Probabilistic Data Integration – Dealing with data quality issues in data integration -
Datum
18.12.2017 Veranstaltung
Präsentation: Fatima Ezzahra El Orche -
Datum
14.12.2017 Veranstaltung
Informatik-Oberseminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments -
Datum
14.12.2017 Veranstaltung
Präsentation: Daxin Liu -
Datum
13.12.2017 Veranstaltung
Vortrag: Rail Traffic Planning and Capacity Analysis -
Datum
07.12.2017 Veranstaltung
Gastvortrag: Motion Planning under Uncertainty and Partial Observability -
Datum
07.12.2017 Veranstaltung
Gastvortrag: Ordered Nominal Sets and Automata -
Datum
29.11.2017 Veranstaltung
Vortrag: Parameter Synthesis in Probabilistic Model Checking -
Datum
23.11.2017 Veranstaltung
Gastvortrag: Probabilistic Databases - Managing uncertainty in data -
Datum
15.11.2017 Veranstaltung
Vortrag: Challenges in the RoboCup Logisitics League (RCLL) -
Datum
15.11.2017 Veranstaltung
Vortrag: Proving almost-sure termination with non-ranking super martingales -
Datum
10.11.2017 Veranstaltung
Social Event: UnRAVeL Kickoff -
Datum
11.10.2017 Veranstaltung
Zweiwöchentliches Treffen: erstes Kennenlernen -
Datum
- 19.07.2023 Veranstaltung
Gastvortrag: José Verschae: Searching for infections in (Un)certain Graphs: Algorithms, Complexity and Bounds