08:30-08:40 Introduction

08:40-09:20 Michele Sebag: The Expert in the Loop

09:20-09:50 Oral contributions

  • Marlies De Clercq, Michiel Stock, Bernard De Baets and Willem Waegeman, Recipe Completion using Machine Learning Techniques
  • Matthew Blaschko and Jiaqian Yu, Hardness Results for Structured Learning and Inference with Multiple Correct Outputs

09:50-10:00 Poster spotlights

  • Stefano Teso, Roberto Sebastiani and Andrea Passerini, Constructive Learning Modulo Theories
  • Stefano Teso and Andrea Passerini, Inducing Sparse Programs for Learning Modulo Theories

10:00-10:30 Coffee break

10:30-11:10 Javier González: Bayesian optimization for synthetic gene design

11:10-12:00 Poster spotlights and Poster session

  • Santiago Londono and Olana Missura, Graph Grammars for Super Mario Bros Levels
  • Fabrizio Costa, Robert Kleinkauf and Parastou Kohvaei, RNAsynth: a graph kernel approach to learn constraints for RNA inverse folding

12:00-14:00 Lunch break

14:00-14:40 François Pachet: Modeling and Manipulating style: a new challenge for Artificial Intelligence

14:40-15:10 Oral contributions

  • Jason Sakellariou, Francesca Tria, Vittorio Loreto and Francois Pachet, Maximum Entropy Model for Melodic Patterns
  • Jiaojian Wang and Olana Missura, Story Curve Driven Mission Generator

15:10-16:00 Poster spotlights and Poster session

  • Vanel Steve Siyou Fotso, Engelbert Mephu-Nguifo and Philippe Vaslin, Symbolic representation of cyclic time series: application to biomechanics
  • Alessandro Tibo, Simone Conforti, Lorenzo Brusci, Tijn Borghuis, Marco Gori and Paolo Frasconi, Sound Generation via Cross-Modal Transcoding

16:00-16:30 Coffee break

16:30-17:10 Ryan Adams: Designing Molecules with Deep Learning and Bayesian Optimization

17:10-17:30 Best contributed talk

Marc Brockschmidt, Yuxin Chen, Byron Cook, Pushmeet Kohli and Daniel Tarlow, Learning to Decipher the Heap for Program Verification

17:30-18:00 Moderated discussion