PLACES 2020: 12th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Е-мейл Оргкомитета: luca.padovani@unito.it.

Организаторы: PLACES Committee

List of Topics

Relevant topics include, but are not limited to:

• Design and implementation of programming languages with first class concurrency and communication
• Models, such as process algebra and automata
• Behavioural types, including session types
• Concurrent data types, objects, and actors
• Verification and program analysis methods for concurrent and distributed software
• Memory models for concurrent programming on relaxed-memory architectures
• Interface and contract languages for communication and distribution
• Applications in web services, sensor networks, scientific computing, HPC, and blockchains
• Concurrency and communication in event processing and business process management

Веб-сайт конференции: http://places20.by.di.fc.ul.pt/