FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM FOR SUNDAY, JULY 31ST: TALK VIEW
Days:
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
20:00
20:30
21:00
21:30
22:00
22:30
09:00-10:30
Przemysław Wałęga
09:00-10:30
Casadio, Komendantskaya, Rieser, Daggitt, Kienitz, Arnaboldi, Kokke
09:00-10:30
Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya
09:00-10:30
Sebastian Ordyniak
09:00-10:30
Saket Saurabh
09:00-10:30
Anja Petković Komel
09:15-10:30
Kľuka et.al
09:15-10:30
Maurice Herwig, Norbert Hundeshagen, Martin Lange
09:15-10:30
Fabian Vehlken
09:30-10:30
Philippa Gardner
09:30-10:30
Akihisa Yamada
10:30-12:00
Mnacho Echenim, Nicolas Peltier
10:30-12:00
Radu Iosif, Florian Zuleger
10:35-10:45 Opening
10:45-12:30
Shutao Zhang, Zhizheng Zhang, Jun Shen
10:45-12:30
Javier Romero, Torsten Schaub, Klaus Strauch
10:45-12:30
Konstantin Herud, Joachim Baumeister, Orkunt Sabuncu, Torsten Schaub
11:00-12:30
Przemysław Wałęga
11:00-12:30
Felix Freiberger
11:00-12:30
Maximilian Weininger
11:00-12:30
Kristina Sojakova
11:00-12:30
Sandra Alves
11:00-12:30
Waldmann, Blanqui, Dundua, Marti-Oliet, Rocha, Zantema, Middeldorp
11:00-12:30
Peter Stuckey
11:00-12:30
Yannai A. Gonczarowski, Noam Nisan
11:00-12:30
Edward A. Hirsch
11:00-12:30
Hadas Shachnai
11:00-11:30
Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
11:00-12:30
György Sághi, Péter Bereczky, Dániel Horpácsi
11:00-12:30
Elena Di Lavore, Pawel Sobocinski
11:00-12:30
Ana Oliveira Da Costa
11:00-12:30
Harley Eades Iii, Victoria Vollmer, Daniel Marshall, Dominic Orchard
11:00-12:30
C. Alrabbaa, S. Borgwardt, T. Friese, P. Koopmann, J. Méndez, A. Popovič
11:00-12:30
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
11:00-12:30
Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová
11:00-12:30
Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, Joao Leite
11:35-12:05
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
12:10-12:40
Ana de Almeida Borges, Joost J. Joosten
12:10-12:40
Thomas Henzinger
12:30-12:40
Miki Hermann, Gernot Salzer
14:00-15:30
S. Hahn, T. Janhunen, R. Kaminski, J. Romero, N. Ruehling, T. Schaub
14:00-15:30
Athénaïs Vaginay, Taha Boukhobza, Malika Smail-Tabbone
14:00-15:30
Torsten Schaub
14:00-15:00
Josje Lodder, Bastiaan Heeren, Johan Jeuring, Ben de Vries
14:00-15:00
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
14:00-15:00
Peter Paulovics, Júlia Pukancová, Martin Homola
14:00-15:30
Mark Müller, Christopher Brix
14:00-15:30
Benedikt Ahrens, Ralph Matthes, Kobe Wullaert
14:00-15:30
Jarl G. Taxerås Flaten
14:00-15:30
Bernardo Subercaseaux
14:00-15:30
Liam O'Reilly, Faron Moller
14:00-15:30
Arnold Beckman, Sam Buss, Anupam Das
14:00-15:30
Azza Gaysin
14:00-15:30
Giacomo Paesani
14:00-14:30 Welcome Session
14:00-14:50
Rajeev Alur
14:00-15:30
Guilherme Paulino-Passos, Francesca Toni
14:00-15:30
Junqi Jiang, Antonio Rago, Francesca Toni
14:00-15:30
Yifan Xu, Clare Dixon, Louise Dennis, Joe Collenette
14:00-15:30
Federico Sabbatini, Roberta Calegari
14:30-15:30
Ian Pratt-Hartman
14:30-15:30
Stephanie Balzer
14:40-17:15 Modelling Competition
14:50-15:30
Suguman Bansal
14:50-15:30
Lucas Martinelli Tabajara
14:50-15:30
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-Francois Raskin
15:00-16:30
R. Sharma, S. Wang, A. Oey, A. Evdokimova, L. Beringer, W. Mansky
15:00-16:30
Wanyun Sun, Zhilin Wu, Mihaela Sighireanu
15:00-16:30
Alexandre Moine, Arthur Charguéraud, François Pottier
16:00-17:30
Chloé Capon, Nicolas Lecomte, Jef Wijsen
16:00-17:30
Zhizheng Zhang
16:00-16:30
Anantha Padmanabha
16:00-17:00
J.B. Pereira Matos Júnior, L.C. Cordeiro, E. Manino, X. Song, I. Bessa
16:00-17:30 Session 19F
16:00-17:30
Mark Niklas Müller
16:00-17:30
Dennis Hamilton
16:00-17:00
Meirav Zehavi
16:00-17:30
Marie Kerjean, Jean-Simon Lemay
16:00-17:30
Rémi Di Guardia, Olivier Laurent
16:00-16:40
Irun Cohen, Assaf Marron
16:00-16:40
Luis Lamb
16:00-16:40
Stefania Costantini, Andrea Formisano, Valentina Pitoni
16:00-17:30
Vlad Rusu, David Nowak
16:00-17:30
Christopher Brown, Adam Barwell, Simon Thompson, Susmit Sarkar, Edwin Brady
16:00-17:30
Péter Hegyi, Dániel Lukács, Máté Tejfel
16:00-17:00
Kristina Asimi, Libor Barto, Silvia Butti
16:00-17:00
Ramchandra Phawade, Tephilla Prince, Sheerazuddin S
16:00-17:00
Paola Cattabriga
16:00-18:00
Rebecca Eifler, Jeremy Frank, Joerg Hoffmann
16:00-18:00
Ignace Bleukx, Emilio Gamba, Bart Bogaerts, Tias Guns
17:00-17:30
Mihaela Sighireanu
17:00-17:45 Session 21B
17:15-18:15 Discussion and Open Problems
17:30-18:30
Francis Rhys Ward
17:30-18:30
Stefania Costantini, Andrea Formisano
17:30-18:00 discussion and outlook
17:30-19:00
Michael Genesereth, Vinay Chaudhri
17:30-19:00
Thomas Schwentick, Thomas Zeume
20:00-22:30 Reception for Speakers only at Makowsky's residence
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
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
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
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
15:30-16:00 Coffee Break
15:30-16:00 Coffee Break