[Agda] CfP: Fourth Working Conference on Programming Languages (ATPS'09)

Janis Voigtlaender voigt at tcs.inf.tu-dresden.de
Thu Apr 2 15:38:58 CEST 2009


      Fourth Working Conference on Programming Languages (ATPS'09)
      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         http://www-ps.informatik.uni-kiel.de/atps09/

          Part of the 39th annual conference of the
             German Gesellschaft für Informatik
             Luebeck (Germany), 28.9.-2.10. 2009

The conference aims at bringing together researchers and developers
interested in the area of programming languages. The conference addresses
all paradigms of programming languages: imperative, object-oriented,
functional, logic, concurrent, parallel, or graphical programming
languages, as well as languages to support the implementation of
distributed systems and concepts for the integration of different
paradigms. The first three Working Conferences on Programming Languages
took place as part of the annual computer science conferences
in Germany (Aachen 1997, Paderborn 1999, Ulm 2004).

Typical but not exclusive topics are:

  * Design of programming languages as well as domain-specific languages
  * Implementation and optimization techniques
  * Analysis and transformation of programs
  * Type systems
  * Semantics and specification techniques
  * Modelling languages, object orientation
  * Internet programming
  * Verification of programs and implementations
  * Tools and programming environments
  * Frameworks, architectures, generative approaches
  * Experiences with specific applications
  * Relations between languages, architectures, processors

Techniques, methods, concepts, and tools to improve the safety
and reliability of programs are also of interest. The conference
also welcomes contributions from enterprises.


Submissions:
~~~~~~~~~~~~
Submitted papers must be written in English or German and should
contain unpublished works. Contributions will be judged by
relevance, originality, correctness, and readability.
The significance should be clearly stated and compared to
existing works.

Contributions should not exceed 15 pages (LNI style, see
http://www.gi-ev.de/service/publikationen/lni/autorenrichtlinien/).
They must be submitted in PostScript or PDF format until
April 26, 2009. Detailed information about the electronic submission
is available at the web page of the conference:
http://www-ps.informatik.uni-kiel.de/atps09/

It is also intended to organize a session with short presentations about
unfinished projects and experience reports. Such short contributions
should be clearly marked and submitted like other contributions
as an extended abstract of no more than five pages.

The accepted papers will be published in the proceedings of
the general conference that consists of printed proceedings
that will appear in the GI-Edition Lecture Notes in Informatics (LNI)
with one-page abstracts and a CD containing the full papers.


Import Dates:
~~~~~~~~~~~~~
Submission of contributions:          April 26, 2009
Notification of acceptance/rejection: May 25, 2009
Submission of camera-ready papers:    July 1, 2009


Organization:
~~~~~~~~~~~~~
Walter Dosch     (University of Luebeck, dosch at isp.uni-luebeck.de)
Michael Hanus    (University of Kiel, mh at informatik.uni-kiel.de)


Program Committee:
~~~~~~~~~~~~~~~~~~
Walter Dosch (Univ. Luebeck, Co-Chair)
Wolfgang Goerigk (b+m Informatik AG)
Juerg Gutknecht (ETH Zuerich)
Michael Hanus (Univ. Kiel, Co-Chair)
Martin Hofmann (Univ. Muenchen)
Petra Hofstedt (TU Berlin)
Frank Huch (Univ. Kiel)
Jens Knoop (TU Wien)
Herbert Kuchen (Univ. Muenster)
Rita Loogen (Univ. Marburg)
Markus Mueller-Olm (Univ. Muenster)
Helmuth Partsch (Univ. Ulm)
Peter Pepper (TU Berlin)
Martin Pluemicke (BA Stuttgart)
Arnd Poetzsch-Heffter (Univ. Kaiserslautern)
Peter Thiemann (Univ. Freiburg)
Janis Voigtlaender (TU Dresden)
Wolf Zimmermann (Univ. Halle)


Information about the main conference:
http://www.informatik2009.de


More information about the Agda mailing list