December 2023 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sat Dec 2 04:48:50 UTC 2023
Ending: Fri Dec 22 09:09:06 UTC 2023
Messages: 8

• [Haskell] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)   Kristopher K Micinski
• [Haskell] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation   Jesper Cockx
• [Haskell] [Deadline Extension] FormaliSE 2024 - Call for Papers   Abhishek Tiwari
• [Haskell] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)   Peter Achten
• [Haskell] Call for Participation: BOB 2024 (Berlin, March 15)   Stefan Wehr
• [Haskell] Call for STSMs and ITC conference grants, deadline 7 January 2024   simona.k at uns.ac.rs
• [Haskell] Certified Programs and Proofs (CPP'24) - Call for Participation   Brigitte Pientka
• [Haskell] ICFP 2024: Call for Workshops and Co-Located Events   ICFP Publicity

Last message date: Fri Dec 22 09:09:06 UTC 2023
Archived on: Fri Dec 22 08:41:24 UTC 2023

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...