gmane.comp.lang.caml.inria archive

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

Attn: Development Editor, Latest OCaml Weekly News
Tue, 03 Mar 2026 14:54:42 +0100
Alan Schmitt <[email protected]> • #70528
Nominations for Bill McCune PhD Award in Automated Reasoning 2026
Mon, 2 Mar 2026 12:21:06 -0500
[email protected] • #70527
FoPPS Summer School 2026, co-located with FLOC 2026 — First announcement
Mon, 2 Mar 2026 14:51:47 +0000
Bernardo Toninho <[email protected]> • #70526
First alpha release of OCaml 5.5.0
Fri, 27 Feb 2026 14:59:56 +0100 (CET)
Florian Angeletti <[email protected]> • #70525
International Workshop on Formal Requirements Engineering and Artificial Intelligence: Call for Papers
Wed, 25 Feb 2026 18:04:21 +0000
"Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC]" <[email protected]> • #70524
2nd Workshop on Machine Learning for Solvers and Provers
Wed, 25 Feb 2026 11:44:24 -0500
[email protected] • #70523
RExAI Call for Papers
Wed, 25 Feb 2026 14:05:35 +0000
Marie Farrell <[email protected]> • #70522
Attn: Development Editor, Latest OCaml Weekly News
Tue, 24 Feb 2026 14:36:57 +0100
Alan Schmitt <[email protected]> • #70521
Call for Participation: Functional and Logic Programming (FLOPS, May 26-28, Tsukuba)
Sun, 22 Feb 2026 17:54:37 +0100
Michael Sperber <[email protected]> • #70520
Symbolic Computation and Machine Learning - SCML 2026
Sun, 22 Feb 2026 07:46:13 -0500
[email protected] • #70519
CiE 2026: 2nd round of submissions CfP
Sat, 21 Feb 2026 18:20:01 +0100
[email protected] • #70518
Conservatory Digitization Project
Fri, 20 Feb 2026 14:25:18 -0800
Bailey Richards <[email protected]> • #70517
FLoC Workshops - All the Calls
Thu, 19 Feb 2026 12:37:58 -0500
[email protected] • #70516
ICE 2026: First Call for Papers
Tue, 17 Feb 2026 21:09:07 +0100
Violet Ka I Pun <[email protected]> • #70515
OCaml 5.4.1 and OCaml 4.14.3 released
Tue, 17 Feb 2026 17:10:44 +0100 (CET)
Florian Angeletti <[email protected]> • #70514
Re: OSEC-2026-01 in the OCaml runtime: Buffer Over-Read in OCaml Marshal Deserialization
Tue, 17 Feb 2026 15:33:42 +0100
Hannes Mehnert <[email protected]> • #70513
OSEC-2026-01 in the OCaml runtime: Buffer Over-Read in OCaml Marshal Deserialization
Tue, 17 Feb 2026 15:26:02 +0100
Hannes Mehnert <[email protected]> • #70512
Attn: Development Editor, Latest OCaml Weekly News
Tue, 17 Feb 2026 14:47:16 +0100
Alan Schmitt <[email protected]> • #70511
FTfJP CfP, deadline extended
Mon, 16 Feb 2026 19:49:27 +0000
Akos Hajdu <[email protected]> • #70510
Attn: Development Editor, Latest OCaml Weekly News
Tue, 10 Feb 2026 11:36:33 +0100
Alan Schmitt <[email protected]> • #70509
CfP: ISGAIE 2026|| Extended deadline Feb 20, 2026 || May 20 - 22, 2026 - Casablanca, Morocco
Tue, 3 Feb 2026 12:40:39 +0100
mohamed Lahby <[email protected]> • #70508
Attn: Development Editor, Latest OCaml Weekly News
Tue, 03 Feb 2026 11:04:52 +0100
Alan Schmitt <[email protected]> • #70507
CFP [Extended Deadline] - ISIoT’202 6 to February 8, 2026 (ENSA Fez, Morocco, May 14-15, 2026)
Mon, 2 Feb 2026 09:00:00 +0100
Mohammed FATTAH <[email protected]> • #70506
Re: Broken Link
Mon, 02 Feb 2026 12:00:32 +0100
Alan Schmitt <[email protected]> • #70505
(unknown)
Tue, 27 Jan 2026 21:20:02 +0100
Thomas Letan <[email protected]> • #70504
Attn: Development Editor, Latest OCaml Weekly News
Tue, 27 Jan 2026 13:41:48 +0100
Alan Schmitt <[email protected]> • #70503
CFP [Extended Deadline] - ISIoT’202 6 to February 8, 2026 (ENSA Fez, Morocco, May 14-15, 2026)
Tue, 27 Jan 2026 09:00:00 +0100
Mohammed FATTAH <[email protected]> • #70502
(unknown)
Mon, 26 Jan 2026 09:15:05 +0100
Thomas Letan <[email protected]> • #70501
Computability in Europe (CiE) 2026: Last Call for Papers
Mon, 26 Jan 2026 07:08:20 +0100
[email protected] • #70500
MFCS 2026 - First Call for Papers
Fri, 23 Jan 2026 16:22:22 +0100
Sarah Winter <[email protected]> • #70499
Call for Contributions: [CP@PLDI 2026] 2nd Workshop on Choreographic Programming
Wed, 21 Jan 2026 22:28:46 +0000
Dan Plyukhin <[email protected]> • #70498
CFP [Extended Deadline] - ISIoT’202 6 to February 8, 2026 (ENSA Fez, Morocco, May 14-15, 2026)
Wed, 21 Jan 2026 11:53:25 +0100
Mohammed FATTAH <[email protected]> • #70497
Vampire 2026 workshop at FLoC 2026
Tue, 20 Jan 2026 15:02:28 -0500
[email protected] • #70496
2nd CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9 –10, 2026, Torino, Italy
Tue, 20 Jan 2026 14:49:27 -0500
Clément Aubert <[email protected]> • #70495
Broken Link
Tue, 20 Jan 2026 17:20:29 +0100
Philip Kaludercic <[email protected]> • #70494
Attn: Development Editor, Latest OCaml Weekly News
Tue, 20 Jan 2026 10:19:13 +0100
Alan Schmitt <[email protected]> • #70493
FTfJP 2026 at ECOOP Call for Papers
Fri, 16 Jan 2026 13:19:52 +0000
Akos Hajdu <[email protected]> • #70492
Call For Papers: 6th Workshop on Program Equivalence and Relational Reasoning (PERR2026 @ CAV/FLOC)
Thu, 15 Jan 2026 14:09:37 +0000
"Milovancevic, Dragana" <[email protected]> • #70491
CFP --- International Conference on Graph Transformation (ICGT 2026)
Thu, 15 Jan 2026 09:42:48 +0000
Blair Archibald <[email protected]> • #70490
Attn: Development Editor, Latest OCaml Weekly News
Tue, 13 Jan 2026 09:27:22 +0100
Alan Schmitt <[email protected]> • #70489
OCaml Security Team 2025 End-Of-Year Report
Mon, 12 Jan 2026 12:20:17 +0100
Hannes Mehnert <[email protected]> • #70488
FSCD 2026: Second Call for Papers
Fri, 9 Jan 2026 15:40:40 +0000
Carsten Fuhs <[email protected]> • #70487
Attn: Development Editor, Latest OCaml Weekly News
Tue, 06 Jan 2026 14:14:55 +0100
Alan Schmitt <[email protected]> • #70486
Research positions in Theorem Proving in AI and Math
Mon, 5 Jan 2026 09:22:48 -0500
[email protected] • #70485
Computability in Europe CiE 2026: 2nd Call for Papers
Fri, 02 Jan 2026 17:54:04 +0100
[email protected] • #70484
Attn: Development Editor, Latest OCaml Weekly News
Tue, 30 Dec 2025 10:33:12 +0100
Alan Schmitt <[email protected]> • #70483
Invitation to work on projects
Sun, 28 Dec 2025 23:17:35 -0600
Kenneth Adam Miller <[email protected]> • #70482
[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:30:25 +0100
Peter Achten <[email protected]> • #70481
Attn: Development Editor, Latest OCaml Weekly News
Tue, 23 Dec 2025 12:00:45 +0100
Alan Schmitt <[email protected]> • #70480
Re: [ANN] Camp, the Caml Amp
Fri, 19 Dec 2025 08:57:30 +0100
Andreas Rossberg <[email protected]> • #70479
Re: [ANN] Camp, the Caml Amp
Wed, 17 Dec 2025 16:10:36 +0000
mukesh tiwari <[email protected]> • #70478
[ANN] Camp, the Caml Amp
Wed, 17 Dec 2025 15:02:26 +0100
Andreas Rossberg <[email protected]> • #70477
[ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS)
Mon, 15 Dec 2025 22:00:00 +0100
Mohammed FATTAH <[email protected]> • #70476
Attn: Development Editor, Latest OCaml Weekly News
Tue, 16 Dec 2025 14:30:53 +0100
Alan Schmitt <[email protected]> • #70475
TFPiE 2026, Call for Submissions
Mon, 15 Dec 2025 06:46:18 -0800
Mart Lubbers <[email protected]> • #70474
ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events
Tue, 9 Dec 2025 11:17:57 -0500
ICFP Publicity <[email protected]> • #70473
Attn: Development Editor, Latest OCaml Weekly News
Tue, 09 Dec 2025 16:04:51 +0100
Alan Schmitt <[email protected]> • #70472
POPL 2026 Second Call for Participation - Early registration: 12 December
Mon, 8 Dec 2025 11:11:44 -0500
Ningning Xie <[email protected]> • #70471
Attn: Development Editor, Latest OCaml Weekly News
Tue, 02 Dec 2025 11:39:05 +0100
Alan Schmitt <[email protected]> • #70470
Final CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Mon, 01 Dec 2025 18:14:02 +0100
Michael Sperber <[email protected]> • #70469
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]> • #70468
Attn: Development Editor, Latest OCaml Weekly News
Tue, 25 Nov 2025 14:49:27 +0100
Alan Schmitt <[email protected]> • #70467
Attn: Development Editor, Latest OCaml Weekly News
Tue, 18 Nov 2025 15:01:00 +0100
Alan Schmitt <[email protected]> • #70466
Computability in Europe - CiE 2026, July 27-31. First Call for Papers
Fri, 14 Nov 2025 07:36:58 +0100
[email protected] • #70465
ICFP 2026: Call for Papers
Tue, 11 Nov 2025 12:03:44 -0500
ICFP Publicity <[email protected]> • #70464
Attn: Development Editor, Latest OCaml Weekly News
Tue, 11 Nov 2025 10:49:48 +0100
Alan Schmitt <[email protected]> • #70463
PRIMA 2025 – PhD Day: Call for Submissions – FINAL CALL
Fri, 7 Nov 2025 09:16:49 +0100 (CET)
Vladana Perlić via clean-list <[email protected]> • #70462
FSCD 2026: First Call for Papers
Thu, 6 Nov 2025 17:39:35 +0000
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70461
Attn: Development Editor, Latest OCaml Weekly News
Tue, 04 Nov 2025 14:21:30 +0100
Alan Schmitt <[email protected]> • #70460
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]> • #70459
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]> • #70458
POPL 2026 Call for Participation - Early registration: 12 December
Fri, 31 Oct 2025 10:07:27 -0400
Ningning Xie <[email protected]> • #70457
[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:17:47 +0100
Peter Achten <[email protected]> • #70456
Fwd: [TYPES/announce] PLMW@POPL 26 Call for scholarship applications
Wed, 29 Oct 2025 13:45:23 -0300
Haniel Barbosa <hbarbosa-qr4C/[email protected]> • #70455
PLMW@POPL 26 Call for scholarship applications
Wed, 29 Oct 2025 12:40:49 -0400
Ningning Xie <[email protected]> • #70454
Attn: Development Editor, Latest OCaml Weekly News
Tue, 28 Oct 2025 14:30:45 +0100
Alan Schmitt <[email protected]> • #70453
TFPiE 2026, second call for submissions
Mon, 27 Oct 2025 03:32:43 -0500
Mart Lubbers <[email protected]> • #70452
2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Wed, 22 Oct 2025 15:18:52 +0200
Michael Sperber <[email protected]> • #70451
Attn: Development Editor, Latest OCaml Weekly News
Tue, 21 Oct 2025 11:17:47 +0200
Alan Schmitt <[email protected]> • #70450
PRIMA 2025 – PhD Day: Call for Submissions – Extended Abstracts
Tue, 21 Oct 2025 09:38:36 +0200 (CEST)
Vladana Perlic via clean-list <[email protected]> • #70449
POPL 2026 Call for Student Volunteers
Wed, 15 Oct 2025 05:40:35 +0800
Ningning Xie <[email protected]> • #70448
Attn: Development Editor, Latest OCaml Weekly News
Tue, 14 Oct 2025 11:56:44 +0200
Alan Schmitt <[email protected]> • #70447
OCaml 5.4.0 released
Thu, 9 Oct 2025 22:38:46 +0200 (CEST)
Florian Angeletti <[email protected]> • #70446
PEPM 2026: Second Call for Papers
Wed, 8 Oct 2025 15:23:24 -0400
Ningning Xie <[email protected]> • #70445
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]> • #70444
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]> • #70443
Attn: Development Editor, Latest OCaml Weekly News
Tue, 07 Oct 2025 14:22:48 +0200
Alan Schmitt <[email protected]> • #70442
First release candidate for OCaml 5.4.0
Tue, 30 Sep 2025 18:09:08 +0200
Florian Angeletti <[email protected]> • #70441
Attn: Development Editor, Latest OCaml Weekly News
Tue, 30 Sep 2025 15:12:09 +0200
Alan Schmitt <[email protected]> • #70440
TFPIE 2026 - Call for Papers
Mon, 29 Sep 2025 02:46:50 -0500
Mart Lubbers <[email protected]> • #70439
Attn: Development Editor, Latest OCaml Weekly News
Tue, 23 Sep 2025 15:23:59 +0200
Alan Schmitt <[email protected]> • #70438
[TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026
Mon, 22 Sep 2025 10:11:42 +0200
Peter Achten <[email protected]> • #70437
Postdoc positions at NII / ROIS Tokyo in formal verification of secure systems
Tue, 16 Sep 2025 16:36:45 +0900
Taro Sekiyama <[email protected]> • #70436
Attn: Development Editor, Latest OCaml Weekly News
Tue, 16 Sep 2025 13:52:54 +0200
Alan Schmitt <[email protected]> • #70435
Second beta release of OCaml 5.4.0
Thu, 11 Sep 2025 14:42:18 +0200 (CEST)
Florian Angeletti <[email protected]> • #70434
Attn: Development Editor, Latest OCaml Weekly News
Tue, 09 Sep 2025 14:30:46 +0200
Alan Schmitt <[email protected]> • #70433
IFL2025 Call for Participation
Fri, 5 Sep 2025 05:53:00 -0700
Mart Lubbers <[email protected]> • #70432
Haskell Symposium 2025 Call for Talks (deadline Sept 15th)
Tue, 2 Sep 2025 14:15:54 -0400
Ningning Xie <[email protected]> • #70431
Attn: Development Editor, Latest OCaml Weekly News
Tue, 02 Sep 2025 14:23:17 +0200
Alan Schmitt <[email protected]> • #70430
Last CFP - CPP 2026 - Certified Programs and Proofs
Fri, 29 Aug 2025 10:10:23 +0200
nicolas tabareau <[email protected]> • #70429
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.