PROGRAM FOR SUNDAY, JULY 8TH: 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
09:00-09:40
Samson Abramsky
09:40-10:05
Matthijs Vákár, Ohad Kammar, Sam Staton
10:00-10:30
Luca Arnaboldi, Charles Morisset
09:30-10:00
Ugo Dal Lago
10:00-10:15
Shufang Zhu, Geguang Pu, Moshe Vardi
10:15-10:30
Ornela Dardha, Simon Gay
11:00-11:30
Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling, Pierre-Yves Strub
12:00-12:30
Joseph Razavi, Andrea Schalk
11:40-12:05
Gabriel Ciobanu, Eneia Nicolae Todoran
11:00-11:30
Jiaming Jiang, Rada Chirkova, Jon Doyle, Arnon Rosenthal
11:30-12:00
Alexandre Debant, Stephanie Delaune, Cyrille Wiedling
12:00-12:30
M.A. Alturki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott
11:00-11:30
Pierre Clairambault
11:00-11:45
Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith
11:45-12:30
S. Chockalingam, W. Pieters, A. Teixeira, N. Khakzad, P. van Gelder
11:00-11:30
Federico Aschieri
11:30-12:00
Simona Ronchi Della Rocca, Daniele Pautasso
12:00-12:30
Giulio Guerrieri
12:00-12:20
Marie Kerjean, Yoann Dabrowski
11:00-11:45
Colin Riba, Pierre Pradic
11:45-12:30
Yue Li, Ekaterina Komendantskaya
11:00-11:30
Joshua Blinkhorn, Olaf Beyersdorff, Luke Hinde
11:00-11:30
Joshua Blinkhorn, Olaf Beyersdorff, Luke Hinde
12:00-12:30
Yoshiaki Kanazawa, Naoki Nishida
11:15-11:30
Nemi Pelgrom
11:45-12:00
Sonia Marin, Marianela Morales, Lutz Straßburger
14:00-15:00
Véronique Benzaken, Évelyne Contejean
14:30-15:00
Daniel Dougherty, Joshua Guttman, John Ramsdell
14:00-14:45
Mansoor Ahmed, Ilia Shumailov, Ross Anderson
14:45-15:30
Maxime Audinot, Sophie Pinchinat, Francois Schwarzentruber, Florence Wacheux
14:00-14:30
K.-B. Hou Favonia, C. Angiuli, E. Cavallo, R. Harper, J. Sterling
14:20-14:55
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
14:55-15:30
Lê Thành Dũng Nguyễn, Thomas Seiller
14:00-14:20
Ralf Wimmer, Sven Reimer, Karina Wimmer, Christoph Scholl, Bernd Becker
14:40-15:00
Florent Capelli, Stefan Mengel
15:20-15:25
Simon Cooksey, Mark Batty, Radu Grigore, Mikolas Janota
14:00-14:30
Stefan Ciobaca, Sebastian Buruiana
14:30-15:00
Naoki Nishida, Yuya Maeda
15:00-15:30
Christian Herrera, Tewodros A. Beyene, Vivek Nigam
14:30-15:00
Samuel Buss, Valentine Kabanets, Antonina Kolokolova, Michal Koucky
15:00-15:30
Anupam Das
16:00-16:45
Ichiro Hasuo
16:00-16:30
Mirai Ikebuchi, Keisuke Nakano
16:30-17:00
Marc De Visme, Pierre Clairambault, Glynn Winskel
16:00-16:45
Ross Horne, Sjouke Mauw, Alwen Tiu
16:45-17:30
Harley Eades Iii, Jiaming Jiang, Aubrey Bryant
16:00-17:30 Business Meeting
17:00-17:20
Lê Thành Dũng Nguyễn, Thomas Seiller
17:20-17:55
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic
17:00-17:30
Mareike Dressler, Adam Kurpisz, Timo de Wolff
17:30-17:50
Maria Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado
16:00-16:20
Markus Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
16:20-16:40
Holger Hoos, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
16:00-16:40
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
16:40-17:20
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi
16:00-16:15
Cláudia Nalon, Daniella Angelos
16:15-16:30
Hanna Lachnitt, Christoph Benzmüller, Maximilian Claus
16:30-17:30
Damiano Mazza
16:30-17:30
Damiano Mazza
17:00-18:00 Priorities for Diversity in Logic in Computer Science (round table discussion)
17:15-17:30 Closing
18:30-20:30 Women in Logic reception
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break