[TYPES/announce] Selected Papers from the 9th Working Formal Methods Symposium: Special Issue of the Journal of Logical and Algebraic Methods in Programming

[Radu Iosif]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260111/5850c9df/attachment-0001.htm>