gmane.comp.lang.caml.inria archive

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

Re: automatically resolving open?
Thu, 28 Aug 2025 14:21:14 +0900
Kenichi Asai <[email protected]> • #70428
Attn: Development Editor, Latest OCaml Weekly News
Tue, 26 Aug 2025 14:34:07 +0200
Alan Schmitt <[email protected]> • #70427
🚨 Call for Reviewers – International Symposium on Green Technologies and Applications (ISGTA 2025) 🌍
Tue, 26 Aug 2025 13:17:14 +0100
mohamed Lahby <[email protected]> • #70426
DataMod 2025 - Final Call for Papers, Extended Deadline
Tue, 26 Aug 2025 13:09:29 +0100
Ouadie Khebbeb <[email protected]> • #70425
PEPM 2026 Call for Papers
Tue, 26 Aug 2025 18:15:38 +0900
Yukiyoshi Kameyama <[email protected]> • #70424
CfP: Symposium on Functional and Logic Programming (May 26-28, Akita, Japan)
Mon, 25 Aug 2025 09:43:58 +0200
Michael Sperber <[email protected]> • #70423
Attn: Development Editor, Latest OCaml Weekly News
Tue, 19 Aug 2025 14:20:46 +0200
Alan Schmitt <[email protected]> • #70422
Connecting extracted OCaml code from Rocq to zarith library
Mon, 18 Aug 2025 10:07:35 +0100
mukesh tiwari <[email protected]> • #70421
PSSL111 - Second Announcement
Sun, 17 Aug 2025 21:45:48 +0100
Matteo Capucci <[email protected]> • #70420
Re: utop execution of multiple OCaml files
Sun, 17 Aug 2025 20:20:36 +0900
Kenichi Asai <[email protected]> • #70419
Re: utop execution of multiple OCaml files
Fri, 15 Aug 2025 12:37:52 +0100
Kate <[email protected]> • #70418
utop execution of multiple OCaml files
Fri, 15 Aug 2025 09:50:29 +0900
Kenichi Asai <[email protected]> • #70417
Attn: Development Editor, Latest OCaml Weekly News
Tue, 12 Aug 2025 17:32:34 +0200
Alan Schmitt <[email protected]> • #70416
POPL 2026 Call For Tutorials
Wed, 6 Aug 2025 14:12:45 -0400
Ningning Xie <[email protected]> • #70415
Attn: Development Editor, Latest OCaml Weekly News
Tue, 05 Aug 2025 10:17:55 +0200
Alan Schmitt <[email protected]> • #70414
ICFP 2025 (Co-Located with SPLASH!): Call for Participation
Sun, 3 Aug 2025 10:14:10 -0400
ICFP Publicity <[email protected]> • #70413
2nd CFP - CPP 2026 - Certified Programs and Proofs
Tue, 29 Jul 2025 09:27:40 +0200
nicolas tabareau <[email protected]> • #70412
Attn: Development Editor, Latest OCaml Weekly News
Tue, 29 Jul 2025 11:36:26 +0200
Alan Schmitt <[email protected]> • #70411
IFL 2025 - Call For Draft Papers (deadline extension)
Sun, 27 Jul 2025 09:56:55 -0500
Mart Lubbers <[email protected]> • #70410
First beta release of OCaml 5.4.0
Fri, 25 Jul 2025 11:09:11 +0200 (CEST)
Florian Angeletti <[email protected]> • #70409
Attn: Development Editor, Latest OCaml Weekly News
Tue, 22 Jul 2025 14:07:59 +0200
Alan Schmitt <[email protected]> • #70408
DEADLINE EXTENDED: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)
Wed, 16 Jul 2025 09:57:23 +0200 (CEST)
Vladana Perlic via clean-list <[email protected]> • #70407
Attn: Development Editor, Latest OCaml Weekly News
Tue, 15 Jul 2025 19:14:45 +0200
Alan Schmitt <[email protected]> • #70406
FSCD 2025: Free online participation, 15 - 18 July 2025
Wed, 9 Jul 2025 21:32:57 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70405
OCAML'25: Extended Deadline for The OCaml Users and Developers Workshop
Tue, 08 Jul 2025 18:10:51 +0000
"Kiran (She/Her)" <[email protected]> • #70404
Attn: Development Editor, Latest OCaml Weekly News
Tue, 08 Jul 2025 14:45:36 +0200
Alan Schmitt <[email protected]> • #70403
POPL 2026 Last Call for Papers
Fri, 4 Jul 2025 22:12:08 -0400
Ningning Xie <[email protected]> • #70402
Attn: Development Editor, Latest OCaml Weekly News
Tue, 01 Jul 2025 13:16:52 +0200
Alan Schmitt <[email protected]> • #70401
Springer || SCOPUS || Call for Papers – 5th ICMMCS 2026 | Berlin, Germany | March 4–5, 2026
Wed, 25 Jun 2025 19:47:44 +0530
souvik pal <[email protected]> • #70400
Attn: Development Editor, Latest OCaml Weekly News
Tue, 24 Jun 2025 16:02:34 +0200
Alan Schmitt <[email protected]> • #70399
Next-Generation Models for Generative AI
Mon, 23 Jun 2025 22:07:06 -0700
[email protected] • #70398
POPL 2026 Call for Papers
Mon, 23 Jun 2025 21:53:58 -0400
Ningning Xie <[email protected]> • #70397
POPL 2026 Call for Workshops
Mon, 23 Jun 2025 21:34:13 -0400
Ningning Xie <[email protected]> • #70396
DataMod 2025 - First Call for Papers
Tue, 17 Jun 2025 15:19:15 +0200
Ouadie Khebbeb <[email protected]> • #70395
Attn: Development Editor, Latest OCaml Weekly News
Tue, 17 Jun 2025 08:44:35 +0200
Alan Schmitt <[email protected]> • #70394
1st CFP - CPP 2026 - Certified Programs and Proofs
Mon, 16 Jun 2025 18:09:53 +0200
nicolas tabareau <[email protected]> • #70393
Meeting IFIP WG 1.6 on Rewriting: Call for Participation (early registration by *15 June 2025*)
Fri, 13 Jun 2025 16:09:41 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70392
CfP deadline ectended: Functional Art, Music, Modelling and Design (FARM, June 25)
Wed, 28 May 2025 15:39:37 +0200
Michael Sperber <[email protected]> • #70391
IFL 2025, deadline extension
Fri, 13 Jun 2025 07:25:28 -0700
Mart Lubbers <[email protected]> • #70390
Attn: Development Editor, Latest OCaml Weekly News
Tue, 10 Jun 2025 15:36:40 +0200
Alan Schmitt <[email protected]> • #70389
[CFP] OCAML'25: The OCaml Users and Developers Workshop
Mon, 09 Jun 2025 16:19:29 +0000
"Kiran (She/Her)" <[email protected]> • #70388
FSCD 2025: Second Call for Participation (student fee waivers - apply by *9 June 2025*)
Wed, 4 Jun 2025 23:29:03 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70387
[CFP] APLAS 2025, extended submission deadline
Thu, 5 Jun 2025 17:00:56 +0900
Oleg <[email protected]> • #70386
Re: Warning 69 (unused record fields) and polymorphic reads
Wed, 4 Jun 2025 11:15:26 +0200
Andreas Rossberg <[email protected]> • #70385
IFl 2025, Second call for papers
Tue, 3 Jun 2025 02:35:14 -0700
Mart Lubbers <[email protected]> • #70384
Re: Warning 69 (unused record fields) and polymorphic reads
Tue, 3 Jun 2025 11:23:08 +0200
Florian Angeletti <[email protected]> • #70383
Attn: Development Editor, Latest OCaml Weekly News
Tue, 03 Jun 2025 11:19:55 +0200
Alan Schmitt <[email protected]> • #70382
Warning 69 (unused record fields) and polymorphic reads
Tue, 3 Jun 2025 11:11:49 +0200
Andreas Rossberg <[email protected]> • #70381
EXPRESS/SOS@CONFEST2025 - Last Call for papers
Mon, 2 Jun 2025 21:42:52 +0200
Cinzia Di Giusto <[email protected]> • #70380
CfP/Deadline extension: Functional Programming for Productivity and Performance (FProPer)
Fri, 30 May 2025 16:28:56 +0200
Michael Sperber <[email protected]> • #70379
Haskell Symposium 2025 Call for Papers (deadline June 9 AOE)
Thu, 29 May 2025 16:34:38 -0400
Ningning Xie <[email protected]> • #70378
CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025
Wed, 28 May 2025 09:39:55 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70377
First alpha release of OCaml 5.4.0
Tue, 27 May 2025 14:38:31 +0200 (CEST)
Florian Angeletti <[email protected]> • #70376
CfP: Functional Art, Music, Modelling and Design (FARM, Deadline June 13)
Tue, 27 May 2025 14:20:43 +0200
Michael Sperber <[email protected]> • #70375
Attn: Development Editor, Latest OCaml Weekly News
Tue, 27 May 2025 11:22:17 +0200
Alan Schmitt <[email protected]> • #70374
[2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Mon, 26 May 2025 11:01:37 +0900
Taro Sekiyama <[email protected]> • #70373
Attn: Development Editor, Latest OCaml Weekly News
Tue, 20 May 2025 13:52:31 +0200
Alan Schmitt <[email protected]> • #70372
FSCD 2025: Call for Participation (early registration deadline: *15 June 2025*)
Mon, 19 May 2025 14:13:25 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70371
2nd CfP: Functional Software Architecture (FUNARCH, Deadline June 16)
Sun, 18 May 2025 10:49:04 +0200
Michael Sperber <[email protected]> • #70370
2nd CfP: Functional Programming for Productivity and Performance (FProPer)
Fri, 16 May 2025 12:57:17 +0200
Michael Sperber <[email protected]> • #70369
DisCoTec Call for Participation - Early Registration Deadline Soon
Thu, 15 May 2025 10:14:54 +0000
"Matthew Alan Le Brun (PGR)" <[email protected]> • #70368
Attn: Development Editor, Latest OCaml Weekly News
Tue, 13 May 2025 11:40:15 +0200
Alan Schmitt <[email protected]> • #70367
EXPRESS/SOS@CONFEST2025 - Call for papers
Tue, 13 May 2025 10:01:05 +0200
Cinzia Di Giusto <[email protected]> • #70366
LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26)
Wed, 7 May 2025 23:02:59 +0200
Christophe Ringeissen <christophe.ringeissen-/[email protected]> • #70365
OCAML'25: The OCaml Users and Developers Workshop - Second Call for Papers
Wed, 07 May 2025 15:10:27 +0000
"Kiran (She/Her)" <[email protected]> • #70364
Re: ANN: (BER) MetaOCaml N153, for OCaml 5.3.0
Wed, 7 May 2025 07:16:01 +0000
Jeremy Yallop <[email protected]> • #70363
Attn: Development Editor, Latest OCaml Weekly News
Tue, 06 May 2025 09:24:13 +0200
Alan Schmitt <[email protected]> • #70362
ANN: (BER) MetaOCaml N153, for OCaml 5.3.0
Tue, 6 May 2025 15:49:35 +0900
Oleg <[email protected]> • #70361
Haskell Symposium 2025 Second Call for Papers
Fri, 2 May 2025 11:38:54 -0400
Ningning Xie <[email protected]> • #70360
FTfJP 2025 - 4th Call for Papers
Thu, 1 May 2025 19:59:22 +0000
Crystal Chang Din <[email protected]> • #70359
IFL 2025: First call for papers
Tue, 29 Apr 2025 02:05:35 -0700
Mart Lubbers <[email protected]> • #70358
Attn: Development Editor, Latest OCaml Weekly News
Tue, 29 Apr 2025 10:39:48 +0200
Alan Schmitt <[email protected]> • #70357
Re: automatically resolving open?
Thu, 24 Apr 2025 15:44:01 +0200
Ulysse Gérard <[email protected]> • #70356
Re: automatically resolving open?
Thu, 24 Apr 2025 22:06:54 +0900
Kenichi Asai <[email protected]> • #70355
Re: automatically resolving open?
Thu, 24 Apr 2025 11:16:36 +0200
Ulysse Gérard <[email protected]> • #70354
automatically resolving open?
Thu, 24 Apr 2025 08:39:23 +0200 (GMT+02:00)
Virgile Prevosto <[email protected]> • #70353
Re: automatically resolving open?
Thu, 24 Apr 2025 13:33:45 +0900
Oleg <[email protected]> • #70352
Re: automatically resolving open?
Wed, 23 Apr 2025 15:33:42 +0000
Jeremy Yallop <[email protected]> • #70351
Re: automatically resolving open?
Wed, 23 Apr 2025 10:45:46 -0400
Ivan Gotovchits <[email protected]> • #70350
Re: automatically resolving open?
Wed, 23 Apr 2025 14:38:02 +0000
BOBOT François <[email protected]> • #70349
Re: automatically resolving open?
Wed, 23 Apr 2025 16:32:08 +0200
Francois Pottier <[email protected]> • #70348
automatically resolving open?
Wed, 23 Apr 2025 23:10:38 +0900
Kenichi Asai <[email protected]> • #70347
[CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Wed, 23 Apr 2025 08:37:12 +0900
Taro Sekiyama <[email protected]> • #70346
Attn: Development Editor, Latest OCaml Weekly News
Tue, 22 Apr 2025 13:50:16 +0200
Alan Schmitt <[email protected]> • #70345
New postdoc position in the Frama-C team, Paris-Saclay, France
Tue, 22 Apr 2025 08:55:24 +0200
Julien Signoles <[email protected]> • #70344
Open PhD position in the Frama-C team, Paris-Saclay, France
Tue, 22 Apr 2025 08:54:53 +0200
Julien Signoles <[email protected]> • #70343
DisCoTec 2025 Call for Participation
Thu, 17 Apr 2025 18:07:40 +0000
"Matthew Alan Le Brun (PGR)" <[email protected]> • #70342
Attn: Development Editor, Latest OCaml Weekly News
Tue, 15 Apr 2025 11:51:33 +0200
Alan Schmitt <[email protected]> • #70341
FTfJP 2025 - Last CfP (extended deadline)
Mon, 14 Apr 2025 16:06:30 +0000
Crystal Chang Din <[email protected]> • #70340
Call for Papers: Functional Programming for Productivity and Performance (FProPer)
Fri, 11 Apr 2025 15:56:28 +0200
Michael Sperber <[email protected]> • #70339
FTfJP 2025 - Second Call for Papers
Wed, 9 Apr 2025 10:22:41 +0000
Crystal Chang Din <[email protected]> • #70338
Attn: Development Editor, Latest OCaml Weekly News
Tue, 08 Apr 2025 15:14:17 +0200
Alan Schmitt <[email protected]> • #70337
Re: Separate compilation
Mon, 07 Apr 2025 22:55:33 +0100
Edwin Török <[email protected]> • #70336
Separate compilation
Sat, 5 Apr 2025 13:26:53 +0900
Oleg <[email protected]> • #70335
FSCD 2027: Call for Location
Thu, 3 Apr 2025 14:28:43 +0100
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70334
Attn: Development Editor, Latest OCaml Weekly News
Tue, 01 Apr 2025 11:12:34 +0200
Alan Schmitt <[email protected]> • #70333
[ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris
Fri, 28 Mar 2025 16:31:23 +0100
Francois Pottier <[email protected]> • #70332
Haskell Symposium 2025 First Call for Papers
Thu, 27 Mar 2025 12:09:37 -0400
Ningning Xie <[email protected]> • #70331
Call for Papers, Functional Software Architecture (Deadline June 16)
Tue, 25 Mar 2025 20:22:00 +0100
Michael Sperber <[email protected]> • #70330
Call for Participation, Functional Software Architecture (Oct. 17th, Singapore)
Tue, 25 Mar 2025 20:14:40 +0100
Michael Sperber <[email protected]> • #70329
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.