jfmc's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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
first | previous | Page 1 | next | last Total of 4 CFPs in 1 pages