VSL 2014: VIENNA SUMMER OF LOGIC 2014
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
09:15-09:45
Beta Ziliani, Matthieu Sozeau
08:45-08:50
Gopal Gupta
08:50-10:15
C.R. Ramakrishnan
08:45-10:15 CAV Tutorial: How do we get inductive invariants?
08:45-09:15
Byron Cook, Heidy Khlaaf, Nir Piterman
09:15-09:45
Byron Cook, Stephen Magill, Matthew Parkinson, Thomas Stroeder
09:45-10:15
Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
08:45-09:10
Mikhail Kovalev, Ernie Cohen, Geng Chen
09:10-09:35
David Sanan, Andrew Butterfield, Michael Hinchey
08:45-09:00
Lash, Quantify
08:45-09:00
Lash, Quantify
08:45-09:45
Enrico Giunchiglia
08:45-09:15
James Raftery
09:15-09:45
Josep Maria Font, Tommaso Moraschini
09:15-09:45
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
09:45-10:15
Vincenzo Marra, Daniel Mcneill, Andrea Pedrini
08:45-09:45
Hermann Schichl
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-10:00
Marc Bezem
09:00-10:00
Marc Bezem
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-09:30
Marijn Heule
09:30-10:15
Clark Barrett, Pascal Fontaine, Leonardo De Moura
09:00-09:35
John Harrison
09:15-10:15
Christel Baier, Clemens Dubslaff, Sascha Klueppelholz
09:15-10:15
Kapil Vaswani
09:45-10:15
Eugene Freuder, Diarmuid Grimes, Richard Wallace
09:15-10:15
Grigore Rosu
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
10:45-11:15
Matthieu Perrinel
11:15-11:45
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
10:45-11:45
Daniel Licata
11:45-12:15
M. Dénès, C. Hritcu, L. Lampropoulos, Z. Paraskevopoulou, B.C. Pierce
12:15-12:45
Jónathan Heras, Ekaterina Komendantskaya
10:45-13:00
C.R. Ramakrishnan
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
10:45-11:15
Harald Zankl, Sarah Winkler, Aart Middeldorp
11:45-12:15
Alexander Bau, René Thiemann, Johannes Waldmann
12:45-13:00
Everyone
11:30-12:00
Michael Cashmore, Maria Fox, Enrico Giunchiglia
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:45-12:15
Dmitry Chistikov, Rupak Majumdar
10:45-11:15
Stephan Schulz
11:15-11:45
Christoph Benzmüller
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
12:10-12:35
Alexis Fouilhe, Sylvain Boulmé
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
11:15-11:45
Shahab Tasharrofi, Eugenia Ternovska
11:45-12:15
Emir Demirović, Nysret Musliu
12:15-12:45
Jeremias Berg, Matti Järvisalo, Brandon Malone
10:45-11:45
Fahiem Bacchus
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
12:05-12:45
Josef Hertl
10:45-11:10
Thomas Eiter, Michael Fink, Daria Stepanova
11:35-12:00
Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
10:45-11:10
Thomas Eiter, Michael Fink, Daria Stepanova
11:35-12:00
Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
10:45-11:45
Erez Petrank
11:45-12:15
Ankush Desai, Pranav Garg, P. Madhusudan
10:45-11:15
Tim King, Clark Barrett, Cesare Tinelli
11:15-11:45
To Van Khanh, Vu Xuan Tung, Mizuhito Ogawa
11:45-12:15
Marek Kosta, Thomas Sturm, Andreas Dolzmann
12:15-12:45
Konstantin Korovin, Marek Kosta, Thomas Sturm
10:45-11:30
Ulrich Berger, Alison Jones, Monika Seisenberger
11:30-12:15
Liron Cohen, Robert Constable
11:15-11:45
Alexander Legg, Nina Narodytska, Leonid Ryzhyk
11:45-12:15
Enrico Franconi, Paolo Guagliardo, Volha Kerhet, Nhung Ngo
12:15-12:45
Georg Schadler, Georg Hofferek
11:15-11:45
Jan Johannsen
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
11:15-11:45
Falco Nogatz, Thom Fruehwirth
11:45-12:15
Edmund Soon Lee Lam, Iliano Cervesato
12:15-12:45
Everyone
11:15-11:45
Falco Nogatz, Thom Fruehwirth
11:45-12:15
Edmund Soon Lee Lam, Iliano Cervesato
12:15-12:45
Everyone
11:30-12:15
Daniil Frumin, Irina Lomazova
11:20-11:55
Gerwin Klein
12:30-13:00
Claudio Sacerdoti Coen
11:45-12:15
Nicholas Labich
11:00-12:00
Andres Cordón-Franco
11:20-11:50
Regis Riveret, Pasquale Caianiello, Stefania Costantini, Moez Draief
12:20-12:40
Luca Mancini, Alfredo Milani, Valentina Poggioni, Andrea Chiancone
11:45-12:00 Break
12:30-13:00
Charles Grellois, Paul-André Melliès
12:30-13:00
Christine Paulin-Mohring
12:00-12:25
A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev
12:25-12:50
Szymon Klarman, Thomas Meyer
12:50-12:53
Jared Leo, Ulrike Sattler, Bijan Parsia
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: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:30-13:00
Zvonimir Pavlinovic, Tim King, Thomas Wies
12:00-12:30
Daniel Le Berre
12:30-13:00
Elena Cabrio, Serena Villata
12:15-13:00 Discussion
14:30-15:00
Reynald Affeldt, Jacques Garrigue
15:00-15:30
Steven Schäfer, Tobias Tebbi, Gert Smolka
15:30-16:00
Gregory Malecha, Jesper Bengtson, Adam Chlipala
14:30-15:00
Rajeev Alur, Adam Freilich, Mukund Raghothaman
15:00-15:30
Joerg Endrullis, Dimitri Hendriks
15:00-15:30
Guillaume Munch-Maccagnoni
15:30-16:00
Daniel R. Licata, Eric Finster
14:30-16:00
Fabio Somenzi
14:30-16:00
Martin Gebser
14:30-15:00
Marcin Benke, Viviana Bono, Aleksy Schubert
15:00-15:30
Mário Pereira, Sandra Alves, Mário Florido
14:30-15:15
Patricia Blanchette
15:15-16:00
Philipp Lücke
15:00-15:30
Alfons Geser
14:30-15:30
Fahiem Bacchus
15:30-16:00
Javier Álvez, Montserrat Hermo, Paqui Lucio
14:30-15:30
Olivier Serre
15:30-16:00
Martin Lang
14:30-15:30
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
15:30-16:00
Everyone
14:30-15:30
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
15:30-16:00
Everyone
14:30-15:00
Dale Miller
15:00-15:30
Gilles Dowek
15:30-16:00
Alexander Leitsch
14:30-14:55
Luca Spalazzi, Francesco Spegni
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
14:30-15:30
Peter Stuckey
15:30-16:10
Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe, Bart Bogaerts
15:00-15:30
Christophe Fouquere, Myriam Quatrini
14:30-15:30
George Metcalfe
15:30-16:00
Leonardo Manuel Cabrer
14:30-15:30
All Workshop Presenters
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:23-15:26
Marco Cerami, Umberto Straccia
15:26-15:29
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
15:29-15:32
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
15:32-15:35
Ismail Ilkan Ceylan, 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
15:44-15:47
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
14:30-16:00 SMT-COMP and SMT-EVAL Presentations
14:30-15:15
Mauro Ferrari, Camillo Fiorentini
15:00-15:30
Kenneth McMillan
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
14:30-15:15
Sven Uebelacker, Susanne Quiel
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
14:30-15:00
Tommaso Dreossi
14:30-15:00
Thomas C. Hales
15:00-15:30
Michael Beeson
15:15-16:00
Alan Bundy
15:15-16:00
Alan Bundy
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
14:30-15:00
Steven Lyde, Matthew Might
15:00-15:30
Steven Lyde, Matthew Might
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)
16:30-17:00
Carst Tankink
17:00-17:30
Alexander Faithfull, Jesper Bengtson
17:30-18:00
Matthieu Sozeau
16:30-18:00
Fabio Somenzi
16:30-18:30
Martin Gebser
18:30-18:35
Gopal Gupta
16:30-17:00
Ugo De Liguoro, Tzu-Chun Chen
17:00-17:30
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Moritz Martens
16:30-17:15
Luca Incurvati, Benedikt Loewe
17:15-18:00
Leon Horsten
16:30-17:15
Jochen Königsmann
16:30-17:00
Christoph Wintersteiger
17:00-17:30
Nikolaj Bjorner
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
17:30-18:00
Everyone
16:30-17:00
Alexei A. Morozov, Alexander F. Polupanov
17:00-17:30
Flavio Cruz, Ricardo Rocha, Seth Goldstein
17:30-18:00
Everyone
16:30-17:00
Jean-Raymond Abrial
17:00-17:30
Gilles Barthe
17:30-18:00
Alessio Guglielmi
16:30-17:00
Xiaomei Hou, Mengxiang Lin, Tahir Jameel
17:00-17:30
Farn Wang, Pin Hsiuan Chen, Wen-Hong Chiang
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:30-18:00
Sam van Gool, Rosalie Iemhoff
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
17:00-17:30
Yakir Vizel, Arie Gurfinkel
17:30-18:00
Laura Kovacs, Georg Weissenbacher
16:50-17:10
Sibylle Froeschle
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
16:30-17:00
Geoff Sutcliffe
17:00-17:30
Michael Kohlhase
17:30-18:00
Cezary Kaliszyk
16:30-17:00
Asad Ali, Maribel Fernandez
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-17:30
Anuj Dawar
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
18:15-18:35
Judit X. Madarász, Gergely Székely
18:35-18:55
Cyrus F Nourani
18:15-18:35
Liron Cohen, Arnon Avron
18:15-18:35
Alba Massolo, Luis Urtubey
18:15-18:45
John Harrison
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break