[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
************************************************************
