workshop – CAVlinks

PAVeTrust 2022: 2nd Workshop on Program Analysis and Verification on Trusted Platforms

Posted onSeptember 18, 2022September 18, 2022AuthorMuhammad Usama Sardar

An interesting workshop exploring the interplay of Formal Methods and Trusted Platforms Read More …

Advances in Verification – Call for Workshop Participation

Posted onDecember 8, 2020December 10, 2020AuthorNorine Coenen

Advances in Verification is a post conference workshop of FSTTCS 2020 and takes place online on December 18, 2020. Please find the Call for Participation and relevant links below. Note that even without registration you can attend the talks online via the live stream. Enjoy this workshop!

FRIDA 2020 – The 7th Workshop on Formal Reasoning in Distributed Algorithms

Posted onAugust 11, 2020August 11, 2020AuthorHadar Frenkel

The workshop is organized as part of QONFEST 2020, also hosting CONCUR 2020.

Registration is required at https://qonfest2020.github.io/registration.html. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.

WiL – 4th Women in Logic Workshop @ FSCD-IJCAR 2020

Posted onMay 5, 2020May 5, 2020AuthorClaudia Cauli

Women in Logic 2020 is part of “Paris Nord Summer of LoVe 2020”(https://lipn.univ-paris13.fr/summer-of-love-2020/), a joint event onLOgic and VErification, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. This year, it will be held virtually, on June 30th (https://sites.google.com/g.uporto.pt/wil2020). IMPORTANT DATESAbstract submission deadline: May 10, 2020Notification: June 2, 2020 SUBMISSIONSAbstracts Read More …

Mental Health Webinar

Posted onApril 30, 2020April 30, 2020AuthorNorine Coenen

The Mental Health Working Group of the Leibniz PhD Network hosted a ‘webinar about mental health strategies during the COVID-19 pandemic’ also linking to ‘more resources for doctoral researchers’. Check out the recording of the webinar and the list of further resources here.