JLAMP: new initiative launched
The Journal of Logical and Algebraic Methods in Programming (JLAMP) is pleased to announce the start of the 'Thematic Special Issue' initiative. Scholars interested in becoming the guest editor of a thematic special issues can contact Emilio Tuosto ([email protected])
The Journal of Logical and Algebraic Methods in Programming (JLAMP) is pleased to announce the start of the 'Thematic Special Issue' initiative. Scholars interested in becoming the guest editor of a thematic special issues can contact Emilio Tuosto ([email protected])
Thematic special issues envisage a continuous submission policy with two deadlines per year in order to support the rapid dissemination of results of specific communities. The ongoing thematic issues are:
- Logic and Type Theoretic Foundations of Concurrent and Distributed Systems (guest editor: Ugo de' Liguoro)
- Foundations for Effective and Correct Runtime Monitoring (guest editor: Adrian Francalanza)
- Behavioural Types For Programming Languages (guest editor: Antonio Ravara)
Visit
https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/about/thematic-special-issues
for further details.