[TYPES/announce] APLAS 2023: Second Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION Early registration deadline: 25 October 2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!WsnwVTX2Y1nis2E6Wxdfj3g-_wwujaus6OvT8BEjDdRzYaFcrxTUIHzKdpHYUeCgLSqx5nvxz8-rs7E-UEPxgK8yaJxUHqIlTvNz3w$ == The 21st Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of the 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 languages community. This year’s conference is co-located with Agda Implementors’ Meeting XXXVII. APLAS 2023 will be held in Taipei, Taiwan from Monday 27th to Wednesday 29th November 2023. Before the main conference, the New Ideas and Emerging Results (NIER) workshop will be held on Sunday 26th November 2023. There is also a student research competition and an associated poster session. == # Participation == Registration information is available at the homepage: https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!WsnwVTX2Y1nis2E6Wxdfj3g-_wwujaus6OvT8BEjDdRzYaFcrxTUIHzKdpHYUeCgLSqx5nvxz8-rs7E-UEPxgK8yaJxUHqIlTvNz3w$ Early registration deadline: 25 October 2023. Please register soon! == # Keynote Speakers == * Hakjoo Oh, Korea University. * Bow-Yaw Wang, Academia Sinica. A third keynote speaker will be announced soon. == # Accepted Papers == * A Diamond Machine for Strong Evaluation. Beniamino Accattoli (Inria & École Polytechnique), and Pablo Barenbaum (National University of Quilmes (CONICET) & University of Buenos Aires). * Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. Yannick Forster (Inria), Dominik Kirst (Ben-Gurion University), and Niklas Mück (Saarland University). * m-CFA Exhibits Perfect Stack Precision. Kimball Germane (Brigham Young University). * Typed Non-determinism in Functional and Concurrent Calculi. Bas van den Heuvel (University of Groningen), Joseph W. N. Paulus (University of Groningen), Daniele Nantes-Sobrinho (University of Brasília and Imperial College London), and Jorge Perez (University of Groningen) * Argument Reduction of Constrained Horn Clauses Using Equality Constraints. Ryo Ikeda (The University of Tokyo), Ryosuke Sato (The University of Tokyo), and Naoki Kobayashi (The University of Tokyo). * Transport via Partial Galois Connections and Equivalences. Kevin Kappelmann (Technical University of Munich). * Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. Wenhua Li (National University Singapore), Quang Loc Le (University College London), Yahui Song (National University of Singapore), and Wei-Ngan Chin (National University of Singapore). * Types and Semantics for Extensible Data Types. Cas van der Rest (Delft University of Technology), and Casper Bach Poulsen (Delft University of Technology). * Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq. Ayumu Saito (Tokyo Institute of Technology), Reynald Affeldt (National Institute of Advanced Industrial, and Science and Technology (AIST)). * TorchProbe: Fuzzing Dynamic Deep Learning Compilers. Qidong Su (University of Toronto / Vector Institute), Chuqin Geng (McGill University), Gennady Pekhimenko (University of Toronto / Vector Institute), and Xujie Si (University of Toronto) * What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study. Ke Sun (Peking University), Sheng Chen (University of Louisiana at Lafayette), Meng Wang (University of Bristol), and Dan Hao(Peking University). * Compilation Semantics for a Programming Language with Versions. Yudai Tanabe (Kyoto University), Luthfan Anshar Lubis (Tokyo Institute of Technology), Tomoyuki Aotani (Sanyo-Onoda City University), and Hidehiko Masuhara (Tokyo Institute of Technology). * A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. Sean Watters (University of Strathclyde),
[TYPES/announce] APLAS 2023: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION Early registration deadline: 25 October 2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!STjPFDNSE_zvCQeNmq9ic6Ga0FQbLv-q7UC-5zzNByRXgjkT2vvvRAa-CBiz4US8z8XENffMS-4Un-0TSBXL8BJQjIasnff21PpgPA$ == The 21st Asian Symposium on Programming Languages and Systems (APLAS) aims to stimulate programming language research by providing a forum for the presentation of the 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 languages community. This year’s conference is co-located with Agda Implementors’ Meeting XXXVII. APLAS 2023 will be held in Taipei, Taiwan from Monday 27th to Wednesday 29th November 2023. Before the main conference, the New Ideas and Emerging Results (NIER) workshop will be held on Sunday 26th November 2023. There is also a student research competition and an associated poster session. == # Participation == Registration information is available at the homepage: https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!STjPFDNSE_zvCQeNmq9ic6Ga0FQbLv-q7UC-5zzNByRXgjkT2vvvRAa-CBiz4US8z8XENffMS-4Un-0TSBXL8BJQjIasnff21PpgPA$ Early registration deadline: 25 October 2023. Please register soon! == # Keynote Speakers == * Hakjoo Oh, Korea University. * Bow-Yaw Wang, Academia Sinica. A third keynote speaker will be announced soon. == # Accepted Papers == * A Diamond Machine for Strong Evaluation. Beniamino Accattoli (Inria & École Polytechnique), and Pablo Barenbaum (National University of Quilmes (CONICET) & University of Buenos Aires). * Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. Yannick Forster (Inria), Dominik Kirst (Ben-Gurion University), and Niklas Mück (Saarland University). * m-CFA Exhibits Perfect Stack Precision. Kimball Germane (Brigham Young University). * Typed Non-determinism in Functional and Concurrent Calculi. Bas van den Heuvel (University of Groningen), Joseph W. N. Paulus (University of Groningen), Daniele Nantes-Sobrinho (University of Brasília and Imperial College London), and Jorge Perez (University of Groningen) * Argument Reduction of Constrained Horn Clauses Using Equality Constraints. Ryo Ikeda (The University of Tokyo), Ryosuke Sato (The University of Tokyo), and Naoki Kobayashi (The University of Tokyo). * Transport via Partial Galois Connections and Equivalences. Kevin Kappelmann (Technical University of Munich). * Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. Wenhua Li (National University Singapore), Quang Loc Le (University College London), Yahui Song (National University of Singapore), and Wei-Ngan Chin (National University of Singapore). * Types and Semantics for Extensible Data Types. Cas van der Rest (Delft University of Technology), and Casper Bach Poulsen (Delft University of Technology). * Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq. Ayumu Saito (Tokyo Institute of Technology), Reynald Affeldt (National Institute of Advanced Industrial, and Science and Technology (AIST)). * TorchProbe: Fuzzing Dynamic Deep Learning Compilers. Qidong Su (University of Toronto / Vector Institute), Chuqin Geng (McGill University), Gennady Pekhimenko (University of Toronto / Vector Institute), and Xujie Si (University of Toronto) * What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study. Ke Sun (Peking University), Sheng Chen (University of Louisiana at Lafayette), Meng Wang (University of Bristol), and Dan Hao(Peking University). * Compilation Semantics for a Programming Language with Versions. Yudai Tanabe (Kyoto University), Luthfan Anshar Lubis (Tokyo Institute of Technology), Tomoyuki Aotani (Sanyo-Onoda City University), and Hidehiko Masuhara (Tokyo Institute of Technology). * A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. Sean Watters (University of Strathclyde),
[TYPES/announce] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 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://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters__;!!IBzWLUs!RgwW4psdHWLwOzrtLG6dgOKiYdBnXAb1EaINYZlXo6l_g9Xf_gkM0tS8mpfQnK3wMH_xyuR4RzPKwR4F9lUQXfhn9Z9QUci6uV038w$ == 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://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*student-research-competition__;Iw!!IBzWLUs!RgwW4psdHWLwOzrtLG6dgOKiYdBnXAb1EaINYZlXo6l_g9Xf_gkM0tS8mpfQnK3wMH_xyuR4RzPKwR4F9lUQXfhn9Z9QUcjQu5xSYA$ * Non-SRC posters: unpublished or published work, not restricted to students https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*non-src-posters__;Iw!!IBzWLUs!RgwW4psdHWLwOzrtLG6dgOKiYdBnXAb1EaINYZlXo6l_g9Xf_gkM0tS8mpfQnK3wMH_xyuR4RzPKwR4F9lUQXfhn9Z9QUcidfh7cmw$ 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://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*submission-information__;Iw!!IBzWLUs!RgwW4psdHWLwOzrtLG6dgOKiYdBnXAb1EaINYZlXo6l_g9Xf_gkM0tS8mpfQnK3wMH_xyuR4RzPKwR4F9lUQXfhn9Z9QUcioMGEydg$ 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)
[TYPES/announce] APLAS 2023: Deadline Extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEWS: Deadline extended to 18th June. == CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!RW25WrmQHNHjI4IaxX-yQxwH9o-qJ1vCegGtTodRW5Mo3Z0XfAEOzJ-HvO2ez182qTqJQ9mdwzoPCsFKf84TNej_kbmaQ8ACvwq82g$ == IMPORTANT DATES - "NEW" Submission deadline: Sun 18 Jun 2023 AoE Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE Author notification: Mon 14 Aug 2023 AoE Final paper deadline: Wed 6 Sep 2023 AoE Conference: Sun 26 – Wed 29 Nov 2023 SCOPE - We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - ** programming paradigms and styles ** : functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - ** methods and tools to specify and reason about programs and languages ** : programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - ** programming language foundations ** : formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - ** methods and tools for implementation ** : compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - ** concurrency and distribution ** : process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - ** applications and emerging topics ** : programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. GENERAL INFORMATION - Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. LaTeX template is available at: https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!RW25WrmQHNHjI4IaxX-yQxwH9o-qJ1vCegGtTodRW5Mo3Z0XfAEOzJ-HvO2ez182qTqJQ9mdwzoPCsFKf84TNej_kbmaQ8Cri0t0Lg$ The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions. Papers should be submitted via HotCRP: https://urldefense.com/v3/__https://aplas2023.hotcrp.com/__;!!IBzWLUs!RW25WrmQHNHjI4IaxX-yQxwH9o-qJ1vCegGtTodRW5Mo3Z0XfAEOzJ-HvO2ez182qTqJQ9mdwzoPCsFKf84TNej_kbmaQ8DN5LprtQ$ The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. POSTERS and STUDENT RESEARCH COMPETITION APLAS 2023 includes a Posters session and a Student Research Competition. For more details, please see the website. https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/posters-and-src__;!!IBzWLUs!RW25WrmQHNHjI4IaxX-yQxwH9o-qJ1vCegGtTodRW5Mo3Z0XfAEOzJ-HvO2ez182qTqJQ9mdwzoPCsFKf84TNej_kbmaQ8BGds357g$ DISTINGUISHED PAPERS AWARDS
[TYPES/announce] APLAS 2023: Final Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!RnP7Kf5u7vwO27OFZb5PhO99dsZ1r3rv7grO73hAFeM-rZWxANHIn0NV1WovJWAGVpeEGnH9qBVq4RKMU2xvMoZnkQQirMJLjWDVJg$ == IMPORTANT DATES - Submission deadline: Thu 15 Jun 2023 AoE Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE Author notification: Mon 14 Aug 2023 AoE Final paper deadline: Wed 6 Sep 2023 AoE Conference: Sun 26 – Wed 29 Nov 2023 SCOPE - We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - ** programming paradigms and styles ** : functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - ** methods and tools to specify and reason about programs and languages ** : programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - ** programming language foundations ** : formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - ** methods and tools for implementation ** : compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - ** concurrency and distribution ** : process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - ** applications and emerging topics ** : programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. GENERAL INFORMATION - Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. LaTeX template is available at: https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!RnP7Kf5u7vwO27OFZb5PhO99dsZ1r3rv7grO73hAFeM-rZWxANHIn0NV1WovJWAGVpeEGnH9qBVq4RKMU2xvMoZnkQQirML0-Gf2sA$ The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions. Papers should be submitted via HotCRP: https://urldefense.com/v3/__https://aplas2023.hotcrp.com/__;!!IBzWLUs!RnP7Kf5u7vwO27OFZb5PhO99dsZ1r3rv7grO73hAFeM-rZWxANHIn0NV1WovJWAGVpeEGnH9qBVq4RKMU2xvMoZnkQQirMLxbfz0CA$ The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. POSTERS and STUDENT RESEARCH COMPETITION APLAS 2023 includes a Posters session and a Student Research Competition. For more details, please see the website. https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/posters-and-src__;!!IBzWLUs!RnP7Kf5u7vwO27OFZb5PhO99dsZ1r3rv7grO73hAFeM-rZWxANHIn0NV1WovJWAGVpeEGnH9qBVq4RKMU2xvMoZnkQQirMIBSpUtuQ$ DISTINGUISHED PAPERS AWARDS - Around
[TYPES/announce] Call for Submissions: Student Research Competition and Posters, APLAS 2023
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 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://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters__;!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-ab1DLFM0Q$ == 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://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*student-research-competition__;Iw!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-abw9WGE9A$ * Non-SRC posters: unpublished or published work, not restricted to students https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*non-src-posters__;Iw!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-aYX0OYUhg$ 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://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/src-and-posters*submission-information__;Iw!!IBzWLUs!SdPlt3XNAoopNpHsSgTheCsHNXkUkFV9hoYFsktBXBKvgr6uUBrzF8q5L5lfYBoMHFth90bnsRf8Mt4Gjtfn6HpWfcBo-aY2Kj6PQA$ 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)
[TYPES/announce] APLAS 2023: Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UPDATE: Distinguished Papers Awards! == CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWeaKqJfLQ$ == IMPORTANT DATES - Submission deadline: Thu 15 Jun 2023 AoE Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE Author notification: Mon 14 Aug 2023 AoE Final paper deadline: Wed 6 Sep 2023 AoE Conference: Sun 26 – Wed 29 Nov 2023 SCOPE - We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - ** programming paradigms and styles ** : functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - ** methods and tools to specify and reason about programs and languages ** : programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - ** programming language foundations ** : formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - ** methods and tools for implementation ** : compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - ** concurrency and distribution ** : process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - ** applications and emerging topics ** : programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. GENERAL INFORMATION - Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. LaTeX template is available at: https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWeOrpwSaA$ The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions. Papers should be submitted via HotCRP: https://urldefense.com/v3/__https://aplas2023.hotcrp.com/__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWcz0ywxWQ$ The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. POSTERS and STUDENT RESEARCH COMPETITION APLAS 2023 includes a Posters session and a Student Research Competition. For more details, please see the website. https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/posters-and-src__;!!IBzWLUs!UprlsqTgiUbwlKdsjBSZ0WqcVaXvgB0rtJKjfvXDAKi-3HKHSb_0IjAPho7zGRLFjFlFP6msOKvuBgQ-hLhBk641-W6tyWdqGVK0fQ$ DISTINGUISHED PAPERS AWARDS
[TYPES/announce] APLAS 2023 first Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://urldefense.com/v3/__https://conf.researchr.org/home/aplas-2023__;!!IBzWLUs!Q_kgAg7CnO59QyVLBawlsjljOIx5T7j_dakrrTHciqE5TZM8PKqpuTCEihppnrk8DK3Mzhi_fXlaNfEJ11Xn4JLpn_fTxMfNLu5Aew$ == IMPORTANT DATES - Submission deadline: Thu 15 Jun 2023 AoE Author response: Mon 31 Jul 12:00 - Wed 2 Aug 12:00 2023 AoE Author notification: Mon 14 Aug 2023 AoE Final paper deadline: Wed 6 Sep 2023 AoE Conference: Sun 26 – Wed 29 Nov 2023 SCOPE - We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - ** programming paradigms and styles ** : functional programming; object-oriented programming; probabilistic programming; logic programming; constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - ** methods and tools to specify and reason about programs and languages ** : programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - ** programming language foundations ** : formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - ** methods and tools for implementation ** : compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - ** concurrency and distribution ** : process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - ** applications and emerging topics ** : programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. GENERAL INFORMATION - Submissions should not exceed 17 pages, excluding bibliography in the Springer LNCS format. LaTeX template is available at: https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!Q_kgAg7CnO59QyVLBawlsjljOIx5T7j_dakrrTHciqE5TZM8PKqpuTCEihppnrk8DK3Mzhi_fXlaNfEJ11Xn4JLpn_fTxMemsm2G9w$ The accepted papers will be allowed to use one extra page for the content to accommodate feedback from the reviews in the final paper versions. Papers should be submitted via HotCRP: https://urldefense.com/v3/__https://aplas2023.hotcrp.com/__;!!IBzWLUs!Q_kgAg7CnO59QyVLBawlsjljOIx5T7j_dakrrTHciqE5TZM8PKqpuTCEihppnrk8DK3Mzhi_fXlaNfEJ11Xn4JLpn_fTxMePy9Yl2Q$ The review process of APLAS 2023 is double-anonymous, with a rebuttal phase. In your submission, please, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgments that might identify you. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. Reviewers are at liberty to ignore appendices and papers must be understandable without them. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. POSTERS and STUDENT RESEARCH COMPETITION APLAS 2023 includes a Posters session and a Student Research Competition. For more details, please see the website. https://urldefense.com/v3/__https://conf.researchr.org/track/aplas-2023/posters-and-src__;!!IBzWLUs!Q_kgAg7CnO59QyVLBawlsjljOIx5T7j_dakrrTHciqE5TZM8PKqpuTCEihppnrk8DK3Mzhi_fXlaNfEJ11Xn4JLpn_fTxMcsKqKKWg$ ORGANIZERS - General Chair: