LICS 2023 Workshop on Combinatorial Games in Finite Model Theory

June 24-25, 2023, Boston, USA

https://gamesandfmt.org/workshop2023/

CALL FOR CONTRIBUTIONS AND PARTICIPATION

The goal of this workshop is to promote work at the interface of complexity and logic. The workshop has two main foci: the first is recent progress in using combinatorial games to prove logical (in)expressiblity results, the second is limitations in the method of combinatorial games as a tool for establishing lower bounds in computational complexity.

INVITED SPEAKERS

Yijia Chen (Shanghai Jiao Tong University), Erich Grädel (RWTH Aachen), Neil Immerman (University of Massachusetts Amherst), Antonina Kolokolova (Memorial University of Newfoundland)

SUBMISSION GUIDELINES

Those wishing to speak at the workshop on any topic related to combinatorial games in finite model theory are invited to submit an Extended Abstract of up to three pages (including references) describing the content of the contributed presentation. At least one author from each accepted abstract must register for the workshop and present the work in person. For additional information, please visit the workshop webpage https://gamesandfmt.org/workshop2023/

IMPORTANT DATES

-- Abstract Submission: May 1, 2023

-- Author Notification: May 15, 2023

-- Workshop Dates: June 24-25, 2023

ORGANIZING and PROGRAM COMMITTEE

Marco Carmosino (IBM Research), Phokion G. Kolaitis (UC Santa Cruz and IBM Research), Jonathan Lenchner (IBM Research), Ronald Fagin (IBM Research), Ryan Williams (MIT)