09:00-09:45

Jyotirmoy Deshmukh

09:45-10:30

Stephen H. Muggleton

11:00-11:18

Thibaud Michaud, Maximilien Colange

11:18-11:36

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Leander Tentrup

11:36-11:54

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu

11:54-12:12

Zexiang Liu, Necmiye Ozay, Nicolas Perrin

12:12-12:30

Abate, Bessa, Cattaruzza, Cordeiro, David, Kesseli, Kroening, Polgreen

14:00-14:18

Rohin Shah, Sumith Kulal, Rastislav Bodik

14:18-14:36

Dennis Peuter, Viorica Sofronie-Stokkermans

14:36-14:54

Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac

14:54-15:12

Jad Hamza, Viktor Kunčak

16:00-16:45

Necmiye Ozay

16:45-17:00

Swen Jacobs

17:00-17:15

Dana Fisman

17:15-18:00

Martin Vechev