SIGLOG Monthly 215

July 01, 2021
Past Issues - How to submit an announcement

Table of Content

Deadlines

ACKERMANN AWARD 2021: Jul 01, 2021 (Deadline for nomination)
NMR-2021: Jul 2, 2021 (Paper registration, Extended), Jul 7, 2021 (Paper, Extended)
XLoKR 2021: Jul 02, 2021 (Paper)
CSL 2022: Jul 05, 2021 (Abstract), Jul 12, 2021 (Paper)
OVERLAY 2021: Jul 11, 2021 (Paper)
FSCD 2021: Jul 11, 2021 (Registration deadline)
CPSIoTSec 2021: Jul 13, 2021 (Submission deadline, Extended), Jul 30, 2021 (Submission deadline only for papers rejected from ACM CCS 2021)
FMM 2021: Jul 14, 2021 (Paper)
FSTTCS 2021: Jul 19, 2021 (Submission deadline (firm))
RW 2021: Aug 25, 2021 (Registration closes)
CCC 2021: Aug 30, 2021 (Deadline)
CPP 2022: Sep 16, 2021 (Abstract Submission Deadline)
FLoC 2022: Sep 27, 2021 (Submission of workshop proposals deadline)

XLoKR 2021: 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021)

co-located with KR 2021 https://kr2021.kbsg.rwth-aachen.de

6-8 November 2021 (exact date(s) TBD), Hanoi, Vietnam (virtually)

https://xlokr21.ai.vub.ac.be/

CALL FOR PAPERS

FSCD 2021: Sixth International Conference on Formal Structures for Computation and Deduction

July 17 – July 24, 2021, Buenos Aires, Argentina

https://fscd2021.github.io/

In-cooperation with ACM SIGLOG and SIGPLAN

CALL FOR PARTICIPATION

SPIN 2021: International Symposium on Model Checking of Software

July 12, 2021, 9:50 to 18:15 CEST

ONLINE EVENT

https://conf.researchr.org/home/spin-2021

CALL FOR PARTICIPATION

FMM 2021: Fifth Workshop on Formal Mathematics for Mathematicians

26-31 July 2021 (exact date TBA) Timisoara, Romania (hybrid or fully virtual) https://cicm-conference.org/2021/cicm.php?event=fmm

Co-located with 14th Conference on Intelligent Computer Mathematics (CICM 2021) https://cicm-conference.org/2021/cicm.php

CALL FOR PAPERS

FSTTCS 2021: Foundations of Software Technology and Theoretical Computer Science

December 15 - 18, 2021

Virtual Conference

https://www.fsttcs.org.in/2021/

CALL FOR PAPERS

CPP 2022: Certified Programs and Proofs

16-18 January 2022

Co-located with POPL 2022 in Philadelphia, Pennsylvania, United States

https://popl22.sigplan.org/home/CPP-2022

CALL FOR PAPERS

FLoC 2022: The 2022 Federated Logic Conference

July 31 - August 12, 2022

Haifa, Israel

http://www.floc2022.org/

CALL FOR WORKSHOPS

To the SIGLOG or LICS website