<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">2nd Call for Papers<div class=""><br class="">APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems<br class="">October 22-24, 2024, Kyoto, Japan<br class=""><br class=""> <a href="https://conf.researchr.org/home/aplas-2024/" class="">https://conf.researchr.org/home/aplas-2024/</a><br class=""><br class="">APLAS 2024 aims to bring together programming language researchers,<br class="">practitioners and implementors *worldwide*, to present and discuss the<br class="">latest results and exchange ideas in all areas of programming<br class="">languages and systems. APLAS 2024 is co-located with the<br class="">22nd International Symposium on Automated Technology for Verification<br class="">and Analysis (ATVA).<br class=""><br class=""><br class="">We solicit submissions in the form of regular research papers<br class="">describing original scientific research results, including system<br class="">development and case studies. Among others, solicited topics include:<br class="">programming paradigms and styles; methods and tools to specify and<br class="">reason about programs and languages; programming language foundations;<br class="">methods and tools for implementation; concurrency and distribution;<br class="">applications, case studies and emerging topics.<br class=""><br class="">Submissions should not exceed 17 pages, excluding bibliography, in the<br class="">Springer LNCS format. The reviewing process is light double-blind,<br class="">with a rebuttal phase to address factual errors and minor<br class="">misunderstandings.<br class=""><br class="">Proceedings of APLAS 2024 will be published by Springer as part of<br class="">Lecture Notes in Computer Science (LNCS). <br class=""><a href="https://link.springer.com/conference/aplas" class="">https://link.springer.com/conference/aplas</a><br class=""><br class="">APLAS 2024 continues the tradition of the best paper award. <br class=""><br class=""> Submission deadline: Fri May 24<br class=""><br class=""> Response period: Jul 24-26<br class=""> Acceptance notification: Fri Aug 2<br class=""> Camera-ready: Sat Aug 31<br class=""><br class="">The submission website is now open: <a href="https://aplas24.hotcrp.com/" class="">https://aplas24.hotcrp.com/</a><br class=""><br class="">General Chair: Jacques Garrigue (Nagoya U.)<br class="">Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.)<br class=""><br class="">Program Committee:<br class=""><br class="">Beniamino Accattoli (Inria & Ecole Polytechnique)<br class="">Pierre-Evariste Dagand (IRIF / CNRS) <br class="">Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA)<br class="">Fritz Henglein (DIKU and Deon Digital)<br class="">Mirai Ikebuchi (Kyoto University)<br class="">Patrik Jansson (Chalmers University of Technology and University of Gothenburg)<br class="">Oleg Kiselyov (Tohoku University, PC Chair)<br class="">Hsiang-Shang ‘Josh’ Ko (Academia Sinica)<br class="">Daan Leijen (Microsoft Research)<br class="">Martin Lester (University of Reading)<br class="">Fredrik Nordvall Forsberg (University of Strathclyde)<br class="">Matija Pretnar (University of Ljubljana)<br class="">Peter Schachte (The University of Melbourne)<br class="">Sven-Bodo Scholz (Radboud University)<br class="">Philipp Schuster (University of Tübingen)<br class="">Taro Sekiyama (NII)<br class="">Amir Shaikhha (University of Edinburgh)<br class="">Pavle Subotic (Fantom Foundation)<br class="">Yong Kiam Tan (Institute for Infocomm Research, A*STAR)<br class="">Kazunori Ueda (Waseda University)<br class="">Yuting Wang (Shanghai Jiao Tong University)<br class="">Ki Yung Ahn (Hannam University)</div></body></html>