Event | When | Where | Deadline | |
WLPE 2013 |
23rd Workshop on Logic-based methods in Programming Environments | |
Aug 24, 2013 - Aug 25, 2013 |
Istanbul (Turkey) |
Jun 3, 2013 |
PADL 2021 |
23rd International Symposium on Practical Aspects of Declarative Languages | |
Jan 18, 2021 - Jan 19, 2021 |
Copenhagen, Denmark |
Oct 9, 2020 |
HCVS 2023 |
10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 | |
Apr 23, 2023 - Apr 23, 2023 |
Paris, France |
Mar 8, 2023 |
SAS 2023 |
Static Analysis Symposium | |
Oct 22, 2023 - Oct 27, 2023 |
Cascais (Lisbon), Portugal |
Apr 24, 2023 |
|