March 2020 Archives by author
Starting: Mon Mar 2 22:57:24 UTC 2020
Ending: Tue Mar 31 08:10:02 UTC 2020
Messages: 21
- [Haskell] PPDP 2020 Call For Papers
Andreas Abel
- [Haskell] PPDP 2020 Call For Papers (corrected link)
Andreas Abel
- [Haskell] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
Robert Atkey
- [Haskell] Wetice'2020 paper deadline extended to March 10
Khouloud Boukadi
- [Haskell] Wetice 2020 CFP- Second round
Khouloud Boukadi
- [Haskell] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
Achim D. Brucker
- [Haskell] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)
Achim D. Brucker
- [Haskell] [FNC-2020] Call for papers: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
- [Haskell] [FNC-2020] CFP (extended): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
Wim Ectors
- [Haskell] [HiW'20] Call for Talks
Ben Gamari
- [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released
Ben Gamari
- [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released
Ben Gamari
- [Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems
Clemens Grelck
- [Haskell] LOPSTR 2020 - First CFP
Michael Hanus
- [Haskell] FHPPNC 2020 Call For Papers
Troels Henriksen
- [Haskell] SEIT-2020 CfPs (Extended Submission Date): The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium)
Aneta Poniszewska-MaraĆda I72
- [Haskell] Fwd: [GitHub] You've been removed from the Haskell organization
Jasper Van der Jeugt
- [Haskell] Haskell Digest, Vol 199, Issue 5
Rishiyur Nikhil
- [Haskell] CFP: ACM Scala Symposium 2020
David Richter
- [Haskell] Sad news
Wouter Swierstra
- [Haskell] Fwd: [GitHub] You've been removed from the Haskell organization
dominic at steinitz.org
Last message date:
Tue Mar 31 08:10:02 UTC 2020
Archived on: Tue Mar 31 08:19:06 UTC 2020
This archive was generated by
Pipermail 0.09 (Mailman edition).