Agenda 2017
Keynote
John Hughes
Topics
- functional programming
- persistent data structures and databases
- types
- formal methods for correctness and robustness
- abstractions for concurrency and parallelism
- metaprogramming
- probabilistic programming
Program 2017
The program is comming soon: Dezember 1, 2016