Tuesday, March 21, 2023

[DMANET] [CFP] LICS 2023 Workshop on Combinatorial Games in Finite Model Theory

LICS 2023 Workshop on Combinatorial Games in Finite Model Theory
June 24-25, 2023, Boston, USA

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
Organizing and Program Committee:
Marco Carmosino (IBM Research), Ronald Fagin (IBM Research), Phokion Kolaitis (UC Santa Cruz and IBM Research), Jonathan Lenchner (IBM Research), Ryan Williams (MIT)

* Contributions to be spread via DMANET are submitted to
* DMANET@zpr.uni-koeln.de
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/