[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We propose a special issue of the Journal of Logical and Algebraic Methods in
Programming
(https://urldefense.com/v3/__https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming__;!!IBzWLUs!U9DCxPEUpaJa1xhT8M9yMIXSXMzwQ2rocu2w4QtFzzCen6phHXFpg_RlanKFOnImrHlYB05ViVhyjAZl63iI0s1KfVwqa-QqOPbXmWweQmXVh4E$
) bringing together research in formal methods that focus on current
challenges in software verification, programming language semantics, and
automated reasoning.
Manuscripts will be submitted via the Elsevier Editorial Manager system:
https://urldefense.com/v3/__https://www.editorialmanager.com/jlamp/default2.aspx__;!!IBzWLUs!U9DCxPEUpaJa1xhT8M9yMIXSXMzwQ2rocu2w4QtFzzCen6phHXFpg_RlanKFOnImrHlYB05ViVhyjAZl63iI0s1KfVwqa-QqOPbXmWweuqKN00E$
The proposed special issue addresses a gap in current formal methods research:
the integration of traditional verification methods with new domains such as
LLMs, blockchain, and AI-driven analysis. We invite technical papers on various
topics, such as:
* Blockchain and smart contract verification
* Formal analysis for cybersecurity and binary forensics
* Type systems and semantic frameworks for program verification
* Satisfiability solving and proof automation for safety-critical systems
In particular, this special issue aims to collect extended versions of papers
presented at the 9th Working Formal Methods Symposium (FROM 2025), held
September 17-19, 2025, at the Alexandru Ioan Cuza University in Iasi, Romania.
Guest editors:
Andrei Arusoaie
<https://urldefense.com/v3/__https://profs.info.uaic.ro/andrei.arusoaie/__;!!IBzWLUs!U9DCxPEUpaJa1xhT8M9yMIXSXMzwQ2rocu2w4QtFzzCen6phHXFpg_RlanKFOnImrHlYB05ViVhyjAZl63iI0s1KfVwqa-QqOPbXmWwer4lqyBI$
> - Alexandru Ioan Cuza University of Iași
Ștefan Ciobâcă
<https://urldefense.com/v3/__https://fromsymposium.github.io/profs.info.uaic.ro/stefan.ciobaca/__;!!IBzWLUs!U9DCxPEUpaJa1xhT8M9yMIXSXMzwQ2rocu2w4QtFzzCen6phHXFpg_RlanKFOnImrHlYB05ViVhyjAZl63iI0s1KfVwqa-QqOPbXmWweUXq5fow$
> - Alexandru Ioan Cuza University of Iași
Radu Iosif
<https://urldefense.com/v3/__https://nts.imag.fr/index.php/Radu_Iosif__;!!IBzWLUs!U9DCxPEUpaJa1xhT8M9yMIXSXMzwQ2rocu2w4QtFzzCen6phHXFpg_RlanKFOnImrHlYB05ViVhyjAZl63iI0s1KfVwqa-QqOPbXmWwezu9JhW0$
> - Verimag, CNRS, University of Grenoble Alpes
Important dates:
* Submission deadline: February 15th, 2026 (extended)
* Author notification: May 15th 2026
* Revised manuscripts due: June 15th 2026
* Publication: July 2026
