From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id C64D07ED7A for ; Fri, 7 Sep 2012 07:40:57 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ksuenaga@gmail.com) identity=pra; client-ip=209.85.215.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ksuenaga@gmail.com"; x-sender="ksuenaga@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of ksuenaga@gmail.com designates 209.85.215.54 as permitted sender) identity=mailfrom; client-ip=209.85.215.54; receiver=mail1-smtp-roc.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 (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lpp01m010-f54.google.com) identity=helo; client-ip=209.85.215.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="ksuenaga@gmail.com"; x-sender="postmaster@mail-lpp01m010-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkCAByISVDRVdc2k2dsb2JhbABFqWCRaAgiAQEBAQkJCwkUBCOCOQIJIwEnEgMNBRBaAxIBBQFJDodcAw+aLYJhCQOPFoVNJw1MiQEBBQyLBRoBgnqDHAOIToRMiECOPj6BVoI8gVI X-IronPort-AV: E=Sophos;i="4.80,384,1344204000"; d="scan'208";a="172209140" Received: from mail-lpp01m010-f54.google.com ([209.85.215.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Sep 2012 07:40:57 +0200 Received: by lage12 with SMTP id e12so2821688lag.27 for ; Thu, 06 Sep 2012 22:40:56 -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:content-type; bh=CwIOM0c8MNkPfStWnjRhVhJHZ+Dc5A4SmrKnfR+xDdc=; b=ZwAvpQ7LZgNOwM96cRokSC7SFXvbP2CpRK0makdbb+GbwwFIJYveKfpbrE/YsKQ4a+ YgDqO/iVLYFRnf12+55DMs1wIegj5rd4UxB8gWIRMJqZ7Ca8W33g12j5GbqU/4v2VUbG R+IxfAmAI+ip7+NP/qu7WA6X4FgegZjYOWnK3JVIEsxGpJM5Xp6tBHrrQNwxUJ8qzZHq f5PgxqX5HVzuOFAKQf7z8AYPC5w7C1Wf6SJza8iqN1oDQbGV1ZEpkA9vEeZgRS+eihwj iSyyJ6De4T0uPPY8OnUhNmQyGfrebIino4uD81xoJLC7+0LPE2XsLdObeRS6wrKdKdDa 6J8g== Received: by 10.152.147.130 with SMTP id tk2mr4047250lab.4.1346996456416; Thu, 06 Sep 2012 22:40:56 -0700 (PDT) MIME-Version: 1.0 Sender: ksuenaga@gmail.com Received: by 10.114.19.209 with HTTP; Thu, 6 Sep 2012 22:40:16 -0700 (PDT) From: Kohei SUENAGA Date: Fri, 7 Sep 2012 14:40:16 +0900 X-Google-Sender-Auth: u-Zvm6XCLdKshzOl2I85wetFrOA Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] APLAS 2012: Call for Posters and Demos (Apologies for multiple copies.) 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) 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)