Call for Poster Presentations

APLAS 2010 will include a poster session during the conference. The session aims to give students and researchers an opportunity to present their research to the community, and to get responses from other researchers.


Poster presentations describing research advances or experience with non-trivial systems are sought in all areas of programming languages and systems, including (but not limited to):

  • semantics, logics, foundational theory;
  • design of languages and foundational calculi;
  • type systems;
  • compilers, interpreters, abstract machines;
  • program derivation, analysis, transformation;
  • software security, safety, verification;
  • concurrency, constraints, domain-specific languages;
  • tools for programming, verification, implementation.


A space of A1 paper size (594 mm wide and 841 mm high) will be provided for each presentation. If you need more space, contact the poster chair (li-gq AT To prepare a good poster, search the Web for "poster presentation" and you will find many useful resources.


Each presenter should e-mail a 1-2 page abstract in PDF or PostScript to the poster chair (Guoqiang Li; li-gq AT by September 30th 2010. The abstract should include the title, author(s), affiliation(s), and summary of the work, and a LaTeX-template will be available at "". The program of the poster session will be announced by October 10th, 2010. We hope to accommodate every poster, but may restrict presentations (based on relevance and interest to the community) due to space constraints.


1-2 page abstract September 30, 2010   October 14, 2010
NotificationOctober 10, 2010  October 24, 2010
Symposium November 28-December 1, 2010


For questions or requests, please contact the APLAS 2010 poster chair, Guoqiang Li (li-gq AT