March 2024 Archives by author

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

Starting: Mon Mar 4 09:10:51 UTC 2024
Ending: Sat Mar 30 11:12:06 UTC 2024
Messages: 14

• [Haskell] TYPES 2024: Call for Contributions - Deadline extension   Patrick Bahr
• [Haskell] PhD position: Software Verification for Programmable 6G Networks (University of Amsterdam, 31/3/2024)   Thomas van Binsbergen
• [Haskell] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18)   Achim D. Brucker
• [Haskell] Fwd: PhD positions at Chalmers (1 in FP supervised by Alex Gerdes and me)   Koen Claessen
• [Haskell] TyDe 2024: First call for papers and extended abstracts   Jesper Cockx
• [Haskell] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)   Favonia
• [Haskell] Midlands Graduate School (MGS)   Graham Hutton
• [Haskell] LOPSTR 2024 -- Call for Papers   Daniel Jurjo
• [Haskell] 14th Panhellenic Logic Symposium   Alex Kavvos
• [Haskell] CFP: Haskell Symposium 2024   J. Garrett Morris
• [Haskell] Postdoc positions on foundations of type classes and type families at the University of Iowa   J. Garrett Morris
• [Haskell] ICFP 2024: Call for Tutorials   ICFP Publicity
• [Haskell] FUNARCH 2024: Call for Papers   ICFP Publicity
• [Haskell] Utrecht Summer School on Advanced Functional Programming   Wouter Swierstra

Last message date: Sat Mar 30 11:12:06 UTC 2024
Archived on: Sat Mar 30 11:11:23 UTC 2024

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