[TYPES/announce] Call for Participation: VerifyThis Long-Term Collaborative Challenge

[Gidon Ernst]

------------------------------------------------
   VerifyThis Collaborative Long-Term Challenge
             Call for Participation

   Next Event: November 14 at iFM 2023, Leiden
      The Netherlands (details see below)

          https://urldefense.com/v3/__https://verifythis.github.io/__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88itEZmLoo$ 
https://urldefense.com/v3/__https://liacs.leidenuniv.nl/*bonsanguemm/ifm23/__;fg!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88iRNguapQ$ 
------------------------------------------------

The VerifyThis Collaborative Long-Term Challenge aims to to demonstrate 
practical value of formal methods, to evaluate the current tools on 
specifying and verifying requirements of realistic software systems, and 
to bring together the community for an exchange on the state-of-the-art 
and future directions.

An emphasis is placed on encouraging collaboration between participating 
research groups,not just at a conceptual level but also towards 
integrating verification tools and approaches, e.g., sharing technical 
artifacts such as specifications and proofs.

Challenge Description: https://urldefense.com/v3/__https://verifythis.github.io/03memcached/__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88ip3pBiTA$ 
Slides: https://urldefense.com/v3/__https://verifythis.github.io/03memcached/slides_etaps23.pdf__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88icEyOJAs$ 
Reference System: https://urldefense.com/v3/__http://memcached.org__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88iYkqYVrc$ 

The ongoing challenge is dedicated to Memcached, a key-value cache 
server. Memcached is the backbone for fast response times in distributed 
web-application. The goal is not only to provide an investigation on the 
server alone, but also take the client-side and the protocol into 
consideration. The challenge covers a wide range of requirements and is 
therefore suited for different approaches and verification tools, such 
as model-checking, static analysis, and deductive techniques. We welcome 
all kinds of contributions from high-level specifications down to models 
down code-level analysis.

Please announce your participation on the Mailing List: 
verifythis-ltc at lists.kit.edu We encourage you to actively reach out for 
collaboration!

**Next Event: **
We are pleased to announce that a  full session at iFM 2023 will be 
dedicated to a public discussion of the challenge. In this session, we 
will give a short overview of the Long-Term Challenge, complemented by 
lightning talks to stimulate an interactive discussion to foster further 
activities. Therefore, we invite all interested researchers to join the 
session - no additional registration is necessary.

If you have any questions, feel free to contact the organizers.

Gidon Ernst
Alexander Weigl