[logic-ml] APLAS 2012: Final Call for Posters and Demos

[Kohei SUENAGA]

# 複数受け取られた場合はご容赦ください。

京都大学の末永幸平と申します。
12月11〜13日に京都で開催される APLAS 2012 の
ポスター・デモ募集のお知らせをお送りします。
申し込みの締め切りまで一週間となりました。
どうぞ発表をご検討ください。

末永幸平
京都大学白眉センター
ksuenaga at fos.kuis.kyoto-u.ac.jp

--

                          10th Asian Symposium on
                  Programming Languages and Systems
                                  (APLAS 2012)
                   December 11-13, 2012, Kyoto, Japan
                          (Co-located with CPP 2012)

                    http://aplas12.kuis.kyoto-u.ac.jp/

                        Call for Poster and Demos

APLAS 2012 will include a poster and demo session during the
conference. The poster session aims to give students and professionals
an opportunity to present technical materials to the research
community, and to get responses from other researchers in the field.

This year, accepted posters will be presented in the main hall so that
presenters have much opportunity of discussion during breaks. Standing
by the poster on each break is not mandatory, though.

* Scope

Poster and demo contributions are sought in all areas of programming
languages and systems, including the following topics:

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

* Format of Posters

A space of A1 paper size (594 mm wide and 841 mm high) will be
provided for each presentation. AC Power outlet of 100V will be also
provided during the poster & demo session. If you need more space and
facilities, contact the poster chair (aplas2012-poster AT
fos.kuis.kyoto-u.ac.jp).

* Submission

Each presenter should e-mail a 1-2 page abstract in PDF to the poster
chair (Kohei Suenaga: aplas2012-poster AT fos.kuis.kyoto-u.ac.jp) by
October 5th 2012. The abstract should include the title, author(s),
affiliation(s) and summary of the work. The program of the poster
session will be announced by October 29th, 2012. We hope to
accommodate every poster, but may restrict presentations (based on
relevance and interest to the community) due to space constraints.

* Important Dates

Submission deadline: October 5th, 2012
Notification: October 29th, 2012

* Contact

Poster chair: Kohei Suenaga
(aplas2012-poster AT fos.kuis.kyoto-u.ac.jp)

--
Kohei Suenaga
ksuenaga AT fos.kuis.kyoto-u.ac.jp