Schedule

#I0		J222		J330

8:10	Registration



8:50	Opening
9:00	Models of arithmetic that satisfy more collection than induction Leszek Kołodziejczyk Chair: Johanna Franklin Plenary Talk





10:00	Model theory of tame classes of finite structures I Anuj Dawar Chair: Johanna Franklin Tutorial





11:00	Coffee break


11:30	Model theory of tame classes of finite structures II Anuj Dawar Chair: Johanna Franklin Tutorial





12:30	Lunch break








14:00	Logic in Philosophy 14:00 Agata Ciabattoni 14:40 Andrzej Indrzejczak 15:20 Johannes Stern Chair: Heinrich Wansing Special Session	Applied Model Theory 14:00 Vincent Bagayoko 14:40 Anna Dmitrieva 15:20 Adele Padgett Chair: James Freitag Special Session











16:00	Coffee break





17:00	Gödel Lecture: (Un)decidability in fields Thomas Scanlon Chair: Russell Miller Plenary Talk





18:00	Reception

#I0		J222		J330		J335		J336		J431

9:00	When any three solutions are independent James Freitag Chair: Leszek Kołodziejczyk Plenary Talk





10:00	Model theory of tame classes of finite structures III Anuj Dawar Chair: Leszek Kołodziejczyk Tutorial





11:00	Coffee break


11:30	From Dependent Types to Natural Language Semantics Daisuke Bekki Chair: Leszek Kołodziejczyk Plenary Talk





12:30	Lunch break








14:00	Computable Structures 14:00 Meng-Che (Turbo) Ho 14:40 Matthew Harrison-Trainor 15:20 David Gonzalez Chair: Alberto Marcone Special Session	Logic, Language and Computation 14:00 Kristina Liefke 14:40 Zhaohui Luo 15:20 Peter Sutton Chair: Stergios Chatzikyriakidis Special Session











16:00	Coffee break


16:30	Contributed Talks 1 16:30 Guillaume Massas 16:55 Pavel Arazim 17:20 Ahmet Çevik 17:45 Grigory Olkhovikov 18:10 Sebastian G.W. Speitel Chair: Will Stafford Contributed Talk	Contributed Talks 2 16:30 Nurlan Markhabatov 16:55 Katalin Bimbó 17:20 Michał Wrocławski 17:45 Ludovico Fusco 18:10 Christian Wurm Chair: Ivan Di Liberti Contributed Talk	Contributed Talks 3 16:30 Laurentiu Leuştean 16:55 Piotr Błaszczyk 17:20 Jin Wei 17:45 Horatiu Cheval 18:10 Andrew Brooke-Taylor Chair: Andrei Sipoș Contributed Talk	Contributed Talks 4 16:30 Assylbek Issakhov 16:55 Konstantinos Papafilippou 17:20 Pablo Dopico 17:45 Fedor Pakhomov 18:10 Mojtaba Mojtahedi Chair: Mateusz Łełyk Contributed Talk	Contributed Talks 5 16:30 Stella Mahler 16:55 Anouk Michelle Oudshoorn 17:20 Leonardo Pacheco 17:45 Luca San Mauro 18:10 Dominik Kirst Chair: Paul-André Melliès Contributed Talk

#I0		J222		J330		J335		J336		J431

9:00	Recent advances in higher-order automata and profinite lambda-calculus Paul-André Melliès Chair: Andreas Weiermann Plenary Talk





10:00	WQOs and BQOs in logic I Alberto Marcone Chair: Andreas Weiermann Tutorial





11:00	Coffee break


11:30	WQOs and BQOs in logic II Alberto Marcone Chair: Andreas Weiermann Tutorial





12:30	Lunch break








14:00	Contributed Talks 6 14:00 Piotr Gruza 14:25 Mateusz Łełyk 14:50 Eitetsu Ken 15:15 Léon Probst 15:40 Philipp Provenzano Chair: Joost Joosten Contributed Talk	Contributed Talks 7 14:00 Giulia Manara 14:25 Sebastijan Horvat 14:50 Matthias Eberl 15:15 Piotr Błaszczyk 15:40 Gabriele Buriola Chair: Gianluca Curzi Contributed Talk	Contributed Talks 8 14:00 Andrea Volpi 14:25 Maxwell Levine 14:50 Gian Marco Osso 15:15 Santiago Jockwich Martinez 15:40 Andreas Weiermann Chair: Andrew Brooke-Taylor Contributed Talk	Contributed Talks 9 14:00 Brett McLean 14:25 Giovanni Varricchione 14:50 Ren-June Wang 15:15 Max Sandström 15:40 Mattia Guiotto Chair: Valentin Goranko Contributed Talk	Contributed Talks 10 14:00 Alakh Dhruv Chopra 14:25 Thibaut Kouptchinsky 14:50 Gabriele Buriola 15:15 Patrick Uftring 15:40 Giovanni Solda Chair: Fedor Pakhomov Contributed Talk
































