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