[Caml-list] Verification and Deduction Mentoring Workshop 2018
2018-03-19 14:12 UTC
[Caml-list] On variants, integers and testing
2018-03-19 13:49 UTC (5+ messages)
[Caml-list] OCaml job at Be Sport Paris
2018-03-19 12:50 UTC
[Caml-list] [ANN] first release of orsvm-e1071 (SVM from R usable from OCaml)
2018-03-19 1:33 UTC (2+ messages)
` [Caml-list] [ANN] first release of orxgboost (gradient-boosted trees from R usable in OCaml)
[Caml-list] Call for Tutorial Proposals: ICFP 2018
2018-03-18 4:07 UTC
[Caml-list] FoPPS Logic and Learning School (Oxford, July 1-6)
2018-03-17 0:01 UTC
[Caml-list] CICM 2018: Update on Invited Speakers, Workshops and 2nd CfP
2018-03-16 10:22 UTC
[Caml-list] EJCP 2018 - Appel à participation
2018-03-16 7:15 UTC
[Caml-list] [ANN] New caml-list mirror - https://inbox.ocaml.org/caml-list
2018-03-14 8:25 UTC (3+ messages)
CFP: Automated Reasoning for Security Protocols Analysis (ARSPA)
2018-03-13 20:30 UTC
[Caml-list] Call for Papers F-IDE 2018
2018-03-13 16:07 UTC
[Caml-list] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)
2018-03-13 7:48 UTC
[Caml-list] a question about compiler-libs and Ocaml toplevel
2018-03-12 10:46 UTC (4+ messages)
[Caml-list] a question about Ocaml toplevel behavior
2018-03-12 9:09 UTC (8+ messages)
[Caml-list] A question about custom toplevels
2018-03-12 5:50 UTC (5+ messages)
[Caml-list] OCaml reference manual non-free license
2018-03-11 11:22 UTC (4+ messages)
[Caml-list] SAS 2018: Call for Papers
2018-03-09 15:09 UTC
[Caml-list] Tarides is looking for software engineers to work on MirageOS and Irmin
2018-03-09 10:32 UTC
[Caml-list] Final Call for Papers: PACMPL issue ICFP 2018
2018-03-08 20:08 UTC
[Caml-list] PAAR 2018 - Call for Papers
2018-03-08 14:25 UTC
[Caml-list] OCaml 4.06.1 FreeBSD
2018-03-08 7:13 UTC (5+ messages)
[Caml-list] Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018)
2018-03-07 16:28 UTC
[Caml-list] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg
2018-03-07 14:25 UTC
[Caml-list] TSD 2018 - Second Call for Papers
2018-03-06 13:34 UTC
[Caml-list] VerifyThis 2018: Call for Participation and Travel Grants
2018-03-06 13:25 UTC
[Caml-list] QBFEVAL'18 - Call for Contributions
2018-03-06 8:21 UTC
[Caml-list] ARQNL 2018 - Call for Papers
2018-03-03 14:04 UTC
[Caml-list] Mathematically Structured Functional Programming 2018: Call for Papers
2018-03-02 12:35 UTC
[Caml-list] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP)
2018-03-02 12:12 UTC
[Caml-list] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018
2018-03-01 17:05 UTC
[Caml-list] KR 2018 Call for Papers ** INVITED SPEAKERS ANNOUNCED **
2018-03-01 3:09 UTC
[Caml-list] DCM'18 Third Call for Papers
2018-02-27 19:21 UTC
[Caml-list] ICTCS 2018 @ Urbino - call for papers
2018-02-27 18:41 UTC
[Caml-list] CfP: SEFM 2018 EXTENDED DEADLINE
2018-02-26 19:08 UTC
[Caml-list] AISC 2018 Call for Papers
2018-02-26 14:38 UTC
[Caml-list] Status of the OCaml RISC-V port
2018-02-26 14:20 UTC (9+ messages)
[Caml-list] Has anybody gotten delimcc to work?
2018-02-26 5:42 UTC (7+ messages)
[Caml-list] Workshop HDRA 2018: Call for Papers
2018-02-22 12:30 UTC
[Caml-list] VerifyThis 2018: Call for Problems and First Announcement
2018-02-21 16:10 UTC
[Caml-list] Special Issue on Commonsense Reasoning - Call for Papers
2018-02-20 22:14 UTC
[Caml-list] iFM 2018 Call for Papers
2018-02-20 20:57 UTC
[Caml-list] Final CfP: SEFM 2018
2018-02-20 8:00 UTC
[Caml-list] RuleML+RR 2018 SECOND CALL FOR PAPERS
2018-02-19 17:00 UTC
[Caml-list] cairo 1.2.0 and ocaml 4.06.0
2018-02-18 18:51 UTC (2+ messages)
[Caml-list] [fm-announcements] NFM 2018 - Call for Participation
2018-02-16 21:14 UTC
[Caml-list] FLoC 2018 - Joint Call for Workshop Papers
2018-02-16 16:31 UTC
[Caml-list] Release 4.06.1
2018-02-16 14:29 UTC
[Caml-list] 25th AUTOMATED REASONING WORKSHOP 2018
2018-02-16 13:46 UTC
[Caml-list] First Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018)
2018-02-16 13:24 UTC
[Caml-list] SAT/SMT/AR Summer School 2018
2018-02-15 16:55 UTC
[Caml-list] a question about syntax
2018-02-15 1:17 UTC (9+ messages)
[Caml-list] why does "opam install graphics" fail?
2018-02-14 19:58 UTC (15+ messages)
[Caml-list] First CFP 3rd International Workshop about Sets and Tools (SETS 2018)
2018-02-13 14:58 UTC
[Caml-list] Camlcity.org is down
2018-02-12 20:26 UTC (2+ messages)
[Caml-list] Protobuf for ocaml
2018-02-11 15:14 UTC (11+ messages)
` Aw: "
[Caml-list] File synchronization implementation(s) in OCaml?
2018-02-08 15:50 UTC (7+ messages)
[Caml-list] TSD 2018 - First Call for Papers
2018-02-08 8:53 UTC
[Caml-list] Are record types generative?
2018-02-08 0:46 UTC (21+ messages)
` [Caml-list] [ANN] first release of bst: a bisector tree implementation
[Caml-list] ignore in postfix position
2018-02-07 11:09 UTC (2+ messages)
[Caml-list] REMINDER: KR 2018 Doctoral Consortium Call for Papers
2018-02-07 2:53 UTC
[Caml-list] ** 3-MONTH REMINDER ** KR 2018 Call for Papers
2018-02-07 2:35 UTC
[Caml-list] FMCAD 2018 - Call for Papers
2018-02-06 15:15 UTC
[Caml-list] OCaml 4.06.1+rc2
2018-02-06 8:33 UTC
[Caml-list] Run time error on exception
2018-02-05 15:26 UTC (6+ messages)
[Caml-list] Second Call for Papers: PACMPL issue ICFP 2018
2018-02-05 7:33 UTC
[Caml-list] ANN: opam 2.0.0 Release Candidate 1 is out
2018-02-02 16:44 UTC
[Caml-list] Looking for an OCaml developer for work before end of March
2018-02-02 9:18 UTC
[Caml-list] DEADLINE APPROACHING: KR18 - Call for Tutorial and Workshop Proposals
2018-01-31 21:43 UTC
[Caml-list] [Job] Haxe Foundation is recruiting a compiler developer
2018-01-31 20:20 UTC
[Caml-list] OCaml vs CVE-2017-9779
2018-01-31 14:18 UTC (4+ messages)
[Caml-list] 2nd CfP: SEFM 2018
2018-01-30 15:32 UTC
[Caml-list] flambda for bytecode backend
2018-01-29 16:26 UTC (5+ messages)
` [Caml-list] <DKIM> "
` [Caml-list] OCaml <-> Computer Algebra
[Caml-list] FOPSS Logic and Learning School advertisement
2018-01-27 0:03 UTC
[Caml-list] Type annotations [Was: Are record types generative?]
2018-01-26 14:41 UTC (2+ messages)
[Caml-list] In need of an ocaml guru
2018-01-25 15:14 UTC (2+ messages)
[Caml-list] PPDP 2018: First Call for Papers
2018-01-23 13:45 UTC
[Caml-list] CfP Gender Equality in Software Engineering
2018-01-22 12:16 UTC
[Caml-list] A question RE labltk installation on MacOS Sierra
2018-01-22 9:08 UTC (3+ messages)
[Caml-list] Group registration on Freenode.net for #ocaml channels
2018-01-21 13:48 UTC (4+ messages)
[Caml-list] The 2018 Alonzo Church Award: Call for Nominations
2018-01-20 11:48 UTC
[Caml-list] School on Runtime Verification - March 19-21, in the French Alps
2018-01-19 16:21 UTC
[Caml-list] OCaml 4.06.1+rc1
2018-01-19 15:29 UTC
[Caml-list] do we have a (fast) diameter of a point set implementation out there?
2018-01-19 5:53 UTC
[Caml-list] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers
2018-01-17 21:13 UTC
[Caml-list] 2nd Call for Participation: BOB 2018 (February 23, Berlin)
2018-01-16 17:39 UTC
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).