SIGLOG Monthly 212

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

Table of Content

Deadlines

Alonzo Church Award:   Apr 01, 2021 (Deadline for Nominations (Extended))
Diagrams 2021:   Apr 01, 2021 (Titles+short abstracts), Apr 08, 2021 (Long and Short Papers), Apr 15, 2021 (Abstracts and Posters)
MGS 21:   Apr 01, 2021 (Registration deadline)
FORMATS 2021:   Apr 06, 2021 (Abstract), Apr 13, 2021 (Paper)
E. W. Beth Outstanding Dissertation Prize 2021:   Apr 15, 2021 (Deadline for nominations)
SPIN 2021:   Apr 20, 2021 (Paper (extended))
CONCUR 2021:   Apr 23, 2021 (Abstract), Apr 30, 2021 (Paper)
MFCS 2021:   Apr 30, 2021 (Abstract), May 03, 2021 (Paper)
WiL 2021:   Apr 30, 2021 (Abstract)
Logic Colloquium 2020:   Apr 30, 2021 (Abstract)
Tenth Summer School on Formal Techniques:   Apr 30, 2021 (Guideline registration deadline)
VCLA Awards 2021:   Apr 30, 2021 (Submission deadline)
FSEN 2021:   May 01, 2021 (Registration deadline)
VEST 2021:   May 03, 2021 (Talk)
ACM Transactions on Computational Logic:   May 07, 2021 (Nominations for Editor-In-Chief)
FCT 2021:   May 09, 2021 (Abstract), May 16, 2021 (Paper)
RV 2021:   May 13, 2021 (Abstract), May 20, 2021 (Paper)
FedCSIS’2021:   May 24, 2021 (Paper)
ICGI 2020/21:   May 25, 2021 (Paper)
CALCO 2021:   Jun 03, 2021 (Paper)
EXPRESS/SOS 2021:   Jun 21, 2021 (Paper)
ACKERMANN AWARD 2021:   Jul 01, 2021 (Deadline for nomination)
CSL22:   Jul 05, 2021 (Abstract), Jul 12, 2021 (Paper)

WiL 2021: 5th Women in Logic Workshop

June 27, 2021 part of LICS 2021

https://sites.google.com/g.uporto.pt/wil2021

CALL FOR CONTRIBUTIONS

Logic Colloquium 2020:

July 19-24, 2020, Poznań, Poland (online)

NO FEES APPLY

https://lc2021.pl/

CALL FOR PAPERS

Tenth Summer School on Formal Techniques:

May 22 - May 28, 2021, Online (Postponed from 2020)

http://fm.csl.sri.com/SSFT21

CALL FOR PARTICIPATION

VCLA Awards 2021: The Vienna Center for Logic and Algorithms of TU Wien Awards for Outstanding Theses and Scientific Works

https://logic-cs.at/vcla-international-student-awards-2021

CALL FOR NOMINATIONS

FSEN 2021: Ninth International Conference on Fundamentals of Software Engineering 2021 Theory and Practice

http://fsen.ir/2021/

19 - 21 May, 2021, Virtual Conference

CALL FOR PARTICIPATION

VEST 2021: 2nd Workshop on Verification of Session Types

Online on July 12, 2021, co-located with ICALP 2021

https://sites.google.com/view/vest21/home

CALL FOR TALKS

ACM Transactions on Computational Logic:

Editor-In-Chief

CALL FOR NOMINATIONS

FCT 2021: 23rd International Symposium on Fundamentals of Computation Theory

September 12-15, 2021, Athens, Greece

https://www.corelab.ntua.gr/fct2021

Submission deadline: May 16, 2021

CALL FOR PAPERS

RV 2021: 21st INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION

Oct 11-14, 2021, Los Angeles, California, US or Online

https://www.cs.bgu.ac.il/~rv21/

CALL FOR PAPERS

FedCSIS’2021: 16th Conference on Computer Science and Intelligence Systems

Online, 2-5 September, 2021

http://fedcsis.org

http://easychair.org/conferences/?conf=fedcsis2021

CALL FOR PAPERS

CALCO 2021: 9th International Conference on Algebra and Coalgebra in Computer Science

31 Aug - 03 Sep 2021

Salzburg, Austria (if possible)

Co-located with MFPS XXXV

https://www.coalg.org/calco-mfps2021/

CALL FOR PAPERS

EXPRESS/SOS 2021: Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics

http://icetcs.ru.is/express-sos2021/

August 23, 2021, Paris (France), or Online (Online participation guaranteed)

Affiliated with CONCUR 2021

CALL FOR PAPERS

To the SIGLOG or LICS website