[TYPES/announce] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)
Michael Sperber
sperber at deinprogramm.de
Mon Nov 4 04:12:38 EST 2024
================================================================================
BOB Conference 2025
"What happens when we use what's best for a change?"
https://urldefense.com/v3/__https://bobkonf.de/2025/cfc.html__;!!IBzWLUs!QBH-WaD_37gURQL820bIer_wOCF93mQJcomvvF0wTLVRgPY39g0qPD-koQW75kePmU-TrbBn5rcuuxmCUjp5bIBkwHTUC07_mH1m$
Berlin, Mar 14
Call for Contributions
Deadline: November 15, 2024
================================================================================
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").
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
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, …)
Organisation
------------
- Direct questions to konferenz at bobkonf dot de
- Proposal deadline: November 15, 2024
- Notification: December 4, 2024
- Program: December 11, 2024
Submit here:
https://urldefense.com/v3/__https://pretalx.com/bob-2025/submit/__;!!IBzWLUs!QBH-WaD_37gURQL820bIer_wOCF93mQJcomvvF0wTLVRgPY39g0qPD-koQW75kePmU-TrbBn5rcuuxmCUjp5bIBkwHTUC6tKXS9r$
Program Committee
-----------------
(more information here: https://urldefense.com/v3/__https://bobkonf.de/2025/programmkomitee.html__;!!IBzWLUs!QBH-WaD_37gURQL820bIer_wOCF93mQJcomvvF0wTLVRgPY39g0qPD-koQW75kePmU-TrbBn5rcuuxmCUjp5bIBkwHTUC2NGzg6O$ )
- 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
More information about the Types-announce
mailing list