----- Forwarded message from Pritam Gharat &lt;pritamgharat(a)microsoft.com&gt; ----- From: Pritam Gharat &lt;pritamgharat(a)microsoft.com&gt; To: &quot;fmindia-owner(a)cmi.ac.in&quot; &lt;fmindia-owner(a)cmi.ac.in&gt; Date: Wed, 26 Mar 2025 11:02:46 +0000 Subject: Call For Papers - APLAS 2025, Bengaluru, India CALL FOR PAPERS: The 23rd Asian Symposium on Programing Languages and Systems (APLAS 2025) 27-30 October 2025, Bangalore, India APLAS 2025 - The 23rd Asian Symposium on Programming Languages and Systems - APLAS 2025<https://conf.researchr.org/track/aplas-2025/aplas-2025-aplas-2025&g… AIM AND SCOPE: APLAS 2025 is the 23rd in a series of symposia that solicits 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, object-oriented, probabilistic, logic, 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. IMPORTANT DATES (all deadlines in AoE): * Paper submission deadline: April 18, 2025 * Tutorials and Workshops: October 27, 2025 * Conference: October 28 – October 30, 2025 SUBMISSIONS: APLAS welcomes submissions that should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. 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. However, the paper must be understandable without the appendix. Reviewers are not obligated to review it. Papers should be submitted via HotCRP: https://aplas25.hotcrp.com/ GENERAL CHAIR: Pritam Gharat, Microsoft Reasearch, India, pritamgharat@microsoft.com<mailto:pritamgharat@microsoft.com><mailto:pritamgharat@microsoft.com%3cmailto:pritamgharat@microsoft.com%3e> LOCAL ORGANIZATION CHAIR: Sujit Kumar Chakrabarti, IIIT-Bangalore, India, sujitkc@iiitb.ac.in<mailto:<mailto:pritamgharat@microsoft.com%3cmailto:pritamgharat@microsoft.com%3e>sujitkc@iiitb.ac.in><mailto:pritamgharat@microsoft.com%3cmailto:pritamgharat@microsoft.com%3e> PROGRAM CHAIRS: Alex Potanin, Australian National University, Alex.Potanin@anu.edu.au<mailto:<mailto:pritamgharat@microsoft.com%3cmailto:pritamgharat@microsoft.com%3e>Alex.Potanin@anu.edu.au><mailto:pritamgharat@microsoft.com%3cmailto:pritamgharat@microsoft.com%3e> PROGRAM COMMITTEE: Alex Potanin, Australian National University Alexander Bakst, Certora Swarnendu Biswas, IIT Kanpur Andreea Costea, TU Delft Meenakshi D'Souza, IIITB - International Institute of Information Technology Bangalore Jeffrey S. Foster, Tufts University Kihong Heo, KAIST Zhenjiang Hu, Peking University Atsushi Igarashi, Kyoto University Stephen Kell, King's College London Oleg Kiselyov, Tohoku University V Krishna Nandivada, IIT Madras Liyi Li, Iowa State University Umang Mathur, National University of Singapore Kartik Nagar, IIT Madras Liam O'Connor, Australian National University Lionel Parreaux, HKUST (The Hong Kong University of Science and Technology) Sanjiva Prasad, Indian Institute of Technology Delhi G. Ramalingam, Microsoft Ina Schaefer, KIT KC Sivaramakrishnan, IIT Madras and Tarides Tachio Terauchi, Waseda University Manas Thakur, IIT Bombay Pascal Weisenburger, University of St. Gallen ----- End forwarded message -----