PAVeTrust 2022: 2nd Workshop on Program Analysis and Verification on Trusted Platforms
An interesting workshop exploring the interplay of Formal Methods and Trusted Platforms Read More …
Category: Events
14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2023)
One of the main topics of ICCPS is safety assurance and verification. Check out the CFP. Read More …
Enjoy FLoC 2022 in Haifa!
Check out the two mentoring workshops at FLoC’22 and talk to the sponsors at their booths on site! Read More …
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!
Marktoberdorf Summer Schools
Unfortunately, this year’s international summer school in Marktoberdorf had to be cancelled… But you still can find many interesting resources like slides and tutorials from the previous years on the summer school’s website! Read More …
FRIDA 2020 – The 7th Workshop on Formal Reasoning in Distributed Algorithms
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.
Did you miss the Verification Mentoring Workshop 2020?
No problem, you can still watch all the talks on YouTube! The links to the videos are included in the workshop program. Enjoy the workshop at your own pace and also check out the rest of the program at CAV 2020.
Verification Mentoring Workshop (VMW) 2020
VMW is affiliated with CAV 2020. This year the workshop is virtual and registration is free! This is a great place to connect to students and mentors. Check this out in the VMW webpage!
Call for Participation – CAV 2020
32nd International Conference on Computer-Aided Verification
Website: http://i-cav.org/2020/
Registration for virtual participation is free and is open until July 10th!
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 …
Looking Forward to VMW’20
This year’s Verification Mentoring Workshop is going to have an amazing program – judging by the speakers that are already confirmed! Convince yourself on the VMW website where you will also find the latest updates (also check the CAV’20 homepage for updates).
Call for Papers – SAS 2020
The 27th Static Analysis Symposium.
Website: https://conf.researchr.org/home/sas-2020#Call-for-Papers
Call for Papers – ICGT 2020
13th International Conference on Graph Transformation
Website: https://av5.ljnet.it/icgt2020/
Call for Papers – LPAR 2020
23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Call for Papers – SAT 2020
The 23rd International Conference on Theory and Applications of Satisfiability Testing
Call for Papers – FMCAD 2020
International Conference on Formal Methods in Computer-Aided Design
Call for Papers – CAV 2020
32nd International Conference on Computer-Aided Verification
Website: http://i-cav.org/2020/
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.
Call for Participation – HVS 2019
Haifa Verification Seminar
Website: https://www.research.ibm.com/haifa/Workshops/HVS2019/index.shtml