FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM FOR MONDAY, AUGUST 1ST: 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
20:00
08:50-09:00 Opening
09:00-10:30
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
09:00-10:30
Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina Păsăreanu
09:00-10:30
Guy Amir, Guy Katz, Michael Schapira, Tom Zelazny
09:00-10:30
Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev
09:00-10:30
Christina Kohl, Aart Middeldorp
09:00-10:30
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
09:00-10:30
Vincent van Oostrom
09:00-10:30
Matthias Baaz
09:00-10:30
Friedrich Slivovsky
09:00-10:30
Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff
09:00-10:30
Friedrich Slivovsky
09:00-10:30
Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff
09:00-10:30
Daniel Waszkiewicz, Konstanty Junosza-Szaniawski
09:00-10:30
Daniela Kaufmann, Paul Beame, Armin Biere, Jakob Nordstrom
09:00-10:30
Friedrich Slivovsky
09:00-10:30
Hélène Verhaeghe
09:00-10:30
Xiao Peng, Olivier Simonin, Christine Solnon
09:00-10:30
Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo, Quentin Cappart
09:00-10:30
Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck
09:15-10:30
Marie Fortin
09:30-10:30
Alexander Artikis, Periklis Mantenogloy
09:30-10:30
Thomas Ehrhard
09:50-10:30
A. Cimatti, L. Geatti, N. Gigante, A. Montanari, S. Tonetta
09:50-10:30
Ashutosh Trivedi, Fabio Somenzi, Mateo Perez
10:30-11:00 Doctoral Program: Poster session
10:30-11:00 Session 30B
11:00-12:30
S. Bensalem, C.-H. Cheng, X. Huang, P. Katsaros, A. Molin, D. Nickovic, D. Peled
11:00-12:30
M. Daggitt, W. Kokke, R. Atkey, L. Arnaboldi, E. Komendantskaya
11:00-12:30
Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart
11:00-12:30
G. Sartor, J. Davila, M. Billi, G. Pisano, G. Contissa, R. Kowalski
11:00-12:30
Jan Wielemaker, Mikko Tiihonen
11:00-12:30
Joaquin Arias, Mar Moreno-Rebato, Jose Antonio Rodríguez, Sascha Ossowski
11:00-12:30
G. García Pradales, J.F. Morales, M.V. Hermenegildo, J. Arias, M. Carro
11:00-12:30
Jonathan Weinberger, Benedikt Ahrens, Ulrik Buchholtz, Paige North
11:00-12:30
Michele Contente, Maria Emilia Maietti
11:00-12:30
Alexander Lochmann, Fabian Mitterwallner, Aart Middeldorp
11:00-12:30
Valentin Blot, Gilles Dowek, Thomas Traversié
11:00-12:30
Leroy Chew
11:00-12:30
Stefan Szeider
11:00-12:30
Sagar Malhotra, Luciano Serafini
11:00-12:30
Thomas Bartel, Tomas Balyo, Markus Iser
11:00-12:30
Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue
11:00-12:30
Leroy Chew
11:00-12:30
Roy Overbeek, Joerg Endrullis
11:00-12:30
Jean-Baptiste Joinet
11:00-12:30
Siva Somayyajula
11:00-12:30
Matteo Manighetti, Dale Miller
11:00-11:30
Andrea Ferrara
11:00-12:30
Marco Dalla, Andrea Visentin, Barry O'Sullivan
11:00-12:30
Felix Ulrich-Oltean, Peter Nightingale, James Walker
11:00-12:30
Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau
11:35-12:05
Samson Abramsky
12:10-12:40
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
12:10-12:40
Giuseppe De Giacomo, Kuldeep S. Meel, Kristin Yvonne Rozier
14:00-15:30
Omri Isac, Clark Barrett, Min Zhang, Guy Katz
14:00-15:30
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
14:00-15:30
S.C. Varanasi, B. Meng, C. Alexander, S. Borgyos, B. Hall
14:00-15:30
K. Basu, P. Padalkar, H. Wang, E. Salazar, J. Arias, G. Gupta
14:00-15:30
S.C. Varanasi, N. Saeedloei, E. Salazar, J. Arias, G. Gupta
14:00-15:30
Eric Finster
14:00-15:30
Benedikt Ahrens, Paige North, Niels van der Weide
14:00-15:30
Raúl Gutiérrez, Miguel Vítores, Salvador Lucas
14:00-15:30
Frederik Krogsdal Jacobsen, Jørgen Villadsen
14:00-15:30
Christoph Haase
14:00-15:30
Nikita Gaevoy
14:00-15:30
Tomáš Peitl, Stefan Szeider
14:00-15:30
W. Dvořák, M. Hecher, M. König, A. Schidler, S. Szeider, S. Woltran
14:00-15:30
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
14:00-15:30
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
14:00-15:30
Isaac Grosof, Naifeng Zhang, Marijn Heule
14:00-15:30
Joseph Reeves, Marijn Heule, Randal Bryant
14:00-15:30
Jörg Endrullis
14:00-15:30
Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Hugues Wattez
14:00-15:30
Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan
14:00-15:30
Andrea Balogh, Barry O'Sullivan
14:00-15:30
Siddharth Prasad, Maria-Florina Balcan, Tuomas Sandholm, Ellen Vitercik
15:00-15:30
Eben Blaisdell, Max Kanovich, Stepan Kuznetsov, Elaine Pimentel, Andre Scedrov
15:00-15:40
Eli Singerman, Gila Kamhi, Ranan Fraer, Avner Landver
15:30-16:00 Doctoral Program: Poster session
15:30-16:00 Session 36B
16:00-17:00
K. Leino, A. Fromherz, R. Mangal, M. Fredrikson, B. Parno, C. Pasareanu
16:00-18:00
Aart Middeldorp
16:00-17:00
Gopalan Nadathur
16:00-17:00 Panel discussion: Conclusions
16:00-17:30 Panel (Nikolaj Bjørner, Christoph Haase, Liat Peterfreund)
16:00-17:30
Ilario Bonacina, Nicola Galesi, Massimo Lauria
16:00-17:00
T. Holzenkamp, K. Kuryshev, T. Oltmann, L. Wäldele, J. Zuber, T. Heuer, M. Iser
16:00-17:00
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordstrom
16:00-17:30
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
16:00-17:30
Stephen Mell, Osbert Bastani, Steve Zdancewic
16:00-17:00 Session 37N
16:00-16:30 Closing Session
16:00-16:40
Phokion Kolaitis
16:00-16:40
Ronald Fagin
16:00-17:30
R.M. Tsoupidi, R. Castañeda Lozano, E. Troubitsyna, P. Papadimitratos
16:00-17:30
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
16:00-17:30
Thibault Falque, Romain Wallon
16:00-17:30
Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam Ngouonou
16:00-17:30
Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack
16:00-17:30
Christopher Coulombe, Claude-Guy Quimper
16:00-17:30
N. Beldiceanu, J. Cheukam Ngouonou, R. Douence, R. Gindullin, C.-G. Quimper
17:00-18:00
Noam Zeilberger
17:00-18:00
Chris Martens, Robert Simmons
17:00-18:00
Hannah Gommerstadt
17:00-17:30 Discussion on topical aspects
17:30-17:40 Closing
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
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
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:00-19:00 A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
18:30-20:00 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event