[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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, do...@isp.uni-luebeck.de) Michael Hanus (University of Kiel, m...@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