SIGLOG Monthly 278

October 01, 2026
Past Issues - How to submit an announcement

Table of Contents

Deadlines

ESSLLI 2027: Oct 01, 2026 (Course/workshop titles), Oct 15, 2026 (Course/workshop proposals)
AAMAS 2027: Oct 01, 2026 (Abstract), Oct 08, 2026 (Paper)
STACS 2027: Oct 11, 2026 (Submission deadline)
FSEN 2027: Oct 19, 2026 (Abstract Submission), Oct 28, 2026 (Paper Submission)
FSCD and CADE 2027: Dec 04, 2026 (Workshop proposal deadline)
DEON 2027: Mar 05, 2027 (Abstract), Mar 12, 2027 (Paper)

AAMAS 2027: 26th International Conference on Autonomous Agents and Multiagent Systems

3-7 May, Hanoi, Vietnam

https://warwick.ac.uk/fac/sci/dcs/aamas2027/

CALL FOR PAPERS

STACS 2027: 44th International Symposium on Theoretical Aspects of Computer Science

8-12 March, 2027

Göttingen, Germany

Webpage: https://stacs2027.uni-goettingen.de/

CALL FOR PAPERS

STACS 2027 will consist of two tracks, A and B. Track A (PC chairs: Paweł Gawrychowski, Meirav Zehavi) focuses on algorithms, data structures, and complexity, while track B (PC Chairs: Laurent Bienvenu, Florin Manea) focuses on automata, logic, semantics, and theory of programming. The complete list of the PC can be seen here: https://events.gwdg.de/event/1460/page/472-program-committees

FSEN 2027: Twelfth International Conference on Fundamentals of Software Engineering 2027 - Theory and Practice

https://conf.researchr.org/home/fsen-2027

University of Twente, Enschede, the Netherlands

May 24-25, 2027

CALL FOR PAPERS

FSCD and CADE 2027:

21-27 August, 2027

Nijmegen, the Netherlands

https://fscd-cade.science.ru.nl/

CALL FOR WORKSHOPS

POSTDOC POSITION: School of Computer Science, University of Sydney, Australia

JOB ANNOUNCEMENT

A postdoctoral position in theoretical computer science is available with Sasha Rubin at the University of Sydney on topics related to reactive synthesis and nondeterministic planning. The appointment is funded by the ARC project “Logic-based planning under ignorance”. The appointment is expected to start in 2027, initially for two years with the possibility of extension. The successful candidate will join the Sydney Algorithms and Computing Theory group working in foundational aspects of computer science (usyd-sact.github.io/). Application link: tinyurl.com/cmfe4s58 For informal inquiries, feel free to contact me at sasha.rubin@sydney.edu.au




Links: SIGLOG website, LICS website, SIGLOG Monthly.