gmane.comp.lang.haskell.general archive

385 archived articles, newest first (page 2 of 4). Latest articles →

CfP/Deadline extension: Functional Programming for Productivity and Performance (FProPer)
Fri, 30 May 2025 16:28:56 +0200
Michael Sperber <[email protected]> • #23132
CfP: Functional Art, Music, Modelling and Design (FARM, Deadline June 13)
Tue, 27 May 2025 14:20:43 +0200
Michael Sperber <[email protected]> • #23131
[2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Mon, 26 May 2025 11:02:25 +0900
Taro Sekiyama <[email protected]> • #23130
[ICLP 2025 - Announcement of Accepted Works hops ] 41st International Conference on Logic Programm ing (ICLP’25), University of Calabria, R ende, Italy | September 12-19, 2025
Thu, 22 May 2025 11:30:06 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23129
ANN: PenroseKiteDart v1.3
Tue, 20 May 2025 17:31:34 +0100
Chris Reade via Haskell <[email protected]> • #23128
[AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence
Tue, 20 May 2025 10:36:07 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23127
2nd CfP: Functional Software Architecture (FUNARCH, Deadline June 16)
Sun, 18 May 2025 10:49:04 +0200
Michael Sperber <[email protected]> • #23126
2nd CfP: Functional Programming for Productivity and Performance (FProPer)
Fri, 16 May 2025 12:57:17 +0200
Michael Sperber <[email protected]> • #23125
WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation
Sat, 10 May 2025 05:22:54 +0000
Voigtländer, Prof. Dr. Janis <[email protected]> • #23124
CALCO/MFPS 2025: Call for Participation
Fri, 9 May 2025 11:20:00 +0200
Thorsten Wissmann <[email protected]> • #23123
Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
Thu, 8 May 2025 14:47:24 +0200
Andrei Chis <[email protected]> • #23122
[AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence
Wed, 7 May 2025 23:33:58 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23121
TyDe 2025 - Second Call for Papers
Wed, 7 May 2025 13:00:16 +0000
Andras Kovacs <[email protected]> • #23120
Journal of Functional Programming - Call for PhD Abstracts
Tue, 6 May 2025 08:04:10 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #23119
[C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025
Fri, 2 May 2025 14:40:12 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23118
Utrecht Summer School on Advanced Functional Programming
Thu, 1 May 2025 11:53:14 +0200
Wouter Swierstra <[email protected]> • #23117
[ICLP 2025 - CfP Special Tracks] 41st Int ernational Conference on Logic Programming (ICLP ’25) University of Calabria, Rende, Italy | September 12-19, 2025
Tue, 29 Apr 2025 23:58:47 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23116
IFL 2025: First call for papers
Tue, 29 Apr 2025 02:06:15 -0700
Mart Lubbers <[email protected]> • #23115
WPTE 2025 - Second Call for Papers - Rewriting Techniques for Program Transformations and Evaluation
Fri, 25 Apr 2025 20:36:25 +0000
Voigtländer, Prof. Dr. Janis <[email protected]> • #23114
[CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Wed, 23 Apr 2025 08:39:34 +0900
Taro Sekiyama <[email protected]> • #23113
"Magical Haskell" book is finally finished and available :)
Tue, 22 Apr 2025 13:29:02 +0200
Anton Antich <[email protected]> • #23112
Call for Papers: Functional Programming for Productivity and Performance (FProPer)
Fri, 11 Apr 2025 15:56:28 +0200
Michael Sperber <[email protected]> • #23111
TyDe 2025 - Call for Papers & Extended Abstracts
Fri, 11 Apr 2025 12:14:13 +0000
Andras Kovacs <[email protected]> • #23110
Extended deadline - CFP - Haskell Implementors' Workshop 2025
Mon, 7 Apr 2025 14:28:16 +0200
Andreas Herrmann via Haskell-Cafe <[email protected]> • #23109
[Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
Mon, 31 Mar 2025 11:18:22 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23108
Re: The main page of the Haskellwiki is not properly formatted
Sun, 30 Mar 2025 00:14:34 -0400
davean <[email protected]> • #23107
The main page of the Haskellwiki is not properly formatted
Sun, 30 Mar 2025 04:40:09 +0200 (CEST)
X Y via Haskell <[email protected]> • #23106
[ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
Sat, 29 Mar 2025 11:35:18 +0100
Manuel Alejandro Borroto Santana <[email protected]> • #23105
Deadline extension (9 April): GPCE 2025
Fri, 28 Mar 2025 09:12:17 +0000
Jeremy Yallop via Haskell <[email protected]> • #23104
Deadline extension (9 April): GPCE 2025
Fri, 28 Mar 2025 09:08:21 +0000
Jeremy Yallop via Haskell <[email protected]> • #23103
Re: CFP - Haskell Implementors' Workshop 2025
Thu, 27 Mar 2025 11:14:36 +0100
Andreas Herrmann via Haskell <[email protected]> • #23102
[ICLP 2025 - Deadline Approaching] 41st I nternational Conference on Logic Programming (ICLP ’25) University of Calabria, Rende, Italy | September 12-19, 2025
Wed, 26 Mar 2025 10:30:57 +0100
Manuel Alejandro Borroto Santana <[email protected]> • #23101
Call for Papers, Functional Software Architecture (Deadline June 16)
Tue, 25 Mar 2025 20:22:30 +0100
Michael Sperber <[email protected]> • #23100
Call for Participation, Functional Software Architecture (Oct. 17th, Singapore)
Tue, 25 Mar 2025 20:15:57 +0100
Michael Sperber <[email protected]> • #23099
WPTE 2025 - Call for Papers - Rewriting Techniques for Program Transformations and Evaluation
Tue, 25 Mar 2025 19:40:37 +0100
Janis Voigtländer <[email protected]> • #23098
Utrecht Summer School on Advanced Functional Programming
Thu, 20 Mar 2025 16:55:13 +0100
Wouter Swierstra via Haskell <[email protected]> • #23097
CfP: GPCE 2025
Thu, 20 Mar 2025 14:58:23 +0000
Jeremy Yallop via Haskell <[email protected]> • #23096
CALCO 2025: Deadline Extension
Tue, 4 Mar 2025 20:35:25 +0100
Thorsten Wissmann <[email protected]> • #23095
MFPS 2025: Second Call for Papers
Wed, 26 Feb 2025 14:29:13 +0100
Thorsten Wissmann <[email protected]> • #23094
CALCO 2025: Final Call for Papers
Wed, 26 Feb 2025 14:21:47 +0100
Thorsten Wissmann <[email protected]> • #23093
Senior Research Associate in Programming Languages at Bristol
Wed, 26 Feb 2025 12:04:27 +0000
Meng Wang via Haskell <[email protected]> • #23092
CFP - Haskell Implementors' Workshop 2025
Fri, 21 Feb 2025 16:54:58 +0100
Andreas Herrmann via ghc-devs <[email protected]> • #23091
Midlands Graduate School - final call for participation
Tue, 18 Mar 2025 09:58:24 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #23090
[ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’ 25) University of Calabria, Rende, Italy | September 12-19, 2025
Wed, 26 Feb 2025 11:23:16 +0100
Manuel Alejandro Borroto Santana <[email protected]> • #23089
Midlands Graduate School - registration now open
Tue, 18 Feb 2025 10:40:20 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #23088
Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield
Tue, 18 Feb 2025 10:30:48 +0000
Andrei Popescu <[email protected]> • #23087
Call for STSMs and ITC conference grants
Mon, 17 Feb 2025 17:38:02 +0100 (CET)
[email protected] • #23086
FSEN 2025 - Call for Participation
Fri, 7 Feb 2025 14:01:24 +0100
Petra van den Bos via Haskell <[email protected]> • #23085
CALCO 2025: Second Call for Papers
Thu, 6 Feb 2025 00:21:45 +0100
Thorsten Wissmann <[email protected]> • #23084
Call for Papers: PPDP 2025
Wed, 5 Feb 2025 13:25:55 +0100
Michael Hanus <[email protected]> • #23083
PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)
Tue, 4 Feb 2025 11:02:07 +0000
"Achim D. Brucker" <[email protected]> • #23082
Midlands Graduate School 2025 hosted by the University of Sheffield
Mon, 3 Feb 2025 14:37:28 +0000
Andrei Popescu <[email protected]> • #23081
Midlands Graduate School 2025
Mon, 27 Jan 2025 08:49:55 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #23080
[ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (I CLP’25) University of Calabria, Rende, Ita ly | September 12-19, 2025
Tue, 21 Jan 2025 17:37:38 +0100
Francesco Calimeri <[email protected]> • #23079
2nd Call for Participation: BOB 2025 (Berlin, Mar 14)
Fri, 17 Jan 2025 14:28:37 +0100
Stefan Wehr <[email protected]> • #23078
HC@AIxIA: AI&Health Seminar Series (2025) - JANUARY 22
Fri, 17 Jan 2025 00:33:58 +0100
Francesco Calimeri <[email protected]> • #23077
ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16
Fri, 10 Jan 2025 10:42:54 -0500
ICFP Publicity via Haskell <[email protected]> • #23076
Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025
Thu, 9 Jan 2025 01:31:01 +0000
Andrei Popescu <[email protected]> • #23075
2nd CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
Fri, 20 Dec 2024 16:49:49 +0200
Andrei Chis <[email protected]> • #23074
MFPS 2025: Call for Papers
Fri, 20 Dec 2024 15:02:43 +0100
Thorsten Wissmann <[email protected]> • #23073
CALCO 2025: Call for Papers
Fri, 20 Dec 2024 14:42:08 +0100
Thorsten Wissmann <[email protected]> • #23072
PhD Position in Accountable Usage Control for Distributed Data Processing Systems
Thu, 19 Dec 2024 10:51:13 +0000
Thomas van Binsbergen via Haskell <[email protected]> • #23071
[TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK)
Wed, 18 Dec 2024 09:11:41 +0100
Peter Achten via Haskell <[email protected]> • #23070
Call for Participation: BOB 2025 (Berlin, Mar 14)
Tue, 17 Dec 2024 14:04:13 +0100
Stefan Wehr <[email protected]> • #23069
LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025
Mon, 16 Dec 2024 21:47:51 +0000
Andrei Popescu <[email protected]> • #23068
PADL 2025: Call for Participation & Lightning Talks
Mon, 16 Dec 2024 09:13:12 +0000
Germán Vidal via Haskell <[email protected]> • #23067
Save the date: Haskell Ecosystem Workshop and Haskell Implementors' Workshop 2025
Sun, 15 Dec 2024 17:55:43 +0100
Andreas Herrmann via ghc-devs <[email protected]> • #23066
[CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025
Wed, 11 Dec 2024 09:53:59 +0100
nicolas tabareau <[email protected]> • #23065
10 PhD studentships in Nottingham
Tue, 3 Dec 2024 14:00:39 +0000
Graham Hutton via Haskell-Cafe <[email protected]> • #23064
[TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
Fri, 15 Nov 2024 15:12:31 +0100
Peter Achten via Haskell <[email protected]> • #23063
Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES
Tue, 12 Nov 2024 17:08:59 +0100 (CET)
Gwen Salaün <[email protected]> • #23062
Invitation to Dutch FP Day 2025
Fri, 8 Nov 2024 09:17:44 +0000
Tom Schrijvers <[email protected]> • #23061
POPL 2025 Student Research Competition Call for Submissions
Thu, 7 Nov 2024 20:35:40 +0100
Ralf Jung <[email protected]> • #23060
PriSC @ POPL'25: Extended deadline
Tue, 5 Nov 2024 18:16:09 +0100
PriSC PC Chairs <[email protected]> • #23059
2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)
Tue, 5 Nov 2024 07:47:22 +0100
Stefan Wehr <[email protected]> • #23058
ICFP 2025: Call for Papers
Mon, 4 Nov 2024 11:35:33 -0500
ICFP Publicity via Haskell <[email protected]> • #23057
Journal of Functional Programming - Call for PhD Abstracts
Mon, 4 Nov 2024 10:26:41 +0000
Graham Hutton <Graham.Hutton-QabDm/[email protected]> • #23056
Call for STSMs and ITC conference grants, deadline 24 November 2024
Mon, 28 Oct 2024 15:22:40 +0100 (CET)
[email protected] • #23055
PriSC @ POPL'25: 2nd Call for Paper
Mon, 21 Oct 2024 12:49:55 +0200
PriSC PC Chairs <[email protected]> • #23054
Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)
Mon, 14 Oct 2024 17:47:36 +0200
Stefan Wehr <[email protected]> • #23053
[TFP 2025 2nd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
Fri, 11 Oct 2024 15:36:34 +0200
Peter Achten via Haskell <[email protected]> • #23052
1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
Wed, 9 Oct 2024 13:08:34 +0200
Andrei Chis <[email protected]> • #23051
FSEN 2025 - Final Call for Papers (Deadline extended)
Mon, 7 Oct 2024 10:27:01 +0200
Petra van den Bos via Haskell <[email protected]> • #23050
Call for Papers: FORMALISE 2025
Mon, 30 Sep 2024 09:32:54 +0200 (CEST)
Gwen Salaün <[email protected]> • #23049
PADL 2025: Second Call for Papers
Fri, 27 Sep 2024 19:39:52 +0000
Germán Vidal <[email protected]> • #23048
DEADLINE EXTENDED - Call for Papers: HC@AIxIA 2024 (co-located with AIxIA 2024)
Tue, 17 Sep 2024 18:58:18 +0200
Francesco Calimeri <[email protected]> • #23047
PriSC @ POPL'25: Call for Presentations
Mon, 16 Sep 2024 11:16:54 +0200
PriSC PC Chairs <[email protected]> • #23046
[TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
Wed, 04 Sep 2024 09:59:45 +0200
Peter Achten via Haskell <[email protected]> • #23045
HC@AIxIA 2024 CALL FOR PAPERS + AI&Health Seminar Series (2024) - SEPTEMBER 16
Tue, 3 Sep 2024 00:06:34 +0200
Francesco Calimeri <[email protected]> • #23044
PADL 2025: First Call for Papers
Mon, 2 Sep 2024 15:39:24 +0000
Germán Vidal via Haskell <[email protected]> • #23043
FSEN 2025 - Final Call for Papers
Mon, 2 Sep 2024 12:00:24 +0200
Petra van den Bos via Haskell <[email protected]> • #23042
PhD and Post-Doc Positions Available in PL
Thu, 29 Aug 2024 04:39:59 +0000
"Michael D. Adams" <[email protected]> • #23041
[CRISIS 2024 - Final Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems
Wed, 28 Aug 2024 08:00:59 +0000
Samir ouchani <[email protected]> • #23040
APLAS 2024 2nd Call for Participation
Mon, 26 Aug 2024 15:54:43 +0900
Mirai Ikebuchi <[email protected]> • #23039
2nd CFP - CPP 2025 - Certified Programs and Proofs
Wed, 21 Aug 2024 08:30:06 +0200
nicolas tabareau <[email protected]> • #23038
IFL 2024, final call for participation/registration
Fri, 16 Aug 2024 03:35:06 -0700
Mart Lubbers <[email protected]> • #23037
Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted
Thu, 15 Aug 2024 16:25:15 +0200
Andrei Chis <[email protected]> • #23036
APLAS 2024 Call for Participation
Wed, 14 Aug 2024 15:33:54 +0900
Mirai Ikebuchi <[email protected]> • #23035
IFL 2024 Final call for papers, extended submission deadline.
Mon, 5 Aug 2024 10:17:25 -0700
Mart Lubbers <[email protected]> • #23034
Call for Papers: Third AIxIA Workshop on Artificial Intelligence For Healthcare - HC@AIxIA 2024
Thu, 1 Aug 2024 11:57:34 +0200
Francesco Calimeri <[email protected]> • #23033
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.