Dear fellows,
the next discussion meeting will be on 24 March 2022, 14.00 CEST.
Regards,
Alexander
Next Meeting: 29 September 2021
Dear fellows,
the next discussion meeting will be on 29 September 2021, 14.00 CEST.
Regards,
Alexander
Online Event
Dear fellows,
We start with the preparation of an online event in which the submitted solution are presented and can be discussed.
The online event is not an replacement of the onsite meeting. The onsite event will take place if/when the ETAPS and the VerifyThis workshop take place.
Regards,
Alexander
ETAPS & COVID-19
Dear fellows,
the notification for the presentation are on the way to you. In the meantime, the ETAPS is postponed due to the COVID-19 spread.
Our information are currently limited to the official information on the ETAPS front-page: https://www.etaps.org/. But we stick to the plan of having an on-site event with the VerifyThis workshop.
Please stayed tuned in. When more information is available, we let you know on this web page and via the mailing-list verifythis-ltc@lists.
[Read More]