From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4BB0A7F75C for ; Fri, 15 Aug 2014 07:10:20 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cristian_gherghina@sutd.edu.sg) identity=pra; client-ip=134.170.140.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cristian_gherghina@sutd.edu.sg"; x-sender="cristian_gherghina@sutd.edu.sg"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of cristian_gherghina@sutd.edu.sg designates 134.170.140.137 as permitted sender) identity=mailfrom; client-ip=134.170.140.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cristian_gherghina@sutd.edu.sg"; x-sender="cristian_gherghina@sutd.edu.sg"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@APAC01-HK1-obe.outbound.protection.outlook.com) identity=helo; client-ip=134.170.140.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cristian_gherghina@sutd.edu.sg"; x-sender="postmaster@APAC01-HK1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4CAL6V7VOGqoyJnGdsb2JhbABZFoIxgRlXAQPNagEJiHIQAQEBAQEGFgk9hAoSC0sjAUBAJwQTCAwOiB8BDaBRgkoBGYEEAopJAQGRU4RgF4wdgk0RAYMPD0SBQQWIeIFrgmmBPoFrhE6SdIxdbAGBDjmBBwEBAQ X-IPAS-Result: Al4CAL6V7VOGqoyJnGdsb2JhbABZFoIxgRlXAQPNagEJiHIQAQEBAQEGFgk9hAoSC0sjAUBAJwQTCAwOiB8BDaBRgkoBGYEEAopJAQGRU4RgF4wdgk0RAYMPD0SBQQWIeIFrgmmBPoFrhE6SdIxdbAGBDjmBBwEBAQ X-IronPort-AV: E=Sophos;i="5.01,867,1400018400"; d="scan'208,217";a="74889869" Received: from mail-hk1on0137.outbound.protection.outlook.com (HELO APAC01-HK1-obe.outbound.protection.outlook.com) ([134.170.140.137]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Aug 2014 07:10:17 +0200 Received: from SIXPR03MB125.apcprd03.prod.outlook.com (10.242.62.145) by SIXPR03MB127.apcprd03.prod.outlook.com (10.242.62.148) with Microsoft SMTP Server (TLS) id 15.0.1005.10; Fri, 15 Aug 2014 05:10:07 +0000 Received: from SIXPR03MB125.apcprd03.prod.outlook.com ([169.254.13.41]) by SIXPR03MB125.apcprd03.prod.outlook.com ([169.254.13.41]) with mapi id 15.00.1005.008; Fri, 15 Aug 2014 05:10:07 +0000 From: Cristian Andrei Gherghina To: "caml-list@inria.fr" Thread-Topic: APLAS 2014: Call for Posters and Demos Thread-Index: AQHPuEcuML3nEqk9S0Gq0O+2huKM7Q== Date: Fri, 15 Aug 2014 05:10:07 +0000 Message-ID: <07ed785ae85842e198b3da56601610ce@SIXPR03MB125.apcprd03.prod.outlook.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [103.24.77.56] x-microsoft-antispam: BCL:0;PCL:0;RULEID:;UriScan:; x-forefront-prvs: 0304E36CA3 x-forefront-antispam-report: SFV:NSPM;SFS:(10019004)(6009001)(199003)(13624006)(252514010)(189002)(77096002)(21056001)(74502001)(105586002)(19580405001)(85306004)(85852003)(108616004)(80022001)(2351001)(110136001)(107886001)(107046002)(106356001)(33646002)(229853001)(83072002)(95666004)(83322001)(19627405001)(31966008)(81542001)(87936001)(76576001)(15202345003)(79102001)(4396001)(19625215002)(101416001)(77982001)(88552001)(99396002)(76482001)(20776003)(66066001)(19580395003)(92566001)(2656002)(86362001)(74316001)(106116001)(15975445006)(54356999)(50986999)(64706001)(81342001)(74482001)(46102001)(74662001)(24736002);DIR:OUT;SFP:1102;SCL:1;SRVR:SIXPR03MB127;H:SIXPR03MB125.apcprd03.prod.outlook.com;FPR:;MLV:sfv;PTR:InfoNoRecords;A:1;MX:1;LANG:en; Content-Type: multipart/alternative; boundary="_000_07ed785ae85842e198b3da56601610ceSIXPR03MB125apcprd03pro_" MIME-Version: 1.0 X-OriginatorOrg: sutd.edu.sg X-Validation-by: cristian_gherghina@sutd.edu.sg Subject: [Caml-list] APLAS 2014: Call for Posters and Demos --_000_07ed785ae85842e198b3da56601610ceSIXPR03MB125apcprd03pro_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ?(Apologies for multiple copies.) Call for Posters and Demos: APLAS 2014 12th Asian Symposium on Programming Languages and Systems November 17-19, 2014 Singapore http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ Submission due: 15 September 2014 (Monday), 23:59 GMT Notification: 22 September 2014 (Monday) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D BACKGROUND =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. APLAS 2014 will include a poster and demo session during the conference. The poster session aims to give students, researchers and professionals an opportunity to present technical materials to the research community, and to get responses from other students, researchers and professionals in the field. =3D=3D=3D=3D=3D SCOPE =3D=3D=3D=3D=3D 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, type systems and foundational calculi; - domain-specific languages; - compilers, interpreters, abstract machines; - program derivation, synthesis and transformation; - program analysis, verification, model-checking; - logic, constraint, probabilistic and quantum programming; - software security; - concurrency and parallelism; - tools and environments for programming and implementation. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D SUBMISSION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Each presenter should submit a 1-2 page abstract in PDF via the submission web page, https://easychair.org/conferences/?conf=3Daplas2014ps , by 15 Sep= tember 2014 (Monday), 23:59 GMT. The abstract should include the title, style of the presentation (poster on= ly or poster plus demo), author(s), affiliation(s) and summary of the work. Abstracts must be written in English using the Springer LNCS format. We will announce the accepted presentations on 22 September 2014. We hope to accommodate every presentation, but may restrict them (based on relevance a= nd interest to the community) due to space constraints. The format of the post= er will be announced later. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D IMPORTANT DATES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission due: 15 September 2014 (Monday), 23:59 GMT Notification: 22 September 2014 (Monday) Conference: 17-19 November 2014 (Monday-Wednesday) =3D=3D=3D=3D=3D=3D=3D CONTACT =3D=3D=3D=3D=3D=3D=3D Poster chair: Cristian Gherghina (SUTD, Singapore) Email: cristian_gherghina@sutd.edu.sg ?? This email may contain confidential and/or proprietary information that is = exempt from disclosure under applicable law and is intended for receipt and= use solely by the addressee(s) named above. If you are not the intended re= cipient, you are notified that any use, dissemination, distribution, or cop= ying of this email, or any attachment, is strictly prohibited. Please delet= e the email immediately and inform the sender. Thank You --_000_07ed785ae85842e198b3da56601610ceSIXPR03MB125apcprd03pro_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
​(Apologies for multiple copies.)

                 Call for Post= ers and Demos: APLAS 2014

      12th Asian Symposium on Programming Languages and Syst= ems
                     = ;     November 17-19, 2014
            Singapore
      http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/

      Submission due: 15 September 2014 (Monday), 23:59 GMT<= /div>
        Notification: 22 September 2014 (Monday)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
BACKGROUND
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems.  APLAS is based in Asia, but is<= /div>
an international forum that serves the worldwide programming language
community.

APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA.  Past APLAS symposiums were successfully held=
in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul
('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05),
Taipei ('04) and Beijing ('03) after three informal workshops.

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

=3D=3D=3D=3D=3D
SCOPE
=3D=3D=3D=3D=3D

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, type systems and foundational calculi;
- domain-specific languages;
- compilers, interpreters, abstract machines;
- program derivation, synthesis and transformation;
- program analysis, verification, model-checking;
- logic, constraint, probabilistic and quantum programming;
- software security;
- concurrency and parallelism;
- tools and environments for programming and implementation.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
SUBMISSION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Each presenter should submit a 1-2 page abstract in PDF via the submission<= /div>
web page, https://easychair.org/conferences/?conf=3Daplas2014ps , by 15 Sep= tember
 2014 (Monday), 23:59 GMT. 

The abstract should include the title, style of the presentation (poster on= ly
or poster plus demo), author(s), affiliation(s) and summary of the work.&nb= sp;
Abstracts must be written in English using the Springer LNCS format. <= /div>
We will announce the accepted presentations on 22 September 2014. We hope t= o 
accommodate every presentation, but may restrict them (based on relevance a= nd 
interest to the community) due to space constraints. The format of the post= er
will be announced later.


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
IMPORTANT DATES
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Submission due: 15 September 2014 (Monday), 23:59 GMT
Notification: 22 September 2014 (Monday)
Conference: 17-19 November 2014 (Monday-Wednesday)

=3D=3D=3D=3D=3D=3D=3D
CONTACT
=3D=3D=3D=3D=3D=3D=3D
  Poster chair: Cristian Gherghina (SUTD, Singapore)
  Email: cristian_gherghina@sutd.edu.sg
​​<= /span>


This email may contain confidential and/or propr= ietary information that is exempt from disclosure under applicable law and = is intended for receipt and use solely by the addressee(s) named above. If = you are not the intended recipient, you are notified that any use, dissemination, distribution, or copying of = this email, or any attachment, is strictly prohibited. Please delete the em= ail immediately and inform the sender. Thank You

--_000_07ed785ae85842e198b3da56601610ceSIXPR03MB125apcprd03pro_--