[TYPES/announce] APLAS 2015: Call for Participation

Hyeonseung Im hsim at kangwon.ac.kr
Mon Oct 19 04:28:59 EDT 2015


CALL FOR PARTICIPATION:
  APLAS 2015
  Pohang, Korea, November 30 to December 2, 2015

Invited talks:
  Peter O'Hearn, Facebook
  Sukyoung Ryu, KAIST
  Eran Yahav, Technion
  Hongseok Yang, University of Oxford

Registration:
  Early registration deadline: October 26, 2015 (Monday)
  Late registration deadline: November 16, 2015 (Monday)

=== About

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 ('14), 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.

The symposium is devoted to foundational and practical issues in
programming languages and systems:

  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

For local arrangements and registration, please see
http://pl.postech.ac.kr/aplas2015/.

=== Organizers

General chair
Sungwoo Park, Pohang University of Science and Technology (POSTECH), Korea

Program chair
Xinyu Feng, University of Science and Technology of China, China

Program committee
James Brotherston, University College London, UK
James Cheney, University of Edinburgh, UK
Huimin Cui, Institute of Computing Technology, CAS, China
Mike Dodds, University of York, UK
Xinyu Feng (Chair), University of Science and Technology of China, China
Nate Foster, Cornell University, USA
Alexey Gotsman, IMDEA Software Institute, Spain
Aquinas Hobor, School of Computing, National University of Singapore /
Yale-NUS College, Singapore
Chung-Kil Hur, Seoul National University, Korea
Radha Jagadeesan, DePaul University, USA
Annie Liu, Stony Brook University, USA
Andreas Lochbihler, ETH Zurich, Switzerland
Santosh Nagarakatte, Rutgers University, USA
David A. Naumann, Stevens Institute of Technology, USA
Michael Norrish, NICTA, Australia
Hakjoo Oh, Korea University, Korea
Murali Krishna Ramanathan, Indian Institute of Science, India
Xavier Rival, CNRS / ENS / INRIA, France
Kohei Suenaga, Kyoto University, Japan
Gang Tan, Lehigh University, USA
Alwen Tiu, Nanyang Technological University, Singapore
Martin Vechev, ETH Zurich, Switzerland
Bow-Yaw Wang, Academia Sinica, Taiwan
Nobuko Yoshida, Imperial College London, UK
Lijun Zhang, Institute of Software, CAS, China

Poster session chair
Hyeonseung Im, Kangwon National University, Korea

Local organizer
Gyesik Lee, Hankyong National University, Korea


More information about the Types-announce mailing list