Foundations of software science and computation structures : 29th international conference, FoSSaCS 2026, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, proceedings / Nathalie Bertrand, Stefan Milius, editors

Format:

Book

Conference/Event

Contributor:

Bertrand, Nathalie (Researcher), editor.

Milius, Stefan, editor.

Conference Name:

FOSSACS (Conference) (29th : 2026 : Turin, Italy)

Series:

Lecture notes in computer science ; 16503.

Lecture notes in computer science, 1611-3349 ; 16503

Language:

English

Subjects (All):

Computer software--Congresses.

Computer software.

Software engineering--Congresses.

Software engineering.

Genre:

proceedings (reports)

Conference papers and proceedings

Conference papers and proceedings.

Physical Description:

1 online resource (xvii, 660 pages) : illustrations (chiefly color).

Other Title:

FoSSaCS 2026

Place of Publication:

Cham, Switzerland : Springer, [2026]

Summary:

"This book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11–16, 2026. The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems"-- Springer Nature Link.

Contents:

Varieties of quantitative algebras presented by 1-basic monads / Jiří Adámek

Learning bottom-up tree automata valued in monoidal categories / Quentin Aristote and Daniela Petrişan

The complexity of games with randomised control / Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, and Shufang Zhu

Bridging the gap between plain VASS and branching VASS / Clotilde Bizière, Jérôme Leroux, and Grégoire Sutre

Tapes as stochastic matrices of string diagrams / Filippo Bonchi and Cipriano Junior Cioffo

Inquisitive team semantics of LTL / Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, and Aniello Murano

Synthesising asynchronous automata from fair specifications / Béatrice Bérard, Benjamin Monmege, B Srivathsan, and Arnab Sur

Abstract Lipschitz continuity : combining semantic and quantitative approximations / Marco Campion, Isabella Mastroeni, Michele Pasqua, and Caterina Urban

Realization of relational presheaves / Yorgo Chamoun and Samuel Mimram

K definitions as matching logic theories, formally / Xiaohong Chen, Horaţiu Cheval, Dorel Lucanu, and Grigore Roşu

Partial reductions for Kleene algebra with linear hypotheses / Liam Chung and Tobias Kappé

Diagrammatic reasoning with control as a constructor, applications to quantum circuits / Noé Delorme and Simon Perdrix

Lambda galore / Mariangiola Dezani-Ciancaglini, Besik Dundua, and Furio Honsell

Complexity of model checking second-order hyperproperties on finite structures / Bernd Finkbeiner, Hadar Frenkel, and Tim Rohde

Karp’s NP-complete problems over first-order definable structures / Aidan Healy and Bartek Klin

Complete FSM testing using strong separability / Robert M. Hierons and Mohammad Reza Mousavi

A no-go theorem for coalgebraic product construction / Mayuko Kori and Kazuki Watanabe

Interaction improvement / Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, and Gabriele Vanoni

From trees to tree-like : distribution and synthesis for asynchronous automata / Mathieu Lehaut, Anca Muscholl, and Nir Piterman

Quantum coherence spaces revisited : a von Neumann (co)algebraic approach / Thea Li and Vladimir Zamdzhiev

Well-quasi-orderings on word languages / Nathan Lhote, Aliaume Lopez, and Lia Schütze

Composition theorems for f-differential privacy / Natasha Fernandes, Annabelle McIver, and Parastoo Sadeghi

On reversibility in Petri nets / Hernán Melgratti, Claudio Antares Mezzina, and G. Michele Pinna

A complete propositional dynamic logic for regular expressions with lookahead / Yoshiki Nakamura

The modal logic of abstraction refinement / Jakob Piribauer and Vinzent Zschuppe

A coalgebraic approach to infinite games / Benjamin Plummer and Corina Cîrstea

Active learning techniques for pomset recognizers / Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey, and Oscar Peyron

A 2-categorical approach to the semantics of dependent type theory with computation axioms / Matteo Spadetto

The value problem for weighted timed games with two clocks is undecidable / Quentin Guilmant, Joël Ouaknine, and Isa Vialard

Generalized Kantorovich-Rubinstein duality beyond Hausdorff and Kantorovich / Paul Wild, Lutz Schröder, Karla Messing, Barbara König, and Jonas Forster.

Notes:

Includes bibliographical references and index.

Online resource; title from PDF title page (Springer Nature Link, viewed April 29, 2026).

ISBN:

9783032227300

3032227305

OCLC:

1586810748

Access Restriction:

Some versions: Open access versions available from some providers open access