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 049717EEBF for ; Mon, 17 Aug 2015 09:57:42 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hsim@kangwon.ac.kr) identity=pra; client-ip=210.115.32.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hsim@kangwon.ac.kr"; x-sender="hsim@kangwon.ac.kr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of hsim@kangwon.ac.kr designates 210.115.32.12 as permitted sender) identity=mailfrom; client-ip=210.115.32.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hsim@kangwon.ac.kr"; x-sender="hsim@kangwon.ac.kr"; 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@smf.kangwon.ac.kr) identity=helo; client-ip=210.115.32.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hsim@kangwon.ac.kr"; x-sender="postmaster@smf.kangwon.ac.kr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BuAwAhk9FVlwwgc9Jdg29pBoJYRqo5AY9fgiWCR4RaB0wBAQEBAQESAQEBAQEIFgdPhDYRBkUqDTcCJFYMiBkBDZw7jTqPY5A1hTuND4Y8gUMFjVGEQIJPPYUEh2iCEJZdgToRgV8MAUSBcWKCTAEBAQ X-IPAS-Result: A0BuAwAhk9FVlwwgc9Jdg29pBoJYRqo5AY9fgiWCR4RaB0wBAQEBAQESAQEBAQEIFgdPhDYRBkUqDTcCJFYMiBkBDZw7jTqPY5A1hTuND4Y8gUMFjVGEQIJPPYUEh2iCEJZdgToRgV8MAUSBcWKCTAEBAQ X-IronPort-AV: E=Sophos;i="5.15,693,1432591200"; d="scan'208";a="142940732" Received: from smf.kangwon.ac.kr ([210.115.32.12]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 Aug 2015 09:57:39 +0200 Received: from external ([209.85.214.178]) (authenticated authid=hsim) by smf.kangwon.ac.kr (1.0) id t7H7vAV00BA5; Mon, 17 Aug 2015 16:57:11 +0900 X-SmartFilter: UNIQ,6D7A393C1859A7F0FD354A3CAA73FDFD,t7H7vAV00BA5 X-SmartFilter: AUTH,t7H7vAV00BA5,hsim X-SmartFilter: FROM,t7H7vAV00BA5,hsim@kangwon.ac.kr Received: by obbop1 with SMTP id op1so106439744obb.2 for ; Mon, 17 Aug 2015 00:57:09 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.60.54.1 with SMTP id f1mr124908oep.68.1439798229245; Mon, 17 Aug 2015 00:57:09 -0700 (PDT) Received: by 10.202.92.85 with HTTP; Mon, 17 Aug 2015 00:57:09 -0700 (PDT) Date: Mon, 17 Aug 2015 16:57:09 +0900 Message-ID: From: Hyeonseung Im To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e0115f36e00a6b6051d7d2602 Subject: [Caml-list] APLAS 2015 Call for Poster Presentations (Korea, Nov 30 - Dec 2) --089e0115f36e00a6b6051d7d2602 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable =E2=80=8B =E2=80=8B =E2=80=8B =E2=80=8BCall for Poster=E2=80=8B Pr= esentations: APLAS 2015=E2=80=8B=E2=80=8B 13=E2=80=8B=E2=80=8Bth Asian Symposium on Programming Languages and Sys= tems =E2=80=8B =E2=80=8B =E2=80=8B =E2=80=8BNovember 3=E2=80=8B0 -= =E2=80=8B December =E2=80=8B2, 2015=E2=80=8B=E2=80=8B =E2=80=8B =E2=80=8B=E2=80=8BPohang, Korea =E2=80=8B =E2=80=8B http://pl.postech.ac.kr/aplas2015/ =E2=80=8B =E2=80=8BSubmission due: =E2=80=8B21=E2=80=8B September 201= =E2=80=8B5=E2=80=8B (Monday), 23:59 GMT =E2=80=8B =E2=80=8BNotification: =E2=80=8B =E2=80=8B 5 =E2=80=8BOctobe= r=E2=80=8B 201=E2=80=8B5=E2=80=8B (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 Singapore (=E2=80=9914), Melbourne (=E2=80=9913), Kyot= o (=E2=80=9912), Kenting (=E2=80=9911), Shanghai (=E2=80=9910), Seoul (=E2=80=9909), Bangalo= re (=E2=80=9908), Singapore (=E2=80=9907), Sydney (=E2=80=9906), Tsukuba (=E2=80=9905), Taipei (=E2=80= =9904) and Beijing (=E2=80=9903) after three informal workshops. APLAS 2015 will include a poster 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 researchers in the field. =3D=3D=3D=3D=3D SCOPE =3D=3D=3D=3D=3D Poster contributions are sought in all areas of programming languages and systems, including the following topics:=E2=80=8B=E2=80=8B - 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 e-mail a 1=E2=80=932 page abstract in PDF to the post= er chair (Hyeonseung Im: hsim AT kangwon.ac.kr) by 21 September, 23:59 GMT. The abstract should include the title, author(s), affiliation(s) and summary of the work. We will announce the accepted presentations on 5 October. We hope to accommodate every presentation, but may restrict them (based on relevance and interest to the community) due to space constraints. The format of the poster 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: 21 September 2015 (Monday), 23:59 GMT Notification: 5 October 2015 (Monday) Conference: 30 November - 2 December 2015 (Monday=E2=80=93Wednesday) =3D=3D=3D=3D=3D=3D=3D CONTACT =3D=3D=3D=3D=3D=3D=3D Poster chair: Hyeonseung Im (hsim AT kangwon.ac.k=E2=80=8Br=E2=80=8B) --089e0115f36e00a6b6051d7d2602 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=E2=80=8B =E2= =80=8B =C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=8B =C2=A0=E2=80=8BCall for Poster= =E2=80=8B Presentations: APLAS 2015=E2=80=8B=E2=80=8B

