Einladung zum Workshop (Constraint-) Logic Programming
und zur Sprecherwahl der GI Fachgruppe Deklarative Sprachen
am 12. September 2016, HTWK Leipig

30. Workshop on (Constraint) Logic Programming (WLP 2016)
---------------------------------------------------------
(als Teil der Leipziger Woche der Deklarativen Programmierung,
 L-DEC 2016)
12.-13. September 2016

(Constraint)-Logische Programmierung ist die seit vielen Jahren
wesentliche Ausprägung deklarativer Problem-Beschreibungen.
Die von der GI-FG Deklarative Sprachen initiierte Workshop-Serie
beschäftigt sich mit den Grundlagen der Logischen und
Constraint-Logischen Programmierung, Interaktionen
dieser Konzepte mit anderen Formalismen, constraint-basierten
Optimierungsmethoden, funktional-logischer Programmierung,
Programmanalyse, Programmtransformation, Programmverifikation,
Metaprogrammierung, Parallelität und Concurrency sowie mit
theoretischen und Anwendungs-Problemen deklarativer
Wissensrepräsentation und -verarbeitung wie Deduktive
Datenbasen, Data Mining, Answer-Set-Programming.

Es findet im Zusammenhang mit der GI-Fachgruppe Deklarative
Sprachen eine Wahl der Sprecher der GI-Fachgruppe Deklarative
Sprachen statt.
Auf dem WLP findet außerdem auch eine Mitgliederversammlung
der Gesellschaft für Logische Programmierung (GLP) e.V. statt.
Wir möchten Sie hiermit herzlich zum Besuch des Jubiläums-WLP,
den Mitgliederversammlungen und der gesamten L-DEC einladen,
und wir hoffen auf zahlreiche Teilnahme.

Nähere Informationen zum WLP und zur L-DEC finden Sie unter
   http://nfa.imn.htwk-leipzig.de/WLP2016 und
   http://nfa.imn.htwk-leipzig.de/LDEC2016/

Prof. Dr. Ulrich Geske, Univ. Potsdam
(GI-FG Deklarative Sprachen)

PS. Noch eine Bitte an FG-Mitglieder ohne Email-Adresse:
zur einfacheren Kommunikation wäre die Hinterlegung
einer Email-Adresse bei der GI sehr hilfreich