Spring Workshop in Rolduc

 

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