=C2=A0 =C2= =A0 13=E2=80=8B=E2=80=8Bth Asian Symposium on Programming Languages and Sys= tems
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=E2=80=8B =C2=A0 =E2=80=8B = =C2=A0=E2=80=8B =E2=80=8BNovember 3=E2=80=8B0 -=E2=80=8B December =E2=80=8B= 2, 2015=E2=80=8B=E2=80=8B
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=8B = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =E2=80=8B=E2=80=8BPohang, = Korea
=C2=A0 =C2=A0 =C2=A0
=C2=A0 =C2=A0=E2=80=8B =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =E2=80=8B http= ://pl.postech.ac.kr/aplas2015/
=C2=A0 =C2=A0
=C2=A0 =C2=A0 =E2=80= =8B =E2=80=8BSubmission due: =E2=80=8B21=E2=80=8B September 201=E2=80=8B5= =E2=80=8B (Monday), 23:59 GMT
=C2=A0 =C2=A0 =E2=80=8B =E2=80=8BNotificati= on: =E2=80=8B =C2=A0=E2=80=8B 5 =E2=80=8BOctober=E2=80=8B 201=E2=80=8B5=E2= =80=8B (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 la= nguage research by providing a
forum for the presentation of latest resul= ts 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 Asi= an Association for Foundation of Software
(AAFS), founded by Asian resear= chers in cooperation with many
researchers from Europe and the USA. Past = APLAS symposiums were
successfully held in Singapore (=E2=80=9914), Mel= bourne (=E2=80=9913), Kyoto (=E2=80=9912),
Kenting (=E2=80=9911), Shangha= i (=E2=80=9910), Seoul (=E2=80=9909), Bangalore (=E2=80=9908), Singapore
= (=E2=80=9907), Sydney (=E2=80=9906), Tsukuba (=E2=80=9905), Taipei (=E2=80= =9904) and Beijing (=E2=80=9903)
<= font face=3D"monospace, monospace">after three informal workshops.

APLAS 2015 will include a poster session during the conference. The=
post= er session aims to give students, researchers and professionals an
opport= unity to present technical materials to the research community,
and to ge= t responses from other researchers in the field.

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

Poster contributions are sought in all ar= eas of programming languages
and systems, including the following topics:= =E2=80=8B=E2=80=8B

- semantics, logics, foundational theory;
- d= esign of languages, type systems and foundational calculi;
- domain-speci= fic languages;
- compilers, interpreters, abstract machines;
=
- program = derivation, synthesis and transformation;
- program analysis, verificatio= n, model-checking;
- logic, constraint, probabilistic and quantum program= ming;
- software security;
- concurrency and parallelism;
<= div class=3D"gmail_default">- 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
<= div class=3D"gmail_default">
=
Each= presenter should e-mail a 1=E2=80=932 page abstract in PDF to the poster
chair (Hyeonseung Im: hsim AT kangwon.ac.= kr) by 21 September, 23:59
GMT. The abstract should include the title= , author(s), affiliation(s)
and summary of the work. We will announce the= accepted presentations
on 5 October. We hope to accommodate every presen= tation, but may
restrict them (based on relevance and interest to the com= munity) due
to space constraints. The format of the poster will be announ= ced
later.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<= /div>
IMPOR= TANT DATES
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Submiss= ion due: 21 September 2015 (Monday), 23:59 GMT
Notification: 5 October 20= 15 (Monday)
Conference: 30 November - 2 December 2015 (Monday=E2=80=93Wed= nesday)

=3D=3D=3D=3D=3D=3D=3D
CONTACT
=3D=3D=3D=3D=3D=3D=3D
=
Poster chair: Hyeonseung Im (hsim AT kangwon.ac.k=E2=80=8Br=E2=80=8B= )
--089e0115f36e00a6b6051d7d2602--