[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!SNURV1lxUVPCo-Wt8eysrKrQkdT6o7ZJUlesoXoaPEQOm2ViPYrl-NNO09AeOGjveUknxcz8RKu7oGIqpAlpLDQT-Wxd0FaivSYVSx44hbdt7Rs$ ) bringing together research in formal methods that focus on current challenges in software verification, programming language semantics, and automated reasoning. 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!SNURV1lxUVPCo-Wt8eysrKrQkdT6o7ZJUlesoXoaPEQOm2ViPYrl-NNO09AeOGjveUknxcz8RKu7oGIqpAlpLDQT-Wxd0FaivSYVSx44mX3KhDw$ > - 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!SNURV1lxUVPCo-Wt8eysrKrQkdT6o7ZJUlesoXoaPEQOm2ViPYrl-NNO09AeOGjveUknxcz8RKu7oGIqpAlpLDQT-Wxd0FaivSYVSx44a5rxAo4$ > - Alexandru Ioan Cuza University of Iași
Radu Iosif <https://urldefense.com/v3/__https://nts.imag.fr/index.php/Radu_Iosif__;!!IBzWLUs!SNURV1lxUVPCo-Wt8eysrKrQkdT6o7ZJUlesoXoaPEQOm2ViPYrl-NNO09AeOGjveUknxcz8RKu7oGIqpAlpLDQT-Wxd0FaivSYVSx44W3hb_NI$ > - Verimag, CNRS, University of Grenoble Alpes

Important dates: 

* Submission deadline: January 15th, 2026 (the submission page will be announced shortly)
* Author notification: April 15th 2026
* Revised manuscripts due: May 15th 2026
* Publication: June 2026

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