FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PROGRAM FOR TUESDAY, AUGUST 2ND: 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
20:30
21:00
08:50-09:00 Welcome
08:50-09:00 Welcome Sesssion
09:00-10:30
Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns
09:00-10:30
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
09:00-10:30
Maria-Florina Balcan, Siddharth Prasad, Tuomas Sandholm, Ellen Vitercik
09:00-10:30
Jan Dreier, Sebastian Ordyniak, Stefan Szeider
09:00-10:30
Kristina Asimi, Libor Barto, Silvia Butti
09:00-09:15 Opening Remarks and Presentation of Best Paper Award by Junior Researchers
09:00-09:15 Welcome
09:00-09:30 Opening
09:00-10:30
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
09:00-10:30
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
09:00-10:30
Diego Figueira, Anthony Widjaja Lin
09:00-10:30
Arka Ghosh, Piotr Hofman, Sławomir Lasota
09:00-10:30
R. Lipton, F. Luca, J. Nieuwveld, J. Ouaknine, D. Purser, J. Worrell
09:00-10:30
Agnes Schleitzer, Olaf Beyersdorff
09:00-10:30
Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff
09:15-10:30
Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt
09:15-10:30
Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite
09:15-10:30
Joaquin Arias, Manuel Carro, Elmer Salazar, Gopal Gupta
09:15-10:30
M. Kabir, F. Everardo, A. Shukla, J.K. Fichte, M. Hecher, K.S. Meel
12:10-12:40
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
12:10-12:40
Huifan Yang, Da-Wei Li, Zekun Li, Donglin Yang, Bin Wu
12:10-12:40
Lucas Berent, Lukas Burgholzer, Robert Wille
12:30-14:00 KR SC Lunch
14:00-15:30
C. Basrur, A.J. Singh, A. Sinha, A. Kumar, T.K.S. Kumar
14:00-15:30
Raphaël Boudreault, Vanessa Simard, Daniel Lafond, Claude-Guy Quimper
14:00-15:30
Timothy Curry, Gabe DePace, Benjamin Fuller, Laurent Michel, Yan Sun
14:00-15:30
Francesco Dagnino, Francesco Gavazzo
14:00-15:30
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
14:00-15:30
Jonathan Sterling, Robert Harper
14:00-15:00 Invited talk by Theresa Swift: Two Languages, One System:Tightly Connecting XSB Prolog and Python
14:00-15:30
Senthil Rajasekaran, Moshe Y. Vardi
14:00-15:30
Alison R. Panisson, Peter McBurney, Rafael H. Bordini
14:00-15:30
Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
14:00-15:30
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
14:00-15:30
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
14:00-15:30
Yoàv Montacute, Nihil Shah
14:00-15:30
Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
14:00-15:30
Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying
14:00-15:30
Markus Anders
14:00-15:30
Jakob Bach, Markus Iser, Klemens Böhm
14:00-15:30
Miguel Cabral, Mikolas Janota, Vasco Manquinho
14:30-15:00
Jonas Karge
14:30-15:00
Martin Glauer
14:30-15:00
Guillaume Pérution-Kihli
15:00-15:30
Michele Fraccaroli, Evelina Lamma, Fabrizio Riguzzi
15:00-15:30
Fang Li, Elmer Salazar, Gopal Gupta
15:30-16:00 Doctoral Consortium Poster Session
16:00-17:30
A. Beldjilali, D. Allouche, P. Montalbano, G. Katsirelos, S. de Givry
16:00-17:30
Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck
16:00-17:30
Marijn Heule, Anthony Karahalios, Willem-Jan van Hoeve
16:00-17:30
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
16:00-17:30
Manfred Schmidt-Schauss, Daniele Nantes-Sobrinho
16:00-17:30
M. Ayala-Rincón, M. Fernandez, G. Ferreira Silva, D. Nantes-Sobrinho
16:00-17:30
Joaquin Arias, Seppo Törmá, Manuel Carro, Gopal Gupta
16:00-17:30
M. Fortin, B. Konev, V. Ryzhikov, Y. Savateev, F. Wolter, M. Zakharyaschev
16:00-17:30
Juan Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
16:00-17:30
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
16:00-17:30
Carsten Lutz, Leif Sabellek, Lukas Schulze
16:00-17:30
Victor Gutierrez-Basulto, Albert Gutowski, Yazmin Ibanez-Garcia, Filip Murlak
16:00-17:30
Benedikt Ahrens, Paige North, Niels van der Weide
16:00-17:30
Lukas Heidemann, David Reutter, Jamie Vicary
16:00-17:30
Kristina Sojakova, G. A. Kavvos
16:00-17:30
Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi
16:00-17:30
Eric Finster, David Reutter, Alex Rice, Jamie Vicary
16:00-17:30
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
16:00-17:30
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
16:00-17:30
Nina Narodytska, Nikolaj Bjørner
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
11:00-11:10 FLoC opening
11:00-11:10 FLoC opening
11:00-11:10 FLoC opening
11:00-11:10 FLoC opening
11:00-11:10 FLoC opening
11:00-11:10 FLoC opening
11:00-11:10 FLoC opening
11:00-11:10 FLoC opening
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
17:30-18:30
Francesca Rossi
17:30-18:30
Francesca Rossi
17:30-18:30
Francesca Rossi
17:30-18:30
Francesca Rossi
17:30-18:30
Francesca Rossi
17:30-18:30
Francesca Rossi
17:30-18:30
Francesca Rossi
17:30-18:30
Francesca Rossi
19:00-21:00 FloC Reception (at the Technion)
19:00-21:00 FloC Reception (at the Technion)
19:00-21:00 FloC Reception (at the Technion)
19:00-21:00 FloC Reception (at the Technion)
19:00-21:00 FloC Reception (at the Technion)
19:00-21:00 FloC Reception (at the Technion)
19:00-21:00 FloC Reception (at the Technion)
19:00-21:00 FloC Reception (at the Technion)