[TYPES/announce] Call for Participation: WLP 2016 and co-located events

Sibylle Schwarz sibylle.schwarz at htwk-leipzig.de
Fri Aug 5 10:49:46 EDT 2016


30th Workshop on (Constraint) Logic Programming (WLP 2016)24th
International Workshop on

http://nfa.imn.htwk-leipzig.de/WLP2016/

September 12-13, 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).

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

The Workshops on (Constraint) Logic Programming are the annual meeting
of the German Society of Logic Programming Gesellschaft für Logische
Programmierung e.V. (GLP) and brings together researchers interested in
logic programming, constraint programming, answer set programming, and
related areas like databases and artificial intelligence (not only from
Germany).

This year the workshop is part of the

Leipzig Week of Declarative Programming (L-DEC) 2016
September 12-15, 2016

and co-located with

* WFLP 2016, September 13-14

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/

-- 
-- Prof. Dr. Sibylle Schwarz
-- http://www.imn.htwk-leipzig.de/~schwarz
-- sibylle.schwarz at htwk-leipzig.de -- phone 0341 / 3076 6483


More information about the Types-announce mailing list