coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] VerifyThis 2022 --- Call for Participation

From: "Lammich, Peter (UT-EEMCS)" <p.lammich AT utwente.nl>
To: "plammich AT gmail.com" <plammich AT gmail.com>
Subject: [Coq-Club] VerifyThis 2022 --- Call for Participation
Date: Fri, 18 Feb 2022 11:43:03 +0000
Accept-language: en-GB, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=p.lammich AT utwente.nl; spf=Pass smtp.mailfrom=p.lammich AT utwente.nl; spf=Pass smtp.helo=postmaster AT out27-ams.mf.surf.net
Ironport-data: A9a23:1jT8E6LvbY5+9bSOFE+R4pMlxSXFcZb7ZxGr2PjKsXjdYENS0mQHn zQWX2DUPvzZMWb9f4wgYdvj808G68fdnNAyGVQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefRLlbFILas1hpZHGeIcw98z0Iz8wIFqtQw24LhWVrd4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhvvFM+ tdOrLyKUQ4XDqzjyLkfWTZeOnQrVUFG0OevzXmXttGPlRKDen73hfBgSlorJ4Ne/OtraY1M3 aVEdXZVKEnF3b3eLLGTEoGAguw7as3iOYYesXFI0C3GAPA6TNbFR80m4PcGh2tp3pEUdRrYT 8A6aj5iSFP8WAdSZAZHFKI6hruqpGaqJlW0r3rO+fVovjWKpOBr65DmN8OQcdiXT+1Oj0OAr yTH+X74C1cULrSiJSGt9W+w3LCKlCbgHoccUqal7PAshlCProAONPEIfXqanMu7iVeeYcpWF XwV1Xpzr6Id8mX+G7ERQCaEiHKDuxcdXf9ZHOs79ByBx8LoD+CxWzJsotlpNYROiSMmedA5/ gLTxIOzWVSDpJXJGSPMqt94uBvrYXB9EIMUWcMTZS0hi+QPTak0kw6VEZNqFbXzi9OzAizqz XaMoTRWa1QvYSwjivTTEbPv2mzESn31ougdul2/soWNtV4RWWJdT9b0gWU3FN4ZRGpjcnGPv WIfh++V5/0UAJeGmUSlGbtRQejzvajdaG2D2DaD+qXNERzwqhZPmqgNsVlDyLtBY5dslcLBM BOJ6F4PtPe/wlP6NP8sC25ONyja5fO8Sou4C6m8gitmeYVrekeNuj8oDXN8LEiz+HXAZZoXY M/BGe71VC5yIf0+nFKeGrlBuZd2mHFW7T6DFPjTkkX8uZLDNS79YeleajOmMLtmhJ5oVS2Or r6zwePRl04AOAA/CwGLmbMuwacidyZjXsmu85QNHgNBSyI/cFwc5zbq6etJU+RYc259z48kJ 1mxBR1VzkTRn3rCJVnYY3xvcuq3D4tjsn89ISFqO1LxgyovZoOm7aE+cZorfOR9pbw7ka4sF /RVKd+dBvlvSyjc/2hPZ5fKs4E/Jg+gghiDPnT5bWFnLYJgXQHA5vTtYhDrqHsVFiOyuMZn+ ++g2wrXTIAtXQNnCMqKOvujw0no5SoAhP1/WVfFZN9XIR2+/I9vIi33r/k2P8BRc0STnmfKj 16bWE5Kq/PMrok59MjyqZqF94r5QfFjGkd6HnXA6erkPyft4Wf+k5RLV/yFfG6BWTqsqrmif +hc09r1LOYDwARRq4N5HrtmkfA+6t/oq+MIxwhoBi+SPVO2Fuk/Z3CDxo9KuOtW26VX/w27R hvXqNVdPLyIPuLjEUIQe1V7MLrfjalMl2mA9+kxLWX7+DRzouiNX3JSCB+B1X5GJ7xvPYJ5n Oos5JwM5wqkhkZ4O9qKlHoNpWORMiZfFqwirdcfDsnwlxAljFdPfcWEWCPx5ZiObfRKM1Urf WDK2vSe3+wEyxqQaWc3GFjMwfFZ28YEtidK+1kPegaSkd3fi/5rgRBc/FzblOiOIsmrBw6yB oRqC6GxDaKT4203wcFGRCapFUdaGQeXvEr81zPlUUXHGlKwWDWlwHIVYI6wEIIxqgqwvQS3O JmF1HnoVyrnOsf1tsf3cVAwsOTtFLSd6SWb8P1K3K25810SfCb6j6myaCwOr3MLxC/3aFLv/ YFXwQq7VUE32eP8bUH250l2GIn8kCy5GVE=
Ironport-hdrordr: A9a23:RZM0dayjUS/Coo1w1YX6KrPwl71zdoMgy1knxilNoERuA6ulf1 jHpoVn6faGskd2ZJhGo6H9BEDgewKnyXcR2+Ms1NiZLWzbUQeTQr2KjrGSvAEIeReOktK1vJ 0IG8MSZLLN5DNB7foSlTPIcerIt+P3k5xA692+815dCSpje617qz5jDA3zKDwJeCB2QbAwE7 qAouRKoVObCAQqR/X+LHEDf/X7nPuOro/8bRYDbiRXmzWmvHeD4Ln7Dlyjwx8CSXdu7N4ZgB r4ekfCl9yeWrmAu2fhPwO/1eUipPLRjuFbDMjJsMISMTmEsHfYWG1OYcz4gAwI
Ironport-phdr: A9a23:NGgrTxAyjZteq1G+v/iqUyQUIkoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua83yg+RFt+Eo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6s95HJYAhEmDWxba1wI R6rsQjfq84ajJd4JK0s0BXJuHxIe+pXxWNsO12emgv369mz8pB+7Sleouot+MFcX6r0eaQ4V qFYAy89M28p/s3rtALMQhWJ63ABT2gZiBtIAwzC7BHnQpf8tzbxu+Rh1CWGO8D9ULY5Uimg4 ah2Uh/lkCcJOSAk/mHLhMJ+j6Nbrw6uqRNw2IPUfJqaOeBicq/BYd8XR2xMVdtRWSxbBYO8a pMCA+QHM+lCqon9oloOoge+BQW0Gejh0CFHhmPo0q0gzu8tFQ/J0hI5E9wBv3raq8v4OroXX ey70aLFyi3DY+lS2Tjn7YjIdxEhru2MXb9rbMrR1UcuGB3DjlWMt4PpJTWV1uAUvmWd8uFvW v6hhXQ9pAFtvjig2N0sio/Ri4wazl3J8SV3zoY7K9GmRkB2fMOpHYdeuiyeK4Z6XscvTm50t Cg1xbMLt5C2cScKxpk52xLSafKJfpWW7h7+UOucJypzinxieLK6nRmy8E6gx/XiWcmo0FZLr zBJncXMtn0Lyhfd6dCHR+Ng8kqu2TuDzRzf5vtZLUwui6bWKYYtzqM+m5YPq0jOHSv7lF/yg aOMd0go5PCk5/r7brn6u5ORMo55hwPiPakrhMCyAeU1PwcLUmeB5Oix17/u8Ej8TblUi/A7k 6rUvZbHLsoBvKG5GRVa0oM75ha/ETim1NMYkGEALFJYZBKLkYrkN0jUL/D9FvezmVGskDlxy /DdI73hGJvNImLFkLj/YbZx809cyAwtwtBD/59YF74MLfLpVkPtrtDUEwU1PxK2zur/DdVyz IIeWWaBAq+DN6PStEeF5vo1L+mIfoAVvTP9K/k56P7ulnI5hEMdfKe30psRdHC3AO5qI0OdY Xb0hNcOCn8FvhAiQ+zylF2CTTlTam6vU64k/DE0FJqmDZvfRoCqmLGOwCC7HoRPam9aDlCMD Gznep6fW/YMbSKSOtVuniYFVbinUY8h1AuhuBX0y7p9faLo/XhSrZbq0d107O37mhQ79DgyB MOYmSnZV2V9m2YJTD8e06V2oEg7wVCGh/tWmftdQJZ37vZMUww6cdbkwvB3EZiyZz6EU/qsY 23nCJ3yGXc1R9c0wtQOS1thBNikkh2F2S78UOxdrKCCGJFhqvGU5HP2Pcsokx4utYEkhlgiG Y5UMHG+w7V4707VDpLIlEOQk+Crc74d1WjD7jTL1nKA6WdfVgM4SqDZRTYHfEKDtZL970bHT rSuIak7LQZH1cPELK8ZIsbxgwB+Tez4cM/bf3r3nm6xARiSwbbZdMzucmAY3S7dIFUYjA0V4 XvAMwxtTjy5rTfmBSd1XUnqf1uq8eR6ryajSVQoygiRc0B7/72o5kRKwPWZULUW0PQfpT0v7 TN5AD5RxvrwDNyN70pkdaRYOpYm5UtfkHner0p7N4ChKKZrghgfdR52tgXgzUc/DIIIisUso H4wqWg6YauFzFNMcS+Z1pHsK/XWLGf15hWmd6/R3BnXzt+X/q4F7PlwpU/kuUmlEU8r8nMv1 NcwsTPU/tPOBQ8XUJnxelsr6BV8u7ycZC18r4LY2HtwMLWl5yfY0oFhD+8kxxC8OtZHZfrYS UmqVZRcXZf9TY5i00KkZR8FIu1Ioas9Psf9MuCDxLbuJ+F42jSvkWVA5ol5lEOK7St1DODSj PNni7mV2BWKUzDkgRKvqMfyzMpcIzUbG2++wijMGZJOa6tucMANDS39Rq//jsU7nJPrV3NCo RS7QVcP3cqochq6ckDi0AtM2AIRpTb0/EnwhywxmDYvoK2F2SXIyOm3bxsLNFlAQ2x6hEvtK 4y55zwDdHChdBNh1B6s5EKhgrNeuLw6NG7LB0FBYynxKWhmFKq2rLuLJcBVutsktiBeUeL0Z l7/KPa1u10e2ibmHmBe7C0naDysppi/mRgyhG+GLXl1pWbUYokpmUqZvJqFA6QOljMdDDF1k zzWGkSxM7zLtZ2PmpHPv/r/H2OtW5tPcDX6mIaJtS+1/2pvUlW0m/G+nMGiEBBviHOmkYEsD GOS80WZAMGjzamxPON5c1M9AVb975E/AYRiis4rg4lW33EGh5KT9H5BkGHpMNwd17itCRhFD TMN3dPR5xDonUN5KXfcjZq/UnyYx8pqZ/Gnfnwb3D4wqcZOQvTxjvQMjW5ur1y0oBiEK+A7m j4YzPol6FYHn/4EvhYgiCOZSON3fwEQLWnnkBKG6Mq7paNcaTO0cLS+40F5mMioELCIpgwPE Ga8YJopGjV8q9luKF+ZmmOm8ZnqIZODCLBb/g3RiRrLiPJZbY48huZfzzQyInrz5DUk07Jp1 EAzm8n85c7fbD8xtKOhXkwBZ2CzPp1CvGi2y/4ZxJrzvcjnH409SGxaBt24ErTxSGxU7Kq/c FzRWDwk9CXBQeKGT1HGsBU//S6XGpr5ZTbJeBx7hZ1jXEfPfhQH2VJKBW1ox85pRFn1n56zN xklrngQ/gCq8EMUk7A2bkGtCzeP9lr0MmVmD8bDZFIe+AhG4w293dW21utoBGkY+5SgqFfIM WmHf0FTCnlPXEWYBlflN73o5N/a8uHeCPDsZ/fJZLyPr6RZWZLqjdq31ZB6+j+XKsiVFn5/E 6dkn0NGRjZ8FYLChi8BDSoai2rBYtWaqxG15iBs5pnjrbKzHlupv9THAqA3U50n4x2shKafK +OczD10LzpVzNJExHPFzqQewE9HiyxqcGrlGrABuCjRCaPIz/YLUlhDLXo1bpQbisB0lhNAM sPalN7vg7txj/puTkxASUSkgcaxI8oDP2C6MlrDQkeNLrWPYzPRkKSVKeuxT6NdiOJMuli+o zGeRgX7eDCKkjzoXBCHLP1TgSeHMVpYvMvuF3QlQXimV9/gZhChZZVviiYqxLQvmn7QHWkBL WIjNkpItfuV42VDn+9xXWpM8jA2SIvM0zbc5O7eJJEMtPJtCSkhjONW7kMxzL5N5T1FTvh4y 2PC68RjqFa8nqyT2yJqBVBQ/y1TitvB7iAAce3Js4NNUnHe8FcR4HWMXl4U8sB9BISnurgMm IGTyeSrbm4Eq5WOoYMdH5SGcZPadiN/YFywQ3iMS1FZKFzjfWDH2x4EwavUpiLT98Bk7MGyw N1UFfdaTAJnTKtCUxY7RYRQeccnDGp7yuzJy5BUgBj25BjJGpcA5sieBKzLWae2eGbL0OUcN UlPn++wZcwSLtOpgRQ6MwskxdyYQhiMBdlH8H8mMFN86A0I+Xx6BAXbPmr4dhyg5mMeU/iwz EZeYuRWfPgy+THw7hExIgiTzMPRuE4shY+6xDmUa3j0IuGrQJtYTSz5qxpoWq4=
Ironport-sdr: CY0KC6+kbEObv1dPmCEuYPIVHO8wjqsUS7w0d6YVXMBkkCqeCGGKHGAjQ0wPvuqob85Se1jtsg ZQgrd9O0HeNZ/GWCzZDTxSR25uEbV8I7OtzfvbcigQ6SadNHC0E8EX9fgQv8vv+GWuTm6I5QG/ yAvMGgEybqxfvPpY8GCiI++jUlP9PBSbhJPw7OaSr1PNZJvHkYhHsgroLaTyaxhtwwZER51fON PmFChQUnJI8iPcG24BclYNCoEGlJCv9kxmVQqRX6Q54nlgSF0n/E2bu5X7NoP/4C92wTo9q34H ZKIIbUg/WP/yVfMs6eI1OZnE

