haskell

[Haskell] [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, 08 Apr 2026 10:19:12 GMT

2026/04/08 -- Manuel Alejandro Borroto Santana

[Haskell] CfP: TERMGRAPH 2026 in FLoC

Tue, 31 Mar 2026 02:48:33 GMT

2026/03/31 -- Koko Akazaki Muroya

[Haskell] Midlands Graduate School, 13-17 April 2026, Nottingham UK

Wed, 25 Mar 2026 06:51:25 GMT

2026/03/25 -- Graham Hutton (staff) via Haskell

[Haskell] WPTE 2026: Call for Papers

Mon, 23 Mar 2026 12:51:58 GMT

2026/03/23 -- Voigtländer , Prof . Dr . Janis

[Haskell] Midlands Graduate School, 13-17 April 2026, Nottingham

Tue, 17 Mar 2026 08:44:10 GMT

2026/03/17 -- Graham Hutton (staff) via Haskell

[Haskell] GPCE 2026: Final Call for Papers (extended deadline)

Thu, 05 Mar 2026 14:42:15 GMT

2026/03/05 -- Thomas van Binsbergen via Haskell

[Haskell] Extended Deadline – EXTRAAMAS 2026 Workshop @ AAMAS 2026

Thu, 26 Feb 2026 09:37:24 GMT

2026/02/26 -- Pacioni Elia

[Haskell] Midlands Graduate School, 13-17 April 2026, Nottingham, UK

Thu, 26 Feb 2026 09:18:11 GMT

2026/02/26 -- Graham Hutton (staff) via Haskell

[Haskell] Call for Talks: Haskell Implementors' Workshop 2026

Thu, 19 Feb 2026 20:42:09 GMT

2026/02/19 -- Christiaan Baaij

[Haskell] CMCS 2026: Second Call for Papers and Deadline Extension

Thu, 29 Jan 2026 22:11:15 GMT

2026/01/29 -- Thorsten Wissmann

[Haskell] NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)

Mon, 26 Jan 2026 12:40:53 GMT

2026/01/26 -- Achim D. Brucker

[Haskell] [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 17:44:33 GMT

2026/01/14 -- Manuel Alejandro Borroto Santana

[Haskell] CMCS 2026: Call for Papers

Wed, 07 Jan 2026 14:37:14 GMT

2026/01/07 -- Thorsten Wissmann

[Haskell] The 8th International Workshop on EXplainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2026)

Wed, 07 Jan 2026 12:48:13 GMT

2026/01/07 -- Pacioni Elia

