April 2023 Archives by subject

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

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

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