[Agda] Call for Participation: WFLP 2016 and co-located events

[Janis Voigtlaender]

24th International Workshop on
Functional and (Constraint) Logic Programming (WFLP 2016)

https://wflp2016.github.io/

September 13-14, part of the
Leipzig Week of Declarative Programming (L-DEC 2016)

Registration is now open, see:

http://nfa.imn.htwk-leipzig.de/LDEC2016/registration/

Note the package prices combining co-located events, and the early
registration deadline of August 15 (bank transfer must have been
received by that date to secure the reduced fee).

A highlight at WFLP will be an invited talk by Anthony Anjorin.

***********************************************************

The international workshops on functional and (constraint) logic
programming aim at bringing together researchers, students, and
practitioners interested in functional programming, logic programming,
and their integration. This year the workshop is co-located with

* WLP 2016, September 12-13

and

* HaL 2016, September 14-15

in order to promote the cross-fertilizing exchange of ideas and
experiences among and between the communities interested in the
foundations, applications, and combinations of high-level,
declarative programming languages and related areas.

Combined, the three workshops offer two invited talks, an invited
musical performance, and more than 25 contributed talks and tutorials.

The lists of presentations can be found at:

* http://nfa.imn.htwk-leipzig.de/WLP2016/WLP16accepted.html

* https://wflp2016.github.io/accepted.html

* http://hal2016.haskell.org/#program

and the layout of the overall programme at
http://nfa.imn.htwk-leipzig.de/LDEC2016/program/