[cwn] Attn: Development Editor, Latest OCaml Weekly News

Tue Oct 11 02:40:15 PDT 2022

Hello

Here is the latest OCaml Weekly News, for the week of October 04 to 11,
2022.

Table of Contents
─────────────────

OUPS meetup september 2022 (french only)
NeoVim setup in Lua for OCaml
Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]
Old CWN

OUPS meetup september 2022 (french only)
════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/oups-meetup-september-2022-french-only/10492/8>

nrolland asked and zapashcanon replied
──────────────────────────────────────

        Bonjour, y-a-t-il des vidéos disponibles des présentations
        par hasard ?

  Oui ! Elles seront publiées [ici].

[ici] <https://oups.frama.io/past.html>

NeoVim setup in Lua for OCaml
═════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/neovim-setup-in-lua-for-ocaml/10586/1>

Jazz announced
──────────────

  I would like to share my NeoVim setup in Lua for OCaml.

  [Blog] [Github Repo]

  <https://global.discourse-cdn.com/standard11/uploads/ocaml/optimized/2X/2/291c4b691525ef6bb93dad666dc85198c2863b9b_2_1380x760.jpeg>

[Blog] <https://nyinyithan.com/nvim-setup-ocaml/>

[Github Repo] <https://github.com/nyinyithann/neovim-ocaml>

Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]
════════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/call-for-contributions-bob-2023-march-17-deadline-nov-21/10595/1>

Michael Sperber announced
─────────────────────────

  OCaml-related submissions are extremely welcome at BOB!

  `=============================================================================='
  BOB Conference 2023
  “What happens when we use what’s best for a change?”
  <https://bobkonf.de/2023/cfc.html>
  Berlin, Mar 17
  Call for Contributions
  Deadline: November 21, 2022
  `=============================================================================='

  You are actively engaged in advanced software engineering methods,
  solve ambitious problem with software and are open to cutting-edge
  innovation? Attend this conference, meet people that share your goals,
  and get to know the best software tools and technologies available
  today. We strive to offer a day full of new experiences and
  impressions that you can use to immediately improve your daily life as
  a software developer.

  If you share our vision and want to contribute, submit a proposal for
  a talk or tutorial!

  NOTE: The conference fee will be waived for presenters. Travel
  expenses will not be covered (for exceptions see “Speaker Grants”).

Online or Onsite
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  We expect we’ll be able to hold BOB 2023 in Berlin. Note that we
  intend to provide a safe environment for all participants. There will
  be space outside to eat and chat. We may ask you to wear a mask
  indoors when not presenting or eating, and may also ask you to take a
  COVID test on-site before the event.

  If an on-site BOB is not possible, we’ll make BOB a successful online
  event, like BOB 2021 and BOB 2022. Should BOB happen online, we will
  likely ask for pre-recorded talks to make room for questions and
  social interactions during the actual conference day. (Of course,
  we’ll provide assistance making those recordings.) Tutorials will
  likely happen as a live-session.

Shepherding
╌╌╌╌╌╌╌╌╌╌╌

  The program committee offers shepherding to all speakers. Shepherding
  provides speakers assistance with preparing their sessions.
  Specifically:

  • advice on structure and presentation
  • review of talk slides
  • assistance with recording
  • review of recording, if applicable

Speaker Grants
╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  BOB has Speaker Grants available to support speakers from groups
  under-represented in technology. We specifically seek women speakers,
  speakers of color, and speakers who are not able to attend the
  conference for financial reasons.

Topics
╌╌╌╌╌╌

  We are looking for talks about best-of-breed software technology,
  e.g.:

  • functional programming
  • persistent data structures and databases
  • event-based modelling and architecture
  • “fancy types” (dependent types, gradual typing, linear types, …)
  • formal methods for correctness and robustness
  • abstractions for concurrency and parallelism
  • metaprogramming
  • probabilistic programming
  • math and programming
  • controlled side effects
  • program synthesis
  • next-generation IDEs
  • effective abstractions for data analytics
  • … everything really that isn’t mainstream, but you think should be
  • … includeing rough ideas worth discussing.

  Presenters should provide the audience with information that is
  practically useful for software developers.

Challenges
╌╌╌╌╌╌╌╌╌╌

  Furthermore, we seek contributions on successful approaches for
  solving hard problems, for example:

  • bias in machine-learning systems
  • digital transformation in difficult settings
  • accessibiltity
  • systems with critical reliability requirements
  • ecologically sustainable software development

  We’re especially interested in experience reports. Other topics are
  also relevant, e.g.:

  • introductory talks on technical background
  • overviews of a given field
  • demos and how-tos

Requirements
╌╌╌╌╌╌╌╌╌╌╌╌

  We accept proposals for presentations of 45 minutes (40 minutes talk +
  5 minutes questions), as well as 90 minute tutorials for beginners.
  The language of presentation should be either English or German.

  Your proposal should include (in your presentation language of
  choice):

  • An abstract of max. 1500 characters.
  • A short bio/cv
  • Contact information (including at least email address)
  • A list of 3-5 concrete ideas of how your work can be applied in a
    developer’s daily life
  • additional material (websites, blogs, slides, videos of past
    presentations, …)
  • Don’t be confused: The system calls a submission event.

Organisation
╌╌╌╌╌╌╌╌╌╌╌╌

  • Direct questions to konferenz at bobkonf dot de
  • Proposal deadline: November 21, 2022
  • Notification: December 5, 2022
  • Program: December 12, 2022

  Submit here: <https://pretalx.com/bob-2023/submit/>

Program Committee
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  (more information here:
  <https://bobkonf.de/2023/programmkomitee.html>)

  • Matthias Fischmann, Wire
  • Matthias Neubauer, SICK AG
  • Nicole Rauch, Softwareentwicklung und Entwicklungscoaching
  • Michael Sperber, Active Group
  • Stefan Wehr, Hochschule Offenburg

  Scientific Advisory Board

  • Annette Bieniusa, TU Kaiserslautern
  • Torsten Grust, Uni Tübingen
  • Peter Thiemann, Uni Freiburg

Old CWN
═══════

  If you happen to miss a CWN, you can [send me a message] and I’ll mail
  it to you, or go take a look at [the archive] or the [RSS feed of the
  archives].

  If you also wish to receive it every week by mail, you may subscribe
  [online].

  [Alan Schmitt]

[send me a message] <mailto:alan.schmitt at polytechnique.org>

[the archive] <https://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <https://alan.petitepomme.net/cwn/cwn.rss>

[online] <http://lists.idyll.org/listinfo/caml-news-weekly/>

[Alan Schmitt] <https://alan.petitepomme.net/>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.idyll.org/pipermail/caml-news-weekly/attachments/20221011/20757381/attachment-0001.html>