[Haskell] Call for Contributions - Workshop on Programming Languages and Computing Concepts (in German)

[Peter Thiemann]

Workshop on Programming Languages and Computing Concepts
May 2-4, 2018, Physikzentrum Bad Honnef

Deadline for abtracts: April 13, 2018

I'd like to draw your attention to a German workshop with
Haskell-related topics. It's an informal workshop with an emphasis on
presenting ongoing and timely work as well as networking. Student
presentations are very welcome. One-page abstracts may be submitted in
English or German. Presentations may be in English or in German.

The venue is "Physikzentrum Bad Honnef"
https://www.dpg-physik.de/dpg/pbh/index.html?lang=en
a conference center run by the German Society of Physics.

The workshop is organized by chapter 2.1.3 of GI, the German Informatics Society.


~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

                35. Workshop der GI-Fachgruppe

            "Programmiersprachen und Rechenkonzepte"
            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

           2.-4. Mai 2018 im Physikzentrum Bad Honnef

http://www.complang.tuwien.ac.at/gi-fgpsurk/Honnef2018


       Einladung Einreichung von Beiträgen (Call for Papers)

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


Seit 1984 veranstaltet die GI-Fachgruppe "Programmiersprachen
und Rechenkonzepte", die aus den ehemaligen Fachgruppen 2.1.3
"Implementierung von Programmiersprachen" und 2.1.4 "Alternative
Konzepte für Sprachen und Rechner" hervorgegangen ist, regelmäßig
im Frühjahr einen Workshop im Physikzentrum Bad Honnef. Das Treffen
dient in erster Linie dem gegenseitigen Kennenlernen, dem
Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger
Kontakte.

Wir laden Sie ein, Vorträge und Demonstrationen sowohl
bereits abgeschlossener als auch noch laufender Arbeiten aus Ihrem
Betätigungsfeld einzureichen, unter anderem (aber nicht
ausschließlich) zu Themen wie

- Sprachen, Sprachparadigmen
- Korrektheit von Entwurf und Implementierung
- Werkzeuge
- Software-/Hardware-Architekturen
- Spezifikation, Entwurf
- Validierung, Verifikation
- Implementierung, Integration
- Sicherheit (Safety und Security)
- eingebettete Systeme
- hardware-nahe Programmierung

Beiträge zu anderen verwandten Themen sind ebenso willkommen.
Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen,
sondern das Treffen ist darüber hinaus auch für andere
Interessenten offen. Der Workshop findet in der angenehmen, zu
gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums Bad
Honnef statt. Es können bis zu 40 Teilnehmer teilweise in Einzel-,
teilweise in Doppelzimmern untergebracht werden.

Vortragsvorschläge senden Sie bitte in der Form einer erweiterten
Zusammenfassung von nicht mehr als einer Seite (vorzugsweise
PDF) bis spätestens

                          13. April 2018
                          ~~~~~~~~~~~~~~
möglichst per EMail an

      Baltasar Trancon Widemann
      baltasar at trancon.de
      semantics GmbH

      und

      Jens Knoop
      knoop at complang.tuwien.ac.at
      Fakultät für Informatik
      TU Wien

Ihre Anmeldung zur Teilnahme am Workshop sollte ebenfalls
bis zum 13. April 2018 im WWW über die Seite

http://www-ps.informatik.uni-kiel.de/~mh/fg214/Honnef2018/reg.cgi

erfolgen. Veraltete Informationen auf der Homepage des Workshops
bitten wir höflichst zu entschuldigen.


= HINWEIS =====
Siehe auch die im Entwurf und Aufbau befindliche Seite

http://www.complang.tuwien.ac.at/gi-fgpsurk/

für weitere Informationen zur Fachgruppe und
von ihr organisierte und unterstützte Veranstaltungen.

Webseite der FG Programmiersprachen und Rechenkonzepte:
http://www-ps.informatik.uni-kiel.de/fg214/
===============