From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id BA9C97ED7A; Thu, 27 Sep 2012 10:11:05 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ksuenaga@gmail.com) identity=pra; client-ip=209.85.214.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="ksuenaga@gmail.com"; x-sender="ksuenaga@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of ksuenaga@gmail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="ksuenaga@gmail.com"; x-sender="ksuenaga@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="ksuenaga@gmail.com"; x-sender="postmaster@mail-bk0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AosDAD8JZFDRVdY2k2dsb2JhbABFDqt3kHQDgQsIIwEBAQEJCQsJFAQjgjkCCSMBJxEBAw0FEFoDEgEFAUkOh1EDDwuZHwkDjxqFFycNTIkCAQUMiwwaAT+CI4MgA4hWhE6IRYEVjTcWKYFWgXZKgVQ X-IronPort-AV: E=Sophos;i="4.80,494,1344204000"; d="scan'208";a="157068243" Received: from mail-bk0-f54.google.com ([209.85.214.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Sep 2012 10:11:04 +0200 Received: by bkcjf20 with SMTP id jf20so217045bkc.27 for ; Thu, 27 Sep 2012 01:11:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:cc:content-type; bh=6lSEZqZcgM+WfmIS1196pS1vSqx6VAq3MIrPuwW9NHw=; b=XrAUJScK0JQm/YgCNiRI9TRjpyCJNvGZHsuQYja/CGsOX9/lK12XwycKV6NmuSHaNL rUcMSKKasfS3LcvjcrI2T0ZKpIErFtLB7pUYtRmwXz0D8xw/7XRwDxTlIKusC5HsXree DM7Qz8jE+FKw5C8ohzIV2lFbYh6/cgJlnOpo0FecbWekBH3MoZXGWP1pbe7geBJxg+jR l4b98ZlOM7qy79q+wtMqxCeUXLqg4/AQNGmyjeGSw3qPHdbPKbj1X6RDs5vci05T8kz9 8GxCZj89qD5MPDqr8TI1nTt6+Th2ModDo9rNl+PXYZqB2BuRbzNjKH0mzbE6eqm4YYuo S9rA== Received: by 10.112.24.74 with SMTP id s10mr1310493lbf.122.1348733464142; Thu, 27 Sep 2012 01:11:04 -0700 (PDT) MIME-Version: 1.0 Sender: ksuenaga@gmail.com Received: by 10.114.62.140 with HTTP; Thu, 27 Sep 2012 01:10:23 -0700 (PDT) From: Kohei SUENAGA Date: Thu, 27 Sep 2012 17:10:23 +0900 X-Google-Sender-Auth: AgVew442BHQyj6QvEYrOVrU89Vs Message-ID: To: aplas2012-poster@fos.kuis.kyoto-u.ac.jp Cc: types-announce@lists.seas.upenn.edu, pept@kb.ecei.tohoku.ac.jp, moca-announce@list.it.uu.se, pvs@csl.sri.com, caml-list@inria.fr, coq-club@inria.fr, ecoop-info@ecoop.org Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] APLAS 2012: Final Call for Posters and Demos (Apologies for multiple copies.) 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