[Haskell] [CfP] PADL 2021: Practical Aspects of Declarative Languages

Call for Papers === 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021) https://popl21.sigplan.org/home/PADL-2021 Copenhagen, Denmark

[Haskell] HCVS 2023 - First Call for Papers

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 23rd April 2023 - Paris, France https://www.sci.unich.it/hcvs23/ Important dates: - Paper submission deadline: Feb 22, 2023 - Paper notification: Mar 22, 2023 - Workshop: Apr 23, 2023 Many

[Haskell] HCVS 2023 - Call for Papers (Extended deadline)

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 23rd April 2023 - Paris, France https://www.sci.unich.it/hcvs23/ Important dates: - Paper submission deadline: Mar 8, 2023 (EXTENDED) - Paper notification: Mar 22, 2023 - Workshop: Apr 23, 2023

[Haskell] HCVS 2023 - Last Call for Papers

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 23rd April 2023 - Paris, France https://www.sci.unich.it/hcvs23/ Important dates: - Paper submission deadline: Feb 22, 2023 - Paper notification: Mar 22, 2023 - Workshop: Apr 23, 2023 Many