CONCUR Test-Of-Time Award 2022 (Invited Paper)

Castellani, Ilaria; Gastin, Paul; Kupferman, Orna; Randour, Mickael; Sangiorgi, Davide

doi:10.4230/LIPIcs.CONCUR.2022.1

Document

CONCUR Test-Of-Time Award 2022 (Invited Paper)

Authors Ilaria Castellani , Paul Gastin , Orna Kupferman , Mickael Randour, Davide Sangiorgi

Part of: Volume: 33rd International Conference on Concurrency Theory (CONCUR 2022)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Concurrency Theory (CONCUR)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2022-09-06

PDF

File

LIPIcs.CONCUR.2022.1.pdf

Filesize: 422 kB
3 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CONCUR.2022.1
URN: urn:nbn:de:0030-drops-170644

Author Details

Ilaria Castellani

INRIA Sophia Antipolis Méditerranée, France

Paul Gastin

Université Paris-Saclay, ENS Paris-Saclay, CNRS, France

Orna Kupferman

School of Computer Science and Engineering, Hebrew University of Jerusalem, Israel

Mickael Randour

F.R.S.-FNRS & UMONS - Université de Mons, Belgium

Davide Sangiorgi

Department of Computer Science, University of Bologna, Italy

Acknowledgements

We thank Javier Esparza (chair of the CONCUR Steering Committee), Pedro d'Argenio and Ana Sokolova (chair and secretary of the IFIP Working Group 1.8 on Concurrency Theory), and Bartek Klin, Sławomir Lasota and Anca Muscholl (chairs of the CONCUR 2022 Programme Committee) for their assistance throughout our work as a jury for this year’s award.

Cite As Get BibTex

Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, and Davide Sangiorgi. CONCUR Test-Of-Time Award 2022 (Invited Paper). In 33rd International Conference on Concurrency Theory (CONCUR 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 243, pp. 1:1-1:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) https://doi.org/10.4230/LIPIcs.CONCUR.2022.1

Abstract

This short article recaps the purpose of the CONCUR Test-of-Time Award and presents the four papers that received the Award in 2022.

Subject Classification

ACM Subject Classification

Theory of computation → Concurrency

Keywords

CONCUR Test-of-Time Award

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail