coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Sato, Ryosuke" <rsato AT is.s.u-tokyo.ac.jp>
- To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, caml-list AT inria.fr
- Subject: [Coq-Club] APLAS 2023 first Call for Papers
- Date: Tue, 4 Apr 2023 15:00:42 +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-pj1-f46.google.com
- Ironport-data: A9a23:IgNADaq857defZGYG3qLK6Ou301eBmLFYRIvgKrLsJaIsI4StFCzt garIBmHOffbZWT0LYt2b4uyoEhUsJfSm9VlTgM5pC8wQipG+ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGj9SuvLrRC9H5qyo42tE5gdmPpingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kqAos84+sqDltR2 vFCET42YC+Dl+u5lefTpulE3qzPLeHuNYIb/2lilHTXUahgTpfETKHHo9Rf2V/chOgURaeYN 5dfM2MxKkieC/FMEg9/5JYWhvyhmn7XfHtVo1nTuO8r5GvCy0p42/7vKLI5f/TTHZ0IwxjF9 zmuE2LRCCBLPt+lk2W+0TGKhMzurSfcfL0cC+jtnhJtqATLmjZ75ActfVC8uLyyjlO0c8lOL lQdvCsot6k7skKxJuQRRDW9qX+A+wYeAp9eT7N85waKxa7ZpQ2eAwDoUwKtdvQ6i8kSXDF32 WWWsN6zPDJUvoKVWXuSo+L8QSyJBQAZKmoLZCkhRAQD4sX+rIxbsv4pZoYzeEJSpo2lcQwc0 wxmvwBl2OpO1Z9jO7GTuAGY02j19/AlWyZsvl2PNl9J+D+Vc2JMWmBFwV3S7PIFNITAC1fd4 j4LnM+R6O1IBpaI/MBsfAnvNO75jxpmGGeE6bKKI3XH32r2k5JEVd4LiAyS3G8zbq45lcbBO Sc/Qz956p5JJ2eNZqRqeY+3AMlC5fG+RYy4Cq6KNYMXOMAZmOq7EMdGNR74M4fFwBhErE3DE crznTuEVydBV/w3llJauc9BieNxrszB+Y8jbcmjk07PPUu2a3mSRrMIWGZinchohJ5oVD79q o4FX+PTk0s3eLSnPkH/rNBORXhXciBTLc6s96R/KLXYSiI4QzFJNhMk6el+E2CTt/8FyLmgE 7DUchMw9WcTclWdd1XRMCg9OO6xNXu9xFpiVRER0Z+T8yBLSe6SAG03J/PbpJF2rbQx/u0+V PQfZcSLD9JGTzmNqXxXboDwoMYmPF6njB6HdXjtKjUuXY9SdyqQ8P/dfyzr6HYvCAizvpAAu LGO7F7QbqcCYAVAN/zoTsyT4Wm/h0VAp9IqbXD0eoFSXG7O7LlVLzfAi65rAsMUdjTG6Dio9 yeXJhY6o83InY0E4YSQoZC+sY7yF/VaG2RYO2zD8pe3Kijo0W6xyqBQUOuzXG78VUGl3I6Ad Olq3/XHH/lfp2lzsq14CKdN8aIyw/DNto1q5F1oM1uTZmv6F446BGeN2Pd+k5Fkx5hbiFOQY V2O8NwLAoe5EprpP3BJLTV0c9nZ8+8fnwTTyvEHIE/awitT15jfWGVwOyi8sgBsHIFXAqgEn 9h44NU37jahgCUEKtyF1yBY11qdJ0w6DpkIiMsoP5/JuCEKlHdyOYfRGw3n0qGpMt9sCHQnE hWQpajFholf+Hb8TmoOJSDN89Zw1ZUqkzJW/WAGPGWMy4bkhOdo/Rh/8gYXbwVyzzdb4t13I UxbHVRQHvyL2RtZmfoZDn6eQRFFIBi/5EbK6kAokVfBRBKCTV39L2waOMeM8nsG8mlaQCNpw bGAxEvhUhfoZMvUzAJofWJE8tvNFcdQ8C/Gk+CZR/W1JYEwO2fZs/X/dFg2pAvCKuJvok/+/ M1B3vt6MI//Pg4u+5wLMZGQj+kseUrVNV55YK9T+Y0SFjvhYxC04z+FLn6xdu5rJ/Dn9UyZC dRkFvlQViaRhTq/kTQGOZEie7NEvuYlxN4nSIPZIWQrt7i+rD0wvqnAqQn4pmsgGOt1negHd 4j+SjOlE06rv0VypVPjlsd/F1CDUYE2XzGkhOGR28cVJq0Hq9BpIB0T0KPrnnC7MzlH3hOzv SHbbL6L3chk9JhgsNr2H5oTGjSLDM76Us2J1CuRsN1+S8zFHumTlgESq3jhZx93O5lIUftJt L29ivzF92Kbg6QTTEbyhIinK6lFwe6QTdhnGJv7A1cClBTTRfK2xQUI/l6JDKBgkfRf15GBf BS5Ys7hTuwlcY5R61MNYhcPDitHLbr8a5rhgiaPr/6sLBw5+i6fJfOF8U7ZV01qRhUqCbbfV DCt4+2P4+pGprtiHBUHXvFqI6FpKW/ZBJcJSYfDiim6PEKJ3HWy47fsrE91o3WDQHyJC93z7 p/5VwDzPkb68r3ByNZC9Zd+pFsLBXJ6mvM9ZV8Z58UwsT2hEWoaNq4IBP3q0H2PfvDaj/kUp Q0hbVfOzQ34VDVANA3+uZHtAlnZCesJNdP0YDcu+it4rstw6JyoWNNcGuVIuh+auQcPCMmob 9wV8TvtewS2wYBuA+8YoP6j6Qui7u2P3WoGoCgRjOSrayvzwtw2OLhJHRELTmraVt3Kl1TMY 2E+A2JcKK1+pYgdDu44E0No9NolUP8DAtnmgepjADoShmlD8NB99Q==
- Ironport-hdrordr: A9a23:MCsnza2B0SCPKkDLxm1F9QqjBKAkLtp133Aq2lEZdPU1SKylfq +V88jzuSWetN9zYhAdcLm7UcG9qBjnmKKdlrN8AV7NZmPbkVrtAKEn16fE7hHaXwXGz4dmu5 tdTw==
- Ironport-phdr: A9a23:tsHBKhRG0oRJQnI7JeHWGtBZstpsopqWAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOBtaIP27aempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjqwbalsI Bi3rgjducobjIR/Iast1xXFpWdFdOtRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2U KJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5 KplVBPklCEKPCM//WrKiMJ/kbhbrQquqBJ/zYDaY5ybOuRica3SZt4aWXNBU9xNWyBdHo+xb Y0CBPcBM+ZCqIn9okMDoRWjCwa2GOPvzSdEjWLq06w61OQhChzG3A8+EN4ArX/Zq8/1NLwIX uCpy6nF1jTDb+hM1Tfm8oTIbwktoe2LXbJzccvRzlMjGBnZgVmKq4zlJyqY2+IQuGeU8+RuT /igi3I7qw5vuDivwN8hhInGi48JxV7K+zl0zYg7KNO2VUN2btCqHYdfuS2HOYV6X80vTmNot Sg6zrALu5C1ciYIxZk72xPTd/2KfoaL7x/lSe2fLzB4hHd/d7K+gRa/6VKgxfPnVsaqyllKt DZKktnWtnwX0BzT8MeHRuNm/ke5wzaP1gbT6u5aLkAuj6bUN5khwrsompoTtkTDAjP5mF/uj KOMakok/e2o5uL6abvlvp+RL5F4hh36P6g0mcGyAf40PhYTU2Wa4+ix27zu8VXnTLlWivA6i KrUvZDAKcgFu6K0AhVZ34ks5hu5Ejyoys4XnWMdI1JAYB+Hj5bmO1XJIP3gCPewmVWskDNyy /DePL3tH4zBLnbMnbrgZ7p95ElcyA08zdBb+Z1YEK0OIPX2WkPptdzYCAE2MxCszur5FNlw0 pkSVGGPD6ODLq/erF6F6vggLuSNfIMVvSzyK/kh5/7gl385nlodcLGz3ZsMcn+4AvNmLl6WY Xb2nNgODXsFshAjTODzlF2CVj1TZna1X64m/D40FJiqDYXbRoy1hryOxz+0HodKaWBeFlCMD XDoep2ZV/sUciKdPtdhkiAYVbimU4IuyRautBbjx7V7KurU5zYXuIn41Nl14u3TjQs9+SZ1D 8SbyWGNTnt7knkGRz8sj+hDphlh20+Oyu1xhfpfCNpY6ttNUxwmLtjHwuVhTc3qVwTHONqFV RLuSdK/RDo1U9gZwtkUYk87Fc/mxhvK2i7vB74Oi5SKAoY1++TSxSvfPcF4njz93bUmyxEcU 8xUKG6rzOYr7RPaG4nhkl7fjOC3MLgb3z/Ksm6Ii2iW6hILGDVsWLnICChMLnDdqs70sxuqp 96GDL0mNlEE0sueMu5Qbdavi1xaRfDlMdCYYmSrmm72CwzbjqiUYt/MfGMQlD7YFFBCixoaq GydPBQ5Lia65XmYEXlyElH+ZAXl+q98sCDzVVc6mjmDdFYpzL+p4lgQjP2YRekU2+ceoy49r B17Wlu21JTLTsaHpBtmOqxXJ9Elsx9czWyMkQt7M9S7Krx6wF4TdwMip0T1yxB+EZlNi+Avp XIuiRJwcOeWjA0HeDSf0pT9fLbQLwEe5TiJbKjbkhHb2deSoOIU7egg7k/kt0evH1Yj9HNu1 59U1WGd79PEFlhaV5W5SUsx+xVgwtOSKiAg+4PZ02FtOqioo3fD3dwuHu4s1heneZ9WLqqFE Ab4F8BSCdKpLaQmnF2gbxRMO+43luZ8Jdiva/yu2bXtJ6B92S6hjnVApol2lECUtmJ9RuPOw 5cZ0qSAxALUMlW0xFyls83xhcVFfWRIRjv5mXWiXtcPIPEsLuNpQS+0Lsa6x8tzncvoUn9cr hu4Ak8endWuclyUZkD82gtZ0QIWp2amkG221W8R8Xlho6yB0SjJ2+mnegAAPzsBXnJrkVDEL s65hNtcQQ20aAs4k12s7gD43+IIwcY3Z3mWWkpOcyXseit4SaKssZKDeIhUro5trSJUQeP6a FvcSKa38H54m2vzWmBZwj48bTSjvJ70ygd7hGyqJ3F2tHPFeMt0yH8z/fTkTOVKlnoDTSh80 3zMA0SkesOu9pOSnovCtea3UySgUIdSeG/l19HIuCy+7GxsSRqx+pL70sf8GBQ9+SC92tJhE ziNsBH/c46t3q/8M/ovckRzBVD64tZ3Ackkytp21MxWgyFEwMnLtXMc9AW7ec1Ww6f/cGYAS XYQztjZ7RKkkExvI3SVxp7oA3CUw89vfd6/MSsd3iMw6dwPCb/BtuQV23so5ADh80SNP6sY/ H9V0/Yl5X8EjvtcvQMsyn/YGbUOBQxCOieqkR2U7te4paERZWC1cLH22lAt+LLpRLyEvAxYX 270P5k4GiolpN9kOU7L+HK154rvPsSVcdUQpxrSmhyGjfAfe/dT3rIawDFqP27wpyhv0fUyk RtG0te3t4PBNiBx+6GoBVhRPXv3f4lAn1OlxbYblcGQ0Ye1G5xnETheR5rkQ8WjFzcKvOjmP QKDQ3Us722WEr3FEUqD+V9r+jjRRouzOSjddxx7hZ1yAQOQL0tFjEUIUSUmy9QnQxuyypWpc V8ltGtMoAep8l0Wlr0ub16lDi/evFv6NGtyEsPEakMItkcaoB6EVK7WpuNrQ3MGoNv49FbLc irDIF4QRWARBh7aWRa5YujotYGGq6/CXqK/N6ecPu/I8LAYDqbSg8roi9sDnX7EN93TbCY+S aRhhwwbGyg+QpqRmi1TGXVPx2SUMJHd9FHkvXcu5sGnrKayB1mpvNrTTeMUaZI2pXXUye+CL 7LC3n4ob2YFkMpWlTmQj+FAlF8K13M0LmfrTORG7H+XCvqXw/4fDgZHOXkqao0StPN6hVMLY YmC27aXnvZuh/oxQT+pTHTHncekLYwPKmC5bhbcAVqTca6BLnvNyt32ZqW1TftRiv9Vvlu+o 2TTFUirJTmFmzTzMnLneehRkCGWOgBfs4ChY15sD2bkVtfvdhy8Npd+kzQ3xbQ+gn6CO3QbN HBwdEZEr7vY6i094L03A2ta8n9sNvWJgQ6c5ujcb44U6L5lXnoymOVd73A3jbBS6WAMRfB4n jfTss87o1yilbrqqHIvWx5PpzBXwYOT6B86aOOJq98aACiCoExeiAfYQw4HrNZkFND17qVZy 9yV0bn2NC8H6dXfu80VG8nTLsuDdnsnKxvgXjDOX25nBXamM3/Sg0tFnbSc7HqQ+9IgsZHwn 7IBDLJQXxooU+8dCVViWtUJZpVvFGBB8/bTnIsT6HyyoQOEDt1dpYzCX+mODO/HLT+YifxcZ UJNz++ma4sUMYL/1gppbVwwz+GoUwLAGNtKpCNmdAo9pk5ApWN/QmME0EXgcgqx4XUXGJZcf zYzgwp6JPwvrXLivwlxKV3Nqy891kI2nIe96dh0WD/qarz2QMRKDCnlsA44OdX5W1QtBeVdt UMiOTzPAa8Uk7xjZGctgQSau4MdQJZh
- Ironport-sdr: 642bbd1c_PSniJbg1Jc9wmPJrjyNHZEPvP+U8M2NwCeaWNAZmMVLHS6T PwRRBc01FpdMX1EAyEsWgL+azbqDjIzjMWfpBVA==
======================================================================
CALL FOR PAPERS
21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
Taipei, Taiwan, Sun 26 – Wed 29 November 2023
https://conf.researchr.org/home/aplas-2023
======================================================================
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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
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://aplas2023.hotcrp.com/
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://conf.researchr.org/track/aplas-2023/posters-and-src
ORGANIZERS
-------------------------------------
General Chair:
Shin-Cheng Mu, Academia Sinica, Taiwan
Program Chair:
Chung-Kil Hur, Seoul National University, Korea
Publicity Chair:
Ryosuke Sato, University of Tokyo, Japan
Program Committee:
Soham Chakraborty, TU Delft, Netherlands
Yu-Fang Chen, Academia Sinica, Taiwan
Ronghui Gu, Columbia University, USA
Ichiro Hasuo, National Institute of Informatics, Japan
Ralf Jung, ETH Zurich, Switzerland
Ohad Kammar, University of Edinburgh, UK
Jeehoon Kang, KAIST, Korea
Jieung Kim, Inha University, Korea
Robbert Krebbers, Radboud University Nijmegen, Netherlands
Ori Lahav, Tel Aviv University, Israel
Doug Lea, State University of New York at Oswego, USA
Woosuk Lee, Hanyang University, Korea
Hongjin Liang, Nanjing University, China
Nuno P. Lopes, University of Lisbon, Portugal
Chandrakana Nandi, Certora and UW, USA
Liam O'Connor, The University of Edinburgh, UK
Bruno C. d. S. Oliveira, The University of Hong Kong, Hong Kong
Jihyeok Park, Korea University, Korea
Clément Pit-Claudel, EPFL, Switzerland
Matthieu Sozeau, Inria, France
Kohei Suenaga, Kyoto University, Japan
Tarmo Uustalu, Reykjavik University, Iceland
John Wickerson, Imperial College London, UK
Danfeng Zhang, Penn State University, USA
- [Coq-Club] APLAS 2023 first Call for Papers, Sato, Ryosuke, 04/04/2023
Archive powered by MHonArc 2.6.19+.