PROGRAM FOR MONDAY, AUGUST 1ST: 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
20:00
08:50-09:00 Opening
09:00-10:30
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
09:00-10:30
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina Păsăreanu
09:00-10:30
Guy Amir, Guy Katz, Michael Schapira, Tom Zelazny
09:00-10:30
Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev
09:00-10:30
Christina Kohl, Aart Middeldorp
09:00-10:30
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
09:00-10:30
Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff
09:00-10:30
Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff
09:00-10:30
Daniel Waszkiewicz, Konstanty Junosza-Szaniawski
09:00-10:30
Daniela Kaufmann, Paul Beame, Armin Biere, Jakob Nordstrom
09:00-10:30
Nina Narodytska
09:00-10:30
Xiao Peng, Olivier Simonin, Christine Solnon
09:00-10:30
Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo, Quentin Cappart
09:00-10:30
Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck
09:00-10:30
Daphné Lafleur, Sarath Chandar, Gilles Pesant
09:15-10:30
Advancing Science with Platforms and Driving Scenarios: a perspective from a researcher at Microsoft
Nikolaj Bjørner
09:30-10:30
Alexander Artikis, Periklis Mantenogloy
09:50-10:30
Ashutosh Trivedi, Fabio Somenzi, Mateo Perez
09:50-10:30
Maurizio Lenzerini
10:30-11:00 Doctoral Program: Poster session
10:30-11:00 Session 30B
11:00-12:30
S. Bensalem, C.-H. Cheng, X. Huang, P. Katsaros, A. Molin, D. Nickovic, D. Peled
11:00-12:30
M. Daggitt, W. Kokke, R. Atkey, L. Arnaboldi, E. Komendantskaya
11:00-12:30
Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart
11:00-12:30
G. Sartor, J. Davila, M. Billi, G. Pisano, G. Contissa, R. Kowalski
11:00-12:30
Joaquin Arias, Mar Moreno-Rebato, Jose Antonio Rodríguez, Sascha Ossowski
11:00-12:30
G. García Pradales, J.F. Morales, M.V. Hermenegildo, J. Arias, M. Carro
11:00-12:30
Jonathan Weinberger, Benedikt Ahrens, Ulrik Buchholtz, Paige North
11:00-12:30
Alexander Lochmann, Fabian Mitterwallner, Aart Middeldorp
11:00-12:30
Valentin Blot, Gilles Dowek, Thomas Traversié
11:00-12:30
Kilian Rueckschloss, Felix Weitkämper
11:00-12:30
Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue
11:00-12:30
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying
Mathias Fleury, Armin Biere
11:00-12:30
Tikhon Pshenitsyn
11:00-12:30
Vincent Van Oostrom
11:00-11:30
Diego Calvanese
11:00-12:30
Marco Dalla, Andrea Visentin, Barry O'Sullivan
11:00-12:30
Felix Ulrich-Oltean, Peter Nightingale, James Walker
11:00-12:30
Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau
11:00-12:30
Vianney Coppé, Xavier Gillard, Pierre Schaus
12:10-12:40
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
12:10-12:40
Giuseppe De Giacomo, Kuldeep S. Meel, Kristin Yvonne Rozier
14:00-15:30
Omri Isac, Clark Barrett, Min Zhang, Guy Katz
14:00-15:30
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
14:00-15:30
S.C. Varanasi, B. Meng, C. Alexander, S. Borgyos, B. Hall
14:00-15:30
K. Basu, P. Padalkar, H. Wang, E. Salazar, J. Arias, G. Gupta
14:00-15:30
S.C. Varanasi, N. Saeedloei, E. Salazar, J. Arias, G. Gupta
14:00-15:30
Benedikt Ahrens, Paige North, Niels van der Weide
14:00-15:30
Ryota Haga, Yuki Kagaya, Takahito Aoto
14:00-15:30
Frederik Krogsdal Jacobsen, Jørgen Villadsen
14:00-15:30
W. Dvořák, M. Hecher, M. König, A. Schidler, S. Szeider, S. Woltran
14:00-15:30
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
14:00-15:30
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
14:00-15:30
Isaac Grosof, Naifeng Zhang, Marijn Heule
14:00-15:30
Joseph Reeves, Marijn Heule, Randal Bryant
14:00-15:30
Anderson Beraldo-de-Araujo
14:00-15:30
Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Hugues Wattez
14:00-15:30
Auguste Burlats, Gilles Pesant
14:00-15:30
Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan
14:00-15:30
Siddharth Prasad, Maria-Florina Balcan, Tuomas Sandholm, Ellen Vitercik
14:00-15:30
Jimmy H. M. Lee, Allen Z. Zhong
14:00-15:30
Jheisson López, Laura Climent, Alejandro Arbelaez
15:00-15:30
Eben Blaisdell, Max Kanovich, Stepan Kuznetsov, Elaine Pimentel, Andre Scedrov
15:00-15:40
Eli Singerman, Gila Kamhi, Ranan Fraer, Avner Landver
15:30-16:00 Doctoral Program: Poster session
15:30-16:00 Session 36B
16:00-17:00
K. Leino, A. Fromherz, R. Mangal, M. Fredrikson, B. Parno, C. Pasareanu
16:00-17:30
Evan Cavallo, Christian Sattler
16:00-18:00
Willem Heijltjes, Vincent Van Oostrom
16:00-17:00 Panel discussion: Conclusions
16:00-17:30 Panel (Nikolaj Bjørner, Christoph Haase, Liat Peterfreund)
16:00-17:30
Ilario Bonacina, Nicola Galesi, Massimo Lauria
16:00-17:00
T. Holzenkamp, K. Kuryshev, T. Oltmann, L. Wäldele, J. Zuber, T. Heuer, M. Iser
16:00-17:00
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordstrom
16:00-17:30
Abdallah Saffidine
16:00-17:30
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
16:00-17:30
Stephen Mell, Osbert Bastani, Steve Zdancewic
16:00-17:00 Session 37N
16:00-16:30 Closing Session
16:00-17:30
R.M. Tsoupidi, R. Castañeda Lozano, E. Troubitsyna, P. Papadimitratos
16:00-17:30
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
16:00-17:30
Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam Ngouonou
16:00-17:30
Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack
16:00-17:30
Christopher Coulombe, Claude-Guy Quimper
16:00-17:30
N. Beldiceanu, J. Cheukam Ngouonou, R. Douence, R. Gindullin, C.-G. Quimper
17:00-17:30 Discussion on topical aspects
17:30-17:40 Closing
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
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
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
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
15:30-16:00 Coffee Break
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event