[ 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!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
