Combinatorial Games in Finite Model Theory, 2023

Workshop affiliated with LICS 2023
Boston, USA, 24-25 June 2023

Aim

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.

Dates

Abstract Submission Deadline: Monday May 1
Author Notification: Monday May 15
Registration Deadline: TBA
Workshop Dates: June 24th and 25th

Invited Speakers

Contributed Talks

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) in at least 10pt font via EasyChair at this link, 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.

We encourage the submission of abstracts on work at all levels of progress, including already published results, work in progress, novel contributions, as well as survey-type contributions. Early-stage work connecting this field of study to other fields is also highly encouraged.

Depending on the number of submissions, contributed talks will be 15-30 minutes long. A collection of abstracts of all invited and contributed talks will be posted at the workshop website.

Registration & Local Information

See the main LICS website.

Organising and Program Committee