All conferences / Cities / Portugal / Cascais
Cascais 🇵🇹
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2023 | FTSCS ACM International Workshop on Formal Techniques for Safety-Critical Systems | 22 Oct 2023 | 21 Jul 2023 |
| 2023 | LOPSTR International Symposium on Logic-Based Program Synthesis and Transformation | 23–24 Oct 2023 | 9 Jun 2023 |
| 2019 | POPL ACM SIGPLAN Symposium on Principles of Programming Languages | 13–19 Jan 2019 | 11 Jul 2018 |