Automated Deduction

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
CSL 2025 Computer Science Logic
Feb 10, 2025 - Feb 14, 2025 Amsterdam Jul 23, 2024 (Jul 18, 2024)
SAS 2023 Static Analysis Symposium
Oct 22, 2023 - Oct 27, 2023 Cascais (Lisbon), Portugal Apr 24, 2023
WiL 2021 5th Women in Logic Workshop
Jun 27, 2021 - Jun 27, 2021 Rome - online Apr 20, 2021
SAS 2020 Static Analysis Symposium, SAS 2020
Nov 18, 2020 - Nov 20, 2020 Chicago, Illinois, United States May 24, 2020 (May 22, 2020)
LSFA 2018 13th Workshop on Logical and Semantic Frameworks, with Applications
Sep 26, 2018 - Sep 28, 2018 Fortaleza, Brazil Jun 10, 2018
CSL 2011 20th Annual Conference of the European Association for Computer Science Logic
Sep 12, 2011 - Sep 15, 2011 Bergen, Norway Apr 3, 2011 (Mar 27, 2011)
first | previous | Page 1 | next | last Total of 6 CFPs in 1 pages