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

STAST
PCCR
CAV
CICLOPS-WLPE
RCRA
SAT
IJCAR
VPT
LC
NLSR
EC2
WST
CHR
FLoC
APPA
VSL
NSV
ICLP
WWV
ParSearchOpt
LATD
QUANTIFY
NLCS
PSC
NMR
CSF
CSPSAT
HOPA
iPRA
LaSh
QED
PAS
Coq
VSTTE
FCS-FCC
AISS
RTA-TLCA
ITRS
ADDCT
CSL-LICS
ITP
ASA
SMT
DL
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-09:15
Jason Gross
09:15-09:45
Beta Ziliani, Matthieu Sozeau
09:45-10:15
Matthieu Sozeau
08:45-10:15
David Monniaux
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
09:35-10:00
Robbert Krebbers
10:00-10:15
Martin Clochard
08:45-09:00
Lash, Quantify
09:00-10:00
Konstantin Korovin
08:45-09:00
Lash, Quantify
09:00-10:00
Konstantin Korovin
08:45-09:45
Enrico Giunchiglia
09:45-10:15
Alexander Bau
08:45-09:15
James Raftery
09:15-09:45
Josep Maria Font, Tommaso Moraschini
09:45-10:15
Ramon Jansana
08:45-09:15
Krystyna Mruczek-Nasieniewska
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:45
Graham Steel
08:45-09:45
Graham Steel
08:45-09:45
Patrick Blackburn
09:45-10:15
Oliver Fernandez Gil
08:45-09:45
Patrick Blackburn
09:45-10:15
Oliver Fernandez Gil
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-10:00
Joel Ouaknine
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:00-09:30
Marijn Heule
09:30-10:15
Clark Barrett, Pascal Fontaine, Leonardo De Moura
09:00-10:15
Frank Wolter
09:00-10:00
Aarne Ranta
09:00-10:00
Aarne Ranta
09:00-10:15
Lynne Coventry
09:00-09:35
John Harrison
09:35-10:15
Georges Gonthier
09:15-10:15
Christel Baier, Clemens Dubslaff, Sascha Klueppelholz
09:15-10:15
Luke Ong
09:15-10:15
Mark Reynolds
09:15-10:15
Hoon Hong
09:15-10:15
Kapil Vaswani
09:15-10:15
Guillaume Melquiond
09:15-10:15
Ulrich Berger, Tie Hou
09:15-10:15
Dániel Marx
09:15-09:45
Amroun Kamal, Habbas Zineb, Aggoune-Mtalaa Wassila
09:45-10:15
Eugene Freuder, Diarmuid Grimes, Richard Wallace
09:15-10:15
Grigore Rosu
09:45-10:25
Petr Svenda
09:45-10:15
John D Ramsdell, Daniel Dougherty, Joshua Guttman, Paul D Rowe
10:45-11:15
Christoph Haase
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
11:45-12:15
Thomas Ehrhard
12:15-12:45
Ranko Lazić, Sylvain Schmitz
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-12:15
David Monniaux
10:45-13:00
C.R. Ramakrishnan
10:45-12:45 CAV Tutorial: How do we get inductive invariants?
10:45-11:15
Richard Statman
11:15-11:45
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
10:45-11:15
Harald Zankl, Sarah Winkler, Aart Middeldorp
11:15-11:45
Haruhiko Sato, Sarah Winkler
11:45-12:15
Alexander Bau, René Thiemann, Johannes Waldmann
12:15-12:45
Alfons Geser
12:45-13:00
Everyone
10:45-11:30
Uwe Egly
11:30-12:00
Michael Cashmore, Maria Fox, Enrico Giunchiglia
12:00-12:30
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
12:30-13:00
Hubie Chen
10:45-11:15
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
11:15-11:45
Roy Mennicke
11:45-12:15
Dmitry Chistikov, Rupak Majumdar
12:15-12:45
Georg Zetzsche
10:45-11:15
Stephan Schulz
11:15-11:45
Christoph Benzmüller
10:45-11:15
Isabela Dramnesc
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:15-12:45
Jakob Praher
10:45-11:45
Michael Whalen
11:45-12:10
Anindya Banerjee, David Naumann
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
12:45-13:00
Lash
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:45
Melvin Fitting
11:45-12:45
Franz Baader
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
10:45-11:25
George French
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: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é
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
10:45-11:15
Patrick Koopmann, Renate A. Schmidt
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
10:45-11:45
Ueli Maurer
10:45-11:15
Nadia Labai, Johann Makowsky
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
10:45-11:15
Richard Wallace
10:45-11:45
Nicolas Peltier
10:45-11:15
Ralf Gerlich
11:15-11:45
Falco Nogatz, Thom Fruehwirth
11:45-12:15
Edmund Soon Lee Lam, Iliano Cervesato
12:15-12:45
Everyone
10:45-11:15
Ralf Gerlich
11:15-11:45
Falco Nogatz, Thom Fruehwirth
11:45-12:15
Edmund Soon Lee Lam, Iliano Cervesato
12:15-12:45
Everyone
10:45-11:30
Andrei Nemytykh
11:30-12:15
Daniil Frumin, Irina Lomazova
12:15-13:00
Geoff Hamilton, Morten Heine Sørensen
10:45-11:20
Adam Grabowski
11:20-11:55
Gerwin Klein
11:55-12:15
Magnus Myreen
12:15-12:30
Ramana Kumar
12:30-13:00
Claudio Sacerdoti Coen
10:45-11:45
Anders Møller
11:45-12:15
Nicholas Labich
12:15-12:45
Matthew Hague
11:00-12:00
Andres Cordón-Franco
12:00-13:00
Alexandre Miquel
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
11:45-12:15
Richard Crouch
12:15-12:45
Juyeon Kang, Saint Dizier Patrick
12:00-12:30
Kentaro Kikuchi
12:30-13:00
Charles Grellois, Paul-André Melliès
12:00-12:30
Makarius Wenzel
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: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: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:30-16:00
Yaron Velner
14:30-15:00
Rasmus Ejlers Møgelberg
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
Gabriel Uzquiano
14:30-15:15
Daisuke Ikegami
15:15-16:00
Philipp Lücke
14:30-15:00
Dieter Hofbauer
15:00-15:30
Alfons Geser
15:30-16:00
Nachum Dershowitz
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-15:30
Michael Rusinowitch
15:30-16:00
Sorin Stratulat
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
14:30-15:00
Ondrej Rypacek, Mehrnoosh Sadrzadeh
15:00-15:30
Christophe Fouquere, Myriam Quatrini
15:30-16:00
Marcos Cramer
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-15:10
Dan Cvrcek
15:10-15:50
Mike Bond
14:30-14:55
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
14:55-15:20
Stefan Borgwardt
15:20-15:23
Fernando Bobillo, Umberto Straccia
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:15-16:00
Sergey Melikhov
14:30-15:00
Marco Rocchetto, Luca Viganò, Marco Volpe
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
15:30-15:50
Catalin Hritcu
14:30-15:30
Georg Gottlob
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
15:00-15:30
Sicun Gao
15:30-16:00
Philippe Theveny
14:30-15:00
Thomas C. Hales
15:00-15:30
Michael Beeson
15:30-16:00
Marcos Cramer
14:30-15:15
Gerhard Jaeger
15:15-16:00
Alan Bundy
14:30-15:15
Gerhard Jaeger
15:15-16:00
Alan Bundy
14:30-15:30
Josep Silva
14:30-15:30
Josep Silva
14:30-15:00
Anthony Hunter
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-17:00
Dexter Kozen
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
17:15-18:00
Daniel Palacín
16:30-17:30
Everyone
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:30
Piotr Hofman
17:30-18:00
Patrick Totzke
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
17:10-17:50
Tomi Janhunen
16:30-17:00
Ulrich Berger, Alison Jones, Monika Seisenberger
17:00-17:30
Stepan Kuznetsov
16:30-17:00
Ori Lahav, Arnon Avron
17:00-17:30
Franco Montagna, Mattia Bongini, Agata Ciabattoni
17:30-18:00
Sam van Gool, Rosalie Iemhoff
16:30-17:00
Tommaso Moraschini
17:00-17:30
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
17:30-18:00
Libor Behounek
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:30-16:50
Gergei Bana, Hubert Comon-Lundh
16:50-17:10
Sibylle Froeschle
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
16:30-17:15
Jim Kapinski
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
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-17:30
Anuj Dawar
17:00-18:00 NMR Social Event
17:30-17:45 Workshop closing
17:30-17:45 Workshop closing
17:30-18:00
Thomas Sewell
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:35-18:55
Ryszard Mirek
18:55-19:15
Olga Antonova
18:15-18:35
Alba Massolo, Luis Urtubey
18:35-18:55
Joachim Mueller-Theys
18:15-18:45
John Harrison
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break