April 2023 Archives by subject
Starting: Sat Apr 1 11:41:25 UTC 2023
Ending: Fri Apr 28 07:31:29 UTC 2023
Messages: 19
- [Haskell] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
Andrei Popescu
- [Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)
Daniel Hillerström
- [Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Ali BENZERBADJ
- [Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Ali BENZERBADJ
- [Haskell] APLAS 2023 first Call for Papers
Shin-Cheng Mu
- [Haskell] Call for Papers: Functional Software Architecture - FP in the Large
Graham Hutton
- [Haskell] CMSB 2023: last call for papers (extended deadlines)
Jun PANG
- [Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023)
Ali BENZERBADJ
- [Haskell] IFL23 first CFP
Pieter Koopman
- [Haskell] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023
Daniel Jurjo
- [Haskell] PPDP 2023 - Call for Papers
Santiago Escobar
- [Haskell] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023
louis.rustenholz at imdea.org
- [Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)
louis.rustenholz at imdea.org
- [Haskell] SAS 2023 - Final CFP - Extended full paper deadline: May 1, 2023
louis.rustenholz at imdea.org
- [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Ali BENZERBADJ
- [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Ali BENZERBADJ
- [Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)
Ali BENZERBADJ
- [Haskell] The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)
Ali BENZERBADJ
- [Haskell] TyDe 2023 - Call for Papers
Youyou Cong
Last message date:
Fri Apr 28 07:31:29 UTC 2023
Archived on: Fri Apr 28 07:09:38 UTC 2023
This archive was generated by
Pipermail 0.09 (Mailman edition).