SIGLOG Monthly 245

January 04, 2024
Past Issues - How to submit an announcement

Table of Content

Deadlines

DEON2023: Jan 07, 2024 (Paper)
SPIN 2024: Jan 15, 2024 (Submissions)
CAV 2024: Jan 19, 2024 (Paper), Mar 01, 2024 (CAV Award Nomination deadline)
LICS 2024: Jan 21, 2024 (Titles and Short Abstracts), Jan 26, 2024 (Full Papers Due)
IJCAR 2024: Jan 29, 2024 (Abstract, extended), Feb 05, 2024 (Paper, extended)
COORDINATION 2024: Feb 02, 2024 (Abstract), Feb 09, 2024 (Paper)
FSCD 2024: Feb 05, 2024 (Abstract), Feb 12, 2024 (Paper)
CiE 2024: Feb 10, 2024 (Article), May 15, 2024 (Informal presentations), Feb 10, 2024 (Article)
ICALP 2024: Feb 14, 2024 (Paper)
ICGT 2024: Feb 27, 2024 (Abstract), Mar 05, 2024 (Paper)
PHD POSITION IN MARSEILLE: Feb 28, 2024 (Application deadline)
AiML 2024: Mar 08, 2024 (Abstract), Mar 15, 2024 (Full papers)
ACT / MFPS 2024: Mar 29, 2024 (Conference)

LICS 2024: Thirty-Ninth Annual ACM/IEEE Symposium on

LOGIC IN COMPUTER SCIENCE

Tallinn, July 2024

https://lics.siglog.org/lics24

CALL FOR PAPERS

COORDINATION 2024: 26th International Conference on Coordination Models and Languages

June 18-20, 2024 University of Groningen, The Netherlands

https://www.discotec.org/2024/coordination

CALL FOR PAPERS

CiE 2024: Computability in Europe 2024

Twenty years of theoretical and practical synergies

July 08-12, 2024 Amsterdam, The Netherlands

https://events.illc.uva.nl/CiE/CiE2024/

Submission link: https://equinocs.springernature.com/service/CiE2024

CALL FOR PAPERS

ACT / MFPS 2024: 7th International Conference on Applied Category Theory and 40th Conference on Mathematical Foundations of Programming Semantics

Jun 17-21, 2024

Oxford, UK

https://oxford24.github.io/

CALL FOR PAPERS

PHD POSITION IN MARSEILLE

JOB ANNOUNCEMENT

PhD or Postdoc position at TU Wien, Project TAIGER: Training and Guiding AI Agents with Ethical Rules

TU Wien, Faculty of Informatics, Vienna

JOB ANNOUNCEMENT


Links: SIGLOG website, LICS website, SIGLOG Monthly.