Thursday, September 26th, 2013

8:30am - 9:00am: Registration

9:00am - 9:30am: Welcome and opening talk by Head of Dept

9:30am - 10:00am: Welcome from committee + Gone in 60 Seconds (Session chair: Marily Nika)

10:00am - 10:15am: Coffee break

10:15am - 11:15am: Logics and Formal Methods (Session chair: Claudia Schulz)

11:15am - 11:30am: Coffee break

11:30am - 12:30am: Video and Imaging (Session chair: Zhongliu Xie)

12:30pm - 1:30pm: Lunch break

1:30pm - 2:30pm: Keynote (Session chair: Calin-Rares Turliuc)

2:30pm - 5:00pm: Free time

5:00pm - 10:00pm: Social evening and Banquet

Friday, September 27th, 2013

9:00am - 9:30am: Registration

9:30am - 10:30pm: Evaluation Frameworks (Session chair: Feryal Mehraban Pour Behbani)

10:30am - 11:00am: Coffee break

11:00am - 12:00pm: High Performance and Cloud Computing (Session chair: Chris Guenther)

12:00pm - 1:30pm: Lunch break

1:30pm - 2:30pm: Languages, Modelling and Machine Learning (Session chair: Calin-Rares Turliuc)

2:30pm - 3:00pm: Coffee break

3:00pm - 4:30pm: Machine Learning and Knowledge Representation (Session chair: Daniel Bernhardt, Facebook)

4:30pm - 5:00pm: Coffee break

5:00pm - 6:00pm: Keynote (Session chair: Calin-Rares Turliuc)

6:00pm - 6:30pm: Prize giving and Closing (Session chair: Nicholas Ng)