YR-CONCUR 2018


8th Young Researchers Workshop on Concurrency Theory

A satellite workshop of CONCUR 2018



September 3rd, 2018



Beijing, China







Aims and Objectives

This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute.


Format

YR-CONCUR 2018 is a satellite workshop of CONCUR 2018 and will be held on TBD, 2018. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are selected on the basis of an abstract of up to 4 pages (incl. references) describing the research. No particular format is required. Submissions are judged on the expected interest in and quality of the talk. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR 2018 or any of its other satellite workshops).


Invited Speakers

Ahmed Bouajjani, IRIF Laboratory, Paris Diderot University (Univ. Paris 7)

Xinyu Feng, Nanjing University

Yu Guo, SECBIT Labs


Programme

09:30 - 10:30 Ahmed Bouajjani. Verifying Robustness of Concurrent Systems (invited talk)

10:30 - 11:00 Doriana Medic. Relative expressiveness of reversible concurrency

11:00 - 11:30 Coffee break

11:30 - 12:00 Yu Guo. Opportunities and Challenges of Applying Formal Methods on Smart Contracts (invited talk)

12:00 - 12:30 Hongfei Fu, Yi Li and Jianlin Li. Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties

12:30 - 13:00 Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang and Kai Huang. Resource-aware Design for Reliable Autonomous Applications with Multiple Periods

13:00 - 14:30 Lunch break

14:30 - 15:30 Xinyu Feng. On progress properties of concurrent objects (invited talk)

15:30 - 16:00 Chong Gao, Taolue Chen and Zhilin Wu. Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints


Important Dates

  • Deadline for 4-page abstracts: June 8th, 2018
  • Notification of acceptance: July 6th, 2018
  • Early registration CONCUR: TBD
  • Workshop: September 3rd, 2018

Submission

4-page abstracts should be submitted via the YR-CONCUR 2018 submission page on the EasyChair system.

Organizers

  • Constantin Enea (IRIF, Universit√© Paris Diderot (Paris 7), France)
  • Fu Song (ShanghaiTech University, China)

Program Committee

Michael Emmi, SRI International
Constantin Enea, IRIF Laboratory, Paris Diderot University (Univ. Paris 7)
Adrian Francalanza, University of Malta
Matthew Hague, Royal Holloway University of London
Hongjin Liang, Nanjing University
Gustavo Petri, IRIF Laboratory, Paris Diderot University (Univ. Paris 7)
Fu Song, ShanghaiTech University
Nikos Tzevelekos, Queen Mary University of London


Previous Editions