January 2025 Archives by author

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

Starting: Sat Jan 4 14:02:52 UTC 2025
Ending: Sat Jan 18 00:19:04 UTC 2025
Messages: 14

• [Haskell-cafe] PhD Scholarships in Quantum Computing   Venanzio Capretta
• [Haskell-cafe] CGO'25 - early bird registration and student research competition   Luisa Cicolini
• [Haskell-cafe] [ANN] Darcs 2.18.5 release   Ben Franksen
• [Haskell-cafe] Formal Verification & Modern AI Safety   Ben Franksen
• [Haskell-cafe] CLC Elections January 2025   Andrew Lelechenko
• [Haskell-cafe] [ANN] Copilot 4.2   Ivan Perez
• [Haskell-cafe] Rebuilding package on hackage to generate documentation   Ivan Perez
• [Haskell-cafe] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025   Andrei Popescu
• [Haskell-cafe] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16   ICFP Publicity
• [Haskell-cafe] Call for Nominations: Haskell.org Committee (2025-2028)   Rebecca Skinner
• [Haskell-cafe] Formal Verification & Modern AI Safety   Mostafa Touny
• [Haskell-cafe] 2nd Call for Participation: BOB 2025 (Berlin, Mar 14)   Stefan Wehr
• [Haskell-cafe] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)   Ningning Xie
• [Haskell-cafe] Formal Verification & Modern AI Safety   jo at durchholz.org

Last message date: Sat Jan 18 00:19:04 UTC 2025
Archived on: Sat Jan 18 00:15:17 UTC 2025

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