February 2025 Archives by thread

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

Starting: Mon Feb 3 14:37:28 UTC 2025
Ending: Tue Feb 18 10:40:20 UTC 2025
Messages: 8

• [Haskell] Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
  • [Haskell] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
• [Haskell] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)   Achim D. Brucker
• [Haskell] Call for Papers: PPDP 2025   Michael Hanus
• [Haskell] CALCO 2025: Second Call for Papers   Thorsten Wissmann
• [Haskell] FSEN 2025 - Call for Participation   Petra van den Bos
• [Haskell] Call for STSMs and ITC conference grants   simona.k at uns.ac.rs
• [Haskell] Midlands Graduate School - registration now open   Graham Hutton

Last message date: Tue Feb 18 10:40:20 UTC 2025
Archived on: Tue Feb 18 23:21:15 UTC 2025

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