CSL 2022: 30th EACSL Annual Conference on Computer Science Logic

Beschreibung

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).

It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component.