gmane.comp.lang.caml.inria archive

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

Attn: Development Editor, Latest OCaml Weekly News
Tue, 11 Aug 2026 14:25:27 +0200
Alan Schmitt <[email protected]> • #70628
ICFP'26 upcoming on August 24-29: register today!
Mon, 10 Aug 2026 18:01:39 -0400
ICFP Publicity <[email protected]> • #70627
Tenure-track faculty position in Embedded and Distributed AI at Télécom Paris
Thu, 6 Aug 2026 14:29:05 +0200
Vadim Malvone <[email protected]> • #70626
JFLA2026 : Premier appel à communications
Wed, 5 Aug 2026 11:10:02 +0200
Yannick Zakowski <[email protected]> • #70625
LPAR-26: Call for Short Presentation Papers
Wed, 5 Aug 2026 04:32:09 -0400
[email protected] • #70624
[CFP] ICNC 2027 Call for Papers
Wed, 5 Aug 2026 03:22:57 -0500
Publicity Academic <[email protected]> • #70623
POPL 2027 Call For Tutorials
Tue, 4 Aug 2026 14:01:06 -0400
"Ningning Xie" ([email protected] via agda Mailing List) <[email protected]> • #70622
Attn: Development Editor, Latest OCaml Weekly News
Tue, 04 Aug 2026 09:44:24 +0200
Alan Schmitt <[email protected]> • #70621
CFP - 16th International Workshop on the Implementation of Logics (at LPAR-26)
Mon, 3 Aug 2026 07:06:26 -0400
[email protected] • #70620
Attn: Development Editor, Latest OCaml Weekly News
Tue, 28 Jul 2026 14:44:18 +0200
Alan Schmitt <[email protected]> • #70619
Attn: Development Editor, Latest OCaml Weekly News
Tue, 21 Jul 2026 18:02:49 +0200
Alan Schmitt <[email protected]> • #70618
ICFP'26: Call for Participation and Early Registration Discount until July 25
Fri, 17 Jul 2026 10:52:35 -0400
ICFP Publicity <[email protected]> • #70617
FSCD 2026: Free online participation, 20 - 23 July 2026
Thu, 16 Jul 2026 20:12:37 +0200
Carsten Fuhs <[email protected]> • #70616
Re: module dependency question
Thu, 16 Jul 2026 18:48:19 +0000
K <[email protected]> • #70615
Re: module dependency question
Thu, 16 Jul 2026 15:34:41 +0200
Florian Angeletti <[email protected]> • #70614
Re: module dependency question
Thu, 16 Jul 2026 15:19:42 +0000
K <[email protected]> • #70613
Re: module dependency question
Thu, 16 Jul 2026 15:07:24 +0200
Florian Angeletti <[email protected]> • #70612
module dependency question
Thu, 16 Jul 2026 14:53:20 +0000
K <[email protected]> • #70611
Attn: Development Editor, Latest OCaml Weekly News
Tue, 14 Jul 2026 09:16:04 +0200
Alan Schmitt <[email protected]> • #70610
ICALP 2027 Track B - First Call for Papers (First Round)
Mon, 13 Jul 2026 09:27:01 +0900
Ichiro Hasuo via hol-info <[email protected]> • #70609
POPL 2027 Last Call for Papers
Wed, 8 Jul 2026 10:43:26 -0400
Ningning Xie <[email protected]> • #70608
Attn: Development Editor, Latest OCaml Weekly News
Tue, 07 Jul 2026 15:29:00 +0200
Alan Schmitt <[email protected]> • #70607
Re: Modular explicits in pre-OCaml 5.5
Tue, 30 Jun 2026 17:00:41 +0200
Olivier Nicole <[email protected]> • #70606
Attn: Development Editor, Latest OCaml Weekly News
Tue, 30 Jun 2026 15:25:21 +0200
Alan Schmitt <[email protected]> • #70605
Re: Modular explicits in pre-OCaml 5.5
Thu, 25 Jun 2026 16:23:04 +0200
Samuel Vivien <[email protected]> • #70604
Re: Modular explicits in pre-OCaml 5.5
Thu, 25 Jun 2026 14:45:17 +0200
Olivier Nicole <[email protected]> • #70603
Modular explicits in pre-OCaml 5.5
Wed, 24 Jun 2026 13:16:24 +0900
[email protected] • #70602
Attn: Development Editor, Latest OCaml Weekly News
Tue, 23 Jun 2026 12:07:47 +0200
Alan Schmitt <[email protected]> • #70601
OCaml 5.5.0 released
Fri, 19 Jun 2026 23:36:26 +0200 (CEST)
Florian Angeletti <[email protected]> • #70600
ICFP 2026 Tutorials: Proposal Deadline on June 21!
Thu, 18 Jun 2026 09:39:11 -0400
ICFP Publicity <[email protected]> • #70599
Attn: Development Editor, Latest OCaml Weekly News
Tue, 16 Jun 2026 12:51:18 +0200
Alan Schmitt <[email protected]> • #70598
OCaml 4.14.4 released
Mon, 15 Jun 2026 21:47:58 +0200 (CEST)
Florian Angeletti <[email protected]> • #70597
VSTTE 2026: Second Call for Papers and WIP Presentations
Mon, 15 Jun 2026 01:47:07 +0000
Tan Yong Kiam <[email protected]> • #70596
First release candidate for OCaml 5.5.0
Thu, 11 Jun 2026 15:42:45 +0200 (CEST)
Florian Angeletti <[email protected]> • #70595
POPL 2027 Call for Workshops
Wed, 10 Jun 2026 16:13:19 -0400
Ningning Xie <[email protected]> • #70594
POPL 2027 Call for Papers
Wed, 10 Jun 2026 11:41:36 -0400
Ningning Xie <[email protected]> • #70593
APLAS 2026 Call for Papers -- Deadline Extended (Wenjia Ye)
Wed, 10 Jun 2026 12:59:13 +0800
Wenjia <[email protected]> • #70592
Attn: Development Editor, Latest OCaml Weekly News
Tue, 09 Jun 2026 09:39:09 +0200
Alan Schmitt <[email protected]> • #70591
Re: a simple example of compiler-libs.toplevel?
Fri, 5 Jun 2026 14:18:41 +0200
Florian Angeletti <[email protected]> • #70590
CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026
Fri, 5 Jun 2026 10:42:29 +0100
Carsten Fuhs <[email protected]> • #70589
Attn: Development Editor, Latest OCaml Weekly News
Tue, 02 Jun 2026 11:01:00 +0200
Alan Schmitt <[email protected]> • #70588
[CFP][FPW '26] Call for Talk Proposals at OCaml Workshop 2026
Mon, 1 Jun 2026 16:42:56 +0200
Sudha Parimala <[email protected]> • #70587
PERR 2026 @ CAV/FLOC: Call for Participation
Mon, 1 Jun 2026 08:44:46 +0000
"Milovancevic, Dragana" <[email protected]> • #70586
APLAS 2026 Call for Papers (Wenjia Ye)
Sat, 30 May 2026 19:11:55 +0800
Wenjia <[email protected]> • #70585
APLAS 2026 SRC and Posters: Call for Papers (Wenjia Ye)
Sat, 30 May 2026 19:09:14 +0800
Wenjia <[email protected]> • #70584
WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
Fri, 29 May 2026 22:10:34 +0100
Carsten Fuhs <[email protected]> • #70583
[CFP, Deadline Extension] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effect
Sat, 30 May 2026 02:15:29 +0900
Taro Sekiyama <[email protected]> • #70582
Summer School on Verification Technology, Systems & Applications
Thu, 28 May 2026 18:53:59 -0400
[email protected] • #70581
Workshop on Functional Art, Music, Modelling and Design (FARM): Call for Papers (Deadline June 1)
Wed, 27 May 2026 11:10:32 +0900
Michael Sperber <[email protected]> • #70580
Attn: Development Editor, Latest OCaml Weekly News
Tue, 26 May 2026 09:36:50 +0200
Alan Schmitt <[email protected]> • #70579
[2nd CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Mon, 25 May 2026 15:50:53 +0900
Taro Sekiyama <[email protected]> • #70578
2nd CFP - Express/SOS 2026 (@CONFEST)
Thu, 21 May 2026 08:03:22 +0000
Giorgio Bacci <grbacci-t5LvXY1cjzpaa/[email protected]> • #70577
International School on Rewriting -- 12 to 16 July 2026
Thu, 21 May 2026 16:32:51 +0200
Cynthia Kop <[email protected]> • #70576
Express/SOS 2026 - Second Call for Papers
Thu, 21 May 2026 12:45:40 +0300
Anna Philippou <[email protected]> • #70575
IFL 2026 First call for papers
Wed, 20 May 2026 04:36:52 -0700
Mart Lubbers <[email protected]> • #70574
Attn: Development Editor, Latest OCaml Weekly News
Tue, 19 May 2026 10:52:21 +0200
Alan Schmitt <[email protected]> • #70573
PLMW @ ICFP 2026: Funding Call
Tue, 19 May 2026 02:06:21 +0000
Conrad Watt <[email protected]> • #70572
LPAR-26 Call for Papers - The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Tue, 12 May 2026 16:11:09 -0400
[email protected] • #70571
Attn: Development Editor, Latest OCaml Weekly News
Tue, 12 May 2026 09:28:09 +0200
Alan Schmitt <[email protected]> • #70570
SAT/SMT/AR summer school: registration and financial support
Thu, 7 May 2026 11:06:54 -0400
[email protected] • #70569
[Deadline Extension] CfP: ACV Workshop at FLoC 2026
Thu, 7 May 2026 11:00:00 +0900
Ichiro Hasuo <[email protected]> • #70568
Attn: Development Editor, Latest OCaml Weekly News
Tue, 05 May 2026 11:35:53 +0200
Alan Schmitt <[email protected]> • #70567
Computability in Europe 2026: Call for informal presentations
Thu, 30 Apr 2026 14:50:16 +0200
[email protected] • #70566
LOPSTR+PPDP 2026: Call for Contributions
Wed, 29 Apr 2026 20:02:32 -0400
William Byrd <[email protected]> • #70565
RC 2026: Call for Participation
Wed, 29 Apr 2026 12:45:36 -0400
Clément Aubert <[email protected]> • #70564
[CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Wed, 29 Apr 2026 18:27:25 +0900
Taro Sekiyama <[email protected]> • #70563
Request to distribute: CFP: 1st International Workshop on Specification-Driven Development Lifecycle (SpecOps 2026) @ SPLASH/ISSTA 2026
Wed, 29 Apr 2026 04:29:53 +0000
Yangtian Zi <[email protected]> • #70562
Attn: Development Editor, Latest OCaml Weekly News
Tue, 28 Apr 2026 09:59:30 +0200
Alan Schmitt <[email protected]> • #70561
Deadline Extension: PERR2026 @ CAV/FLOC
Fri, 24 Apr 2026 12:05:42 +0000
"Milovancevic, Dragana" <[email protected]> • #70560
ETAPS 2027 CfP: ESOP
Fri, 24 Apr 2026 12:18:56 +0100
Azalea Raad <[email protected]> • #70559
Call for Presentations: ACV Workshop at FLoC 2026
Thu, 23 Apr 2026 23:30:10 +0900
Ichiro Hasuo <[email protected]> • #70558
WPTE 2026: Second Call for Papers
Wed, 22 Apr 2026 16:19:23 +0100
Carsten Fuhs <[email protected]> • #70557
ETAPS 2027 First Joint Call For Papers
Tue, 21 Apr 2026 11:21:24 +0000
Jan Kofron <[email protected]> • #70556
Attn: Development Editor, Latest OCaml Weekly News
Tue, 21 Apr 2026 11:34:20 +0200
Alan Schmitt <[email protected]> • #70555
MFCS 2026 - Last Call for Papers
Mon, 20 Apr 2026 17:25:55 +0200
Sarah Winter <[email protected]> • #70554
First beta release of OCaml 5.5.0
Mon, 20 Apr 2026 16:47:03 +0200 (CEST)
Florian Angeletti <[email protected]> • #70553
PAAR-2026: Deadline Extension
Mon, 20 Apr 2026 10:08:43 -0400
[email protected] • #70552
ARQNL 2026 - Call for Papers
Thu, 16 Apr 2026 13:21:53 -0400
[email protected] • #70551
Re: a simple example of compiler-libs.toplevel?
Wed, 15 Apr 2026 21:45:47 +0900
Kenichi Asai <[email protected]> • #70550
PERR2026 @ CAV/FLOC: Second Call For Papers
Wed, 15 Apr 2026 08:56:57 +0000
"Milovancevic, Dragana" <[email protected]> • #70549
Attn: Development Editor, Latest OCaml Weekly News
Tue, 14 Apr 2026 11:50:00 +0200
Alan Schmitt <[email protected]> • #70548
Machines, Computations and Universality - MCU 2026 - FIRST CALL FOR PAPERS
Mon, 13 Apr 2026 18:31:02 +0000
"Fernau, Henning, Univ.-Prof. Dr." <[email protected]> • #70547
Call for Papers - Express/SOS 2026
Fri, 10 Apr 2026 23:40:12 +0300
Anna Philippou <[email protected]> • #70546
ProoVer-2026: First Proof Verifier Competition
Wed, 8 Apr 2026 08:54:11 -0400
[email protected] • #70545
Attn: Development Editor, Latest OCaml Weekly News
Tue, 07 Apr 2026 11:32:27 +0200
Alan Schmitt <[email protected]> • #70544
Attn: Development Editor, Latest OCaml Weekly News
Tue, 31 Mar 2026 08:10:20 +0200
Alan Schmitt <[email protected]> • #70543
FSCD 2028: Call for Location
Mon, 30 Mar 2026 16:49:55 +0100
Carsten Fuhs <[email protected]> • #70542
Call for Submissions: ICFP 2026 Student Research Competition
Fri, 27 Mar 2026 01:46:34 -0600
Kimball Germane <[email protected]> • #70541
Third alpha release of OCaml 5.5.0
Thu, 26 Mar 2026 14:21:50 +0100 (CET)
Florian Angeletti <[email protected]> • #70540
LSFA 2026, deadline extension
Wed, 25 Mar 2026 12:53:48 +0000
Alexandre Madeira <[email protected]> • #70539
MFCS 2026 - Second Call for Papers
Wed, 25 Mar 2026 09:20:56 +0100
Sarah Winter <[email protected]> • #70538
ICE 2026: Second Call for Papers
Tue, 24 Mar 2026 20:04:17 +0100
Violet Ka I Pun <[email protected]> • #70537
Attn: Development Editor, Latest OCaml Weekly News
Tue, 24 Mar 2026 10:58:06 +0100
Alan Schmitt <[email protected]> • #70536
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]> • #70535
Attn: Development Editor, Latest OCaml Weekly News
Tue, 17 Mar 2026 15:39:05 +0100
Alan Schmitt <[email protected]> • #70534
Fwd: 2026 Alonzo Church Award, Call for Nominations
Tue, 17 Mar 2026 10:12:48 +0000
Marcelo Fiore <[email protected]> • #70533
WPTE 2026: Call for Papers
Sun, 15 Mar 2026 21:50:23 +0000
Carsten Fuhs <[email protected]> • #70532
FSCD workshops at FLoC
Fri, 13 Mar 2026 11:01:13 -0400
[email protected] • #70531
Attn: Development Editor, Latest OCaml Weekly News
Tue, 10 Mar 2026 14:30:12 +0100
Alan Schmitt <[email protected]> • #70530
[CFP] 17th Graph Computation Models Workshop - STAF 2026 - Deadline: 19 April
Thu, 5 Mar 2026 20:35:50 +0100
Stefania Dumbrava <[email protected]> • #70529
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.