[Haskell] [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 15:33:12 GMT

2025/12/24 -- Peter Achten via Haskell

[Haskell] Call for Participation: BOB 2026 (Berlin, Mar 13)

Fri, 19 Dec 2025 13:41:13 GMT

2025/12/19 -- Stefan Wehr

[Haskell] TFPiE 2026, Call for Submissions

Mon, 15 Dec 2025 14:48:01 GMT

2025/12/15 -- Mart Lubbers

[Haskell] ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events

Tue, 09 Dec 2025 16:19:06 GMT

2025/12/09 -- ICFP Publicity via Haskell

[Haskell] Re: [Haskell-cafe] PhD studentships in Nottingham

Fri, 05 Dec 2025 15:58:48 GMT

2025/12/05 -- Mark McConnell via Haskell

[Haskell] PhD studentships in Nottingham

Fri, 05 Dec 2025 10:14:16 GMT

2025/12/05 -- Graham Hutton (staff) via Haskell

[Haskell] Midlands Graduate School, Nottingham, UK, 13-17 April 2026

Mon, 01 Dec 2025 10:03:21 GMT

2025/12/01 -- Graham Hutton (staff) via Haskell

[Haskell] Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom

Wed, 26 Nov 2025 02:49:04 GMT

2025/11/26 -- Andrei Popescu

[Haskell] CfP: SLE 2026 - 19th ACM SIGPLAN International Conference on Software Language Engineering

Thu, 20 Nov 2025 09:36:04 GMT

2025/11/20 -- Andrei Chis

[Haskell] Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026

Tue, 18 Nov 2025 10:59:56 GMT

2025/11/18 -- Achim D. Brucker

[Haskell] ICFP 2026: Call for Papers

Tue, 11 Nov 2025 17:04:36 GMT

2025/11/11 -- ICFP Publicity via Haskell

[Haskell] JFP Special Issue on Program Calculation

Tue, 11 Nov 2025 09:21:43 GMT

2025/11/11 -- Graham Hutton (staff) via Haskell

[Haskell] Re: GHC Steering Committee Call for Nominations

Fri, 07 Nov 2025 09:52:41 GMT

2025/11/07 -- Simon Marlow

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

Thu, 06 Nov 2025 15:37:36 GMT

2025/11/06 -- Graham Hutton (staff) via Haskell

[Haskell] LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom

Mon, 03 Nov 2025 02:46:48 GMT

2025/11/03 -- Andrei Popescu

[Haskell] 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, 03 Nov 2025 01:57:48 GMT

2025/11/03 -- Andrei Popescu

[Haskell] [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 09:20:14 GMT

2025/10/30 -- Peter Achten via Haskell

[Haskell] TFPiE 2026, second call for submissions

Mon, 27 Oct 2025 08:33:54 GMT

2025/10/27 -- Mart Lubbers

[Haskell] FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025

Fri, 24 Oct 2025 09:47:29 GMT

2025/10/24 -- Claudio MENGHI

[Haskell] Re: Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom

Fri, 17 Oct 2025 19:29:22 GMT

2025/10/17 -- Andrei Popescu

[Haskell] GHC Steering Committee Call for Nominations

Thu, 16 Oct 2025 14:05:43 GMT

2025/10/16 -- Simon Marlow

[Haskell] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom

Wed, 08 Oct 2025 02:46:49 GMT

2025/10/08 -- Andrei Popescu

[Haskell] Call for Papers: FormaliSE 2026 (submission deadline approaching)

Mon, 06 Oct 2025 13:31:47 GMT

2025/10/06 -- Claudio MENGHI

[Haskell] TFPIE 2026 - Call for Papers

Mon, 29 Sep 2025 07:48:32 GMT

2025/09/29 -- Mart Lubbers

[Haskell] [ANN] Announcing streamly-0.11.0 and streamly-core-0.3.0

Sun, 28 Sep 2025 09:18:20 GMT

2025/09/28 -- Adithya Kumar

[Haskell] [TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026

Mon, 22 Sep 2025 08:14:03 GMT

2025/09/22 -- Peter Achten via Haskell

[Haskell] Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems

Tue, 16 Sep 2025 08:05:22 GMT

2025/09/16 -- Taro Sekiyama via Haskell

[Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute

Mon, 08 Sep 2025 20:06:16 GMT

2025/09/08 -- Manuel Hermenegildo

[Haskell] IFL2025 Call for Participation

Fri, 05 Sep 2025 12:54:48 GMT

2025/09/05 -- Mart Lubbers

[Haskell] Call for Papers: FORMALISE 2026

Fri, 29 Aug 2025 08:04:09 GMT

2025/08/29 -- Claudio MENGHI

[Haskell] DataMod 2025 - Final Call for Papers, Extended Deadline

Tue, 26 Aug 2025 11:46:11 GMT

2025/08/26 -- Ouadie Khebbeb

[Haskell] PEPM 2026 Call for Papers

Tue, 26 Aug 2025 09:16:41 GMT

2025/08/26 -- Yukiyoshi Kameyama via Haskell

[Haskell] ICFP 2025 (Co-Located with SPLASH!): Call for Participation

Sun, 03 Aug 2025 14:14:46 GMT

2025/08/03 -- ICFP Publicity via Haskell

[Haskell] [ICLP 2025 - Last Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

Mon, 28 Jul 2025 13:47:43 GMT

2025/07/28 -- Manuel Alejandro Borroto Santana

[Haskell] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize

Mon, 28 Jul 2025 09:49:08 GMT

2025/07/28 -- Manuel Alejandro Borroto Santana

[Haskell] IFL 2025 - Call For Draft Papers (deadline extension)

Sun, 27 Jul 2025 14:57:32 GMT

2025/07/27 -- Mart Lubbers

[Haskell] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026)

Thu, 24 Jul 2025 04:58:46 GMT

2025/07/24 -- Achim D. Brucker

[Haskell] [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 16:36:18 GMT

2025/07/18 -- Manuel Alejandro Borroto Santana

[Haskell] DataMod 2025 - First Call for Papers

Mon, 07 Jul 2025 13:41:59 GMT

2025/07/07 -- Ouadie Khebbeb

[Haskell] ICFP/SPLASH 2025: call for volunteers

Thu, 03 Jul 2025 13:15:51 GMT

2025/07/03 -- ICFP Publicity via Haskell

[Haskell] [AI3 2025 - Final Call for Papers] DEADLINES EXTENSION 9th Workshop on Advances in Argumentation in Artificial Intelligence

Thu, 26 Jun 2025 15:17:15 GMT

2025/06/26 -- Manuel Alejandro Borroto Santana

[Haskell] ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

Wed, 25 Jun 2025 13:41:11 GMT

2025/06/25 -- Manuel Alejandro Borroto Santana

[Haskell] DataMod 2025 - First Call for Papers

Mon, 16 Jun 2025 06:40:34 GMT

2025/06/16 -- Ouadie Khebbeb

[Haskell] WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation

Sun, 15 Jun 2025 09:01:31 GMT

2025/06/15 -- Voigtländer , Prof . Dr . Janis

[Haskell] IFL 2025, deadline extension

Fri, 13 Jun 2025 14:26:35 GMT

2025/06/13 -- Mart Lubbers

[Haskell] [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 10:23:05 GMT

2025/06/11 -- Manuel Alejandro Borroto Santana

[Haskell] TyDe 2025 - deadline extension, remote presentations possible

Tue, 10 Jun 2025 14:37:07 GMT

2025/06/10 -- Andras Kovacs

[Haskell] [ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025

Mon, 09 Jun 2025 17:46:57 GMT

2025/06/09 -- Manuel Alejandro Borroto Santana

[Haskell] IFl 2025, Second call for papers

Tue, 03 Jun 2025 09:36:47 GMT

2025/06/03 -- Mart Lubbers

[Haskell] TyDe 2025 - Final Call for Papers

Mon, 02 Jun 2025 21:18:48 GMT

2025/06/02 -- Andras Kovacs

[Haskell] Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming

Mon, 02 Jun 2025 15:56:13 GMT

2025/06/02 -- Michael D. Adams

[Haskell] [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 17:46:05 GMT

2025/05/31 -- Manuel Alejandro Borroto Santana

[Haskell] CALCO/MFPS 2025: Second Call for Participation

Fri, 30 May 2025 21:56:31 GMT

2025/05/30 -- Thorsten Wissmann

[Haskell] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

Mon, 26 May 2025 02:03:16 GMT

2025/05/26 -- Taro Sekiyama

[Haskell] [ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025

Thu, 22 May 2025 09:31:01 GMT

2025/05/22 -- Manuel Alejandro Borroto Santana

[Haskell] ANN: PenroseKiteDart v1.3

Tue, 20 May 2025 16:32:15 GMT

2025/05/20 -- Chris Reade via Haskell

[Haskell] [AI3 2025 - Second Call for Papers] DATES UPDATE 9th Workshop on Advances in Argumentation in Artificial Intelligence

Tue, 20 May 2025 08:36:46 GMT

2025/05/20 -- Manuel Alejandro Borroto Santana

[Haskell] WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation

Sat, 10 May 2025 06:41:25 GMT

2025/05/10 -- Voigtländer , Prof . Dr . Janis

[Haskell] CALCO/MFPS 2025: Call for Participation

Fri, 09 May 2025 09:27:38 GMT

2025/05/09 -- Thorsten Wissmann

[Haskell] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering

Thu, 08 May 2025 12:48:21 GMT

2025/05/08 -- Andrei Chis

[Haskell] [AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence

Wed, 07 May 2025 21:34:31 GMT

2025/05/07 -- Manuel Alejandro Borroto Santana

[Haskell] TyDe 2025 - Second Call for Papers

Wed, 07 May 2025 13:11:24 GMT

2025/05/07 -- Andras Kovacs

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

Tue, 06 May 2025 08:05:02 GMT

2025/05/06 -- Graham Hutton via Haskell

[Haskell] [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, 02 May 2025 12:40:47 GMT

2025/05/02 -- Manuel Alejandro Borroto Santana

[Haskell] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

Tue, 29 Apr 2025 21:59:25 GMT

2025/04/29 -- Manuel Alejandro Borroto Santana

[Haskell] IFL 2025: First call for papers

Tue, 29 Apr 2025 09:06:58 GMT

2025/04/29 -- Mart Lubbers

[Haskell] WPTE 2025 - Second Call for Papers - Rewriting Techniques for Program Transformations and Evaluation

Fri, 25 Apr 2025 20:37:09 GMT

2025/04/25 -- Voigtländer , Prof . Dr . Janis

[Haskell] [CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

Tue, 22 Apr 2025 23:40:02 GMT

2025/04/22 -- Taro Sekiyama

[Haskell] TyDe 2025 - Call for Papers & Extended Abstracts

Fri, 11 Apr 2025 12:14:44 GMT

2025/04/11 -- Andras Kovacs

[Haskell] Extended deadline - CFP - Haskell Implementors' Workshop 2025

Mon, 07 Apr 2025 12:29:17 GMT

2025/04/07 -- Andreas Herrmann via Haskell

[Haskell] [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 09:18:55 GMT

2025/03/31 -- Manuel Alejandro Borroto Santana

Re: [Haskell] The main page of the Haskellwiki is not properly formatted

Sun, 30 Mar 2025 04:15:07 GMT

2025/03/30 -- davean

[Haskell] The main page of the Haskellwiki is not properly formatted

Sun, 30 Mar 2025 02:41:00 GMT

2025/03/30 -- X Y via Haskell

[Haskell] [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 10:36:11 GMT

2025/03/29 -- Manuel Alejandro Borroto Santana

[Haskell] Deadline extension (9 April): GPCE 2025

Fri, 28 Mar 2025 09:21:37 GMT

2025/03/28 -- Jeremy Yallop via Haskell

[Haskell] Deadline extension (9 April): GPCE 2025

Fri, 28 Mar 2025 09:09:13 GMT

2025/03/28 -- Jeremy Yallop via Haskell

Re: [Haskell] CFP - Haskell Implementors' Workshop 2025

Thu, 27 Mar 2025 10:15:20 GMT

2025/03/27 -- Andreas Herrmann via Haskell

[Haskell] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

Wed, 26 Mar 2025 09:31:59 GMT

2025/03/26 -- Manuel Alejandro Borroto Santana

[Haskell] WPTE 2025 - Call for Papers - Rewriting Techniques for Program Transformations and Evaluation

Tue, 25 Mar 2025 18:41:24 GMT

2025/03/25 -- Janis Voigtländer

[Haskell] CfP: GPCE 2025

Thu, 20 Mar 2025 15:06:22 GMT

2025/03/20 -- Jeremy Yallop via Haskell

[Haskell] Midlands Graduate School - final call for participation

Wed, 19 Mar 2025 21:59:09 GMT

2025/03/19 -- Graham Hutton via Haskell

[Haskell] CALCO 2025: Deadline Extension

Wed, 19 Mar 2025 21:41:16 GMT

2025/03/19 -- Thorsten Wissmann

[Haskell] MFPS 2025: Second Call for Papers

Wed, 19 Mar 2025 21:26:46 GMT

2025/03/19 -- Thorsten Wissmann

[Haskell] CALCO 2025: Final Call for Papers

Wed, 19 Mar 2025 21:25:59 GMT

2025/03/19 -- Thorsten Wissmann

[Haskell] Senior Research Associate in Programming Languages at Bristol

Wed, 19 Mar 2025 21:25:30 GMT

2025/03/19 -- Meng Wang via Haskell

[Haskell] CFP - Haskell Implementors' Workshop 2025

Wed, 19 Mar 2025 21:22:09 GMT

2025/03/19 -- Andreas Herrmann via Haskell

haskell

[Haskell] [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

[Haskell] CfP: TERMGRAPH 2026 in FLoC

[Haskell] Midlands Graduate School, 13-17 April 2026, Nottingham UK

[Haskell] WPTE 2026: Call for Papers

[Haskell] Midlands Graduate School, 13-17 April 2026, Nottingham

[Haskell] GPCE 2026: Final Call for Papers (extended deadline)

[Haskell] Extended Deadline – EXTRAAMAS 2026 Workshop @ AAMAS 2026

[Haskell] Midlands Graduate School, 13-17 April 2026, Nottingham, UK

[Haskell] Call for Talks: Haskell Implementors' Workshop 2026

[Haskell] CMCS 2026: Second Call for Papers and Deadline Extension

[Haskell] NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)

[Haskell] [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

[Haskell] CMCS 2026: Call for Papers

[Haskell] The 8th International Workshop on EXplainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2026)

[Haskell] [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

[Haskell] Call for Participation: BOB 2026 (Berlin, Mar 13)

[Haskell] TFPiE 2026, Call for Submissions

[Haskell] ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events

[Haskell] Re: [Haskell-cafe] PhD studentships in Nottingham

[Haskell] PhD studentships in Nottingham

[Haskell] Midlands Graduate School, Nottingham, UK, 13-17 April 2026

[Haskell] Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom

[Haskell] CfP: SLE 2026 - 19th ACM SIGPLAN International Conference on Software Language Engineering

[Haskell] Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026

[Haskell] ICFP 2026: Call for Papers

[Haskell] JFP Special Issue on Program Calculation

[Haskell] Re: GHC Steering Committee Call for Nominations

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

[Haskell] LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom

[Haskell] 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

[Haskell] [TFP 2026] 2nd Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-30 2026

[Haskell] TFPiE 2026, second call for submissions

[Haskell] FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025

[Haskell] Re: Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom

[Haskell] GHC Steering Committee Call for Nominations

[Haskell] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom

[Haskell] Call for Papers: FormaliSE 2026 (submission deadline approaching)

[Haskell] TFPIE 2026 - Call for Papers

[Haskell] [ANN] Announcing streamly-0.11.0 and streamly-core-0.3.0

[Haskell] [TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026

[Haskell] Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems

[Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute

[Haskell] IFL2025 Call for Participation

[Haskell] Call for Papers: FORMALISE 2026

[Haskell] DataMod 2025 - Final Call for Papers, Extended Deadline

[Haskell] PEPM 2026 Call for Papers

[Haskell] ICFP 2025 (Co-Located with SPLASH!): Call for Participation

[Haskell] [ICLP 2025 - Last Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[Haskell] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize

[Haskell] IFL 2025 - Call For Draft Papers (deadline extension)

[Haskell] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026)

[Haskell] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[Haskell] DataMod 2025 - First Call for Papers

[Haskell] ICFP/SPLASH 2025: call for volunteers

[Haskell] [AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence

[Haskell] ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE

[Haskell] DataMod 2025 - First Call for Papers

[Haskell] WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation

[Haskell] IFL 2025, deadline extension

[Haskell] [ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025

[Haskell] TyDe 2025 - deadline extension, remote presentations possible

[Haskell] [ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025

[Haskell] IFl 2025, Second call for papers

[Haskell] TyDe 2025 - Final Call for Papers

[Haskell] Postdoctoral Position Available in Programming Languages Working on Fixed-Point-Oriented Programming

[Haskell] [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

[Haskell] CALCO/MFPS 2025: Second Call for Participation

[Haskell] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects

[Haskell] [ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025

[Haskell] ANN: PenroseKiteDart v1.3

[Haskell] [AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence

[Haskell] WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation

[Haskell] CALCO/MFPS 2025: Call for Participation

[Haskell] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering

[Haskell] [AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence

[Haskell] TyDe 2025 - Second Call for Papers

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

[Haskell] [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

[Haskell] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025

[Haskell] [AI3 2025 - Final Call for Papers] DEADLINES EXTENSION 9th Workshop on Advances in Argumentation in Artificial Intelligence

[Haskell] [AI3 2025 - Second Call for Papers] DATES UPDATE 9th Workshop on Advances in Argumentation in Artificial Intelligence