CAP Workshop in Beijing

The CAP Project Workshop


The CAP project is reaching its conclusion; participants from the different partners are going to meet together in Beijing to discuss the outcomes of the project as well as future collaborations.

The CAP Workshop will be held in Beijing at Peking University on September 2, 2018, just before CONFESTA, the joint event hosting CONCUR, FORMATS, QEST, and SETTA, as well as several workshop and tutorials and the Summer School on Formal Methods.

Yu-Fang Chen, from Academia Sinica, will give an invited talk on advanced automata-based algorithms for program termination checking while Luca Bortolussi, from University of Trieste, will give an invited talk on parametric verification and synthesis by means of the Bayesian machine learning.


Currently expected participants are:



  • 09:00-09:15: Opening
  • 09:15-10:15: Invited talk by Luca Bortolussi: Parametric Verification and Synthesis: the Bayesian Machine Learning Way
  • 10:15-10:45: Coffee break
  • 10:45-12:15: Verification
    • Michaela Klauck: Compiling Probabilistic Model Checking into Probabilistic Planning
    • Jianlin Li: Model Checking Probabilistic Timed Automata
    • Xiyue Zhang: Modeling and Verification of Probabilistic Connectors
  • 12:15-13:45: Lunch break
  • 13:45-14:45: Invited talk by Yu-Fang Chen: Advanced Automata-Based Algorithms for Program Termination Checking
  • 14:45-15:45: Embedded software
    • Sebastian Biewer: Doping Tests for Embedded Software
    • Yi Li: Generating Arduino C Codes from Mediator
  • 15:45-16:15: Coffee break
  • 16:15-17:45: Miscellanea
    • Naijun Zhan: The opacity of Real-time Automata
    • Mingshuai Chen: What’s to come is still unsure: Synthesizing controllers resilient to delayed interaction
    • Bican Xia: Nonlinear Craig Interpolant Generation
  • 17:45-18:00: Closing



Local organizers: