Conference · BOB Conference
BOB 2027
Official page- Type
- Conference
- Organisation
- BOB Conference
- Location
- Berlin, Germany
- Submissions close
- 2 November 2026
- Takes place
- 26 February 2027
- Found
- 26 September 2026
About this listing
BOB Conference. Submissions close 2026-11-02. Held in Berlin, Germany. A practitioner conference on "what's best for a change": functional programming, formal methods, expressive type systems, program synthesis, and AI in real software projects. Solicits 45-minute talks and 90-minute beginner tutorials, in English or German. Topics: functional programming, formal methods, type systems, programming languages. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).