[TYPES/announce] JLAMP: new initiative launched

[emilio.tuosto at gssi.it]

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 me.

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://urldefense.com/v3/__https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming/about/thematic-special-issues__;!!IBzWLUs!U2k1Ec_zKttSbYPbePHzZ3MCC3VBrCLHzdnxkziArL0-7ZaRanBlf7Ays0JuMfB9o6rdCLC6dDvQYj7yMKAorIW6cHeZb5WX7RWTOw$ 

for further details.

Best Regards
Emilio Tuosto
Special Issue Editor of JLAMP



************************************************************

    Emilio Tuosto

        Gran Sasso Science Institute
        Department of Computer Science
        ORCID: 0000-0002-7032-3281

        Viale F. Crispi, 7 - 67100 L'Aquila (Italy)
        Office: Palazzo Mariani P1-N
        Phone: +39 0862 428 0312

        homepage -> https://urldefense.com/v3/__https://cs.gssi.it/emilio.tuosto/__;!!IBzWLUs!U2k1Ec_zKttSbYPbePHzZ3MCC3VBrCLHzdnxkziArL0-7ZaRanBlf7Ays0JuMfB9o6rdCLC6dDvQYj7yMKAorIW6cHeZb5XyWyP_rQ$ 

************************************************************