FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM FOR THURSDAY, JULY 19TH: TALK VIEW
Days:
previous 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
09:00-10:00
Dirk Pattinson
10:00-10:30
Tim Lyon, Agata Ciabattoni, Revantha Ramanayake, Alwen Tiu
09:00-09:10
Anni-Yasmin Turhan
09:00-09:15
Morteza Lahijanian
09:15-09:45
Jörg Hardy
10:00-10:30
A. Miyazawa, A. Cavalcanti, S. Foster, W. Li, P. Ribeiro, J. Timmis, J. Woodcock
10:00-10:20
Keenan Breik, Chris Thachuk, Marijn Heule, David Soloveichik
11:00-11:30
Xudong Qin, Eric Madelaine, Simon Bliutze, Min Zhang
11:30-12:00
Dross, Foliard, Jouanny, Matias, Matthews, Mota, Moy, Pignard, Soulat
11:00-11:30
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
11:30-12:00
Eugenio Orlandelli, Sara Negri
11:00-11:30
Jørgen Villadsen, Anders Schlichtkrull, Andreas Halkjær From
12:00-12:30
Geoff Sutcliffe, Evgenii Kotelnikov
11:30-12:00
Aouatef Rouahi, Kais Ben Salah, Khaled Ghedira
12:00-12:15
Martin Mose Bentzen, Felix Lindner, Louise Dennis, Michael Fisher
11:00-11:20
Jakob Lykke Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler
11:20-11:40
Carlo Spaccasassi, Matthew Lakin, Andrew Phillips
11:40-12:00
Tomislav Plesa, Radek Erban, Konstantinos Zygalakis, David Anderson
12:00-12:20
Luca Laurenti, Marta Z Kwiatkowska, Attila Csikász-Nagy, Luca Cardelli
11:30-12:00
Athanasiou, Cook, Emmi, MacCarthaigh, Schwartz-Narbonne, Tasiran
11:00-11:30
Jera Hensel, Florian Frohn, Jürgen Giesl
11:30-12:00
Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
11:30-12:30 Panel Session
15:00-15:30
Didier Galmiche, Daniel Mery, Michel Marti
14:00-14:45
Danny Tarlow
14:30-15:00
Ahmed Bhayat, Giles Reger
14:00-14:30
Rachid Alami
14:00-14:30
B. Beckert, T. Bingmann, M. Kiefer, P. Sanders, M. Ulbrich, A. Weigl
15:00-15:30
Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess
14:00-14:30
Jesús J. Doménech, Samir Genaim, John P. Gallagher
14:30-15:00
Aalok Thakkar, Balaji Krishnamurthy, Piyush Gupta
15:00-15:30
Jonas Schöpf, Christian Sternagel
15:00-15:10
Gareth Molyneux, Viraj Brian Wijesuriya, Alessandro Abate
15:10-15:20
Amarioarei, Spencer, Romica, Barad, Dobre, Itcus, Tusa, Paun, Paun, Czeizler
16:00-16:30
Nicolas Schnepf, Rémi Badonnel, Abdelkader Lahmadi, Stephan Merz
16:30-17:00
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
16:30-17:00
Marianna Girlando, Bjoern Lellmann, Nicola Olivetti
17:00-17:30
Camillo Fiorentini, Mauro Ferrari
16:00-16:30
M. Raghothaman, S. Kulkarni, R. Zhang, X. Si, K. Heo, W. Lee, M. Naik
16:30-17:00
Milan Cvitkovic, Badal Singh, Anima Anandkumar
17:00-17:30
V. Markovtsev, W. Long, E. Bulychev, R. Keramitas, K. Slavnov, G. Markowski
16:30-17:00
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
17:00-17:30
José Paredes, Maria Vanina Martinez, Gerardo Simari, Marcelo A. Falappa
17:30-17:50
Cunjing Ge, Feifei Ma, Jian Zhang
16:40-17:00
Ken Chanseau Saint-Germain, Jerome Feret
17:00-17:20
M. Troják, J. Šalagovič, D. Šafránek, J. Červený, L. Brim, M. Hajnal
17:20-17:40
Hillel Kugler, Till Korten, Stefan Diez, Dan Nicolau Jr.
16:00-16:30
D. Dietsch, M. Heizmann, J. Hoenicke, A. Nutz, A. Podelski
16:30-17:00
Naoki Nishida, Sarah Winkler
16:00-16:30
Guillaume Genestier, Frédéric Blanqui
17:00-18:00 WST 2018 business meeting
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break