Proc. of the 2nd Int. Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019). Volume 311 of Electronic Proceedings in Theoretical Computer Science. 2019.
We briefly introduce the line of research on the verification of data-aware processes, with the intention of raising more awareness of it within the automated reasoning community. On the one hand, data-aware processes constitute a concrete setting for validating and experimenting with automated reasoning techniques. On the other hand, they trigger new genuine research challenges for researchers in automated reasoning.
@inproceedings{ARCADE-2019, title = "Verification of Data-aware Processes: Challenges and Opportunities for Automated Reasoning", year = "2019", author = "Diego Calvanese and Silvio Ghilardi and Alessandro Gianola and Marco Montali and Andrey Rivkin", booktitle = "Proc. of the 2nd Int. Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019)", pages = "53--58", volume = "311", series = "Electronic Proceedings in Theoretical Computer Science", doi = "10.4204/eptcs.311.9", }pdf url