apologies for multiple postings.

***********************************************************************
*********
VerifyThis Verification Competition 2022

CALL FOR PARTICIPATION -- TRAVEL GRANTS

Competition to be held at ETAPS 2022

http://verifythis.ethz.ch

***********************************************************************
*********

IMPORTANT DATES
Grant application deadline: March 7, 2022
Competition: April 2 and 3, 2022

ABOUT
VerifyThis 2022 is a program verification competition taking place as
part of the European Joint Conferences on Theory and Practice of
Software (ETAPS 2022) on April 2-3, 2022 in Munich, Germany.
It is the 10th event in the VerifyThis competition series.

The competition will offer a number of challenges presented in natural
language and pseudo code.
Participants have to formalize the requirements, implement a solution,
and formally verify the implementation for adherence to the
specification.

There are no restrictions on the programming language and verification
technology used.
The correctness properties posed in problems will have the input-
output
behaviour of programs in focus. Solutions will be judged for
correctness, completeness, and elegance.

PARTICIPATION
Participation is open for anybody interested.
Teams of up to two people are allowed.
Registration for ETAPS workshops and physical presence on site is
required.

We particularly encourage participation of:
- student teams (this includes PhD students)
- non-developer teams using a tool someone else developed
- several teams using the same tool

TRAVEL GRANTS
The competition has funds for a limited number of travel grants.
A grant covers the incurred travel and accommodation costs up to a
certain limit. The expected limit is EUR 350 for those coming from
Europe and EUR 600 for those coming from outside Europe.

To apply for a travel grant, send an email to
verifythis AT googlegroups.com by March 7, 2022. The application should
include:
- your name
- your affiliation
- the verification system(s) you plan to use at the competition
- the planned composition of your team (and whether you are
developers of the tools you'll be using)
- a short letter of motivation explaining your involvement with
formal verification so far
- if you are a student, please state the academic degree you are
seeking and have your supervisor send a brief letter of support to
verifythis AT googlegroups.com

ORGANIZERS
* Marie Farrell, Maynooth University, Ireland
* Peter Lammich, University of Twente, The Netherlands

CONTACT
Email: verifythis AT googlegroups.com
Web: http://verifythis.ethz.ch

[Coq-Club] VerifyThis 2022 --- Call for Participation, Lammich, Peter (UT-EEMCS), 02/18/2022