News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

22 - 27 June 2019, The thirty-fourth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'19), Vancouver BC, Canada

Date: 22 - 27 June 2019
Location: Vancouver BC, Canada
Deadline: Friday 4 January 2019

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. Deadline: 15 november 2018.

We also invite paper submissions on any of the conference topics. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Deadline: 4 januari 2019.

For more information, see https://lics.siglog.org/lics19/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.