Formal Methods for Autonomous Systems (FMAS)

FMAS brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems. The workshop enables researchers to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities. FMAS 2022 will be held at SEFM, so we will have in-person Read More …

Advances in Verification – Call for Workshop Participation

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!

Read More …

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

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 …

Heidelberg Laureate Forum – A Unique Experience

“Laureates of mathematics and computer science meet the next generation.” With this motto, the Heidelberg Laureate Forum offers the perfect setting to get to know world-renown experts from the fields of mathematics and computer science (winners of, e.g., the Turing Award). Additionally, you will meet 200 bright young researchers with diverse backgrounds who aspire to be the future leaders in these areas.

Read More …