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

Країна: Ірладнія

Місто: Dublin

Тези до: 24.01.2020

Дати: 26.04.20 — 26.04.20

Область наук: Технічні;

Е-мейл Оргкомітету:

Організатори: 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

Веб-сторінка конференції:

Конференції по темі - із близькими дедлайнами: