[TYPES/announce] PPPJ'13 - Call for Participation

danilo.ansaloni at usi.ch danilo.ansaloni at usi.ch
Tue Aug 13 13:28:24 EDT 2013

                        CALL FOR PARTICIPATION


      2013 International Conference on Principles and Practices
                 of Programming on the Java platform:
                virtual machines, languages, and tools

                        September 11-13, 2013
                          Stuttgart, Germany


            In cooperation with ACM SIGPLAN and ACM SIGAPP
                       Sponsored by Oracle Labs


The conference takes place at the Baden-Wuerttemberg Cooperative State
University (DHBW) in the city of Stuttgart (http://www.dhbw-stuttgart.de/).
The confernce hall (Audimax) is within walking distance of the central
station. A special room rate has been arranged with Motel One Stuttgart
Hauptbahnhof. Please mind that rooms are only blocked until August 20.
For more information, please visit http://pppj2013.dhbw.de/


The Java platform is multi-faceted, covering a rich diversity of
systems, languages, tools, frameworks, and techniques. PPPJ'13 - the
10th conference in the PPPJ series - provides a forum for researchers,
practitioners, and educators to present and discuss novel results on
all aspects of programming on the Java platform including virtual
machines, languages, tools, methods, frameworks, libraries, case
studies, and experience reports.

Virtual machines for Java and Java-like language support:
  - JVM and similar VMs
  - VM design and optimization
  - VMs for mobile and embedded devices
  - Real-time VMs
  - Isolation and resource control

Languages on the Java platform:
  - JVM languages (Clojure, Groovy, Java, JRuby, Kotlin, Scala, ...)
  - Domain-specific languages
  - Language design and calculi
  - Compilers
  - Language interoperability
  - Parallelism and concurrency
  - Modular and aspect-oriented programming
  - Model-driven development
  - Frameworks and applications
  - Teaching

Techniques and tools for the Java platform:
  - Static and dynamic program analysis 
  - Testing 
  - Verification
  - Security and information flow 
  - Workload characterization 


General Chair: 
  Martin Plümicke, Duale Hochschule Baden-Württemberg, Germany
Program Chair: 
  Walter Binder, University of Lugano, Switzerland

Publicity Chair: 
  Danilo Ansaloni, University of Lugano, Switzerland

Program Committee:
  Judith Bishop, Microsoft Research, USA
  Steve Blackburn, Australian National University, Australia
  Christoph Bockisch, University of Twente, The Netherlands
  Eric Bodden, European Center for Security and Privacy by Design, Germany
  Shigeru Chiba, University of Tokyo, Japan
  Ferruccio Damiani, University of Torino, Italy
  Erik Ernst, Aarhus University, Denmark
  Michael Franz, University of California Irvine, USA
  Nicolas Geoffray, Google Inc., Denmark
  Samuel Z. Guyer, Tufts University, USA
  Michael Haupt, Oracle Labs, Germany
  Nigel Horspool, University of Victoria, Canada
  Einar Broch Johnsen, University of Oslo, Norway
  Stephen Kell, University of Lugano, Switzerland
  Andreas Krall, Vienna University of Technology, Austria
  Doug Lea, State University of New York at Oswego, USA
  Hanspeter Mössenböck, Johannes Kepler University of Linz, Austria
  Nathaniel Nystrom, University of Lugano, Switzerland
  Rei Odaira, IBM Research Tokyo, Japan
  Jens Palsberg, University of California Los Angeles, USA
  Jennifer Sartor, Ghent University, Belgium
  Ina Schaefer, Technische Universität Braunschweig, Germany
  Martin Schoeberl, Technical University of Denmark, Denmark
  Bernhard Scholz, University of Sydney, Australia
  Andreas Sewe, Technische Universität Darmstadt, Germany
  Niranjan Suri, Florida Institute for Human & Machine Cognition, USA
  Eli Tilevich, Virginia Tech, USA
  Petr Tuma, Charles University, Czech Republic
  Alex Villazón, Universidad Privada Boliviana, Bolivia
  Christian Wimmer, Oracle Labs, USA
  Jianjun Zhao, Shanghai Jiao Tong University, China

More information about the Types-announce mailing list