VSL 2014: VIENNA SUMMER OF LOGIC 2014
PROGRAM FOR THURSDAY, JULY 17TH, 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
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-10:15
Nina Amla, Georg Gottlob, Falk Reckling, Sweitze Roffel, Andrei Voronkov
08:45-09:15
Étienne Payet, Fred Mesnard
09:45-10:15
Joerg Endrullis, Hans Zantema
08:45-09:45
Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp
09:45-10:15
Everyone
09:15-09:45
Luca Spada, Nick Bezhanishvili, Nick Galatos
09:45-10:15
Zuzana Hanikova, Petr Savicky
09:15-09:45
Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio
09:45-10:15
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
08:45-08:55
Nicos Angelopoulos
09:50-10:15
Dries Van Daele, Angelika Kimmig, Luc De Raedt
08:45-09:00
Marta Kwiatkowska
09:50-10:15
Casey Grun, Karthik Sarma, Brian Wolfe, Seung Woo Shin, Erik Winfree
08:45-08:50
Gopal Gupta
08:50-10:15
Roman Bartak
08:50-09:00
Brigitte Pientka
09:25-09:50
Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann
09:50-10:15
John Boyland, Tian Zhao
09:00-10:00
Laure Vieu
09:00-09:15
Philipp Rümmer
09:15-10:15
Clark Barrett
09:15-10:15
Benjamin Miller
10:45-11:15
Jerome Leroux, M. Praveen, Grégoire Sutre
11:15-11:45
Frederik Harwath, Lucas Heimberg, Nicole Schweikardt
11:45-12:15
Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
12:15-12:45
Katja Losemann, Wim Martens
10:45-11:15
Paul Blain Levy, Sam Staton
12:15-12:45
Konstantinos Mamouras
11:15-11:45
Christian Doczkal, Gert Smolka
11:45-12:15
Matthieu Sozeau, Nicolas Tabareau
12:15-12:45
Gregory Malecha, Adam Chlipala, Thomas Braibant
12:45-13:00
Robbert Krebbers, Xavier Leroy, Freek Wiedijk
10:45-11:15
Carles Creus, Guillem Godoy
11:15-11:45
Koji Nakazawa, Tomoharu Nagai
11:45-12:15
Carlos Lombardi, Alejandro Rios, Roel de Vrijer
12:15-12:45
Richard Statman
10:45-13:00
Roman Bartak
10:45-11:15
Daniel Larraz, Albert Oliveras, Enric Rodríguez Carbonell, Albert Rubio
10:45-11:15
Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff
11:15-11:45
Alexandre Chapoutot, Nasrine Damouche, Matthieu Martel
10:45-11:15
Gudmund Grov, Aleks Kissinger, Yuhui Lin
11:45-12:15
Tomer Libal, Martin Riener, Mikheil Rukhaia
12:15-12:45
Christian Sternagel, René Thiemann
10:45-11:45
Jasmin Fisher
12:15-12:45
Jeroen Ketema, Alastair Donaldson
12:45-13:00
Everyone
10:45-11:35
Jesper Bengtson
10:45-11:15
Joachim Jansen, Gerda Janssens
11:15-11:45
Gopalan Nadathur, Mary Southern
11:45-12:15
Md Solimul Chowdhury, Jia-Huai You
12:15-12:45
Jose F. Morales, Manuel V. Hermenegildo
12:45-13:00
Everyone
12:00-12:30
Xiaoyu Chen, Jie Luo
11:45-12:10
Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside
12:10-12:35
Madiha Jami, Andrew Ireland
12:35-13:00
Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra
12:10-12:35
Markus Krötzsch, Sebastian Rudolph
12:38-12:41
Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
12:41-12:44
Viachaslau Sazonau, Uli Sattler, Gavin Brown
12:47-12:50
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
12:50-12:53
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
12:53-12:56
Martin Homola, Jan Kluka, Vojtěch Svátek, Miroslav Vacura
12:56-12:59
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
10:45-11:15
Robin Cooper
10:45-11:15
Daniel J. Fremont, Sanjit A. Seshia
11:15-11:45
Hristina Palikareva, Cristian Cadar
11:45-12:15
Mats Carlsson, Olga Grinchtein, Justin Pearson
12:15-12:45
Edmund Soon Lee Lam, Iliano Cervesato
10:45-11:30
Christian Espindola, Henrik Forssell
11:30-12:15
Hugo Herbelin, Danko Ilik
12:00-12:30
Niklas Een, Alexander Legg, Nina Narodytska, Leonid Ryzhyk
12:30-13:00
Chanseok Oh, Martin Schäf, Daniel Schwartz-Narbonne, Thomas Wies
10:45-11:00 Opening
10:45-11:15
Ryosuke Kojima, Taisuke Sato
11:15-11:45
Jonas Vlasselaer, Joris Renkens, Guy Van den Broeck, Luc De Raedt
12:15-12:45
Eduardo Menezes de Morais
12:10-12:35
Robert F. Johnson, Erik Winfree
12:35-13:00
Konur, Ladroue, Fellermann, Sanassy, Mierla, Ipate, Kalvala, Gheorghe, Krasnogor
11:30-12:15
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
11:15-11:45
Shahab Tasharrofi, Eugenia Ternovska
11:45-12:15
Joao Moura, Carlos Viegas Damásio
10:50-11:20
K. Bunte, M. Järvisalo, J. Berg, P. Myllymäki, J. Peltonen, S. Kaski
11:20-11:50
Alexey Ignatiev, Antonio Morgado, Jordi Planes, Joao Marques-Silva
11:45-12:15
Andrei Bulatov, Cong Wang
12:15-12:45
Florent Capelli, Arnaud Durand, Stefan Mengel
11:45-12:10
Alberto Ciaffaglione, Ivan Scagnetto
12:10-12:35
Abhishek Anand, Vincent Rahli
12:00-12:30
Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
12:30-13:00
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler
12:10-12:40
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
12:40-13:00
Mario Alviano, Bernardo Cuteri, Francesco Ricca
12:15-12:37
Marco Maratea, Luca Pulina, Francesco Ricca
12:37-12:59
Mario Alviano, Carmine Dodaro, Francesco Ricca
15:30-16:00
Daniel Poetzl
14:30-15:00
Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki
15:00-15:30
Romain Brenguier, Jean-Francois Raskin, Mathieu Sassolas
15:30-16:00
Diego Figueira, Leonid Libkin
14:30-15:00
Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras
15:00-15:30
Flavien Breuvart
15:30-16:00
Alan Jeffrey
14:30-15:00
Nao Hirokawa, Aart Middeldorp, Christian Sternagel
15:30-16:00
Vincent Aravantinos, Sofiene Tahar
14:30-16:00 RTA/TLCA business meeting
14:30-16:00
Andrey Rybalchenko
14:30-16:00 Report on Competitions
15:30-16:00
Jürgen Wolff von Gudenberg, Marco Nehmeier
14:30-15:00
Caterina Urban, Antoine Miné
15:00-15:30
Raphael Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord
15:30-16:00
Martin Avanzini, Bertram Felgenhauer
14:30-15:00
Vincent Bloemen, Daniel Diaz, Machiel van der Bijl, Salvador Abreu
15:00-15:30
Jan Wielemaker
15:30-16:00
Theofrastos Mantadelis, Ricardo Rocha
14:30-15:00
Bruno Buchberger
14:30-14:55
Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar
14:55-15:20
Martin Clochard, Jean-Christophe Filliatre, Claude Marché, Andrei Paskevich
14:30-14:55
D. Carral, C. Feier, A. Armas Romero, B. Cuenca-Grau, P. Hitzler, I. Horrocks
14:55-15:20
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
15:20-15:45
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
15:45-15:48
Liang Chang, Uli Sattler, Tianlong Gu
15:48-15:51
Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li
15:51-15:54
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou
15:54-15:57
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
15:57-16:00
Kody Moodley, Thomas Meyer, Uli Sattler
14:30-15:30
Anne Abeille
15:30-16:00
Claudia Casadio, Aleksandra Kislak-Malinowska
14:30-15:00
Nikolaos Galatos, Agata Ciabattoni, Revantha Ramanayake
14:30-15:00
Daniel Eckert, Frederik Herzberg
15:30-16:00
Matteo Mio, Alex Simpson
15:30-16:00
Felix Hargreaves, Daniel Merkle, Peter Schneider-Kamp
14:30-15:00
Juergen Christ, Jochen Hoenicke
15:00-15:30
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
15:30-16:00
Richard Bonichon, David Déharbe, Cláudia Tavares
15:15-16:00
Stefano Berardi, Paulo Oliva, Silvia Steila
15:45-16:00
Laura Kovacs, Georg Weissenbacher
15:30-16:00
Wannes Meert, Guy Van den Broeck, Adnan Darwiche
15:20-15:45
Seung Woo Shin, Chris Thachuk, Erik Winfree
15:45-16:00
Chris Thachuk
15:00-16:00
Kirsten Eisentraeger
15:00-16:00 Open problems
15:20-15:45
Olivier Savary Bélanger, Kaustuv Chaudhuri
15:30-16:00
Martin Slota, Martin Baláž, Joao Leite
16:00-16:50 Poster Session (with coffee break)
17:00-17:30
Florian Rabe
16:30-17:00
Lars Hellström
17:00-17:30
Everyone
16:30-18:00
Panel Session
16:30-17:00
Jens Knoop, Laura Kovacs, Jakob Zwirchmayr
17:00-17:30
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia
18:00-18:30
George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis
17:30-18:00
Makoto Kanazawa, Junri Shimada
16:30-17:00
Nikolaos Galatos, Rostislav Horcik
17:30-18:00
Rob Arthan, Paulo Oliva
17:00-17:30
Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
16:30-17:15
Henning Basold, Helle Hvid Hansen
17:15-18:00
Tatiana Yavorskaya, Nadezhda Ruhlyadko
16:30-18:00 Discussions on demand
17:00-17:30
Fabrizio Riguzzi
17:30-18:00
C.R. Ramakrishnan
18:00-18:30
Wannes Meert
17:00-17:30
Fabrizio Riguzzi
17:30-18:00
C.R. Ramakrishnan
18:00-18:30
Wannes Meert
16:30-16:55
Karthik, Soloveichik, Ray, Sterin, Mishchenko, Brayton, Roychowdhury
17:20-17:45
Jean Krivine
16:30-17:00
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
17:00-17:30
Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
17:30-18:00
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
18:00-18:30
Aaron Hunter
16:30-18:30
Andrey Rybalchenko
16:50-17:15
Yevgeny Kazakov, Pavel Klinov
17:15-17:40
Michel Ludwig, Rafael Peñaloza
18:05-18:30
Loris Bozzato, Thomas Eiter, Luciano Serafini
17:20-17:45
Thorsten Altenkirch, Nuo Li, Ondrej Rypacek
17:45-18:10
Alvaro Tasistro, Ernesto Copello, Nora Szasz
17:45
Philip Boeing, Darren Nesbeth, Anthony Finkelstein, Chris P Barnes
17:45
Frits Dannenberg, Milan Ceska, Nicola Paoletti, Marta Kwiatkowska
19:00-20:00 LICS Business Meeting
19:00-21:00 DL/NMR Welcome Reception
19:30-21:00 ITP Steering and Program Committee Dinner
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-17:30
Kurt Gödel Research Prize Fellowships Program
17:30-18:15
Floc Olympic Games
18:15-18:30
Helmut Veith
21:00-23:59 VSL Student Reception 1