Spring Workshop: Rolduc
Monday, March 12, 2018
Location: Abdij Rolduc, Heyendallaan 82, 6464 EP Kerkrade, Holland
Programme
The spring workshop takes place at the following addresse: Abdij Rolduc, Heyendallaan 82, 6464 EP Kerkrade, Netherlands
| First Day | 12/03/2018 |
|---|---|
| 9:30 |
Departure from the Computer Science building, on the parking lot in front of the E3 building |
| 11:00 - 11:30 | Opening |
| 11:30 - 12:30 | Mariëlle Stoelinga: How Risk Happens, and Stochastic Model Checking Can Help, Part 1 |
| 12:30 - 13:30 | Lunch Break |
| 13:30 - 14:15 | Mariëlle Stoelinga: How Risk Happens, and Stochastic Model Checking Can Help, Part 2 |
| 14:15 - 15:00 | Christina Büsing: Dealing with Uncertainties in Discrete Optimization: A Recoverable Robust Approach |
| 15:00 - 15:30 | Coffee Break |
| 15:30 - 17:00 |
My Research Problem Session I Sebastian Junges: How to Remove Nonsense: Disabling Choices in the Presence of Partial Information and Stochastic Uncertainty Benjamin Kaminski: How to Get Below a Least Fixed Point? Richard Wilke: How to Reason about Statistical Dependencies with Infinite Multiteams Stefan Wüller: Hierarchical Secret Sharing without Trusted Dealer |
| 17:00 - 18:00 |
Research Speed Dating - Doctoral researchers Organisational Meeting - Principal investigators |
| 18:00 - 20:00 | Dinner |
| 21:00 | Get together in the bar |
| Second Day | 13/03/2018 |
|---|---|
| 9:00 - 9:30 | Martin Ritzert : Learning of Logical Formulas on Words and Trees |
| 9:30 - 11:00 |
My Research Session II Marcel Hark: Martingales and Lower Bounds for Probabilistic Programs Peter Lindner: Probabilistic Databases and the Open World Assumption Norman Weik: Stochastic networks in a random environment, how to effectively model system failure processes? |
| 11:00 - 11:30 | Coffee Break |
| 11:30 - 12:30 | Radu Mardare : Quantative Equational Reasoning: Towards a Quantative Theory Computational Effects, Teil 1 |
| 12:30 - 13:30 | Lunch Break |
| 13:30 - 14:15 | Radu Mardare: Quantative Equational Reasoning: Towards a Quantative Theory Computational Effects, Teil 2 |
| 14:15 - 15:15 | Joost-Pieter Katoen : Organisational Issues |
| 15:15 - 15:45 | Coffee Break |
| 15:45 - 16:15 | Matthias Volk : Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms |
| 16:15 - 17:45 |
My Research Problem Session III Stefan Schupp: Involving Complex Controllers in Hybrid Systems with Cyclic Execution Rebecca Haehn: Variable Order for CAD Projection Björn Tauer: Competitive Packet Routing with Priority Lists Vipin Vijayalakshmi: Bounding the Inefficiency of Equilibria in Congestion Games under Taxation |
| 18:00 - 19:30 | Dinner |
| 21:00 | Get together in a bar |
| Third Day | 14/03/2018 |
|---|---|
| 9:00 - 10:00 | Friedhelm Meyer auf der Heide : Algorithmic Foundations of Swarm Robotics, Teil 1 |
| 9:45 - 10:15 | Coffee Break |
| 10:15 - 11:00 | Friedhelm Meyer auf der Heide: Algorithmic Foundations of Swarm Robotics, Teil 2 |
| 11:00 - 12:30 |
My Research Problem Session IV Katrin Dannert: Equivalence and Interpolation in a Provenance Setting Till Hoffmann: Temporal Constraints in the Situation Calculus Anton Pirogov: Improving Determinization of Büchi Automata in Theory and Practise |
| 12:30 - 13:45 | Lunch Break |
| 14:00 | Return to Aachen |