PROGRAM FOR WEDNESDAY, JULY 11TH: 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
09:00-09:30
Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu
09:30-10:00
Vineet Rajani, Deepak Garg
10:00-10:30
Christian Müller, Helmut Seidl, Eugen Zalinescu
09:00-09:30
Hira Syeda, Gerwin Klein
09:30-10:00
Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe
10:00-10:30
João Paulo Pizani Flor, Wouter Swierstra
09:00-09:30
Tobias Friedrich, Ralf Rothenberger
09:30-10:00
Marc Vinyals, Jan Elffers, Jesús Giráldez-Crú, Stephan Gocht, Jakob Nordstrom
10:00-10:30
Nicola Galesi, Navid Talebanfard, Jacobo Toran
10:20-10:40
Thierry Coquand, Simon Huber, Anders Mörtberg
10:05-10:30
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer
10:50-11:15
Ivan Zapreev, Cees Verdier, Manuel Mazo Jr.
11:15-11:40
M. Vazquez-Chanlatte, S. Ghosh, V. Raman, A. Sangiovanni-Vincentelli, S. Seshia
11:40-12:05
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
12:05-12:30
Oscar Bulancea Lindvall, Petter Nilsson, Necmiye Ozay
10:50-11:15
Marc Jungers, Antoine Girard, Mirko Fiacchini
11:15-11:40
Victor Dolk, Menno Lauret, Duarte Antunes, Patrick Anderson, Maurice Heemels
11:40-12:05
Fatima Zohra Taousser, Michael Defoort, Mohamed Djemai, Seddik Djouadi
12:05-12:30
Nikolaos Athanasopoulos, Raphaël M. Jungers
11:00-12:00
Catuscia Palamidessi
11:00-11:30
Naoki Nishida, Yuya Maeda
11:00-11:30
Andreas Lochbihler, Joshua Schneider
11:20-11:40
Manuel Bodirsky, Florent Madelaine, Antoine Mottet
11:40-12:00
Daniel Danielski, Emanuel Kieronski
12:20-12:40
Grzegorz Głuch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
11:20-11:40
Valentin Blot, James Laird
11:40-12:00
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
12:00-12:20
Liron Cohen, Vincent Rahli, Mark Bickford, Robert Constable
11:00-11:25
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To, Xuan Tung Vu
11:25-11:50
John Abbott, Anna Maria Bigatti, Elisa Palezzato
12:00-12:30
Samuel Yeom, Irene Giacomelli, Matt Fredrikson, Somesh Jha
14:00-14:25
Nathalie Margaret Cauchi, Alessandro Abate
14:25-14:50
Brandon Bohrer, Adriel Luo, Xue An Chuang, Andre Platzer
14:50-15:15
Ronald Robert Paul van Nooijen, Alla G. Kolechkina
15:15-15:40
Luan Nguyen, Bardh Hoxha, Taylor T Johnson, Georgios Fainekos
14:00-14:25
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate
14:25-14:50
Henk A.P. Blom, Hao Ma, Bert G.J. Bakker
14:50-15:15
Yu Wang, Nima Roohi, Mahesh Viswanathan, Geir E. Dullerud, Matthew West
15:15-15:40
Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate
14:00-14:30
Casey Mulligan, Russell Bradford, James H. Davenport, Matthew England, Zak Tonks
14:30-15:00
Alexander Cowen-Rivers, Matthew England
15:00-15:30
Rebecca Haehn, Gereon Kremer, Erika Ábrahám
16:00-16:30
David Basin, Sasa Radomirovic, Lara Schmid
16:30-17:00
V. Cortier, C.C. Dragan, F. Dupressoir, B. Warinschi
16:20-16:40
Simon Wimmer, Johannes Hölzl
16:40-17:00
Alexandra Mendes, Joao F. Ferreira
17:00-17:20
Andréia B. Avelar, Thaynara A. de Lima, André Luiz Galdino
17:20-17:40
Ramana Kumar, Eric Mullen, Zachary Tatlock, Magnus O. Myreen
16:00-17:00 LICS Business Meeting
16:00-16:30
Hoda Abbasizanjani, Oliver Kullmann
16:30-17:00
Daniela Ritirc, Armin Biere, Manuel Kauers
17:00-17:30
Meesum Syed Mohammad, Prathamesh T. V. H.
16:10-16:35
Hyejin Han, Ricardo Sanfelice
16:35-17:00
Shakiba Yaghoubi, Georgios Fainekos
16:10-16:35
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey
16:35-17:00
Bacem Ben Nasser, Michael Defoort, Mohamed Djemai, Taous-Meriem Laleg-Kirati
17:00-17:25
Tjorben Groß, Stephan Trenn, Andreas Wirsen
17:00-18:00 CSF Business Meeting
17:00-18:00 SAT Business Meeting
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
19:00-21:30 FLoC banquet at Examination Schools