gmane.comp.lang.haskell.general archive

383 archived articles, newest first (page 1 of 4). Latest articles →

ICFP'26 upcoming on August 24-29: register today!
Mon, 10 Aug 2026 18:01:39 -0400
ICFP Publicity via Haskell <[email protected]> • #23232
Richard Bird Distinguished Dissertation Award - Final Call for Nominations
Tue, 4 Aug 2026 06:55:34 +0000
"Graham Hutton (staff) via Haskell-Cafe" <[email protected]> • #23231
ICFP'26: Call for Participation and Early Registration Discount until July 25
Fri, 17 Jul 2026 10:52:35 -0400
ICFP Publicity via Haskell <[email protected]> • #23230
Haskell Interlude #84: Sylain Henry
Mon, 29 Jun 2026 11:25:37 +0200
Michael Sperber via Haskell <[email protected]> • #23229
[Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Mon, 29 Jun 2026 10:33:29 +0200
Antonio Ielo via clean-list <[email protected]> • #23228
ICFP 2026 Tutorials: Proposal Deadline on June 21!
Thu, 18 Jun 2026 09:39:11 -0400
ICFP Publicity via Haskell <[email protected]> • #23227
APLAS 2026 Call for Papers -- Deadline Extended (Wenjia Ye)
Wed, 10 Jun 2026 12:58:37 +0800
Wenjia <[email protected]> • #23226
Richard Bird Distinguished Dissertation Award - Call for Nominations
Mon, 1 Jun 2026 15:13:18 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23225
APLAS 2026 Call for Papers (Wenjia Ye)
Sat, 30 May 2026 19:06:31 +0800
Wenjia <[email protected]> • #23224
APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)
Sat, 30 May 2026 19:05:37 +0800
Wenjia <[email protected]> • #23223
WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
Fri, 29 May 2026 21:45:13 +0000
Voigtländer, Prof. Dr. Janis <[email protected]> • #23222
[CFP, Deadline Extension] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effect
Sat, 30 May 2026 02:16:50 +0900
Taro Sekiyama <[email protected]> • #23221
TyDe 2026: Second call for papers
Thu, 28 May 2026 13:23:06 +0000
Tom Schrijvers <[email protected]> • #23220
[2nd CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Mon, 25 May 2026 15:57:20 +0900
Taro Sekiyama <[email protected]> • #23219
IFL 2026 First call for papers
Wed, 20 May 2026 11:37:07 +0000
Mart Lubbers <[email protected]> • #23218
TyDe 2026: 1st Call for Papers
Wed, 13 May 2026 14:53:50 +0000
Tom Schrijvers <[email protected]> • #23217
[Haskell Symposium 2026] Call for Papers and Talks
Wed, 6 May 2026 19:11:24 -0300
Facundo Domínguez <[email protected]> • #23216
Journal of Functional Programming - Call for PhD Abstracts
Tue, 5 May 2026 09:35:58 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23215
Deadline extension for MSFP'26, Lisbon, July 18th
Fri, 1 May 2026 13:10:49 +0900
Marie Kerjean <[email protected]> • #23214
[EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26
Thu, 30 Apr 2026 17:14:52 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23213
[CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Wed, 29 Apr 2026 18:29:31 +0900
Taro Sekiyama <[email protected]> • #23212
Deadline extension: TERMGRAPH 2026 in FLoC
Mon, 27 Apr 2026 20:45:20 +0900
Koko Akazaki Muroya <[email protected]> • #23211
WPTE 2026: Second Call for Papers
Thu, 23 Apr 2026 09:35:10 +0000
Voigtländer, Prof. Dr. Janis <[email protected]> • #23210
Second CfP: TERMGRAPH 2026 in FLoC
Fri, 17 Apr 2026 16:59:28 +0900
Koko Akazaki Muroya <[email protected]> • #23209
[C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26
Wed, 8 Apr 2026 12:18:14 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23208
CfP: TERMGRAPH 2026 in FLoC
Tue, 31 Mar 2026 11:47:49 +0900
Koko Akazaki Muroya <[email protected]> • #23207
Midlands Graduate School, 13-17 April 2026, Nottingham UK
Wed, 25 Mar 2026 06:50:26 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23206
WPTE 2026: Call for Papers
Mon, 23 Mar 2026 12:51:25 +0000
Voigtländer, Prof. Dr. Janis <[email protected]> • #23205
AI for Math Summer Fellowship -- Copilots for Isabelle (Sheffield / Copenhagen / London): application deadline April 10
Sat, 21 Mar 2026 02:04:03 +0000
Andrei Popescu <[email protected]> • #23204
Midlands Graduate School, 13-17 April 2026, Nottingham
Tue, 17 Mar 2026 08:43:22 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23203
GPCE 2026: Final Call for Papers (extended deadline)
Thu, 5 Mar 2026 14:41:44 +0000
Thomas van Binsbergen via Haskell <[email protected]> • #23202
Extended Deadline – EXTRAAMAS 2026 Workshop @ AAMAS 2026
Thu, 26 Feb 2026 09:36:46 +0000
Pacioni Elia <[email protected]> • #23201
Midlands Graduate School, 13-17 April 2026, Nottingham, UK
Thu, 26 Feb 2026 09:17:16 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23200
Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)
Sun, 22 Feb 2026 17:54:37 +0100
Michael Sperber <[email protected]> • #23199
Call for Talks: Haskell Implementors' Workshop 2026
Thu, 19 Feb 2026 21:41:30 +0100
Christiaan Baaij <[email protected]> • #23198
CMCS 2026: Second Call for Papers and Deadline Extension
Thu, 29 Jan 2026 23:10:42 +0100
Thorsten Wissmann <[email protected]> • #23197
NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)
Mon, 26 Jan 2026 12:39:54 +0000
"Achim D. Brucker" <[email protected]> • #23196
[C.A.R.L.A. 2026 - Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 18, 2025
Wed, 14 Jan 2026 18:43:44 +0100
Manuel Alejandro Borroto Santana <[email protected]> • #23195
CMCS 2026: Call for Papers
Wed, 7 Jan 2026 15:36:42 +0100
Thorsten Wissmann <[email protected]> • #23194
The 8th International Workshop on EXplainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2026)
Wed, 7 Jan 2026 12:46:11 +0000
Pacioni Elia <[email protected]> • #23193
[TFP 2026] 1st Call for Participation for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-29 2026 - TFPiE Jan 26
Wed, 24 Dec 2025 16:32:36 +0100
Peter Achten via Haskell <[email protected]> • #23192
Call for Participation: BOB 2026 (Berlin, Mar 13)
Fri, 19 Dec 2025 14:40:11 +0100
Stefan Wehr <[email protected]> • #23191
TFPiE 2026, Call for Submissions
Mon, 15 Dec 2025 08:47:03 -0600
Mart Lubbers <[email protected]> • #23190
ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events
Tue, 9 Dec 2025 11:17:57 -0500
ICFP Publicity via Haskell <[email protected]> • #23189
Re: [Haskell-cafe] PhD studentships in Nottingham
Fri, 5 Dec 2025 15:58:16 +0000 (UTC)
Mark McConnell via Haskell <[email protected]> • #23188
PhD studentships in Nottingham
Fri, 5 Dec 2025 10:13:14 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23187
Final CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Mon, 01 Dec 2025 18:14:02 +0100
Michael Sperber <[email protected]> • #23186
Midlands Graduate School, Nottingham, UK, 13-17 April 2026
Mon, 1 Dec 2025 10:02:13 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23185
Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom
Wed, 26 Nov 2025 02:47:58 +0000
Andrei Popescu <[email protected]> • #23184
CfP: SLE 2026 - 19th ACM SIGPLAN International Conference on Software Language Engineering
Thu, 20 Nov 2025 10:35:12 +0100
Andrei Chis <[email protected]> • #23183
Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026
Tue, 18 Nov 2025 10:58:52 +0000
"Achim D. Brucker" <[email protected]> • #23182
ICFP 2026: Call for Papers
Tue, 11 Nov 2025 12:03:44 -0500
ICFP Publicity via Haskell <[email protected]> • #23181
JFP Special Issue on Program Calculation
Tue, 11 Nov 2025 09:20:44 +0000
"Graham Hutton (staff) via Haskell-Cafe" <[email protected]> • #23180
Re: GHC Steering Committee Call for Nominations
Fri, 7 Nov 2025 09:51:29 +0000
Simon Marlow <[email protected]> • #23179
Journal of Functional Programming - Call for PhD Abstracts
Thu, 6 Nov 2025 15:36:35 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #23178
LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom
Mon, 3 Nov 2025 02:45:47 +0000
Andrei Popescu <[email protected]> • #23177
Re: Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar: "Mathematics in the Age of AI" -- 6 November 2025, online via Zoom
Mon, 3 Nov 2025 01:56:23 +0000
Andrei Popescu <[email protected]> • #23176
[TFP 2026] 2nd Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-30 2026
Thu, 30 Oct 2025 10:19:38 +0100
Peter Achten via Haskell <[email protected]> • #23175
TFPiE 2026, second call for submissions
Mon, 27 Oct 2025 03:32:57 -0500
Mart Lubbers <[email protected]> • #23174
FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025
Fri, 24 Oct 2025 11:46:42 +0200
Claudio MENGHI <[email protected]> • #23173
2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Wed, 22 Oct 2025 15:18:52 +0200
Michael Sperber <[email protected]> • #23172
GHC Steering Committee Call for Nominations
Thu, 16 Oct 2025 15:04:14 +0100
Simon Marlow <[email protected]> • #23171
Re: Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom
Wed, 8 Oct 2025 19:32:23 +0100
Andrei Popescu <[email protected]> • #23170
Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom
Wed, 8 Oct 2025 03:22:17 +0100
Andrei Popescu <[email protected]> • #23169
Call for Papers: FormaliSE 2026 (submission deadline approaching)
Mon, 6 Oct 2025 14:53:36 +0200
Claudio MENGHI <[email protected]> • #23168
TFPIE 2026 - Call for Papers
Mon, 29 Sep 2025 02:47:14 -0500
Mart Lubbers <[email protected]> • #23167
[ANN] Announcing streamly-0.11.0 and streamly-core-0.3.0
Sun, 28 Sep 2025 14:41:06 +0530
Adithya Kumar <[email protected]> • #23166
[TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026
Mon, 22 Sep 2025 10:13:26 +0200
Peter Achten via Haskell <[email protected]> • #23165
Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems
Tue, 16 Sep 2025 17:04:21 +0900
Taro Sekiyama via Haskell <[email protected]> • #23164
Tenure-track Faculty Positions at the IMDEA Software Institute
Mon, 8 Sep 2025 21:39:54 +0200
Manuel Hermenegildo <[email protected]> • #23163
IFL2025 Call for Participation
Fri, 5 Sep 2025 05:53:14 -0700
Mart Lubbers <[email protected]> • #23162
Last CFP - CPP 2026 - Certified Programs and Proofs
Fri, 29 Aug 2025 10:10:23 +0200
nicolas tabareau <[email protected]> • #23161
Call for Papers: FORMALISE 2026
Fri, 29 Aug 2025 10:03:12 +0200
Claudio MENGHI <[email protected]> • #23160
DataMod 2025 - Final Call for Papers, Extended Deadline
Tue, 26 Aug 2025 12:45:33 +0100
Ouadie Khebbeb <[email protected]> • #23159
PEPM 2026 Call for Papers
Tue, 26 Aug 2025 18:14:21 +0900
Yukiyoshi Kameyama via Haskell <[email protected]> • #23158
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
Mon, 25 Aug 2025 09:43:58 +0200
Michael Sperber <[email protected]> • #23157
ICFP 2025 (Co-Located with SPLASH!): Call for Participation
Sun, 3 Aug 2025 10:14:10 -0400
ICFP Publicity via Haskell <[email protected]> • #23156
2nd CFP - CPP 2026 - Certified Programs and Proofs
Tue, 29 Jul 2025 09:27:40 +0200
nicolas tabareau <[email protected]> • #23155
[ICLP 2025 - Last Call for Participation] 41st International Conference on Logic Programming (I CLP’25) University of Calabria, Rende, Ita ly | September 12-19, 2025
Mon, 28 Jul 2025 15:47:05 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23154
[Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize
Mon, 28 Jul 2025 11:48:39 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23153
IFL 2025 - Call For Draft Papers (deadline extension)
Sun, 27 Jul 2025 10:57:09 -0400
Mart Lubbers <[email protected]> • #23152
Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026)
Thu, 24 Jul 2025 05:58:07 +0100
"Achim D. Brucker" <[email protected]> • #23151
[ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP ’25) University of Calabria, Rende, Italy | September 12-19, 2025
Fri, 18 Jul 2025 18:35:41 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23150
DataMod 2025 - First Call for Papers
Mon, 7 Jul 2025 15:41:28 +0200
Ouadie Khebbeb <[email protected]> • #23149
ICFP/SPLASH 2025: call for volunteers
Thu, 3 Jul 2025 09:14:58 -0400
ICFP Publicity via Haskell <[email protected]> • #23148
[AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence
Thu, 26 Jun 2025 17:16:37 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23147
ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE
Wed, 25 Jun 2025 15:22:17 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23146
1st CFP - CPP 2026 - Certified Programs and Proofs
Mon, 16 Jun 2025 18:09:53 +0200
nicolas tabareau <[email protected]> • #23145
DataMod 2025 - First Call for Papers
Mon, 16 Jun 2025 08:39:58 +0200
Ouadie Khebbeb <[email protected]> • #23144
CfP deadline ectended: Functional Art, Music, Modelling and Design (FARM, June 25)
Wed, 28 May 2025 15:39:37 +0200
Michael Sperber <[email protected]> • #23143
WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
Sun, 15 Jun 2025 09:00:58 +0000
Voigtländer, Prof. Dr. Janis <[email protected]> • #23142
IFL 2025, deadline extension
Fri, 13 Jun 2025 09:25:41 -0500
Mart Lubbers <[email protected]> • #23141
[ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
Wed, 11 Jun 2025 12:22:25 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23140
TyDe 2025 - deadline extension, remote presentations possible
Tue, 10 Jun 2025 14:17:12 +0000
Andras Kovacs <[email protected]> • #23139
[ICLP 2025 - Call for Student Grants] 41s t International Conference on Logic Programming (ICLP ’25), University of Calabria, Rende, Ita ly | September 12-19, 2025
Mon, 9 Jun 2025 19:46:26 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23138
IFl 2025, Second call for papers
Tue, 3 Jun 2025 09:35:53 +0000
Mart Lubbers <[email protected]> • #23137
TyDe 2025 - Final Call for Papers
Mon, 2 Jun 2025 21:02:20 +0000
Andras Kovacs <[email protected]> • #23136
Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming
Mon, 2 Jun 2025 15:55:03 +0000
"Michael D. Adams" <[email protected]> • #23135
[C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025
Sat, 31 May 2025 19:35:28 +0200
Manuel Alejandro Borroto Santana <[email protected]> • #23134
CALCO/MFPS 2025: Second Call for Participation
Fri, 30 May 2025 23:55:51 +0200
Thorsten Wissmann <[email protected]> • #23133
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.