DisCoTec 2022 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches.
DisCoTec 2022 will take place at the IMT School for Advanced Studies Lucca, between June 13-17, 2022.
COVID-19: DisCoTec 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not.
Go to the programme page. All times are listed for CEST (Central European Summer Time)
Go to the list of accepted papers
DisCoTec 2022 gathers tutorials and workshops that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches.
Pre-conference workshops and tutorials will take place on Monday, June 13, 2022, and post-conference workshops on Friday, June 17, 2022.
The individual conferences will organise special issues of extended and selected papers in reputable journal such as Logical Methods in Computer Science and of Science of Computer Programming’s Software Track for tool papers.
Architectures in parametric component-based systems: Qualitative and quantitative modelling by Maria Pittou and George Rahonis
A new operational representation of dependencies in Event Structures by G. Michele Pinna
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers by Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani and Franco Zambonelli
A theory of transaction parallelism in blockchains by Massimo Bartoletti, Letterio Galletta and Maurizio Murgia
Verifying liquidity of recursive Bitcoin contracts by Massimo Bartoletti, Stefano Lande, Maurizio Murgia and Roberto Zunino
Specification and Verification of Timing Properties in Interoperable Medical Systems by Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani and John Hatcliff
IMT School for Advanced Studies Lucca San Francesco Complex
Piazza S. Francesco, 19 - 55100 Lucca, LU
The San Francesco Complex is located in San Francesco square inside the ancient city walls. You can reach the campus following these directions.
Lucca is a small town, you can easily reach the San Francesco Complex from any accommodation inside the city walls. You can find a list of Hotels and B&Bs nearby the conference venue here.
Go to the registration page.
For further information please contact the general chair at firstname.lastname@example.org.
Follow us on @DisCoTecConf to keep up to date.