gmane.comp.lang.haskell.general archive

387 archived articles, newest first (page 3 of 4). Latest articles →

LOPSTR 2024 - Call for Participation
Thu, 1 Aug 2024 11:37:18 +0200
Daniel Jurjo <[email protected]> • #23032
ASPOCP 2024@ICLP- EXTENDED DEADLINE
Wed, 31 Jul 2024 12:26:28 +0200
cfp <[email protected]> • #23031
Haskell Implementors' Workshop - Change of date
Mon, 29 Jul 2024 11:38:25 +0100
Matthew Pickering <[email protected]> • #23030
Call for Participation, Functional Software Architecture (Sep 6, Milan)
Mon, 29 Jul 2024 11:17:09 +0200
Michael Sperber <[email protected]> • #23029
FSEN 2025 - 2nd Call for Papers
Mon, 29 Jul 2024 10:26:28 +0200
Petra van den Bos via Haskell <[email protected]> • #23028
ASPOCP 2024 @ ICLP- Second Call for Paper
Fri, 26 Jul 2024 14:52:41 +0200
cfp <[email protected]> • #23027
ICFP 2024: Call for Participation
Mon, 22 Jul 2024 10:26:37 -0400
ICFP Publicity via Haskell <[email protected]> • #23026
Final Call for Talks: Haskell Implementors' Workshop 2024
Mon, 8 Jul 2024 14:30:40 +0100
Matthew Pickering <[email protected]> • #23025
Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care
Wed, 3 Jul 2024 17:52:46 +0200
Francesco Calimeri <[email protected]> • #23024
HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11
Wed, 3 Jul 2024 17:42:52 +0200
Francesco Calimeri <[email protected]> • #23023
IFL 2024: Second Call for Papers
Wed, 3 Jul 2024 07:50:13 -0500
Mart Lubbers <[email protected]> • #23022
ASPOCP 2024 @ ICLP- First Call for Paper
Wed, 3 Jul 2024 12:29:02 +0200
cfp <[email protected]> • #23021
CFP - JFLA 2025 - Journées Francophones des Langages Applicatifs
Tue, 2 Jul 2024 16:03:08 +0200
"Marie Kerjean" (via why3-club Mailing List) <why3-club-mZqXLFNjc/[email protected]> • #23020
Re: International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
Tue, 2 Jul 2024 03:47:49 -0700
Ivan Perez <[email protected]> • #23019
International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
Tue, 2 Jul 2024 10:23:54 +0200 (CEST)
Oumaima Boulkhoukh <[email protected]> • #23018
Free online participation in MSFP, 8th July 2024
Mon, 1 Jul 2024 12:04:00 -0500
Favonia <[email protected]> • #23017
Vacancy for PhD Candidate in Declarative Programming and the Internet of Things
Mon, 1 Jul 2024 11:20:32 +0200
Mart Lubbers via Haskell <[email protected]> • #23016
Free online participation in MSFP, 8th July 2024
Sun, 30 Jun 2024 15:23:02 +0100
Jeremy Gibbons <[email protected]> • #23015
1st CFP - CPP 2025 - Certified Programs and Proofs
Wed, 26 Jun 2024 14:13:52 +0200
nicolas tabareau <[email protected]> • #23014
1st CFP - CPP 2025 - Certified Programs and Proofs
Wed, 26 Jun 2024 15:03:22 +0200
nicolas tabareau <[email protected]> • #23013
ICFP 2024: Call fo Volunteers
Wed, 26 Jun 2024 11:23:49 +0200
ICFP Publicity via Haskell <[email protected]> • #23012
Re: International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
Wed, 19 Jun 2024 15:10:31 +0000
Bhakti Shah <[email protected]> • #23011
Re: International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024 [Deadline extended to July 10th]
Tue, 18 Jun 2024 03:20:18 -0700
Ivan Perez <[email protected]> • #23010
International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
Tue, 18 Jun 2024 09:44:06 +0200 (CEST)
Oumaima Boulkhoukh <[email protected]> • #23009
International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024 [Deadline extended to July 10th]
Tue, 18 Jun 2024 09:34:28 +0200
<[email protected]> • #23008
DEBT 2024: 2nd Call for Papers
Thu, 13 Jun 2024 22:31:08 +0200
German Vidal via Haskell <[email protected]> • #23007
International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024
Wed, 12 Jun 2024 14:34:00 +0200 (CEST)
Oumaima Boulkhoukh <[email protected]> • #23006
International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024 [Deadline extended to July 10th]
Wed, 12 Jun 2024 14:22:03 +0200
<[email protected]> • #23005
HC@AIxIA: AI&Health Seminar Series (2024) - JUNE 17
Tue, 11 Jun 2024 13:00:41 +0200
Francesco Calimeri <[email protected]> • #23004
International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
Fri, 7 Jun 2024 16:01:03 +0200 (CEST)
Amjad El Khatib <[email protected]> • #23003
Re: International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024
Fri, 7 Jun 2024 11:33:21 +0200
Stephane Bortzmeyer <[email protected]> • #23002
International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024
Fri, 7 Jun 2024 11:12:23 +0200 (CEST)
Oumaima Boulkhoukh <[email protected]> • #23001
Deadline extension: ACM Workshop on Functional Software Architecture [NOW JUNE 12]
Tue, 04 Jun 2024 12:18:24 +0200
Michael Sperber <[email protected]> • #23000
2nd CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering
Fri, 31 May 2024 12:02:14 +0200
Andrei Chis <[email protected]> • #22999
FINAL CFP: Haskell Symposium 2024
Wed, 29 May 2024 10:14:03 -0500
"J. Garrett Morris via Haskell-Cafe" <[email protected]> • #22998
FW: International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024
Tue, 28 May 2024 22:44:12 +0200
<[email protected]> • #22997
APLAS 2024: Final Call for Papers [Deadline extended till May 31]
Fri, 24 May 2024 11:34:24 +0900
Mirai Ikebuchi <[email protected]> • #22996
Final Call: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
Thu, 23 May 2024 11:47:52 +0200
Michael Sperber <[email protected]> • #22995
PhD Positions at Chalmers University in Language-based Security
Tue, 21 May 2024 19:10:12 +0000
Alejandro Russo <[email protected]> • #22994
TyDe 2024: Final call for papers and extended abstracts
Tue, 21 May 2024 09:36:02 +0000
Jesper Cockx via Haskell <[email protected]> • #22993
FSEN 2025 - Call for Papers
Tue, 14 May 2024 14:42:10 +0000
"Bos, Petra van den \(UT-EEMCS\) via Haskell" <[email protected]> • #22992
MSFP 2024 deadline extension: Tuesday 28th May
Sun, 12 May 2024 08:12:31 -0500
Favonia <[email protected]> • #22991
Journal of Functional Programming - Call for PhD Abstracts
Thu, 9 May 2024 07:49:07 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #22990
[ANN] Cabal 3.12 released
Wed, 8 May 2024 17:17:15 +0200
Francesco Ariis <[email protected]> • #22989
LOPSTR 2024 - Deadline Extended to May 19th
Tue, 7 May 2024 14:32:33 +0200
Daniel Jurjo <[email protected]> • #22988
Types 2024, second call for participation
Tue, 7 May 2024 07:12:50 +0000
Patrick Bahr via Haskell <[email protected]> • #22987
International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024
Tue, 30 Apr 2024 17:09:07 +0200 (CEST)
Oumaima Boulkhoukh <[email protected]> • #22986
International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
Tue, 30 Apr 2024 17:03:39 +0200 (CEST)
Oumaima Boulkhoukh <[email protected]> • #22985
International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024
Tue, 30 Apr 2024 16:50:03 +0200 (CEST)
Oumaima Boulkhoukh <[email protected]> • #22984
1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering
Mon, 29 Apr 2024 08:57:35 +0200
Andrei Chis <[email protected]> • #22983
Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
Fri, 26 Apr 2024 09:18:31 -0500
Favonia <[email protected]> • #22982
Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care
Fri, 26 Apr 2024 01:58:38 +0200
Francesco Calimeri <[email protected]> • #22981
2nd Call for Papers: ACM Workshop on Functional Software Architecture [Deadline June 3]
Wed, 24 Apr 2024 17:24:36 +0200
Michael Sperber <[email protected]> • #22980
DDP 2024
Wed, 24 Apr 2024 16:03:13 +0530
sara--- via clean-list <[email protected]> • #22979
APLAS 2024 SRC & Posters
Mon, 22 Apr 2024 15:42:18 +0900
Koko Akazaki Muroya <[email protected]> • #22978
Call for Talks: Haskell Implementors' Workshop 2024
Fri, 19 Apr 2024 14:41:32 +0100
Matthew Pickering <[email protected]> • #22977
APLAS 2024: 2nd Call for Papers
Fri, 19 Apr 2024 11:21:04 +0900
Mirai Ikebuchi <[email protected]> • #22976
TYPES 2024: Call for Participation
Thu, 18 Apr 2024 13:59:31 +0000
Patrick Bahr via Haskell <[email protected]> • #22975
Second CFP: Haskell Symposium 2024
Wed, 17 Apr 2024 14:21:16 -0500
"J. Garrett Morris via Haskell" <[email protected]> • #22974
LOPSTR 2024 - Call For Papers
Wed, 17 Apr 2024 19:08:04 +0200
Daniel Jurjo <[email protected]> • #22973
HYDRA 2024 - Call for Papers
Tue, 9 Apr 2024 18:14:08 +0200
Francesco Calimeri <[email protected]> • #22972
IFL 2024: First call for papers
Tue, 9 Apr 2024 02:15:32 -0700
Mart Lubbers <[email protected]> • #22971
PhD Studentship at VU Amsterdam
Fri, 5 Apr 2024 16:17:32 +0200
Kristina Sojakova <[email protected]> • #22970
PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18)
Sat, 30 Mar 2024 11:12:06 +0000
"Achim D. Brucker" <[email protected]> • #22969
TyDe 2024: First call for papers and extended abstracts
Mon, 25 Mar 2024 13:44:45 +0000
Jesper Cockx via Haskell <[email protected]> • #22968
14th Panhellenic Logic Symposium
Thu, 21 Mar 2024 11:40:42 +0000
Alex Kavvos <[email protected]> • #22967
Postdoc positions on foundations of type classes and type families at the University of Iowa
Wed, 20 Mar 2024 14:49:07 -0500
"J. Garrett Morris" <[email protected]> • #22966
Utrecht Summer School on Advanced Functional Programming
Tue, 19 Mar 2024 11:26:18 +0100
Wouter Swierstra <[email protected]> • #22965
Fwd: PhD positions at Chalmers (1 in FP supervised by Alex Gerdes and me)
Tue, 19 Mar 2024 10:37:55 +0100
Koen Claessen <[email protected]> • #22964
LOPSTR 2024 -- Call for Papers
Fri, 15 Mar 2024 10:36:18 +0100
Daniel Jurjo <[email protected]> • #22963
PhD position: Software Verification for Programmable 6G Networks (University of Amsterdam, 31/3/2024)
Thu, 14 Mar 2024 10:57:32 +0000
Thomas van Binsbergen via Haskell <[email protected]> • #22962
FUNARCH 2024: Call for Papers
Wed, 13 Mar 2024 22:57:24 +0800
ICFP Publicity via Haskell <[email protected]> • #22961
Call for Papers: ACM Workshop on Functional Software Architecture
Wed, 13 Mar 2024 13:44:51 +0100
Michael Sperber <[email protected]> • #22960
CFP: Haskell Symposium 2024
Mon, 11 Mar 2024 18:51:30 -0500
"J. Garrett Morris" <[email protected]> • #22959
ICFP 2024: Call for Tutorials
Mon, 11 Mar 2024 23:27:59 +0800
ICFP Publicity via Haskell <[email protected]> • #22958
MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
Thu, 7 Mar 2024 00:59:39 -0600
Favonia <[email protected]> • #22957
TYPES 2024: Call for Contributions - Deadline extension
Tue, 5 Mar 2024 13:33:06 +0000
Patrick Bahr via Haskell <[email protected]> • #22956
Midlands Graduate School (MGS)
Mon, 4 Mar 2024 09:10:51 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #22955
HC@AIxIA: AI&Health Seminar Series (2024) - MARCH 8th
Thu, 29 Feb 2024 20:42:08 +0100
Francesco Calimeri <[email protected]> • #22954
APLAS 2024: Call for Papers
Wed, 28 Feb 2024 16:57:12 +0900
Mirai Ikebuchi <[email protected]> • #22953
RV: EXTRAAMAS2024 - DEADLINE EXTENSION
Tue, 27 Feb 2024 16:01:51 +0000
Contreras Ordoñez Victor Hugo <[email protected]> • #22952
TYPES 2024 - Call for Contributions
Sun, 25 Feb 2024 13:01:44 +0000
Patrick Bahr via Haskell <[email protected]> • #22951
Deadline Extended---Fourth Call for Papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
Thu, 22 Feb 2024 16:35:04 +0800 (GMT+08:00)
Huibiao Zhu via Haskell <[email protected]> • #22950
Haskell Foundation Board is looking for new members
Tue, 20 Feb 2024 16:00:02 +0100
Andres Löh via Haskell <[email protected]> • #22949
ICFP 2024: Second Call for Papers
Sat, 10 Feb 2024 00:00:26 +0800
ICFP Publicity <[email protected]> • #22948
Third Call for Papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
Mon, 5 Feb 2024 11:20:38 +0800 (GMT+08:00)
Huibiao Zhu via Haskell <[email protected]> • #22947
LOPSTR 2024 -- Preliminary Call for Papers
Sun, 4 Feb 2024 15:26:28 +0100
Daniel Jurjo <[email protected]> • #22946
PhD fellowships in ”Parallel function al programming” and "Systems-level language-based sec urity"
Fri, 02 Feb 2024 10:34:39 +0100
Troels Henriksen <[email protected]> • #22945
PhD studentship in functional programming (closing date 9th Feb)
Fri, 2 Feb 2024 07:01:33 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #22944
GHC Steering Committee Call for Nominations
Sun, 28 Jan 2024 09:58:45 +0000
Adam Gundry <[email protected]> • #22943
CFP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
Wed, 24 Jan 2024 17:53:43 +0800 (GMT+08:00)
Huibiao Zhu via Haskell <[email protected]> • #22942
ZuriHac 2024 takes place 8-10 June, registration now open
Mon, 22 Jan 2024 11:28:18 +0100
Jasper Van der Jeugt <[email protected]> • #22941
Fully-funded PhD studentship in functional programming
Mon, 15 Jan 2024 08:32:47 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #22940
2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30)
Mon, 15 Jan 2024 08:19:14 +0100
Stefan Wehr <[email protected]> • #22939
[TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
Fri, 22 Dec 2023 10:09:06 +0100
Peter Achten via Haskell <[email protected]> • #22938
Re: 31st Netherlands Functional Programming Day (FP Dag): Call for Participation
Sat, 16 Dec 2023 14:27:49 +0000
Jesper Cockx via Haskell <[email protected]> • #22937
Call for Participation: BOB 2024 (Berlin, March 15)
Fri, 15 Dec 2023 15:34:18 +0100
Stefan Wehr <[email protected]> • #22936
ICFP 2024: Call for Workshops and Co-Located Events
Tue, 12 Dec 2023 10:08:02 +0800
ICFP Publicity via Haskell <[email protected]> • #22935
Certified Programs and Proofs (CPP'24) - Call for Participation
Sun, 10 Dec 2023 09:54:42 +0000
Brigitte Pientka <[email protected]> • #22934
Call for STSMs and ITC conference grants, deadline 7 January 2024
Sat, 9 Dec 2023 16:27:24 +0100 (CET)
[email protected] • #22933
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.