coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Submissions: Student Research Competition and Posters, APLAS 2023

From: "Sato, Ryosuke" <rsato AT is.s.u-tokyo.ac.jp>
To: caml-list AT inria.fr, types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, haskell AT haskell.org, agda AT lists.chalmers.se, seworld AT sigsoft.org
Subject: [Coq-Club] Call for Submissions: Student Research Competition and Posters, APLAS 2023
Date: Tue, 23 May 2023 16:10:29 +0900
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rsato AT is.s.u-tokyo.ac.jp; spf=Pass smtp.mailfrom=rsato AT g.ecc.u-tokyo.ac.jp; spf=None smtp.helo=postmaster AT mail-pf1-f176.google.com
Ironport-data: A9a23:ueUQ16orBCLYC74iQOR6QPBd861eBmLOYRIvgKrLsJaIsI4StFCzt garIBmHbPyPMzHxeIt+bImz8xgDvcSBm9FnHldl/300FyJGouPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSs/rrRC9H5qyo42tF5AdmPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2koH5dJ3uIqC1pFy tYYGW9OaQyf29+flefTpulE3qzPLeHuNYIb/2lulHTXVKl4B5/ERKrO6JlT2zJYasJmR66PI ZpEL2A2NFKZPEMn1lQ/UPrSmM+ynXDjdBVX7l+eruwqpnTUzx12lrHmdtjNEjCPbZwNzx/F9 j2XpwwVBDkiafe96zWdo0m3m9Tjmgq4XL0CMuCRo6sCbFq7nzRPUnX6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVYvGjiHuNvxpZQ9QJVuNjt1/Lxa3T7AKUQGMDS1atdeDKqucoZyZ78 lvUlejiOhZvgeLWTm6Bqoq9+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7k5jESMWGgq w1mvBTSlJ1I0pFWj/TTEUTvxmPz9sKQH2bZ8y2OBjr9hj6VcrJJcGBB1LQ2xfNJLYLcVlfY+ XZdxJbY4+cJApWA0ieKRY3h/Y1FBd7VYVUwYnY1R/HNEghBHVb9JOi8Bxkgfi9U3j4sI2OBX aMqkVo5CGVvFHWrd7RrRIm6Ft4ny6Ptffy8CKCIMYoWOMMtLVbZlM2LWaJ29zC8+KTLufFvU ap3je7xZZrnIf42l2buHLt1PUEDmnplnws/uqwXPzz+iebEDJJkYbgCN1SKY4gEAFCs8W3oH yJkH5LSkX13CbWgCgGOqNJ7BQ5QcRATW8utw+QJLb7rH+aTMDt+YxMn6ehxJdINcmU8vrugw 0xRrWcDkQGh2SafdlzVAp2hAZu2NatCQbsAFXREFT6VN7ILOu5DNY9OLsNlTqpt7+F50/9/Q t8MfsjKULwFSS3K935ZJdPxpZBrPkbjzw+fHTuXUB5mdb5ZRivN5oDFeCnr/3IwFSaZj5Y1j ICh8QL5eqA9YTpeIvzYU9+V9GPpj0MhwLpze2DqPuhsfF7d9dk2Ci7p0d4yDcI+CTTC4Tq4z w2HXAU8o9TRr6Bk6tT21b21kKK0Gu1XH25xPWrS3ZCpPwb0o0uhxo5hVr6TXDb/DWnbxoSrV d93/drdbsIVuUlsmJVtNYprwYYVxcrdl5UDwitKRHz0PkmWUJV+KXy47Oxzn6xqxI4BnzCpW 0iKq+JoCZ/QNOzLSFcudRcYNMKd3vQpmx7X3/Q/AGP+wARVpLOnc0FjDyOguRxnDoleEd0am L86mcss9QaApAIgMY+GggBq5m28FCE8fJt9hK4KIr3Aq1QN+glZbI3+Gx3GxsiFS+9xP3kAJ h6Wg6v/hIpg+HfSTkprFVbx8Lpcob8spCF1yEQzIgXVu9jd2d4y8h5j0RU2aQV30iR41/lXC kJuEnYsIICy9G1MgcRdVTqgADN6WR+ToBTw73Arl2TpaVaieUKQDW86OMeLpFs49UAFdBdl3 bio8kTXehe0Q9PUwQ0zRl9Dl/zvafdT5z/yspmrMOrdFqZrfAe/pLGlYFQ5jifOAOQztRXhn vZr9uMhUp/LH3ccjINjArbLyIlKbg6PIVFDZvRT/KkpO2X4UxPq0BisL3GBQO98F8bow2SZV fM3ftluUi6g3hmgtjoYXK4AA4Fllc4TueYtROnZGn4kgZC+8BxZ6Ind5wrvtl8NGt9Oq/swG qnVVjCFE1GTu0dqpn/wnJF6HVS8MPY5Z1za/eGq8e82OYoJn8NyfGoTjLalnXWnHzF23hCTv THSOqvnlcl/xb81x4G2DvhJFli0GMKuTe+j0RuStu5WZojlKvb+tAIyq3jmMT9JPLAXZc9Fq LSVvPPz32LHpLwTUV2Fq6KeFqJM29q+bNBXPu3zMnNeuymIA+3o3Dcu5EG6LsZvvO5Gx8z6W Ta9VtS8ReQVV/hZ2ndRTSpUSDQZKqbva5bftTGPlOuNBjcdwD74Aouer1GxVl5idwgMJ5HaI S33saz35tln8aJ9NCVdDPRiW5JFMFvvXJU9TOLItB6aMDiYsgvX8P+q3x8t8irCBXS4Ad73q 8CNDAT3cBOp/rrE1pdFuoh1pQcaF2t5nfJ2RE8G5tpqkHqvOQbq9wjG3UkuUfm4UxAe1a0Uo BnIZWomTD3zBHFKKEqiptvkWQibC6oFPdKRyvnFOa+LQ3/eOW9CKOIJGuRcD7NedX3ux+rhN JQC/X7hOV64yddrXY7/I9Sl1Px/yKqyKm0goCjAfg+bP/raKbQRkmcnAU9RUi/WFIfEnwPJP QDZgIyCrF6TESbMLCqrR5KZ9Nz1ct8iI/XEoBpjGOrihrg=
Ironport-hdrordr: A9a23:PTZIea2eeVuneFwJPUfGlAqjBGIkLtp133Aq2lEZdPUzSL3kqy nOpoVg6faQslwssR4b6Le90cW7MBfhHP1OkOws1NWZLXDbUQKTRekIjfqA/9SJIUzDH4VmpN 9dmsZFeabN5JtB4frS0U2XF94hxZ2g66CnheDXyjNIQRtxY69tqydVYzzrdHGehjMqOXP0Lv WhDwN8yUvDRUgq
Ironport-phdr: A9a23:aMXnqRO+zZP0WxWPG1gl6nYPBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1wCQFtmLo9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSijewY65+I Bq5oAjSq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jioMKjw3/3zNisFog61VoByvqR9izYDKfI6bO+Fzfr/Efd4AWWZNQtpdWi5HD4ihb 4UPFe0BPeNAooXzulUBtwe+BQ60COjy1jFJhnj23bYn0+QiDw7K0hErEtUUsHTPttr1KKASX Pu0zKnT1znDdOla2Srk5IjUdRAhovGNXbVqfcXL1UYjDQHFjk2JpIHjIjia2fgDvXKB4Op8S eKglXQnqwdprzWhx8ogl4fHi4IXx13A9ih0wYk4KN+8RUJlfdKpDIVduiGUOoV4Tc4vX25lt TskxrMItpC2YjUHxZs6yxLCavGKdZWD7BzkVOaUOzh4hXRldaqlhxms6kiv1PfzVtOo31ZKt CpJiN7MtmoC1xHV98OJSeN981+/1TqT0w3f8OJJLEAumabFNpIt3qQ8mocRvEnCBiP6hln6g auMekgn+uWk8frrbqjnq5OGOIJ5iAfzObk0lMOlG+Q3KA0OUnCb+eui0L3j+lX0QLBQgf03l qnVqYjaJcoGqqKgDQ9Zz4Qu5helAzep19QYmnYHLFZbdx6dk4fpPFTOLOj5Dfe5nVusjC9my +7aMrDlGJnALXjOnK3/cbpg90JQ0hc/wNJe6p5MD7EOOvPzWkv/tNzCCR85NhS5w/z8CNpny oMeXnmCAqCDPKzMrVCH+vgjI/SVaI8Jvzb9KPgk5/n0gXAjhVARZ6up3YMPZHC+BftpO1+Zb mb0gtcdDWcKuRIzQPHyhF2YTTFTf2qyX7475jwjFI2mCp7DSpmxj7yFwSe0BYZbZntGC1CJC XfnbZ+IW/YKaCKII89uiCYIVba7S9xp6Rb7vwb/z/9jL/HI0iwer5PqktZvo6XPhAk/7nl9C cKazmeGQklwn3gUXHkt0alk51Flx1GFl6V0nrgQHttKovhNTw0SNJjGzuU8Bcq2EgLIZdSET FKOQty9Ajw1SpQ22dBKK09yF9yKihHYwzHsCL8ck7mGHody6a+Yl2P8OMFnz3ruz6gulF4oX o1IL2L1qLR48l2ZPIfVlAHRrbetbrkf0WSFoH2YxHaJlEBDFhU2TODZWnMOYQ3fppL7/hWRH PeVFb07P14Zmoa5IaxQZ4ix5b0nbPLqOdCEJnm0h3/1HxGDgLWFcIvtfWwZmiTbEkkN1Q4Jr j6dLQZrICCnrirFCSB2U0r1ahb26uBir1u6VQkviRzPc0pixr3z8xVTh+TPA+gL0Oc8sTw64 y5xAE772tvXD9SaoA80Zr5VfdQV7xFK3mmfqklhOZ+xKOZrjRgca1c/pFvggjNwDIgIis02t DUqwQ51fLqfy09EfiiE0IrYP7TWLizq8knqZfeJhBfR19GZ/qpJ4/M9w7n6lCeuEEdqs3Bu0 t0PlmCZ+o2PFg0ZF5T4Tkcw8RF+4bDceCg0oY3OhzVqNuGvvznO1shMZqNtwwu8f9pZLKKPF RPjW8wcCc+0LeU2ml+vJhsaNeFW/aQwMouobfyDkKKsOe9hmnqhgwElqMhnyUuQ8AJ9UajTm YtA3/abzwzBXjy6jk/g+sH7lIZYZC0DS3KlwHuBZsYZbalzcIAXTGa2dpfvl5Mu2ti3AiYer QH9VDZkkIezdBGfbkLwx1hV3EUT+zm8nDegiiZzmHcvp7ae2yrHx6LjcgAGMyhFXjoH7x+kL I6qgtQdREXtYRIukU7v/13z269zq+JyJGKVXAJUeCvnKCdrWe2yrvDRBqwHoINtqihRXOmmN BqAUbfhpDMbyGX4WXYb2Dc4Zjbss56/nQQw2wf/ZD5j6XHef8933xLW4tfREOVQ0jQxTy59k TDLB1K4MrFF5P2snozY+qC7XmOlDNhIdDXziJmHv2297HFrBhu2m7aynMfmGE40y32z295vX CTO5BHyB+ujn76hOP5gVkYuCVT3rdc/BoZ9g4x2jZpW22BSipiO/HUBmHv+Kp0BgfO4PCdLH 2dThYeKvkDswygBZjqRypj8V2mBz8cpfNS8bm4Mm2o8481MFKaI/elBlCpxrEC/qFG0A7A1l TMcxP0yrX8C1rtR6Ux9k2PHW+hURBYGbkmO31yS4tuzrbtafjOqeLm0jg9lmMy5SauFqUdaU Wr4fZErGWlx6N9+ORTCyi6WiMmsdd/OYNYUrhDRnQ3Hir0fMok4iv0iimxqMmm7oDg5zO0qi lpn1te4pMLUTgcltLL8GRNeOjDvMokJ4Tjxio5R2Mud1MayW4lmGSQMGpLjC/CwWmF317yvJ 0OFFzsyrW2eELzUEFqE6UtomHnIFoiiK3CdIHRKhcUnXhSWI1ZTxRwFRDhv1IBsDRiknYayF SUxriBU/FPzrQFAj/5lJwWqGHmKvx+mM381UMTNd0cQt1AaoR2JborGqbgvVyBAos//8ErXc TfdPloQSzlOAx3hZRirP6Hyt4eetbHAXKzmaaOJO+3GqPQCBanWg8jzg802p3DUcZ/Xdnh6U 69kgAwaATYgSp6fw3JWG0l132rMd5LJ+0v6o3cq6Jj5qLOyBkru/dfdUuMCd4wwpFbmx//Eb bfYhT4le28HjdVVlCOOkP5HmwdM7kMmPzi1TeZa7X+LHP+Ww/UHSUZcMnw7NdMUvfhlgE8Qa YiC24mzjvkh37Y0EwsXDwW/3JvyNIpReSflcwqWYSTDfKKPITmBqy3uSYW7T7AYzOBdthnq/ C2eD1emJDOI0T/gSxGoN+hIyiCdJh1X/o+nIF5rDiD4QdTqZwfeUpc/hCAqwbAymnLBNHINe Tl6fURXq7SM7CReyvxhEm1F53BhIKGKgSGcp+XfL58Xt7NsDEEW36pC528mzrJO8CxebPl8m S+XttA35l//zbfJxT1gXx5D7D1MgcPDvElvP7nY6ogVWXvA+0Fojy3YABALqt15T9z37voIm 56fyeSpcW8Eqo2Krq5+T4DOJcmKMWQsK0/sET/QVk4eSCKzcHvYjApbme2T8Xucqt47rILtk dwAUOw+NhR9G/UEB0BiBNFHLo1wW2Zui6WSkMkg6jyzpxKXWYBGuZPWUbSbCrPtMHzK6NsML wtN2r7+IYkJY8fj3Fd+b1BhgInQM0/ZXNQIuiM4KwFt/xsL/395QWk+nUnib0n+hR1bXe7xl RkwhAxkZO0r/zq5+FY7KG3Boy4omVUwk9Ho6dh0WD/qarz2QMRKDCnlsA44OdX5W1QtBeVTt UltNTOBX7wIyrU5Kj4thwjbtp9CX/VbSP8cCPf/7f7Rav4jl0kZtiKk1EgB7OCDC4MwzWMX
Ironport-sdr: 646c66f5_CEzXNLKwjQao/28RraM0KaJ5cdhihlRpNybtbq/B1gRS1i+ N17R0yvDyniTbtxx+WKZTbq346dKAURUOZ2zJwg==

======================================================================
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)

[Coq-Club] Call for Submissions: Student Research Competition and Posters, APLAS 2023, Sato, Ryosuke, 05/23/2023