SIGLOG Monthly 258

February 01, 2025
Past Issues - How to submit an announcement

Table of Contents

Deadlines

FMBC 1025: Feb 03, 2025 (Abstracts), Feb 10, 2025 (Full papers)
ICALP 2025: Feb 08, 2025 (Paper deadline)
FSCD 2025: Feb 10, 2025 (Abstracts), Feb 17, 2025 (Full papers)
LMW@CSL 2025: Feb 10, 2025 (On-site registration)
DEON 2025: Mar 01, 2025 (Abstract deadline), Mar 08, 2025 (Paper deadline)
SSFT 2025: Mar 31, 2025 (Registration of applications)
CONCUR 2025: Apr 01, 2025 (Abstract deadline), Apr 07, 2025 (Paper deadline)
ICLP 2025: Apr 13, 2025 (Paper registration (regular papers)), Apr 18, 2025 (Paper (regular papers)), Jun 15, 2025 (Paper (short papers))

ICALP 2025: 52nd EATCS International Colloquium on Automata, Languages, and Programming

Aarhus, Denmark, July 8-11, 2025

https://conferences.au.dk/icalp2025

CALL FOR PAPERS

ICLP 2025: 41st International Conference on Logic Programming

University of Calabria, Rende, Italy | September 12-19, 2025

https://iclp25.demacs.unical.it/

CALL FOR PAPERS

CSL 2025: 33rd EACSL Annual Conference on Computer Science Logic

10-14 February 2025, Amsterdam, the Netherlands

https://csl2025.github.io/index

CALL FOR PARTICIPATION

SSFT 2025: Fourteenth Summer School on Formal Techniques

Atherton, California, May 24-30, 2025

https://SSFT-SRI.github.io

Menlo College, Atherton, California

CALL FOR PARTICIPATION


Links: SIGLOG website, LICS website, SIGLOG Monthly.