SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:(SEWORLD) CfP: ATPS'09
From:Michael Hanus <[log in to unmask]>
Date:Tue, 7 Apr 2009 23:24:20 -0600 (MDT)
Content-Type:text/plain

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=C3=BCr 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 =20
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, [log in to unmask])
Michael Hanus (University of Kiel, [log in to unmask])


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

============================================================
To contribute to SEWORLD, send your submission to
<[log in to unmask]>.

http://www.cs.colorado.edu/serl/seworld provides more
information on SEWORLD as well as a complete archive of
messages posted to the list.

To subscribe to SEWORLD, send the following (as the body of
a message) to <[log in to unmask]>:

     subscribe seworld <desired e-mail address>
     end

To unsubscribe from SEWORLD, send the following (as the body
of a message) to <[log in to unmask]>:

     unsubscribe seworld <registered e-mail address>
     end
============================================================



ATOM RSS1 RSS2