SIGLOG Monthly 255

November 01, 2024
Past Issues - How to submit an announcement

Table of Contents

Deadlines

University Assistant (Prae-Doc): Nov 28, 2024 (Application deadline)
LICS 2025 WORKSHOPS: Nov 30, 2024 (Submission of workshop proposals)
FSCD 2025 WORKSHOPS: Dec 12, 2024 (Workshop proposal)
LICS 2025: Jan 16, 2025 (Abstract), Jan 23, 2025 (Full Papers)
CiE 2025: Jan 26, 2025 (Abstract), Feb 02, 2025 (Full paper)
CAV 2025: Jan 31, 2025 (Full paper)
FSCD 2025: Feb 10, 2025 (Abstract), Feb 17, 2025 (Full paper)
DEON 2025: Mar 01, 2025 (Abstract deadline), Mar 08, 2025 (Paper deadline)

CiE 2025: Computability in Europe 2025

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

Lisbon, Portugal, July 14-18, 2025

https://bit.ly/CIE2025

CALL FOR PAPERS

CAV 2025: 37th International Conference on Computer-Aided Verification

July 21-25, 2025, Zagreb, Croatia

https://conferences.i-cav.org/2025/cfp/

CALL FOR PAPERS

FSCD 2025: Tenth International Conference on Formal Structures for Computation and Deduction

14-20 July 2025, Birmingham, UK

https://fscd-conference.org/2025/

CALL FOR PAPERS

DEON 2025: 17th International Conference on Deontic Logic and Normative Systems

30 June – 3 July 2025

TU Wien, Vienna, Austria

CALL FOR PAPERS

FSCD 2025 WORKSHOPS

14-20 July 2025, Birmingham, UK

https://fscd-conference.org/2025/

CALL FOR WORKSHOPS

University Assistant (Prae-Doc): TU Wien, Faculty of Informatics, Vienna

JOB ANNOUNCEMENT


Links: SIGLOG website, LICS website, SIGLOG Monthly.