9:00-9:10: Welcome.
9:10-9:50: Rajeev Alur: Time for Temporal Logic
9:50-10:30: Christel Baier: From classical to non-classical stochastic shortest path problems

10:30-11:00: Coffee break

11:00-11:40: Javier Esparza: Back to the Future: A Fresh Look at Linear Temporal Logic
11:40-12:00: Open Forum

12:00-14:00: Lunch

14:00-14:40: Edward Lee: Generalizing Logical Execution Time 
14:40-15:20: Shaz Qadeer: A discipline of verified program construction

15:30-16:00 Coffee break

16:00-16:40: Joel Ouaknine: What’s Decidable about Discrete Linear Dynamical Systems?
16:40-17:20: Thomas Henzinger: Two Successes, Two Failures, and Two Predictions

17:20-17:30: Conclusion and Informal Discussion.