FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM FOR THURSDAY, AUGUST 11TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

8:30
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
08:55-09:00 Welcome
09:00-10:30
Elizabeth Polgreen, Yatin Manerkar
09:00-10:30
Kuldeep Meel
09:00-10:30
A. Bruni, M. Carbone, R. Giustolisi, S. Mödersheim, C. Schürmann
09:00-10:30
Véronique Cortier, Itsaka Rakotonirina
09:00-10:30
Riccardo Focardi, Flaminia Luccio
09:00-10:30
Pierpaolo Degano, Letterio Galletta, Selene Gerali
09:00-10:30
Samuel Teuber, Alexander Weigl
09:00-10:30
A. Latour, B. Babaki, D. Fokkinga, M. Anastacio, H. Hoos, S. Nijssen
09:00-10:30
G. Hariharan, B. Kempa, T. Wongpiromsarn, P.H. Jones, K.Y. Rozier
09:00-10:30
Maximilian Heisinger, Martina Seidl, Armin Biere
09:00-10:30
Peter Lammich
09:00-10:30
Milan Banković, David Šćepanović
09:00-10:30
Petra Hozzová, Laura Kovács, Andrei Voronkov
09:00-10:30
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
09:00-10:30
Frederik Krogsdal Jacobsen, Jørgen Villadsen
09:00-10:00
Ann Nowé
09:00-10:30
Liye Guo, Cynthia Kop
09:00-10:30
Alfons Geser, Dieter Hofbauer, Johannes Waldmann
09:00-09:05 Welcome
09:05-10:25
Wesley Fussner, George Metcalfe
09:10-10:30
Tobias Nipkow
09:10-10:30
Stepan Holub, Štěpán Starosta, Martin Raška
09:10-10:30
Martin Raška, Stepan Holub
09:10-10:30
Olle Torstensson, Tjark Weber
09:30-10:30
Massimo Bartoletti
11:00-12:30
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
11:00-11:45
Sebastian Holler, Clara Schneidewind, Sebastian Biewer
11:00-11:45
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, Luca Viganò
11:00-11:45
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
11:00-12:30
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
11:00-12:30
I. Ballesteros, C. Benac, L.E. Bueso, L.-. Fredlund, Á. Herranz, J. Mariño
11:00-12:30
Vinogradova, Chakravarty, Melkonian, Jones, Chapman, Ferariu, Krijnen
11:00-12:30
Aurélien Saue, Arvid Jakobsson, Kristina Sojakova
11:00-12:40
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
11:00-12:40
D. Aparicio, S. Escobar, C. Meadows, J. Meseguer, J. Sapiña
11:00-12:40
M.M. Ahmadpanah, M. Balliu, D. Hedin, L.E. Olsson, A. Sabelfeld
11:00-12:30
Niels Mündler, Tobias Nipkow
11:00-12:30
Agnes Moesgård Eschen, Jørgen Villadsen
11:00-12:30
Asta Halkjær From
11:00-12:30
Frederik Krogsdal Jacobsen, Jørgen Villadsen
11:00-12:30
Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach
11:00-12:30
Grzegorz Prusak, Cezary Kaliszyk
11:00-12:30
Zohar, Irfan, Mann, Niemetz, Noetzli, Preiner, Reynolds, Barrett, Tinelli
11:00-12:30
Joseph Scott, Guanting Pan, Elias Khalil, Vijay Ganesh
11:00-12:30
Aalok Thakkar, Rajeev Alur, Mayur Naik
11:00-12:30
Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey, Subhajit Roy
11:00-12:30
Nuno Baeta, Pedro Teixeira, Pedro Quaresma
11:00-12:00
Suguman Bansal
11:00-12:00
Hana Chockler
11:00-12:00
Dana Drachsler Cohen
11:00-12:30
Nao Hirokawa, Aart Middeldorp
11:00-12:20
Andrzej Indrzejczak, Michal Zawidzki
12:00-12:30
Emiel Lanckriet, Matteo Busi, Dominique Devriese
12:00-12:30 Session 126B
14:00-14:45
Jan Menz, Andrew K. Hirsch, Deepak Garg
14:00-14:45
Amir Houmansadr, Monica Moniot, Adam O'Neill
14:00-15:15
Chad Brown, Cezary Kaliszyk, Josef Urban, Thibault Gauthier
14:00-15:15
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas
14:00-15:15
Polina Vinogradova, Orestis Melkonian, Andre Knispel, James Chapman
14:00-15:15
Andre Knispel, James Chapman, Orestis Melkonian, Polina Vinogradova
14:00-15:30
Paul Syverson
14:00-15:30
Edward Zieglar, Prajna Bhandary, Charles Nicholas
14:00-15:30
Walther Neuper, Bernhard Stöger, Makarius Wenzel
14:00-15:30
Yecine Megdiche, Fabian Huch, Lukas Stevens
14:00-15:30
Q. Ferro, S. Graillat, T. Hilaire, F. Jézéquel, B. Lewandwoski
14:00-15:30
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
14:00-15:30
Maria Paola Bonacina, Sarah Winkler
14:00-15:30
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
14:00-15:30
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
14:00-15:30
Aina Niemetz, Mathias Preiner, Clark Barrett
14:00-15:30
Andoni Rodriguez, César Sánchez
14:00-15:30
Elizaveta Pertseva, Mark Barbone, Joey Rudek, Nadia Polikarpova
14:00-15:30
Srinivas Nedunuri, Douglas Smith
14:00-15:30
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
14:00-15:30
Guillermo Perez
14:00-15:30
Joana Teles, Vanda Santos, Pedro Quaresma
14:00-14:30 Session 127Q
14:00-15:30
Marcel Hark, Florian Frohn, Jürgen Giesl
14:00-15:30
Jürgen Giesl, Nils Lommen, Marcel Hark, Eleanore Meyer
14:30-15:30 Session 128
15:00-15:30 Discussion
15:15-15:30 Discussion
16:00-17:30
Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
16:00-17:30
Matthias Schlaipfer
16:00-16:45
L.S. Brugger, L. Kovács, A. Petković Komel, S. Rain, M. Rawson
16:00-17:30 Session 131D
16:00-17:30
Tobias Nipkow
16:00-17:30
Paulius Dilkas, Vaishak Belle
16:00-17:30
Yong Lai, Kuldeep S. Meel, Roland Yap
16:00-17:30
Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
16:00-17:30
Hans-Jörg Schurr
16:00-17:30
Marton Hajdu, Laura Kovacs, Michael Rawson, Andrei Voronkov
16:00-17:30
Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
16:00-17:00
Andrew Reynolds
16:00-17:00 Business Meeting & Closing
16:00-17:00 Session 131N
16:00-17:20
H. Jerome Keisler, Jeffrey M. Keisler
16:00-17:20
Adrian Rebola Pardo
16:45-17:00 Discussion
17:00-17:15 Community meeting, organisation
17:00-18:00 PANEL
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
08:30-09:00 Coffee & Refreshments
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event