[Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - TUTORIAL AND WORKSHOP PROPOSALS EXTENDED DEADLINE

Call for Tutorial and Workshop Proposals 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions EXTENDED : 11 April, 2024 Conference web site: www.kr.org/KR2024 -- Call for Tutorial

[Hol-info] CICM 2024 - Extended deadline - Call for Papers

Call for Papers - formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5–9, 2024 Montréal, Canada

[Hol-info] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!

For the first time ever, the FM symposium hosts a tutorial papers track: https://www.fm24.polimi.it/?page_id=310. We invite you to submit your tutorial contributions here! Important Dates (Tutorial Papers Only) Tutorial Paper Submission April 19th, 2024 (Fri) 23:59 AoE Preliminary

[Hol-info] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18)

Dear all, As part of a US funded project, we have an exciting opportunity for a PostDoc in the Security and Trust of Advanced Systems Group at the University of Exeter (UK) to work applying formal methods to enterprise systems: We will use formal methods (e.g., model checking, SMT solving,