From the Editor-in-Chief

Welcome to the last SIGLOG News issue of 2025! After a summer rich of events that actively involved a good part of our community, we are here to report some of the most relevant events that took place. Indeed, the conference coordinator of SIGLOG News, Joost-Pieter Katoen, introduces two reports on two conferences that are very relevant to SIGLOG, namely CONCUR 2025 (the 36th edition of the International Conference on Concurrency Theory), written by the PC Chairs Patricia Bouyer and Jaco van de Pol, and FSCD 2025 (the 10th International Conference on Formal Structures for Computation and Deduction), written by the PC Chairs Emma Ahrens and Jan-Christoph Kassing. Finally, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.

Authors

Institutions

Publication Details

Journal
ACM SIGLOG News
Published
2025-10-01
DOI
https://doi.org/10.1145/3774409.3774410
Primary Topic
Logic, programming, and type systems
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

From the Editor-in-Chief

Daniele Gorla
ACM SIGLOG News
Logic, programming, and type systems
article

From the Editor-in-Chief

Daniele Gorla
article en

Abstract

Welcome to the last SIGLOG News issue of 2025! After a summer rich of events that actively involved a good part of our community, we are here to report some of the most relevant events that took place. Indeed, the conference coordinator of SIGLOG News, Joost-Pieter Katoen, introduces two reports on two conferences that are very relevant to SIGLOG, namely CONCUR 2025 (the 36th edition of the International Conference on Concurrency Theory), written by the PC Chairs Patricia Bouyer and Jaco van de Pol, and FSCD 2025 (the 10th International Conference on Formal Structures for Computation and Deduction), written by the PC Chairs Emma Ahrens and Jan-Christoph Kassing. Finally, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.

ACM SIGLOG NewsVol. 12(4)
Sapienza University of Rome (IT)
Openalex Percentile: Top 78%
Logic, programming, and type systems
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.