PLACES 2020: 12th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Страна: Ирландия
Город: Dublin
Тезисы до: 24.01.2020
Даты: 26.04.20 — 26.04.20
Область наук: Технические;
Е-мейл Оргкомитета: 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/
Конференции по теме - с близкими дедлайнами:
II Международная научно-практическая конференция "Механика и машиностроение: наука и практика"Прием тезисов до 13.12.19, Санкт-Петербург
Европейское научное обозрение. Выпуск №11-12/2019Прием тезисов до 30.12.19, Вена