Call for Participation: Summer BOB 2019 (August 21, Berlin)

Community
1

Call for Participation: Summer BOB 2019 (August 21, Berlin)

Summer BOB 2019

Conference

“What happens if we simply use what’s best?”

August 21, 2019, Berlin

Co-located with ICFP 2019

http://bobkonf.de/2019-summer/

Program: http://bobkonf.de/2019-summer/program.html

Registration: http://bobkonf.de/2019-summer/registration.html

Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?

BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.

Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference
on Functional Programming is coming to
town, and Summer BOB will be right in the middle of it, on the last
day of ICFP proper, prior to all the workshops. BOB participants will
be able to attend ICFP talks on Aug 21 and vice versa.

BOB features two tracks of seven talk each. One research track with
invited talks, and one track by practitioners, designed to
cross-pollinate and inspire.

http://bobkonf.de/2019-summer/program.html

Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development.

We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.

Registration is open:

http://bobkonf.de/2019-summer/registration.html

NOTE: The early-bird rates expire on July 18, 2019!

1 Like
2

Come to Summer BOB, stay for the OCaml and ML workshops!

Note that the Early-Bird deadline for Summer BOB is on Thursday.

3

Note that Xavier Leroy will give an invited talk at Summer BOB!

================================================================================
			   Summer BOB 2019
			      Conference
	     “What happens if we simply use what’s best?”
		       August 21, 2019, Berlin
		       co-located with ICFP 2019
		    http://bobkonf.de/2019-summer/
	 Program: http://bobkonf.de/2019-summer/program.html
    Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================

Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?

BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.

Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. BOB
participants will be able to attend ICFP talks on Aug 21 and vice
versa.

We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.

Summer BOB will feature two tracks: one from practitioners, and one
from researchers, designed to cross-pollinate and inspire.

Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development:

Using Formal Methods to Eliminate Exploitable Bugs
Kathleen Fisher
	
Purely functional distributed programming for collaborative applications
Adriaan Leijnse
	
Statistical testing of software
Stevan Andjelkovic
	
Dependent Types in Haskell
Stephanie Weirich
	
From idea to working product in 7 days
Philipp Maier
	
In Search of Software Perfection
Xavier Leroy
	
Expressive Linear Algebra in Haskell
Henning Thielemann
	
Type-driven Development in Action
Edwin Brady
	
Functional Design Patterns
Franz Thoma
	
Liquidate your Assets
Niki Vazou
	
Scala Type Classes
Alexey Novakov
	
Types for Protocols
Peter Thiemann
	
Creating maintainable mobile games in Haskell
Christina Zeller
	
A Functional Reboot for Deep Learning
Conal Elliott