coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Second 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
Subject: [Coq-Club] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
Date: Tue, 8 Aug 2023 09:03:23 +0900
Authentication-results: mail3-smtp-sop.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-il1-f173.google.com
Ironport-data: A9a23:W10WpqN7L8gsgwXvrR1zk8FynXyQoLVcMsEvi/4bfWQNrUpx0jZSy 2UXWWqPOvaCZ2D9fosiat/n/R9XscDcmoQ3QHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYAbNNwJcaDpOsPrT8Ew35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGWXb0nv2PB0DH0ZONJGxvR1Bnxly KAxfWVlghCr34pawZq+Q+how8UndYzlZdxE/H5nyj7dALAtRpWrr6fiv4cJmmdtwJkQQ7CHO JFxhTlHNHwsZzVVIV4LD7ox2uqjjT/iNiFfq0OS46M8pWrLpOB0+Oa2aYaLJ4HULSlTtnSSi UT23DjQORQ9CoeSmQjZ2Eu8jNaayEsXX6pLTOHinhJwu3WYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa8UWqSpz8W0T9rifb5VgTXN1fF+B84waIokbJ3+qHLjkYfD1abcYmiOAzGmIWx F2OgvjUWRU65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L8dlbYvXnHocLLUKlsjHmMWqvn G3S/UDSk51W3JFbjfzqlbzSq2v0/sChc+Ij2unAsouYAu5RYYekY8mp7QGe468fd8CWSV6Ou HVCkM+bhAzvMX1vvHzcKAnuNOvyjxpgDNE6qQA3d3XG32n8k0NPhagKvFlDyL5Ba67ogwPBb k7Joh9275ROJnasZqIfS9vvWp12lvO4Tou/CqC8gj9yjn5ZJVfvEMZGNR/44owRuBVEfVwXY 8fGL5ryUx7294w+lmvvG4/xLoPHNghnnT+JLXwK5xug1rWaaRaopUQtYTOzghQCxPrc+m39q o4BX+PTkkk3eLOkPkH/r9VIRXhUdidTOHwDg5cLHgJ1ClE7QD1J5j646e9JRrGJaIwOy7qQo S7sBBICoLc97FWeQTi3hrlYQOuHdf5CQbgTZ0TA5H75giBxUpXl96oFaZo8cJ8u8eEpn7Y+T OAId4/ESr5DQyjOsWZVJ5Tsjp1QRDLyjyK3Pg2hfGceebxkTFf34dPKRFbk2xQPKSuVjvEAh YOc+DnVerc5fDQ6Pv3qMKqu63iToUkinPlDWhqUA9tLJ2Tp3otYCw3wqf4VO8oddAfnwAaG2 ynHGxon9fT8nKoo+d/ghISvjYSgI81hFGV0QkjZ6reXM3HB32yBmIVvbseBTQr/ZkjVppqwQ Ppz5O7tFsEHkHJhkZtOI5wywY0Qv9LQ9qJnlCJ6F3D1XnGXI7JHIEje+/JQt6dIl4RriSHvV m2hotBlaKi0YuX7G1ssJS0gXOSJ9dcQvhLwtf0VAkHL1BVbzYq9c3d5Hkez0XRGDb5PLoka7 /8ru5cW5yyBmxMaCIu6oR4OxVucDE4rcvsBhskBDZ7Jmzgb7AhIQabhBx/c5LCNbNRxMXcWH AKEuZqah5pg6xrDV1ERCUny2fFsgMVSmRJSk34HCVe7uvvEof4VwCxu9S8TcQBO6y4e1sdPM XpPMkFrL/+C5AVT2cpJBTitPypjBxSp3FP75HVUtW/eTmiuDnfsKk9kM8mz3UkpyUBuVRkFw 6O910DkTifMQMH9+gAQSHxVgaXvYvIp/zKThf39OdqOGqcLRAbMg4isVDIukATmC8Zgv3/3j 7Bm08goYJKqKBNKhbMwDrSb8rEiSBqkAmhmatM59YMrGVDsQh2D6QKsGWuQJPwUf+fr9HWmA fNAPshMDhSy9BifpwAhWJIjHeVGo+4L1vEjJJXbfXULopmOnApP6ZjwzBXztEUvYtdpkPs+F L/vSiK/IjSuokVQykDwr5hiG2unYNM7ShX288Kr/c4oSZ8SkuFeXnsj87mzvkeEbQ9WpTeJs DiaP6WM07Fo2NlsrpqxC65oJh6VLOnrX7+i6zGDsNVpbPLOP/zRtggTlELVAgROMZYVWPV1j b6osuOr7Hjavb0zbX/Vq6OBG4ZN+8+2euhdaeDzE1V3ggqAX5XKzyYY2mXlN6FMrsxR1vOnS yS8dsG0U9wfAPVZ5X9NbhlhAwQvMLv2YojgtBGCgay1UDZF6jP+LfSj6XPNRkNYfHVRO5TBV ynFi8z37dVc9IlxFBsIAs99OKBBIXjhZ/oWR4Wk/33QRGylmUiLtbbehAIto2ODQGWNFMHhp 4nJXF7ifRC1o7vF18xdr5c0hBAMEXJhmqMlSyrxITKtZ+ySVwbq7NjxMKnqzrlRmy32kZD8P XTDNTR5Tyr6WjtAfFP359GLssJzwAAREo+RG9Dr1xr8h+SK6EeoD/1s/Swm/jJqfTjyy6euI pcc4hUc+zCvl4pxS797CuOT2I9aKzCz+p7M0UHm1de0HlMCBrYb0zpoF0xPTUQr1i0LeFrjf QAIeIyPfK13pYMd3yqtl7651Sz1ZA/S8gg=
Ironport-hdrordr: A9a23:PfmfvK7WLm/v/MfqNAPXwBjXdLJyesId70hD6qkXc20pTiX4rb HVoB1/73XJYVkqKRYdcLy7Sc29qBDnhPtICOsqTM6ftWDd0QPCTPAA0WKL+Vzd8kbFh5ZgPM lbAtND4R7LYWRSvILV5AG5FpIH29mI8KehgKP7w212RQ9nL4FMhj0JbDpz0HcaeOCLP/UE/V OniLskmwad
Ironport-phdr: A9a23:CZsdphG88EstGPja06Udmp1GfwlFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k30hmYBM6BtrptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+pDfeQFFiCeybb9sL Bi9sBncuNQRjYZ+MKg61wHHomFPe+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4T adFDDs9KGA6+NfrtRjYQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0yVD+/7 alkVQXohT8IODA5/m/ZidF+grxHrxyuvBF/35fUbZuJOPZiYq/Qf9UXTndBUMZLUCxBB5uxY 4USAeUbIeZYqJHxrEYSoxq+AgmsH/7vyjxWiXP4wKY31P4hERrc0ww8GNIDq3XUrM7vOKcJS +y10bDEzSnEb/NV2Tb975LEfQo9rv2WX7JwadPcxE8yHAzKklues5bqPy+J1usTqWib6fJtW OyuhmI6pQ98ojqiy8Mvh4TIiY8YyFTJ+TtlzIspO9C1SEB2b9CrHZZMuCyXKpV6TM0tTWx2p Ss3xaAKtYO6cSUM1Z8pyRnfa/mdfIiJ5BLuTPyRLiljhH17Yr2/nQq98Ui6yuHmUcm0yllKo yxYmdfPrnAAzwLf5tSDR/dn/Uqs2SyD2x3S5+xFO0w4iKjWJpA5zrIuipYetV7PEyz2lUnsk aObd0Qp9vKn5unkZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2Wb/P6z1Lzn/UHgQbVKiuA6n rDXsJzHJ8kWqLS1AwBS0oYk5Ba/Cymp3M4EknkAKVJJYBOHj473NFHSOP30E+uzjlC2nDpox /3KJKDtD5TMI3TZjbvsf7hw51ZZyAUpzNBf45xUCqsGIPL2QkLxrsfYAQUlMwyz2OvnB89x2 Z0CVm2TGKOZLbresUOP5uIsI+iMY5UZtyzhJPQ/5f7ulWc1mVkGcqaxx5sYdGi4Huh6I0Wee Xfgn88NEX0WsQomUOzqlFqCXCZPaHa1RqIw/y00CIa7DYjYXY2tm7yA3CKjHpJMfGxGC1aME W3pd4qeQfsMZjiScYddlWkPXL2lDosgzg2GtQngyrMhIPCQsjEJrZ/4kdFz4erOkxo/3Th1F NiGlXqARnoyg3sFQTlw0axi5QR2zU7G2qxlidRZE8ZS7rVHSENyNZfHzOF+D/jyUxnCc9OND lG8TZHuCD49R/o1wsQSeAB2G9ymix3ZxGyxDuw7jbuOUdYP+77bmzDLNsFm1nXLnuF1lUIvX sxnNHbgnehishTUBJ/O1UyS0aSyI/dPlBXR/XuOmDLd9HpTVxR9BP2ttRE3Y0LXqY+8/UbeV /q1DqxhNAJdyMmEI68Ma9vzjFwASu2wcM/GbTeXnGG9TQ2N2qvKdJDjLn8G1TnaIEkf1RtV4 DOaMgsvAWGoqCTcFG8mDkrhNnvl6vI2s3anVgkxxgCOYVdm0u+v4RcJgtSTDf4Y1fQZ/Tsmq CRzWl+2mdDOWJKbvwQ0WqJabJsm5Utfk2LUswsoJpu7M6VrnUITaSxytkLqkhRzU8BOyJdx6 nwtywV2JOST11Ypmyqw+5f2N/WXL2Dz+EvqcKvKwhTF187Q/K4T6fM+olGlvQezF0Nk/W81m 99Sm2CR4JnHFm9wGdr4T1o3+h5mprrbfjh15oXa0mdpOLW1tTmK0swgBe8swBKtN9lFN6bMG Aj3GswcT8+gTY5i00KyZw4DFOFJsrVyIoa6cPiX3+iiN6BihHPujGhK5px8zlPZ7zB1GYuql 94Ox/CV2BfCVi+p1g/w9JCq39kaO3dLQTHsrEqsTJRcbaBzY4sRXGKnIsnsg857m4aoQHlAs liqG1IB3satPxuUdV30mwNKhiF16TSqnzW1yztsnnQntK2aiWbU2O3+czIIfGNATy9/yEvrI pmzydkRGkqwJVtM9lPt9QPhyq5Xqb4qZXPISFtPVyntaXokT+6ssbmTZIhG49UqqW8ENYb0K UDfQbn7rRwA1irlFGYL3zE3eQahvZDhlgB7gmaQRJpqhELQYto4hRLW5diHAOVUwiJDXy5gz z/eGlm7OdCtu9SSjZbK9O6kBSqtUZhacC+jyo3l1mPz/3ZjHRqXkLa+kdahDE0m1izq0J9jX mPKtF7wb5Lq2KKzLe98NhMwVRmstowjRN84y9RrzJgLvBpSzo2Y538GjXv+PZ1A1KTyYWBMD T8HztjJ4RT0jUhqL3aH3YX8BRD/ioNqY9i3ZH9T2zpotZgbTvfJquUaw20s/QHryGCZKeJwl Toc1/Y0vXsTguVS/REo0j3YGbcKW09RIS3rkR2MqdG4tqReImi1It3SnAJzm86sCLaar0RSQ nH8L904BiZs6e1wdl/H2zvur53je8jXK9sY8B+M2USl7aAdONcqm/wGiDAyc3jmtGEi4+F9g Bdlm4z/oI+EOmIr9an/AAYSZViXL4sDvzrqi6hZhMOf2YuiS45gFjs8V5ztVfu0ETgWuKevJ 0OUHTY7sHveBavHEFrV9hJ9t3yWWcPOVTnfNDwDwN5lXhXYOEFPnFVeQmAhhpBgXgGymJ66L QEgt2hXvAKn7EMLkL4gNgGjADmD4l3zMXFtFsDZdF0Pv2Qgrw/UKZDMsLw1RnkCuMXn9EvXc iSaf1gaUz9PABDVQQC7eOHpv4GI8vDEVLXkaaKSJ+zf86oGEK7YoPDnmop+o2TTaoPWZCQkV 7tjnRMdFXFhR5aAw2VJEnNI0XKLN4nB/V+94nEl95/ktq26BES3o9PIUuU3U50n+gjq0/3bZ qjA2WAgc2YejtRVmjfJ0ORNhgdMzXw+MWD8S/JY8necBKPIxv0NVkBdMXgicpASqfp7h1goW 4aTnNrx0vQQYucdLVBDWBShn8ioYZdPOGShLBbcA17NMr2aJDrNysWxYKWmSLQWgv8G/xu38 S2WFUPuJFHh33HgSgyvPOdQjSqaIA0WuYezdQxoAHTiS9SuYwOyMdt+hzk7ibMugXaCOWkZO Dl6O0RDy9/YpTtfmel6Endd42BNKOCFn2OY67CdJM9J6r1kBSN7k+8c63M/ivNU4CxCWP1pi X7So9pp8DTE2qGEzjtqVgYLqy4e3tra+xU/f/yHqN8ZBi2XmXBFpX+dABkLudZ/X9jmuqQLj 8PKiLq2MzBatdTd4cobAcHQbsOBKnsodxTzS1u2REMISyCmMWbHiglTivaXozePtZEmrbDj3 pcFQflGEUAyFeIdTE1uWt4aasQSPHtsgfuAgcgE6GDr5gHWX9lft4vbW+i6BPzuLHOYieABa UJXmvX3KoMcMoC90EtnIAof/syCCw/bWtZDpTdkZwk/rRBW8XRweWY03lrsdgKn5HJ7/Rucn wVwkU1jJPgq9ybrpV48YFjS9nNYeKYZlpPoijvXbXvtK6ShWsdfAGz2rxpoWnsaawN8bAn3n Eg9cTmdGOkXgLxnemRmzgTbvMkXccM=
Ironport-sdr: 64d1865b_3WiFBc21E7Br/0Uk3hjgMhqLmy1J4rBJm2xhqlkwP0xyCC6 62y1+E/SZ3mt9sS1T0E431whloRmrHt4hRsDmkA==

======================================================================
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] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023, Sato, Ryosuke, 08/08/2023