caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
@ 2020-11-10  8:36 Michael Sperber
  2020-11-11  1:21 ` [Caml-list] [ANN] latest OCaml batteries-included release: v3.2.0 Francois Berenger
  0 siblings, 1 reply; 2+ messages in thread
From: Michael Sperber @ 2020-11-10  8:36 UTC (permalink / raw)
  To: OCaml mailing list

C'mon, send us some OCaml material!

                         BOB Conference 2021
         "What happens when we use what's best for a change?"
                         Berlin, February 26
                        Call for Contributions
                     Deadline: November 13, 2020

You are actively engaged in advanced software engineering methods,
implement ambitious architectures 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 do know yet whether BOB will happen onsite in Berlin or as an
online event. 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

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 be able to attend the
conference for financial reasons.


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


We are looking for talks about best-of-breed software technology,

- functional programming
- persistent data structures and databases
- event-based modelling and architecture
- types
- formal methods for correctness and robustness
- abstractions for concurrency and parallelism
- metaprogramming
- probabilistic programming
- math and programming
- controlled side effects
- beyond REST and SOAP
- effective abstractions for data analytics
- … everything really that isn’t mainstream, but you think should be.

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

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


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

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.


- Direct questions to contact at bobkonf dot de
- Proposal deadline: November 13, 2020
- Notification: November 27, 2020
- Program: December 6, 2020

Submit here:

Program Committee

(more information here:

- 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

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [Caml-list] [ANN] latest OCaml batteries-included release: v3.2.0
  2020-11-10  8:36 [Caml-list] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13] Michael Sperber
@ 2020-11-11  1:21 ` Francois Berenger
  0 siblings, 0 replies; 2+ messages in thread
From: Francois Berenger @ 2020-11-11  1:21 UTC (permalink / raw)
  To: caml-list

Dear OCaml users,

The batteries maintainers are pleased to announce the latest minor 
release of OCaml batteries-included: v3.2.0.
Batteries is an open-source, community-maintained, extended standard 
library for OCaml. The latest version is available in opam.

Thanks to all the contributors for this release!

The change log follows:
v3.2.0 (minor release)

     BatArray.fold_while: ('acc -> 'a -> bool) -> ('acc -> 'a -> 'acc) ->
     'acc -> 'a array -> 'acc * int
     (Francois Berenger, review by Cedric Cellier)
     Support for OCaml 4.12
     BatArray.fold is an alias for fold_left
     (Francois Berenger)
     BatList.fold is an alias for fold_left
     (Francois Berenger)
     BatArray.count_matching: ('a -> bool) -> 'a array -> int
     (Francois Berenger)
     BatList.count_matching: ('a -> bool) -> 'a list -> int
     (Francois Berenger)
     Provide an explicitly unthreaded package
     For Dune, provide an alternative batteries.unthreaded package
     (Jerome Vouillon)
     BatList.findi: correct documentation
     (Francois Berenger)
     BatOptParse.unprogify: bug fix (issue #965)
     ‘%prog’ was replaced only once, now it is always replaced
     (in accordance with the documentation)
     (Francois Berenger, report by OnkV)
     Expose Map.remove_exn and Set.remove_exn: 'a -> 'a t -> 'a t
     (Cedric Cellier)

Happy hacking,
The batteries team.

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-11-11  1:21 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-11-10  8:36 [Caml-list] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13] Michael Sperber
2020-11-11  1:21 ` [Caml-list] [ANN] latest OCaml batteries-included release: v3.2.0 Francois Berenger

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).