Conference Reports

This edition of the ACM SIGLOG newsletter features a report on two scientific events that were organised during the summer of 2025: CONCUR 2025, the 36th International Conference on Concurrency Theory, and FSCD 2025, the 10th International Conference on Formal Structures for Computation and Deduction. CONCUR 2025 took place as part of the CONFEST conference and was held end of August in Aarhus, Denmark. Aarhus was a hot spot in the summer as also ICALP took place in Aarhus. FCSD 2025 was organised in Birmingham 2025 and took place in July.

Authors

Publication Details

Journal
ACM SIGLOG News
Published
2025-10-01
DOI
https://doi.org/10.1145/3774409.3774411
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Conference Reports

Joost-Pieter Katoen
ACM SIGLOG News
Formal Methods in Verification
article

Conference Reports

Joost-Pieter Katoen
article en

Abstract

This edition of the ACM SIGLOG newsletter features a report on two scientific events that were organised during the summer of 2025: CONCUR 2025, the 36th International Conference on Concurrency Theory, and FSCD 2025, the 10th International Conference on Formal Structures for Computation and Deduction. CONCUR 2025 took place as part of the CONFEST conference and was held end of August in Aarhus, Denmark. Aarhus was a hot spot in the summer as also ICALP took place in Aarhus. FCSD 2025 was organised in Birmingham 2025 and took place in July.

ACM SIGLOG NewsVol. 12(4)
Openalex Percentile: Top 60%
Formal Methods in Verification
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.

Conference Reports — Joost-Pieter Katoen · ACM SIGLOG News (2025) | TGRS Research Map | TGRS