| 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) |
|
