[Agda] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023

Sato, Ryosuke rsato at is.s.u-tokyo.ac.jp
Tue Aug 8 02:03:23 CEST 2023


======================================================================
CALL FOR SUBMISSIONS

21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
STUDENT RESEARCH COMPETITION and POSTERS

Taipei, Taiwan, Sun 26 – Wed 29 November 2023

https://conf.researchr.org/track/aplas-2023/src-and-posters
======================================================================


The APLAS 2023 student research competition (SRC) aims to provide
opportunities for students to present their ongoing work to the
community and receive feedback. The associated poster session also
welcomes contributions from the entire community.


IMPORTANT DATES
---------------

* Mon 21 Aug 2023: Submission Deadline for Extended Abstracts
* Fri 22 Sep 2023: Notification


SUBMISSION CATEGORIES
---------------------

* Student Research Competition: unpublished work by a single student
https://conf.researchr.org/track/aplas-2023/src-and-posters#student-research-competition

* Non-SRC posters: unpublished or published work, not restricted to students
https://conf.researchr.org/track/aplas-2023/src-and-posters#non-src-posters


PRIZES AND AWARDS
-----------------

* First, second, and third prizes of the SRC

* Audience awards (based on voting by conference participants) given in three
categories: SRC posters, non-SRC posters, and SRC finalist presentations


SUBMISSION INFORMATION
----------------------

For both submission categories, submit an extended abstract following the
instructions on the website:

https://conf.researchr.org/track/aplas-2023/src-and-posters#submission-information

A selection committee will review the extended abstracts and provide feedback.


ORGANISERS
----------

SRC & Posters Chair:

* Hsiang-Shang 'Josh' Ko (Academia Sinica, Taiwan)

Selection Committee:

* Jacques Garrigue (Nagoya University, Japan)
* Jeremy Gibbons (University of Oxford, UK)
* Chih-Duo Hong (National Chengchi University, Taiwan)
* Oleg Kiselyov (Tohoku University, Japan)
* Akimasa Morihata (University of Tokyo, Japan)
* Dominic Orchard (University of Kent, UK)
* Taro Sekiyama (National Institute of Informatics, Japan)
* Chung-chieh Shan (Indiana University, USA)
* Youngju Song (MPI-SWS, Germany)
* Tachio Terauchi (Waseda University, Japan)
* Chuangjie Xu (SonarSource, Germany)


More information about the Agda mailing list