[Caml-list] DisCoTec 2025 Call for Participation
2025-04-17 18:07 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-04-15 9:51 UTC
[Caml-list] FTfJP 2025 - Last CfP (extended deadline)
2025-04-14 16:06 UTC
[Caml-list] Call for Papers: Functional Programming for Productivity and Performance (FProPer)
2025-04-11 13:56 UTC
[Caml-list] FTfJP 2025 - Second Call for Papers
2025-04-09 10:22 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-04-08 13:14 UTC
[Caml-list] Separate compilation
2025-04-07 21:55 UTC (2+ messages)
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-04-01 9:12 UTC
[Caml-list] [ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris
2025-03-28 15:31 UTC
[Caml-list] Haskell Symposium 2025 First Call for Papers
2025-03-27 16:09 UTC
[Caml-list] Call for Papers, Functional Software Architecture (Deadline June 16)
2025-03-25 19:22 UTC
[Caml-list] Call for Participation, Functional Software Architecture (Oct. 17th, Singapore)
2025-03-25 19:14 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-03-25 8:06 UTC
[Caml-list] [CFP] OCAML'25: The OCaml Users and Developers Workshop
2025-03-25 1:42 UTC
[Caml-list] Midlands Graduate School 2025 final call -- registration closes on 24 March
2025-03-18 20:04 UTC
[Caml-list] ICE 2025: Second Call for Papers
2025-03-18 15:03 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-03-18 10:18 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-03-11 15:00 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-03-04 14:01 UTC
[Caml-list] do-while loops have always been in OCaml
2025-02-27 11:59 UTC
[Caml-list] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
2025-02-26 10:23 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-02-25 10:36 UTC
[Caml-list] unsubscribe
2025-02-22 14:51 UTC
[Caml-list] unsubscribe
2025-02-20 7:38 UTC
[Caml-list] ICE 2025: First Call for Papers
2025-02-19 14:35 UTC
[Caml-list] 15th MirageOS retreat upcoming
2025-02-19 12:03 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-02-18 14:33 UTC
[Caml-list] Midlands Graduate School 2025 hosted by the University of Sheffield
2025-02-18 10:30 UTC (2+ messages)
` [Caml-list] Registration now open -- "
[Caml-list] OCaml language committee launched
2025-02-14 12:57 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-02-11 7:17 UTC
[Caml-list] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
2025-02-08 11:53 UTC
[Caml-list] COORDINATION 2025: 2nd CfP and deadline extension
2025-02-06 17:07 UTC
[Caml-list] [CFP] 1st Int. Conf. on Quantum Software :: Submission Deadline - 18th February
2025-02-05 18:26 UTC
[Caml-list] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques
2025-02-04 14:24 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-02-04 12:05 UTC
[Caml-list] 1st Call for Papers COORDINATION 2025
2025-01-29 11:15 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-01-28 13:24 UTC
[Caml-list] CGO 25 - Call for Participation - Early Registration
2025-01-27 10:51 UTC
[Caml-list] Last Call for ECOOP 2025 Workshop Proposals
2025-01-23 15:17 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-01-21 15:47 UTC
[Caml-list] New PhD position in the Frama-C team, Paris-Saclay, France
2025-01-16 8:34 UTC
[Caml-list] New postdoc position in the Frama-C team, Paris-Saclay, France
2025-01-16 8:34 UTC
[Caml-list] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques
2025-01-15 12:23 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-01-14 8:20 UTC
[Caml-list] OCaml 5.3.0 released
2025-01-13 19:45 UTC (2+ messages)
` [Caml-list] unsubscribe
[Caml-list] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16
2025-01-10 15:42 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2025-01-07 17:26 UTC
[Caml-list] POPL 2025 Call for Participation (January 19-25, Denver, Colorado)
2025-01-07 16:21 UTC
[Caml-list] CGO'25 - early bird registration and student research competition
2025-01-07 7:54 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-12-31 8:03 UTC
[Caml-list] Unknown backend: llvm
2024-12-29 4:38 UTC
[Caml-list] Fatal error: algorithm file not found
2024-12-29 0:49 UTC (3+ messages)
[Caml-list] Emacs syntax highlighting
2024-12-28 22:37 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-12-24 8:55 UTC
[Caml-list] First release candidate for OCaml 5.3.0
2024-12-19 12:28 UTC
[Caml-list] ICGT 2025 - Call for Papers
2024-12-18 22:51 UTC
[Caml-list] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK)
2024-12-18 8:10 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-12-17 13:05 UTC
[Caml-list] Last Call for Participation: BOB 2025 (Berlin, Mar 14)
2024-12-16 11:56 UTC
[Caml-list] ISORC 2025-Call for Paper
2024-12-15 13:47 UTC
[Caml-list] Static linking with Mingw and dune
2024-12-13 14:42 UTC
[Caml-list] Problem formalizing a representation
2024-12-13 13:58 UTC (2+ messages)
[Caml-list] Static linking with Mingw and dune
2024-12-12 17:31 UTC (5+ messages)
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-12-10 13:48 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-12-03 14:44 UTC
[Caml-list] Proposed Package Archiving Policy for the opam Repository
2024-12-01 19:59 UTC
[Caml-list] Second beta release for OCaml 5.3.0
2024-11-29 9:24 UTC
[Caml-list] ANN: Boulder Dash in OCaml
2024-11-27 16:58 UTC (8+ messages)
[Caml-list] CfP: DisCoTec 2025
2024-11-27 13:43 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-11-26 8:30 UTC
[Caml-list] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025
2024-11-22 17:51 UTC
[Caml-list] POPL 2025 Call for Participation - Early registration: 20 December
2024-11-20 22:00 UTC
[Caml-list] OCaml 5.2.1 released
2024-11-19 12:44 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-11-19 6:52 UTC
[Caml-list] unsubscribe
2024-11-18 22:15 UTC
[Caml-list] unsubscribe
2024-11-18 21:20 UTC
[Caml-list] [ANN] findlib-1.9.8
2024-11-18 19:18 UTC (2+ messages)
[Caml-list] Call for ECOOP 2025 Workshop Proposals
2024-11-16 3:40 UTC
[Caml-list] [TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
2024-11-15 14:09 UTC
[Caml-list] Call for Papers: FORMALISE 2025
2024-11-12 19:13 UTC (2+ messages)
` [Caml-list] Final Call for Papers: FORMALISE 2025 - EXTENDED DEADLINES
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-11-12 15:00 UTC
[Caml-list] First release candidate for OCaml 5.2.1
2024-11-08 13:45 UTC
[Caml-list] [ANN] findlib-1.9.7
2024-11-06 17:50 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-11-05 13:22 UTC
[Caml-list] ICFP 2025: Call for Papers
2024-11-04 16:35 UTC
[Caml-list] First alpha release of OCaml 5.3.0
2024-11-04 14:01 UTC (2+ messages)
` [Caml-list] First beta "
[Caml-list] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)
2024-11-04 9:12 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-10-29 13:30 UTC
[Caml-list] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification
2024-10-28 15:29 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-10-22 12:42 UTC
[Caml-list] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024)
2024-10-17 21:35 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-10-15 13:31 UTC
[Caml-list] [TFP 2025 2nd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
2024-10-11 13:33 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-10-08 10:56 UTC
[Caml-list] Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)
2024-10-02 12:24 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-10-01 13:37 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-09-24 13:18 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-09-17 14:02 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-09-10 13:55 UTC
[Caml-list] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)
2024-09-04 7:56 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-09-03 8:24 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-08-27 9:02 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-08-20 9:29 UTC
[Caml-list] IFL 2024, final call for participation/registration
2024-08-16 10:34 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-08-13 13:21 UTC
[Caml-list]
2024-08-13 2:12 UTC
[Caml-list] POPL 2025 Call for Tutorials
2024-08-08 14:20 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-08-06 9:00 UTC
[Caml-list] IFL 2024 Final call for papers, extended submission deadline
2024-08-05 17:17 UTC
[Caml-list] IEEE LATINCOM 2024 - 3 days until deadline submission (August 5 - Hard Deadline)
2024-08-02 18:58 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-07-30 13:26 UTC
[Caml-list] IEEE LATINCOM 2024 - 7 days until deadline submission (August 5 - Hard Deadline)
2024-07-29 11:38 UTC
[Caml-list] Call for Participation, Functional Software Architecture (Sep 6, Milan)
2024-07-29 9:17 UTC
[Caml-list] [2nd Cfp] icSoftComp2024 (Scopus indexed) [Submission due on: 31/July] (Springer CCIS) (December 10-12, 2024) (Bangkok, Thailand) (Hybrid Conference)
2024-07-25 10:00 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-07-23 13:30 UTC
[Caml-list] IEEE LATINCOM 2024 - Last Days for Paper Submission (August 5 - Hard Deadline)
2024-07-23 5:00 UTC
[Caml-list] ICFP 2024: Call for Participation
2024-07-22 14:26 UTC
[Caml-list] POPL 2025: Final Call for Workshops and Co-located Events (July 26 AOE)
2024-07-19 20:07 UTC
[Caml-list] Deadline is approaching - IEEE LATINCOM 2024 - July 22
2024-07-19 14:59 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-07-16 6:24 UTC
[Caml-list] IEEE LATINCOM 2024 - Call for Papers - Extended Deadline: July 22, 2024
2024-07-13 18:00 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-07-09 9:19 UTC
[Caml-list] IFL 2024: Second Call for Papers
2024-07-03 12:49 UTC
[Caml-list] CFP - JFLA 2025 - Journées Francophones des Langages Applicatifs
2024-07-02 12:14 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-07-02 7:30 UTC
[Caml-list] Free online participation in MSFP, 8th July 2024
2024-07-01 17:04 UTC
[Caml-list] ICFP 2024: Call fo Volunteers
2024-06-26 9:23 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-06-25 13:58 UTC
[Caml-list] UNIF 2024 - Call for Participation
2024-06-22 16:32 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-06-18 13:05 UTC
[Caml-list] PLMW@ICFP'24: Final call for Participation (travel funding application by June 21)
2024-06-17 19:13 UTC
[Caml-list] POPL 2025: Call for Workshops and Co-located Events
2024-06-13 15:59 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-06-11 15:04 UTC
[Caml-list] [CFP] Springer icSoftComp2024 || Scopus indexed || Springer CCIS || Bangkok, Thailand || December 10-12, 2024 || Hybrid || 2024 6th International Conference on Soft Computing and its Engineering Applications
2024-06-10 8:33 UTC
[Caml-list] Call for Workshops / Special Sessions proposals: Springer icSoftComp2024 || December 10-12, 2024 || Bangkok, Thailand || Scopus indexed Springer CCIS || Hybrid || 2024 6th International Conference on Soft Computing and its Engineering Applications
2024-06-06 16:40 UTC
[Caml-list] Call for Participation: Scottish PL & Verification Summer School
2024-06-06 8:43 UTC
[Caml-list] [Deadline extention] ML 2024 – Call for presentations: ACM SIGPLAN ML Family Workshop
2024-06-04 15:08 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-06-04 13:26 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-05-28 9:07 UTC
[Caml-list] PLMW@ICFP'24: Call for Participation (travel funding application by June 21)
2024-05-24 19:52 UTC
[Caml-list] Final Call: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
2024-05-23 9:47 UTC
[Caml-list] Final CfP: ACM Workshop on Functional Software Architecture [Deadline June 3]
2024-05-23 7:51 UTC
[Caml-list] CGO'25 - Call for Papers
2024-05-22 12:56 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-05-21 13:07 UTC
[Caml-list] POPL 2025: First Call for Papers (deadline: July 11 AOE)
2024-05-20 16:04 UTC
[Caml-list] [First CFP] Springer icSoftComp2024 (2024 6th International Conference on Soft Computing and its Engineering Applications)(Scopus indexed)(Hybrid conference)
2024-05-20 2:30 UTC
[Caml-list] Unsubscribe
2024-05-15 10:43 UTC
[Caml-list]
2024-05-15 10:04 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-05-14 13:25 UTC
[Caml-list] OCaml 5.2.0 released
2024-05-13 14:28 UTC
[Caml-list] MSFP 2024 deadline extension: Tuesday 28th May
2024-05-12 13:12 UTC
[Caml-list] Announcement and First CFP: Springer icSoftComp2024 (2024 6th International Conference on Soft Computing and its Engineering Applications) Inbox
2024-05-10 5:44 UTC
[Caml-list] Deadline extension: Graph Computation Models (GCM 2024)
2024-05-07 9:24 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-05-07 7:30 UTC
[Caml-list] First alpha release of OCaml 5.2.0
2024-05-03 15:28 UTC (4+ messages)
` [Caml-list] First beta "
` [Caml-list] Second "
` [Caml-list] First release candidate "
[Caml-list] OCaml Workshop 2024 at ICFP: announcement and call for proposals
2024-05-03 14:36 UTC (2+ messages)
` [Caml-list] Remainder: OCaml Workshop @ ICFP'24: submission deadline in 1 month
[Caml-list] CfP: Conference on Computer Science Logic (CSL 2025)
2024-05-03 13:36 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-04-30 7:22 UTC
[Caml-list] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
2024-04-26 14:18 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-04-23 12:17 UTC
[Caml-list] New postdoc position on Frama-C at CEA List, Saclay, France
2024-04-23 7:11 UTC
[Caml-list] Student Research Competition (SRC) at ICFP 2024
2024-04-21 14:33 UTC
[Caml-list] 2ndCFP: APLAS 2024, October 22-24, 2024, Kyoto, Japan
2024-04-17 11:02 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-04-16 12:00 UTC
[Caml-list] Fully-funded Ph.D. Positions in Computer Science @ IMT Lucca, Italy
2024-04-13 11:00 UTC
[Caml-list] UNIF 2024 - 2nd Call for Papers (Extended Deadline)
2024-04-09 14:29 UTC
[Caml-list] Call for papers: Graph Computation Models (GCM 2024)
2024-04-09 12:40 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-04-09 9:15 UTC
[Caml-list] IFL 2024: First call for papers
2024-04-09 9:15 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-04-02 14:31 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-03-26 6:32 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-03-19 15:09 UTC
[Caml-list] OCaml 4.14.2 released
2024-03-15 9:28 UTC
[Caml-list] FUNARCH 2024: Call for Papers
2024-03-13 14:57 UTC
[Caml-list] Call for Papers: ACM Workshop on Functional Software Architecture
2024-03-13 12:44 UTC
[Caml-list] Attn: Development Editor, Latest OCaml Weekly News
2024-03-12 10:31 UTC
[Caml-list] ICFP 2024: Call for Tutorials
2024-03-11 15:27 UTC
page: next (older)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox