gmane.comp.lang.caml.inria archive

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

Attn: Development Editor, Latest OCaml Weekly News
Tue, 25 Mar 2025 09:06:27 +0100
Alan Schmitt <[email protected]> • #70328
[CFP] OCAML'25: The OCaml Users and Developers Workshop
Tue, 25 Mar 2025 01:42:56 +0000
"Kiran (She/Her)" <[email protected]> • #70327
Re: 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI
Wed, 19 Mar 2025 19:49:04 +0900
Saburou Saitoh <[email protected]> • #70326
2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI
Tue, 18 Mar 2025 14:13:52 +0100
"giovanni.casini via hol-info" <[email protected]> • #70325
Midlands Graduate School 2025 final call -- registration closes on 24 March
Tue, 18 Mar 2025 20:04:39 +0000
Andrei Popescu <[email protected]> • #70324
ICE 2025: Second Call for Papers
Tue, 18 Mar 2025 11:03:48 -0400
Clément Aubert <[email protected]> • #70323
Attn: Development Editor, Latest OCaml Weekly News
Tue, 18 Mar 2025 11:18:52 +0100
Alan Schmitt <[email protected]> • #70322
Postdoc position in formal verification of multi-agent systems
Thu, 13 Mar 2025 14:51:51 +0100
Vadim Malvone <[email protected]> • #70321
Attn: Development Editor, Latest OCaml Weekly News
Tue, 11 Mar 2025 16:00:31 +0100
Alan Schmitt <[email protected]> • #70320
Call for Participation to French Spring School on TCS -- 19-23 may in Aussois (French Alps)
Tue, 04 Mar 2025 16:34:02 +0100
Alexis Saurin <[email protected]> • #70319
Attn: Development Editor, Latest OCaml Weekly News
Tue, 04 Mar 2025 15:01:43 +0100
Alan Schmitt <[email protected]> • #70318
do-while loops have always been in OCaml
Thu, 27 Feb 2025 20:59:28 +0900
Oleg <[email protected]> • #70317
[ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’ 25) University of Calabria, Rende, Italy | September 12-19, 2025
Wed, 26 Feb 2025 11:23:16 +0100
Manuel Alejandro Borroto Santana <[email protected]> • #70316
Attn: Development Editor, Latest OCaml Weekly News
Tue, 25 Feb 2025 11:36:13 +0100
Alan Schmitt <[email protected]> • #70315
ICE 2025: First Call for Papers
Wed, 19 Feb 2025 09:35:08 -0500
Clément Aubert <[email protected]> • #70314
15th MirageOS retreat upcoming
Wed, 19 Feb 2025 13:03:26 +0100
Hannes Mehnert <[email protected]> • #70313
Attn: Development Editor, Latest OCaml Weekly News
Tue, 18 Feb 2025 15:33:17 +0100
Alan Schmitt <[email protected]> • #70312
Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield
Tue, 18 Feb 2025 10:30:48 +0000
Andrei Popescu <[email protected]> • #70311
Postdoc position in formal verification of multi-agent systems
Mon, 17 Feb 2025 12:30:29 +0100
Vadim Malvone via clean-list <[email protected]> • #70310
OCaml language committee launched
Fri, 14 Feb 2025 13:57:59 +0100
Florian Angeletti <[email protected]> • #70309
FSCD 2025: Extended deadline (Abstract: February 17/ Submission: February 22)
Wed, 12 Feb 2025 13:17:53 +0000
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70308
Attn: Development Editor, Latest OCaml Weekly News
Tue, 11 Feb 2025 08:17:52 +0100
Alan Schmitt <[email protected]> • #70307
[Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
Sat, 8 Feb 2025 12:53:24 +0100
Manuel Alejandro Borroto Santana <[email protected]> • #70306
COORDINATION 2025: 2nd CfP and deadline extension
Thu, 6 Feb 2025 17:07:48 +0000
Antonio Ravara <[email protected]> • #70305
[CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February
Wed, 5 Feb 2025 18:26:28 -0000
[email protected] • #70304
DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques
Tue, 4 Feb 2025 15:24:14 +0100
Bas van den Heuvel <[email protected]> • #70303
Attn: Development Editor, Latest OCaml Weekly News
Tue, 04 Feb 2025 13:05:29 +0100
Alan Schmitt <[email protected]> • #70302
Midlands Graduate School 2025 hosted by the University of Sheffield
Mon, 3 Feb 2025 14:37:28 +0000
Andrei Popescu <[email protected]> • #70301
1st Call for Papers COORDINATION 2025
Wed, 29 Jan 2025 12:15:13 +0100
Cinzia Di Giusto <[email protected]> • #70300
Attn: Development Editor, Latest OCaml Weekly News
Tue, 28 Jan 2025 14:24:23 +0100
Alan Schmitt <[email protected]> • #70299
CGO 25 - Call for Participation - Early Registration
Mon, 27 Jan 2025 10:51:52 +0000
Luisa Cicolini <[email protected]> • #70298
Last Call for ECOOP 2025 Workshop Proposals
Thu, 23 Jan 2025 10:17:39 -0500
Clément Aubert <[email protected]> • #70297
Attn: Development Editor, Latest OCaml Weekly News
Tue, 21 Jan 2025 16:47:26 +0100
Alan Schmitt <[email protected]> • #70296
New PhD position in the Frama-C team, Paris-Saclay, France
Thu, 16 Jan 2025 09:34:58 +0100
Julien Signoles <[email protected]> • #70295
New postdoc position in the Frama-C team, Paris-Saclay, France
Thu, 16 Jan 2025 09:34:28 +0100
Julien Signoles <[email protected]> • #70294
DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques
Wed, 15 Jan 2025 13:23:11 +0100
Bas van den Heuvel <[email protected]> • #70293
Attn: Development Editor, Latest OCaml Weekly News
Tue, 14 Jan 2025 09:20:49 +0100
Alan Schmitt <[email protected]> • #70292
ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16
Fri, 10 Jan 2025 10:42:54 -0500
ICFP Publicity <[email protected]> • #70291
OCaml 5.3.0 released
Wed, 8 Jan 2025 23:22:41 +0100 (CET)
Florian Angeletti <[email protected]> • #70290
Attn: Development Editor, Latest OCaml Weekly News
Tue, 07 Jan 2025 18:26:50 +0100
Alan Schmitt <[email protected]> • #70289
POPL 2025 Call for Participation (January 19-25, Denver, Colorado)
Tue, 7 Jan 2025 11:21:48 -0500
Ningning Xie <[email protected]> • #70288
CGO'25 - early bird registration and student research competition
Tue, 7 Jan 2025 07:54:55 +0000
Luisa Cicolini <[email protected]> • #70287
Attn: Development Editor, Latest OCaml Weekly News
Tue, 31 Dec 2024 09:03:48 +0100
Alan Schmitt <[email protected]> • #70286
Unknown backend: llvm
Sat, 28 Dec 2024 22:38:57 -0600
Kenneth Adam Miller <[email protected]> • #70285
Re: Fatal error: algorithm file not found
Sat, 28 Dec 2024 18:49:20 -0600
Kenneth Adam Miller <[email protected]> • #70284
Re: Fatal error: algorithm file not found
Sat, 28 Dec 2024 18:22:04 -0600
Kenneth Adam Miller <[email protected]> • #70283
Fatal error: algorithm file not found
Sat, 28 Dec 2024 18:18:54 -0600
Kenneth Adam Miller <[email protected]> • #70282
Emacs syntax highlighting
Sat, 28 Dec 2024 16:37:19 -0600
Kenneth Adam Miller <[email protected]> • #70281
Attn: Development Editor, Latest OCaml Weekly News
Tue, 24 Dec 2024 09:55:12 +0100
Alan Schmitt <[email protected]> • #70280
First release candidate for OCaml 5.3.0
Thu, 19 Dec 2024 13:28:46 +0100 (CET)
Florian Angeletti <[email protected]> • #70279
ICGT 2025 - Call for Papers
Wed, 18 Dec 2024 23:51:30 +0100
Joerg Endrullis <[email protected]> • #70278
[TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK)
Wed, 18 Dec 2024 09:10:03 +0100
Peter Achten <[email protected]> • #70277
Attn: Development Editor, Latest OCaml Weekly News
Tue, 17 Dec 2024 14:05:39 +0100
Alan Schmitt <[email protected]> • #70276
Last Call for Participation: BOB 2025 (Berlin, Mar 14)
Mon, 16 Dec 2024 12:56:39 +0100
Michael Sperber <[email protected]> • #70275
ISORC 2025-Call for Paper
Sun, 15 Dec 2024 21:47:35 +0800
Yue Tang <[email protected]> • #70274
Static linking with Mingw and dune
Fri, 13 Dec 2024 15:42:05 +0100
Andreas Rossberg <[email protected]> • #70273
Re: Problem formalizing a representation
Fri, 13 Dec 2024 22:58:23 +0900
Oleg <[email protected]> • #70272
Re: Static linking with Mingw and dune
Thu, 12 Dec 2024 18:31:22 +0100
Xavier Leroy <[email protected]> • #70271
Re: Static linking with Mingw and dune
Thu, 12 Dec 2024 08:44:44 +0100
Andreas Rossberg <[email protected]> • #70270
[CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025
Wed, 11 Dec 2024 09:53:59 +0100
nicolas tabareau <[email protected]> • #70269
FSCD 2025: Second Call for Papers
Tue, 10 Dec 2024 12:38:42 +0000
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> • #70268
Attn: Development Editor, Latest OCaml Weekly News
Tue, 10 Dec 2024 14:48:56 +0100
Alan Schmitt <[email protected]> • #70267
Attn: Development Editor, Latest OCaml Weekly News
Tue, 03 Dec 2024 15:44:08 +0100
Alan Schmitt <[email protected]> • #70266
Re: Static linking with Mingw and dune
Mon, 2 Dec 2024 09:25:00 +0100
Antonin Décimo <[email protected]> • #70265
Proposed Package Archiving Policy for the opam Repository
Sun, 1 Dec 2024 20:59:36 +0100
Hannes Mehnert <[email protected]> • #70264
Re: Static linking with Mingw and dune
Sun, 1 Dec 2024 17:27:55 +0000
Kate Deplaix <[email protected]> • #70263
Static linking with Mingw and dune
Sun, 1 Dec 2024 18:02:55 +0100
Andreas Rossberg <[email protected]> • #70262
Second beta release for OCaml 5.3.0
Fri, 29 Nov 2024 10:24:23 +0100 (CET)
Florian Angeletti <[email protected]> • #70261
Re: ANN: Boulder Dash in OCaml
Wed, 27 Nov 2024 17:58:21 +0100
Andreas Rossberg <[email protected]> • #70260
CfP: DisCoTec 2025
Wed, 27 Nov 2024 14:43:37 +0100
Bas van den Heuvel <[email protected]> • #70259
Re: ANN: Boulder Dash in OCaml
Wed, 27 Nov 2024 11:44:56 +0100
Vu Ngoc San <[email protected]> • #70258
Re: ANN: Boulder Dash in OCaml
Wed, 27 Nov 2024 10:03:31 +0100
Andreas Rossberg <[email protected]> • #70257
Re: ANN: Boulder Dash in OCaml
Wed, 27 Nov 2024 08:54:29 +0200
Yotam Barnoy <[email protected]> • #70256
Re: ANN: Boulder Dash in OCaml
Tue, 26 Nov 2024 18:38:04 +0100
Andreas Rossberg <[email protected]> • #70255
Attn: Development Editor, Latest OCaml Weekly News
Tue, 26 Nov 2024 09:30:02 +0100
Alan Schmitt <[email protected]> • #70254
Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025
Fri, 22 Nov 2024 18:51:40 +0100
Bas van den Heuvel <[email protected]> • #70253
POPL 2025 Call for Participation - Early registration: 20 December
Wed, 20 Nov 2024 17:00:38 -0500
Ningning Xie <[email protected]> • #70252
OCaml 5.2.1 released
Tue, 19 Nov 2024 13:44:27 +0100 (CET)
Florian Angeletti <[email protected]> • #70251
Attn: Development Editor, Latest OCaml Weekly News
Tue, 19 Nov 2024 07:52:22 +0100
Alan Schmitt <[email protected]> • #70250
Re: [ANN] findlib-1.9.8
Mon, 18 Nov 2024 19:18:21 +0000
Kate Deplaix <[email protected]> • #70249
[ANN] findlib-1.9.8
Sun, 17 Nov 2024 00:20:14 +0100
Gerd Stolpmann <[email protected]> • #70248
Call for ECOOP 2025 Workshop Proposals
Fri, 15 Nov 2024 22:40:09 -0500
Clément Aubert <[email protected]> • #70247
[TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
Fri, 15 Nov 2024 15:09:36 +0100
Peter Achten <[email protected]> • #70246
Re: ANN: Boulder Dash in OCaml
Wed, 13 Nov 2024 10:44:33 +0100
Andreas Rossberg <[email protected]> • #70245
Re: ANN: Boulder Dash in OCaml
Tue, 12 Nov 2024 23:28:07 +0000
Daniel Bünzli <[email protected]> • #70244
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.