[Agda] APLAS 2020 Call for Participation

Bruno Oliveira brunocdsoliveira at googlemail.com
Tue Nov 17 06:47:01 CET 2020


Dear all,

CALL FOR PARTICIPATION
The 18th Asian Symposium on Programming Languages and Systems (APLAS 2020)
Online, November 30th-December 2nd, 2020 (JST)
(JST = Japan Standard Time = UTC+09)
https://conf.researchr.org/home/aplas-2020

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 languages
community.

APLAS 2020 will be held online from Mon, November 30th to Wed, December
2nd, 2020. The three-day event includes, three keynote talks, six regular
sessions, and one poster session. The registration is now open at:

 https://conf.researchr.org/attending/aplas-2020/registration

The registration deadline is: Tue, November 24th, 2020 (AoE).
There is no registration fee; no payment information is required.
The registration covers all online activities (in Slack and/or Zoom).

Keynote Speakers:

* Luca Cardelli (University of Oxford)
  "Integrated Scientific Modeling and Lab Automation"

* Hidehiko Masuhara (Tokyo Institute of Technology)
  "Object Support for GPU Programming: Why and How"

* Nadia Polikarpova (University of California at San Diego)
  "Generating Programs from Types"

For the detailed conference program, see
 https://conf.researchr.org/program/aplas-2020/program-aplas-2020

Best Regards,

Bruno Oliveira
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20201117/cfcc4c5d/attachment.html>


More information about the Agda mailing list