FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM FOR FRIDAY, AUGUST 12TH: TALK VIEW
Days:
previous 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
09:00-10:30
Daniel Dougherty
09:00-10:30
Flemming Nielson, Rene Rydhof Hansen, Hanne Riis Nielson
09:00-10:30
A. Steen, D. Fuenmayor, T. Gleißner, G. Sutcliffe, C. Benzmüller
09:00-10:30
Gereon Kremer, Jasper Nalbach
09:00-10:30
C. Tinelli, C. Barrett, M.-P. Bonacina, B. Dutertre, R. Sebastiani
09:00-10:30
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
09:00-10:30
Erika Abraham
09:00-10:30
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
09:00-10:30
T. Badings, A. Abate, N. Jansen, D. Parker, H. Poonawala, L. Romao, M. Stoelinga
09:30-10:30
Jacob Zweifler, Kesha Hietala, Robert Rand
09:30-10:30
Philippe Balbiani
10:00-10:30
Akihisa Yamada
11:00-12:30
Denis Cousineau, Enzo Crance, Assia Mahboubi
11:00-12:30
Jason Gross, Andres Erbsen
11:00-12:30
Seth Poulsen, Matthew West, Talia Ringer
11:00-12:30
W. Jamroga, P.Y.A. Ryan, S. Schneider, C. Schürmann, P. Stark
11:00-12:30
Bhargavan, Bichhawat, Do, Hosseyni, Küsters, Schmitz, Würtele
11:00-12:30
Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
11:00-12:30
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi
11:00-12:30
Fabian Huch, Vincent Bode
11:00-12:30
Ali Kemal Uncu, James H. Davenport, Matthew England
11:00-12:30
Baptiste Vergain, Pascal Fontaine, Bernard Boigelot
11:00-12:30
Nikolaj Bjørner, Clemens Eisenhofer, Laura Kovacs
11:00-12:30
Zafer Esen, Philipp Ruemmer
11:00-12:30
Chad Brown, Mikolas Janota, Cezary Kaliszyk
11:00-12:30
Jochen Hoenicke, Tanja Schindler
11:00-12:30
Chad Brown, David Cerna
11:00-12:30
Manfred Schmidt-Schauss, Daniele Nantes-Sobrinho
11:00-12:30
Eleanore Meyer, Marcel Hark, Jürgen Giesl
11:00-12:30
Nils Lommen, Eleanore Meyer, Marcel Hark, Jürgen Giesl
11:00-12:30
Florian Frohn, Jürgen Giesl
11:00-12:30
Giesl, Cloerkes, Dollase, Frohn, Fuhs, Hensel, Keller, Lommen, Meyer
11:00-12:30
Makoto Hamana, Keigo Imai
11:00-12:30
Cynthia Kop
14:00-15:30
Emilio Jesús Gallego Arias, Shachar Itzhaky
14:00-15:30
Bernard Boey, Michael D. Adams
14:00-15:30
Sebastian Mödersheim, Jorge Cuellar
14:00-15:30
Sreekanth Malladi, Jonathan Millen
14:00-15:30
Alessandra Di Pierro, Massimiliano Incudini
14:00-15:30
Cesare Tinelli, Clark Barrett
14:00-15:30
Antti Hyvärinen, David Déharbe
14:00-15:30
Gian Carlo Milanese, Gabriella Pasi
14:00-15:30
William Smith, Alexandra Silva, Fredrik Dahlqvist
14:00-15:30
Wojciech Rozowski, Tobias Kappé, Todd Schmid, Alexandra Silva
14:00-15:30
Christina Kohl, René Thiemann
14:00-15:30
Johannes Waldmann
14:00-15:30
Dieter Hofbauer
14:00-15:30
Fabian Mitterwallner, Aart Middeldorp
16:00-17:00
de Almeida Borges et.al
16:00-17:00
Emilio Jesús Gallego Arias, Jason Gross
16:00-16:30
Zhengyu Li, Curtis Bright, Vijay Ganesh
16:00-16:45
Haniel Barbosa
16:00-16:45
Haniel Barbosa
16:00-17:00
S. Dwyer Satterfield, S. Erbatur, A.M. Marshall, C. Ringeissen
16:00-17:00
Franz Baader, Oliver Fernandez Gil
16:30-17:30 Business meeting
16:45-17:30 WG 2 business meeting and plannning
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
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