Wahl der Sprecher der GI-Fachgruppe Deklarative Sprachen

From: Dietmar Seipel <dietmar.seipel_at_uni-wuerzburg.de>
Date: Tue, 23 Aug 2016 09:39:09 +0000


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

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:16:02 CEST