PROGRAM FOR THURSDAY, AUGUST 11TH: TALK VIEW
Days:
previous day
next day
all days
View: with abstractssession overview
8:30
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
08:55-09:00 Welcome
09:00-10:30
Elizabeth Polgreen, Yatin Manerkar
09:00-10:30
A. Bruni, M. Carbone, R. Giustolisi, S. Mödersheim, C. Schürmann
09:00-10:30
Pierpaolo Degano, Letterio Galletta, Selene Gerali
09:00-10:30
A. Latour, B. Babaki, D. Fokkinga, M. Anastacio, H. Hoos, S. Nijssen
09:00-10:30
G. Hariharan, B. Kempa, T. Wongpiromsarn, P.H. Jones, K.Y. Rozier
09:00-10:30
Maximilian Heisinger, Martina Seidl, Armin Biere
09:00-10:30
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
09:00-10:30
Cynthia Kop, Deivid Vale
09:00-09:05 Welcome
09:05-10:25
Alessandro Gianola
09:05-10:25
Wesley Fussner, George Metcalfe
09:15-10:30
Renate Schmidt
09:15-10:30
Karim Eldefrawy
09:30-10:30
Chaked R.J. Sayedoff, Ofer Strichman
11:00-12:30
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
11:00-12:30
Annika Kanckos
11:00-11:45
Sebastian Holler, Clara Schneidewind, Sebastian Biewer
11:00-11:45
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
11:00-11:45
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
11:00-12:30
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
11:00-12:30
I. Ballesteros, C. Benac, L.E. Bueso, L.-. Fredlund, Á. Herranz, J. Mariño
11:00-12:30
Vinogradova, Chakravarty, Melkonian, Jones, Chapman, Ferariu, Krijnen
11:00-12:30
Aurélien Saue, Arvid Jakobsson, Kristina Sojakova
11:00-12:40
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
11:00-12:40
D. Aparicio, S. Escobar, C. Meadows, J. Meseguer, J. Sapiña
11:00-12:40
M.M. Ahmadpanah, M. Balliu, D. Hedin, L.E. Olsson, A. Sabelfeld
11:00-12:30
Agnes Moesgård Eschen, Jørgen Villadsen
11:00-12:30
Frederik Krogsdal Jacobsen, Jørgen Villadsen
11:00-12:30
Andreas Gittis, Eric Vin, Daniel J. Fremont
11:00-12:30
Paulius Dilkas
11:00-12:30
Jyotirmoy V. Deshmukh
11:00-12:30
Ariel Kellison, Andrew Appel
11:00-12:30
Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach
11:00-12:30
Max Heisinger
11:00-12:30
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
11:00-12:30
Cynthia Kop, Kasper Hagens, Wouter Brozius
11:00-12:30
Zohar, Irfan, Mann, Niemetz, Noetzli, Preiner, Reynolds, Barrett, Tinelli
11:00-12:30
Lucas Vella, Leonardo Alt
11:00-12:30
Joseph Scott, Guanting Pan, Elias Khalil, Vijay Ganesh
11:00-12:30
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy
12:00-12:30
Muhammad Usama Sardar
12:00-12:30
Emiel Lanckriet, Matteo Busi, Dominique Devriese
12:00-12:30 Session 126B
14:00-14:45
Anan Kabaha, Dana Drachsler Cohen
14:00-14:45
Jan Menz, Andrew K. Hirsch, Deepak Garg
14:00-15:15
Chad Brown, Cezary Kaliszyk, Josef Urban, Thibault Gauthier
14:00-15:15
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas
14:00-15:15
Polina Vinogradova, Orestis Melkonian, Andre Knispel, James Chapman
14:00-15:15
Andre Knispel, James Chapman, Orestis Melkonian, Polina Vinogradova
14:00-15:30
Bernhard Kragl
14:00-15:30
Edward Zieglar, Prajna Bhandary, Charles Nicholas
14:00-15:30
Walther Neuper, Bernhard Stöger, Makarius Wenzel
14:00-15:30
Yecine Megdiche, Fabian Huch, Lukas Stevens
14:00-15:30
Friedrich Slivovsky, Stefan Szeider
14:00-15:30
Q. Ferro, S. Graillat, T. Hilaire, F. Jézéquel, B. Lewandwoski
14:00-15:30
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
14:00-15:00
Soumyadip Bandyopadhyay
14:00-15:30
Aina Niemetz, Mathias Preiner, Clark Barrett
14:00-15:30
Andoni Rodriguez, César Sánchez
14:00-15:30
Elizaveta Pertseva, Mark Barbone, Joey Rudek, Nadia Polikarpova
14:00-15:30
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
14:00-15:30
Noah Dana-Picard
14:00-15:30
Joana Teles, Vanda Santos, Pedro Quaresma
14:00-14:30 Session 127Q
14:00-15:30
Florian Frohn, Carsten Fuhs
14:00-15:30
Marcel Hark, Florian Frohn, Jürgen Giesl
14:00-15:30
Jürgen Giesl, Nils Lommen, Marcel Hark, Eleanore Meyer
14:00-15:20
Dirk Beyer, Nian-Ze Lee, Philipp Wendler
14:30-15:30 Session 128
15:00-15:30 Discussion
15:15-15:30 Discussion
16:00-17:30
Xavier Parent, Christoph Benzmüller
16:00-17:30
Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
16:00-17:30
Jaroslav Bendik
16:00-16:45
Martin Ceresa, Cesar Sanchez
16:00-16:45
L.S. Brugger, L. Kovács, A. Petković Komel, S. Rain, M. Rawson
16:00-17:30 Session 131D
16:00-17:30
Yong Lai, Kuldeep S. Meel, Roland Yap
16:00-17:30
Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
16:00-17:00
Georgios Fainekos
16:00-17:30
Marton Hajdu, Laura Kovacs, Michael Rawson, Andrei Voronkov
16:00-17:30
Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
16:00-17:00 Business Meeting & Closing
16:00-17:00 Session 131N
16:45-17:00 Discussion
17:00-17:15 Community meeting, organisation
17:00-18:00 PANEL
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event