May 21, 2018
Schedule
May 21, 2018 (Monday)
- 15:00 – Hotel Check In (early check-in from 12:00 is negotiable if informed in advance)
- 19:00 – 21:00: Welcome Reception
May 22, 2018 (Tuesday)
- 07:30 – 09:00: Breakfast
- 09:00 – 09:15: Welcome, Overview, Administrative issues
- 09:15 – 10:30: Self-introductions (Slides: Luke,Ohad)
- 10:30 – 11:00: Tea break
- 11:00 – 11:50: Self-introductions
- 11:50 – 12:00: Group photo
- 12:00 – 13:30: Lunch
- 13:30 – 15:15: ML Tutorial (Jennifer Neville) slide
- 15:15 – 15:45: Tea break
- 15:45 – 17:00: Probabilistic Programming Tutorial (Rob Zinkov) slide
- 17:00 – 18:00: Discussion
- 18:00 – 19:30: Dinner
May 23, 2018 (Wednesday)
- 07:30 – 09:00: Breakfast
- 09:00 – 10:30: Probabilistic Metaprogramming Tutorial (Tiark Rompf)
- 10:30 – 11:00: Tea break
- 11:00 – 12:00: Crystallizing Future Directions (Ken Shan)
- 12:00 – 13:30: Lunch
- 13:30 – 15:00: Repository (Ken Shan)
- 15:00 – 15:20: Coffee break
- 15:20 – 16:30: Verifiable and Reusable Metaprograms for Bayesian Inference (Praveen Narayanan) slide
- 16:50 – 18:00: Inference Programming (Adam Scibior)
- 18:00 – 19:30: Dinner
May 24, 2018 (Thursday)
- 07:30 – 09:00: Breakfast
- 09:00 — 12:00: Correctness (Ken Shan, Ohad Kammar, Rob Zinkov)
- 10:30 – 11:00: Tea break
- 12:00 – 13:30: Lunch
- 14:00 – 20:30: Excursion and Banquet (Banquet Restaurant is Minemoto)
May 25, 2018 (Friday)
- 07:30 – 09:00: Breakfast
- 09:00 — 10:50: Disintegration with more general measures (Luke Ong, Ken Shan) Luke’s slide
- 10:50 – 11:20: Tea break
- 11:20 – 12:00: Final panel discussion: what’s next
- 12:00 – 13:30: Lunch