PROGRAM FOR FRIDAY, JULY 18TH, 2014: TALK VIEW
Days:
previous day
next day
all days
View: with abstractssession overview
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
20:30
21:00
21:30
22:00
22:30
23:00
23:30
08:45-10:15 CAV Tutorial: How do we get inductive invariants?
09:15-09:45
Byron Cook, Stephen Magill, Matthew Parkinson, Thomas Stroeder
09:45-10:15
Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
09:10-09:35
David Sanan, Andrew Butterfield, Michael Hinchey
10:00-10:15
Martin Clochard
09:45-10:15
Ramon Jansana
08:45-09:15
Krystyna Mruczek-Nasieniewska
09:45-10:15
Vincenzo Marra, Daniel Mcneill, Andrea Pedrini
08:45-09:00 Workshop Opening
08:45-09:45
Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Béguelin
09:00-09:15 Workshop opening
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
Birte Glimm, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:00-18:00
David Cok, David Deharbe, Tjark Weber
09:30-10:15
Clark Barrett, Pascal Fontaine, Leonardo De Moura
09:00-10:15
Lynne Coventry
09:15-10:15
Christel Baier, Clemens Dubslaff, Sascha Klueppelholz
09:15-10:15
Ulrich Berger, Tie Hou
09:15-09:45
Amroun Kamal, Habbas Zineb, Aggoune-Mtalaa Wassila
09:45-10:15
Eugene Freuder, Diarmuid Grimes, Richard Wallace
09:45-10:25
Petr Svenda
09:45-10:15
John D Ramsdell, Daniel Dougherty, Joshua Guttman, Paul D Rowe
11:15-11:45
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
11:45-12:15
Eugene Asarin, Michel Bockelet, Aldric Degorre, Cătălin Dima, Chunyan Mu
12:15-12:45
Christel Baier, Joachim Klein, Sascha Klueppelholz, Sascha Wunderlich
11:15-11:45
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
12:15-12:45
Ranko Lazić, Sylvain Schmitz
11:45-12:15
M. Dénès, C. Hritcu, L. Lampropoulos, Z. Paraskevopoulou, B.C. Pierce
10:45-12:45 CAV Tutorial: How do we get inductive invariants?
11:15-11:45
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
11:15-11:45
Haruhiko Sato, Sarah Winkler
11:45-12:15
Alexander Bau, René Thiemann, Johannes Waldmann
12:00-12:30
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
10:45-11:15
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
11:15-11:45
Roy Mennicke
11:15-11:45
A. Letichevsky, O. Letychevskyi, V. Peschanenko, T. Weigert
11:45-12:15
H. Huang, F. Song, Z. Qian, K. Li, J. Chen, S. Guan, W. Huang
10:45-11:45
Michael Whalen
11:45-12:10
Anindya Banerjee, David Naumann
12:35-13:00
Julian Nagele, René Thiemann, Sarah Winkler
10:45-11:15
B. Bogaerts, J. Jansen, B. De Cat, G. Janssens, M. Bruynooghe, M. Denecker
12:15-12:45
Jeremias Berg, Matti Järvisalo, Brandon Malone
11:45-12:15
El Mouelhi Achref, Philippe Jegou, Cyril Terrioux, Bruno Zanuttini
12:15-12:45
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe
10:45-11:15
Jeroen Van Grondelle, Christina Unger, Frank Smit
11:15-11:45
C. Condoravdi, K. Richardson, V. Sikka, A. Suenbuel, R. Waldinger
10:45-11:15
Long Guo, Said Jabbour, Jerry Lonlac, Lakhdar Sais
11:15-11:45
Salvador Abreu, Danny Munera, Daniel Diaz
11:45-12:15
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
12:15-12:45
Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada
11:25-12:05
Thomas Braibant, Jonathan Protzenko, Gabriel Scherer
10:45-11:10
Thomas Eiter, Michael Fink, Daria Stepanova
11:10-11:35
Wenzhao Qiao, Nico Roos
11:35-12:00
Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
10:45-11:10
Thomas Eiter, Michael Fink, Daria Stepanova
11:10-11:35
Wenzhao Qiao, Nico Roos
11:35-12:00
Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
11:45-12:15
Ankush Desai, Pranav Garg, P. Madhusudan
10:45-11:15
Tim King, Clark Barrett, Cesare Tinelli
12:15-12:45
Konstantin Korovin, Marek Kosta, Thomas Sturm
10:45-11:15
Patrick Koopmann, Renate A. Schmidt
11:45-12:15
Enrico Franconi, Paolo Guagliardo, Volha Kerhet, Nhung Ngo
10:45-11:15
Nadia Labai, Johann Makowsky
10:45-11:30
Debora Jeske, Lynne Coventry, Pam Briggs
11:30-12:15
Oliver Buckley, Jason Nurse, Philip Legg, Michael Goldsmith, Sadie Creese
12:15-13:00
Taciane Martimiano, Jean Everson Martina, Maina Olembo, Marcelo Carlos
10:45-11:45
Nicolas Peltier
11:45-12:15
Edmund Soon Lee Lam, Iliano Cervesato
11:45-12:15
Edmund Soon Lee Lam, Iliano Cervesato
12:15-13:00
Geoff Hamilton, Morten Heine Sørensen
11:20-11:50
Regis Riveret, Pasquale Caianiello, Stefania Costantini, Moez Draief
11:50-12:20
Shashank Pathak, Luca Pulina, Armando Tacchella
12:20-12:40
Luca Mancini, Alfredo Milani, Valentina Poggioni, Andrea Chiancone
12:40-13:00
Slimane Abou-Msabah
11:45-12:00 Break
12:15-12:45
Juyeon Kang, Saint Dizier Patrick
12:00-12:25
A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev
12:53-12:56
E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer
12:56-12:59
Özgür Lütfü Özcep, Ralf Möller, Christian Neuenstadt
12:00-12:20
Hubert Comon-Lundh, Veronique Cortier, Guillaume Scerri
12:20-12:40
Alberto Cappai, Ugo Dal Lago
12:40-13:00
Anupam Datta, Dilsun Kaynar, Divya Sharma, Arunesh Sinha
12:00-12:30
Robert Ganian, Stefan Szeider, M.S. Ramanujan
12:00-12:30
Paula Chocron, Pascal Fontaine, Christophe Ringeissen
12:15-13:00 Discussion
15:00-15:30
Steven Schäfer, Tobias Tebbi, Gert Smolka
14:30-15:00
Rajeev Alur, Adam Freilich, Mukund Raghothaman
15:30-16:00
Yaron Velner
14:30-15:00
Marcin Benke, Viviana Bono, Aleksy Schubert
15:30-16:00
Javier Álvez, Montserrat Hermo, Paqui Lucio
14:30-15:30
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
14:30-15:30
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
14:55-15:20
Mohana Asha Latha Dubasi, Sudarshan Srinivasan, Vidura Wijayasekara
15:20-15:45
Wei Yang Tan, Rohit Sinha, John Manferdelli, Sanjit Seshia
15:30-16:10
Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe, Bart Bogaerts
14:30-15:00
Ondrej Rypacek, Mehrnoosh Sadrzadeh
15:30-16:00
Marcos Cramer
15:30-16:00
F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto, E. Pontelli
14:30-14:55
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
15:20-15:23
Fernando Bobillo, Umberto Straccia
15:26-15:29
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
15:35-15:38
Ala Djeddai, Hassina Seridi, Tarek Khadir
15:38-15:41
F. Cerutti, G. de Mel, T. Norman, N. Oren, A. Parvizi, P. Sullivan, A. Toniolo
15:41-15:44
Tahani Alsubait, Bijan Parsia, Uli Sattler
14:30-16:00 SMT-COMP and SMT-EVAL Presentations
14:30-15:00
Marco Rocchetto, Luca Viganò, Marco Volpe
15:30-16:00
P.A. Abdulla, M.F. Atig, Y.-F. Chen, L. Holik, A. Rezine, P. Ruemmer, J. Stenman
14:30-15:00
Piotr Mardziel, Mario Alvim, Michael Hicks
15:00-15:30
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
15:30-15:50
Catalin Hritcu
15:15-16:00
Jaap Boender, Marieta Georgieva Ivanova, Florian Kammueller, Giuseppe Primiero
14:30-15:00
Joseph Boudou, Philippe Balbiani
15:00-15:30
Renate A. Schmidt, John Stell, David Rydeheard
15:30-16:00
Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi-Asmundo
15:30-16:00
Marcos Cramer
14:30-15:30
Josep Silva
14:30-15:30
Josep Silva
15:00-15:30
Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert Van Der Torre
15:30-16:00
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller
15:30-16:00
Charles Grellois, Paul-André Melliès
15:30-16:00
S. Gaspers, N. Misra, S. Ordyniak, S. Szeider, S. Zivny
15:50-16:40 Poster Session (with coffee break)
17:00-17:30
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Moritz Martens
17:30-18:00
Andrew Reynolds, Cesare Tinelli, Leonardo De Moura
16:30-17:00
Alexei A. Morozov, Alexander F. Polupanov
17:00-17:30
Flavio Cruz, Ricardo Rocha, Seth Goldstein
16:30-17:00
Alexei A. Morozov, Alexander F. Polupanov
17:00-17:30
Flavio Cruz, Ricardo Rocha, Seth Goldstein
16:30-17:00
Xiaomei Hou, Mengxiang Lin, Tahir Jameel
17:30-18:00
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
16:30-18:00 Verified Software Competition (VSCOMP 2014)
16:30-17:10
M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran
16:30-17:00
Ulrich Berger, Alison Jones, Monika Seisenberger
17:00-17:30
Franco Montagna, Mattia Bongini, Agata Ciabattoni
17:00-17:30
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
16:30-18:00 SMT-LIB Discussion and Business Meeting
16:30-17:00
Aws Albarghouthi, Isil Dillig, Arie Gurfinkel, Marsha Chechik
16:30-16:50
Gergei Bana, Hubert Comon-Lundh
17:10-17:30
Gergei Bana, Mitsuhiro Okada
17:30-18:00
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
16:30-17:30 PCCR panel
16:30-17:15
Sven Kiljan, Harald Vranken, Marko van Eekelen
17:15-18:00
Lydia Kraus, Ina Wechsung, Sebastian Möller
17:00-17:30
R. Ramanujam, S. Sheerazuddin
16:30-17:30 Panel Session: The W3C Web Crypto API
16:40-17:05
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
17:05-17:30
Meghyn Bienvenu, Stanislav Kikot, Vladimir Podolskii
17:00-18:00 NMR Social Event
17:30-17:45 Workshop closing
17:30-17:45 Workshop closing
18:00-18:10 Workshop Closing
18:00-23:30 DL/NMR Social Event and Dinner
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break