gmane.comp.lang.haskell.general archive
390 archived articles, newest first (page 4 of 4). Latest articles →
[Deadline Extension] FormaliSE 2024 - Call for Papers
Sun, 3 Dec 2023 11:30:55 +0100(Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24)
Sat, 2 Dec 2023 04:48:50 +0000FLOPS 2024: final call for abstracts and papers
Thu, 30 Nov 2023 16:15:51 +0000ICFP 2024: Call for Papers
Thu, 30 Nov 2023 11:58:33 +0100[TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming
Thu, 30 Nov 2023 10:43:42 +0100Re: ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Mon, 27 Nov 2023 08:28:52 +0100Re: ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Sun, 26 Nov 2023 14:06:47 -0800ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Sun, 26 Nov 2023 20:18:57 +0100ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Sun, 26 Nov 2023 20:15:45 +0100ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Sat, 18 Nov 2023 09:56:33 +0100ANT 2024 CFP (December 4, 2023 (Extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Sat, 18 Nov 2023 09:52:53 +0100ANT 2024 CFP (December 4, 2023 (extended)): The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Wed, 15 Nov 2023 19:23:06 +0100ED-I40 2024 CFP (Extended Deadline: December 4, 2023): The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Wed, 15 Nov 2023 19:07:29 +0100Journal of Functional Programming - Call for PhD Abstracts
Mon, 13 Nov 2023 08:15:10 +0000The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Mon, 13 Nov 2023 08:34:20 +0100ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Mon, 13 Nov 2023 08:24:54 +0100CfP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
Mon, 13 Nov 2023 15:20:36 +0800 (GMT+08:00)FormaliSE 2024 - Call for Papers
Fri, 3 Nov 2023 17:38:33 +010031st Netherlands Functional Programming Day (FP Dag): Call for Participation
Fri, 3 Nov 2023 12:20:44 +0000Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]
Fri, 3 Nov 2023 11:01:30 +0100ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Wed, 1 Nov 2023 06:46:07 +0100PriSC 2024: Call for Presentations
Wed, 25 Oct 2023 21:15:57 +0200SRC@POPL 2024 Call for Submissions
Mon, 23 Oct 2023 12:39:00 +0100The 15th International Conference on Ambient Systems, Networks and Technologies (ANT) , Hasselt, Belgium, April 23-25, 2024
Thu, 19 Oct 2023 07:06:57 +0100ED-I40 2024 CFP : The 7th International Conference on Emerging Data and Industry (EDI40), Hasselt, Belgium, April 23-25, 2024
Thu, 19 Oct 2023 07:00:28 +0100Call for STSMs and ITC conference grants, deadline 12 November 2023
Wed, 18 Oct 2023 11:44:43 +0200 (CEST)APLAS 2023: Second Call for Participation
Wed, 18 Oct 2023 09:07:51 +0900S-REPLS 13 / Fun in the Afternoon at Bristol
Mon, 16 Oct 2023 10:16:13 +0000Preliminary CFP - FICS Workshop (submission deadline: 1st December 2023)
Wed, 11 Oct 2023 14:05:23 +0200Call for Contributions: BOB 2024 [March 15, Deadline Nov 17]
Wed, 11 Oct 2023 11:27:03 +0200Tenure-track Faculty Positions at the IMDEA Software Institute
Tue, 10 Oct 2023 15:22:13 +0200Re: CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Tue, 3 Oct 2023 21:42:01 +0000PADL'24: Last Call for Papers
Mon, 2 Oct 2023 18:55:17 +0800APLAS 2023: Call for Participation
Mon, 25 Sep 2023 10:30:33 +0900LAST reminder - DEADLINE September 20th - HC@AIxIA 2023
Mon, 18 Sep 2023 12:56:48 +0200LOPSTR 2023 - Call for Participation
Thu, 14 Sep 2023 16:02:07 +0200CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs
Wed, 13 Sep 2023 09:52:26 +0200S-REPLS 13 / Fun in the Afternoon, Bristol, UK
Mon, 11 Sep 2023 19:41:20 +0000ESOP 2024 Call For Papers
Mon, 11 Sep 2023 14:54:38 -0400SAS 2023 - Call for Participation - Early deadline: Sept 22
Fri, 08 Sep 2023 13:19:39 +0200CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Thu, 7 Sep 2023 07:52:03 +0000[CfP - DEADLINE EXTENSION] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023
Wed, 6 Sep 2023 19:07:42 +0200Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)
Mon, 4 Sep 2023 06:52:09 +0000PADL 2024: Call for Papers
Thu, 24 Aug 2023 19:57:45 +0800Research Associate at the University of Kent, Canterbury, UK
Mon, 21 Aug 2023 13:41:33 +0100ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Thu, 17 Aug 2023 16:48:05 +0100EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Thu, 17 Aug 2023 16:39:30 +0100ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Thu, 10 Aug 2023 20:35:32 +0100EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Thu, 10 Aug 2023 20:33:31 +0100[Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA
Tue, 8 Aug 2023 10:57:23 +0200Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
Tue, 8 Aug 2023 09:03:23 +0900Functional Art, Music, Modeling and Design (FARM 2023) Sep 8: Call for Participation
Mon, 07 Aug 2023 13:05:38 +0200ICFP 2023: Call for Participation
Thu, 3 Aug 2023 14:26:03 +0800Call for Lightning Talks: Haskell Implementors' Workshop 2023
Wed, 2 Aug 2023 09:43:08 -0400IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages
Mon, 31 Jul 2023 05:14:51 -0700ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Sat, 29 Jul 2023 13:21:01 +0100EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Sat, 29 Jul 2023 12:59:43 +0100IFL23 last Call for papers
Thu, 27 Jul 2023 23:28:23 -0700FLOPS 2024 Symposium on Functional and Logic Programming
Thu, 27 Jul 2023 16:31:42 +0100Call for Participation, Functional Software Architecture - FP in the Large
Wed, 26 Jul 2023 09:07:16 +0000VMIL 2023 - Co-located with SPLASH'23 - Call for Work-in-progress and Position Papers
Tue, 25 Jul 2023 16:27:05 +0000ICTH 2023 CFPs (Firm Deadline: August 25): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Mon, 24 Jul 2023 22:53:52 +0100EUSPN 2023 CfPs (Firm Deadline: Aug. 25): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Mon, 24 Jul 2023 22:45:15 +0100VMIL 2023 - Co-located with SPLASH'23 - Deadline Extension
Thu, 13 Jul 2023 13:39:38 +0000EUSPN 2023 CfPs (Deadline: July 14): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Thu, 13 Jul 2023 08:41:20 +0100ICTH 2023 CFPs (DeadLine: July 14): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Thu, 13 Jul 2023 08:36:35 +0100[TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming
Wed, 12 Jul 2023 17:11:00 +0200Second Call for Papers: JFP Special Issue on Program Calculation (papers due 1st Dec)
Tue, 11 Jul 2023 08:29:55 +0000Re: Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension)
Mon, 10 Jul 2023 18:40:16 -0400Call for Talks: Haskell Implementors' Workshop 2023 (deadline extension)
Mon, 10 Jul 2023 18:34:53 -0400ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Mon, 10 Jul 2023 21:30:03 +0100[CfP] Second AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2023
Fri, 7 Jul 2023 17:30:12 +0200ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Thu, 6 Jul 2023 13:07:57 +0100EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Thu, 6 Jul 2023 12:56:36 +0100CFP : CPP 2024 -- Certified Proofs and Programs
Thu, 6 Jul 2023 06:55:57 +0000GPCE 2023: Deadline Extension
Wed, 5 Jul 2023 22:03:00 +0900Lectureship at Bristol
Wed, 5 Jul 2023 12:26:47 +0000VMIL 2023 - Co-located with SPLASH'23 - 2nd Call for Papers
Tue, 4 Jul 2023 14:42:42 +0000ICTH 2023 CFPs (Final Extension): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Fri, 30 Jun 2023 15:04:38 +0100EUSPN 2023 CfPs (Final Extension): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Thu, 29 Jun 2023 19:30:58 +0100EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Wed, 28 Jun 2023 23:58:38 +0100ICTH 2023 CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Wed, 28 Jun 2023 23:56:35 +0100ICFP 2023: Call for Volunteers (Deadline: 30 June!)
Tue, 27 Jun 2023 13:19:24 +0800CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs
Mon, 26 Jun 2023 19:10:22 +0200Workshop on Virtual Machines and Language Imp lementations (VMIL’23) - Call for Papers
Wed, 21 Jun 2023 12:42:40 +0000IFL23 2nd Call for papers
Mon, 19 Jun 2023 02:08:36 -0700EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Sun, 18 Jun 2023 10:03:37 +0100CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Sun, 18 Jun 2023 09:56:43 +0100ICTH 2023 CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare
Fri, 16 Jun 2023 16:31:20 +0100EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks
Fri, 16 Jun 2023 16:07:33 +0100
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.