A

Conference Reports

ACM SIGLOG News, vol. 12, pp. 2

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.

Authors 1

  1. Joost-Pieter Katoen corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    Aachen University

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0