19:30	Banquet (Hamnkrogen, Liseberg)

#I0		J222		J330		J335		J336

9:00	Proof systems and decision algorithms for intuitionistic K Marianna Girlando Chair: Paul-André Melliès Plenary Talk





10:00	WQOs and BQOs in logic III Alberto Marcone Chair: Paul-André Melliès Tutorial





11:00	Coffee break


11:30	An exploration of proof mining I Andrei Sipoș Chair: Paul-André Melliès Tutorial





12:30	Lunch break








14:00	Proof theory 14:00 Valentin Blot 14:40 Lukas Melgaard 15:20 Takako Nemoto Chairs: Abhishek De, Katarzyna Kowalik Special Session	Set theory 14:00 Tamás Kátay 14:40 Claudio Agostini 15:20 Chris Lambie-Hanson Chair: Ivan Di Liberti Special Session











16:00	Coffee break


16:30	Recent advances in the combinatorics of determinacy models Stephen Jackson Chair: Alexis Saurin Plenary Talk





17:30	Contributed Talks 11 17:30 Lutz Straßburger 17:50 Vitor Greati 18:10 Valentina Trucco Dalmas Chair: Alexis Saurin Contributed Talk	Contributed Talks 12 17:30 Mateusz Łełyk 17:50 Yong Cheng 18:10 Mengzhou Sun Chair: Rasmus Blanck Contributed Talk	Contributed Talks 13 17:30 Jose Martinez-Fernandez 17:50 Yaroslav Petrukhin 18:10 Orvar Lorimer Olsson Chair: Dominik Kirst Contributed Talk	Contributed Talks 14 17:30 Ellen Hammatt 17:50 Hsing-Chien Tsai 18:10 Davide Sutto Chair: Luca San Mauro Contributed Talk

#I0		J222		J330		J335		J336		J431

9:00	Structural highness notions Johanna Franklin Chair: Laurentiu Leuştean Plenary Talk





10:00	An exploration of proof mining II Andrei Sipoș Chair: Laurentiu Leuştean Tutorial





11:00	Coffee break


11:30	An exploration of proof mining III Andrei Sipoș Chair: Laurentiu Leuştean Tutorial





12:30	Lunch break








14:00	Contributed Talks 16 14:00 Davide Fazio 14:25 Valentin Goranko 14:50 Ludovico Fusco 15:15 Ivo Pezlar 15:40 Matteo Acclavio Chair: Gianluca Curzi Contributed Talk	Contributed Talks 17 14:00 Ivan Di Liberti 14:25 Mariami Gamsakhurdia 14:50 Andrea Sabatini 15:15 Heinrich Wansing 15:40 Hans Halvorson Chairs: Fredrik Engström, Valentin Blot Contributed Talk	Contributed Talks 18 14:00 Alexis Saurin 14:25 Ricardo Jaimes-Urbán 14:50 Oriola Gjetaj 15:15 Joost Joosten 15:40 Vlad Lazar Chair: Takako Nemoto Contributed Talk	Contributed Talks 19 14:00 Simon Vonlanthen 14:25 Raúl Ruiz Mora 14:50 Davide Manca 15:15 Giacomo Barlucchi 15:40 Borja Sierra Miranda Chair: Sebastian Enqvist Contributed Talk	Contributed Talks 20 14:00 Robin Martinot 14:25 Karol Wapniarski 14:50 Karl Nygren 15:15 Avgerinos Delkos Chair: Andrzej Indrzejczak Contributed Talk











16:00	Coffee break


16:30	Contributed Talks 21 16:30 Kerkko Luosto 16:55 Tomáš Hons 17:20 Beibut Kulpeshov 17:45 Dariusz Kalociński Chair: Ivan Di Liberti Contributed Talk	Contributed Talks 22 16:30 Dominik Wehr 16:55 Armand Feuilleaubois 17:20 Lukas Melgaard 17:45 Sebastian Enqvist 18:10 Gianluca Curzi Chair: Marianna Girlando Contributed Talk	Contributed Talks 23 16:30 Sara Ayhan 16:55 Barteld Kooi 17:20 Luiz Carlos Pereira 17:45 Will Stafford 18:10 Antonio Piccolomini d'Aragona Chair: Sebastian G.W. Speitel Contributed Talk	Contributed Talks 24 16:30 Vittorio Cipriani 16:55 Gabriela Laboska 17:20 Martin Ritter Chair: Meng-Che (Turbo) Ho Contributed Talk

Caption

Plenary Talk

Tutorial

Special Session

Contributed Talk