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
--
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_informatik.uni-kiel.de'.
To unsubscribe from (leave) this mailinglist, please go to this URL:
https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list
Received on Mi Aug 24 2016 - 10:19:14 CEST