From the Editor-in-Chief

In the second issue of 2025, we include a semantics column, written by Glynn Winskel and collected by Prakash Panangaden: this is a very instructive survey on concurrent and distributed games and strategies. Then, the conference coordinator of SIGLOG News, Joost-Pieter Katoen. introduces a report on FSTTCS 2024 (the 44th edition of the Conference on the Foundations of Software Technology and Theoretical Computer Science), written by Sławomir Lasota. 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-04-01
DOI
https://doi.org/10.1145/3734192.3734193
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

In the second issue of 2025, we include a semantics column, written by Glynn Winskel and collected by Prakash Panangaden: this is a very instructive survey on concurrent and distributed games and strategies. Then, the conference coordinator of SIGLOG News, Joost-Pieter Katoen. introduces a report on FSTTCS 2024 (the 44th edition of the Conference on the Foundations of Software Technology and Theoretical Computer Science), written by Sławomir Lasota. Finally, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.

ACM SIGLOG NewsVol. 12(2)
Sapienza University of Rome (IT)
Openalex Percentile: Top 96%
Logic, programming, and type systems
DOISourceOpenAlex
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.

From the Editor-in-Chief — Daniele Gorla · ACM SIGLOG News (2025) | TGRS Research Map | TGRS