Skip to Content.
Sympa Menu

coq-club - [Coq-Club] APLAS 2023: Call for Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] APLAS 2023: Call for Participation


Chronological Thread 
  • From: "Sato, Ryosuke" <rsato AT is.s.u-tokyo.ac.jp>
  • To: caml-list AT inria.fr, coq-club AT inria.fr, agda AT lists.chalmers.se, haskell AT haskell.org, types-announce AT lists.seas.upenn.edu, seworld AT sigsoft.org
  • Subject: [Coq-Club] APLAS 2023: Call for Participation
  • Date: Mon, 25 Sep 2023 10:30:33 +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-pg1-f180.google.com
  • Ironport-data: A9a23:Hhh9Ia1HfW3uoJCoIvbD5Xt0kn2cJEfYwER7XKvMYLTBsI5bpzxTz mBMWzzVPq7YYWbweI9yYYTi9kJTuZfSz4VrTAo93Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gFaYDkpOs/jY8EI14Kyo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3u3nK9WHloxBIAJ3+1aJUIV+ +QFNRlYO3hvh8ruqF66Yuxlh8BmNMayeY1G6ikmwjbeAvIrB5vERs0m5/cChGZ21p0IR6+DI ZNJMVKDbzyYC/FLEk0MAY45tOjui3L0NSAdtFWWtK1x6mOVzhQZPL3FboSFIIXQG5w9ckCwu k7gpCfTIwwgCZ+vmBGI2UKzguSSgnauMG4VPPjhnhJwu3WYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa8UWqSpzlUET9rifU5lgTXN1fF+B84waIokbJ3+qHLmhfEWR5eschjcInYDcH8 nzSkcv0GBU65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM53jUOiIQ6jxaKVtk6VaDs3oWzFjb3z DSH6iM5gt3/bPLnNY3qpzgrZg5AQLCUH2bZAS2JBAqY0++ATNfNi3aU1LQv1t4ZdNzxZgDZ4 hAswpHChMhQV83lvHLWG40lQur2j8tpxRWH3TaD6bF6qmzxk5NiFKgMiAxDyLBBa5ZZJGS3M BGJ5mu8JvZ7ZROXUEO+WKrpY+xC8EQqPY6Nuin8P4MWMKtiPhSK5j9vbkO21mXg2hpk26ImN JvRNY7mAX8GAO41hHC7VsUM448Nnyoe/GL0QYyk7hKF1bHFWmWZZ41YO3Szb8c4zpi+niPrz /hlOfG3lipvCN/FXnGP8Ko4D0w7EnwgNJWn9+1VbrGiJyRlKkEACtjQ47UFfrJnrrUIz8P4x G+0AUtG7F/Rh1nCMRqra29iWpzrT51QvXI2Bg1yHFeKilwIQ5ej07cbTLQzJYIYze1EyeVla cUFd+GrIOV9eh6e9xszNZDC/ZFfLjK1jgewDg+ZSTkYfa84YTfW+9XhLzDdxANXAgWZ7cIB8 qCdjCXFSp8+RiNnPsbcSNSr63iT5XE9uuZDb3HkE+lpWnfH0dZVcnTqr/oNPcszBw3JxWKa2 yaoEB4on7TxjLFvwubZp5KvjtmPI7NlE1t4Dlvry++8FRPn81qJxa5CV+e1fg7hal7kxZX6Z ctp4qH9FNYlgGd1t5FNFuc37KAmuPrqibxo7iVlO3Tpc2WUDqhEElOA+PIWs4hxyaB9vAeoU BiD4ethZLeDYpvkNHUzJwMVSPuJ+t9JuzvV7NUzeF7b4g0u9pW5cExiBTu+ow0DE6lQL6Uk3 vYHhM4azyedmygaGI+KoQ4M/lvdM0Fadbsss68rJbPCiy0p+wlkWoPdACqn26O/QYxAHWdyK wDFmZeYoapXw3fDVH8BFXLt++55rrZWsTBoyG4yHXi4quDntNQWgiIIqS8WSz5LxCppy+hwY 2hnF3NkLJW0ogtHupJxYHCOKSpgWjupolf82nkYpl3/FkOIbFHAHEc5GOSK/X0azV5iQyhmz OmY5VvhABnXf5DX/yotWERaheTpYv5v+ybjxs22PcS3MKMrQDjig6aeQHcDuka+JfMLmkSco fdO+chyTajjKg8RvKwJJI2I3psASB2/BTJjQNMw2IgrDG3jaDWJ9jzWEH+Ie+RJPO7v3XajL s5TevJ0SBW10RiRogAhBaIjJ6F+mNgr7oEgfozHCHEnsbzFiBZUq7PVqzbDgVE0T+VUkcoSL p3bcxSAGDeygVpWg2r8k9lWCFGnYNUrZBzO487tyb8nT6k8ieBLdV0+9pCWvH/PaQtuwE+yj TP5PqTTy7Rv9JRok47SCZ58PgSTK+2iZNTQpUr3+55LYMjUOMjDixINpxO1d05KNL8WQJJsm a7LrNfz21jfsa0rV3zC3aOMDLRN+d74Sd8/3hgb95WGtXDqtA7QDxo/F6SQLJVIlJZF6ZDiS VLoMI2/ctkaX9obz3pQA8Sb/9DxFIyvBpoMZwvkxxhPNvTZ+QOBIdiss2KscWZYZyhOMpa4C BecVzOG+IVDtIoVbPMbL6gOPnK7SWMPnYMnbJvq8yTdEm6rk1TEs7CklwJIBfQnzJWbOJ6S3 K8pjSQSuPh/VG8kAT2ZX0FPUsUrMUtA
  • Ironport-hdrordr: A9a23:1Mfuiq7U8eb7mOa6UAPXwBjXdLJyesId70hD6qkXc20pTiX4rb HVoB1/73XJYVkqKRYdcLy7Sc29qBDnhPtICOsqTM6ftWDd0QPCTPAA0WKL+Vzd8kbFh5ZgPM lbAtND4R7LYWRSvILV5AG5FpIH29mI8KehgKP7w212RQ9nL4FMhj0JbDpz0HcaeOCLP/UE/V OniLskmwad
  • Ironport-phdr: A9a23:YZxytBLcESFIqJSEhtmcuGRvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFu7M03QSCAduTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yeG/94fObwhMijexbrx/I RSrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+V rxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4 aV2Rx/ykCoIOD43/m/UhMJtkqxUvB2vqgdjw47NeoyZKOZycr/fcN4cWGFPXtxRVytEAo6kY YcBEvAOPfpfr4XlulAAsRu/BQ63BOPyyT9HmHH61rA93uQ7CgHJxhAgH9UVvXTVt9X5LrwSX fqozKXR0TXDaPBW2Df66ITSaB8uveuAXbBoccfIz0QkCgzKgEmKp4P/IzOVyvoCs3Kd7+d4W ++iinMrpQ9xrzWtwsohiYjEi40Xx13A6yl13Jo4KMO4RUN1b9CpH4ddui6HOodoTM0sTH9lt Ts1x7EbpJK2fS4Hw4kpyR7YbvyIaYmI4hT7WeaLPzh4n2xqd6ilhxmu8Uig0PfwVs6u0FZFq CdOj9rCtmgV2hDN9sSKTuFx80Sh1DqVyQzf9+FJLVopmafYN5It2qA8moYXvEjZHSL7mF/6g LGLekk44OSk9ubqbqngq5SBLYF7kBv+Pb4rmsGnAeQ3LAwOX2+D9OS5zrLj/En5TKxSjv05j 6XVqZ7aKdkYq6KlGQNV3YEj6xGwDzeiztsUh2UILFVAeB6fjojpPU/BIOzgAPuhn1ihlC1ny vPGM7H7HJnBM3jOnK38cbt+90JQ0A8zwspe55JQBLEBOvXzWkrpudzCFR82KRC0w+H8BdVyz I8RR36ADbODPKPPqFOI+uUvI+qMZY8SojryMeQq6+TsjX8hgVMde7Km0oMNaH+kBvRmP1mZY X30j9scCWsKpBYxTPT2iF2eVj5ef2q9X6Ul5j0iFI2mCZrDSZu2jbya3Ca7G4VWaXpcBlCNF 3fobYSEVO0WZCKcOM8y2gADALOoTotk0RC1qCf7zaBmJ6za4GlQvpX6kdNx+uf7lBco9DUyA d7Zm2iCQ2hcmmITWyRw16B2pUlw0EzFyqU8y/xRDt9e4/dhUg4hNpPYy6p9Ed+2Eh7QZtqSD V+gRNK7Bzo8ZtYw2MMVJV1wEs7kkwjO2SzsDrMI0/SQCYMz6KbQ92PwKN16xWqA07Mu3Hc8R c4af1avmqk7vzLCAJXUkEjT3/Kwbq0A2wbM7yGYi3fLoEZbQQk2WK6DX2hJNRielsjw+k6XF +zmMr8gKAYUkaZqS4NPY9zt1hBdQev7fc/ZeyS3knuxAhCBwvWNapDrciMTxnaVE1AKxiYU+ 3vOLg0iHmG5uWuLFidnCVXHYliq6q9j7W+8TV4ziQiBKU95hPKu4hBAvfWHULsI264c/iIoq jF6BlG4isjNAsaHjwUnca5XJ854/FBExGWfvgc7PITzZ7t6iAs4dAJ691jryw0xCohElp0yq 2g2yQNpNa+C+FZIdjfdxZ+pf7OOejG08xeoZKrbnFrZ1b56448p7/I14xXmtQCtTQ859ml/l sJSyz2a74nLCwwbVdTwVFw2/l50veOSZC51/I7S2XB2VMv8+jbfx9IkAvckwRe8bp9eNq2DD gr7D8wdAYCnNuUrn1Gjah9MMvpV8eY4OMavdv3O36DOXq4ohimvkWNv4Zs7yQSRsjZ7Sf/Pm Z8OhfOAn0OGWzr6kFa9o5Xvg4kXAFNaVmG7yCXiGMtQfvgoJddNWTroeZTqgIwu382IOTYQ7 lOoClIY1dX8fBOTawe4xghMzQEMpmThnyKkzjtymjVvr6yF3SWIzf6xEXhPcmNNWmRmik/hZ IauiNVPFlKzZhQuvBTj6E3xgbUeuKN8Pm6VSEwOfTC8fAQAGuOg86GPZcJC8sZiqz5eTOOUY EvcUfjg5gcd0DLkWWJVgjIjPWLP2N2xj1lxj2STK2x2pXzSdJRrxBvR09fbQOZYwjsMQCQQZ SD/PlGnJJHp+NyVk8yGqeWiTye6UYUVdyD3zISGvS/95GtwABT5kerh0tHgFAE712f82bwIH W3Stx/gZaHkkamxOqR6O1VvB077rcNxXINm2oc9n5Af33EGi47dpyJW1zeud48ChOSnPCJFT CVuoZad+AX/3Ux/Mn+Fj5n0UHmQ2IopZtW3ZH8XxjNo6slLDKmO67kX+Ek96lG8rA/Xfb18h mJHkapouCNc2bhU/lN9lnb4YPhaB0RTMC3ymg7d6tm/qP4Sf2Ozaf2r01I4m9m9DbaEqwUaW XDje55kEzUji6c3eF/KznD37ZnpPdfKatdG/AePmgvHp+cTJZk60OdPmS1kKGW7tHZjyfZx3 nkMldmq+ZOKLWlg5vfzGAVRKjrdaIUe8TqrkONCmcWH2MamFdNjAn9YOfmgBeLtGzUUu/P9M g+IGzBpsXaXF43UGgqH4VtnpXbCQNi7cmuaL34DwZB+VQGQcQZB1RsMUmxwzftbXki6gdbse 0Bj6nUN607k/1FSn/lwOUC3U3+D9lz1LG5lEN7FcEUQtkYYuw/UKZDMsL41RXoDuMT/9ErVb TXKAmYARWARBh7aWRa6ZuPovZ+YtLLATuumc6mQP/PU9b0YB6/OndX1isNn52reaZ/JZyUkV qxhnBIEBCAceYyRmi1TGXNL0XuXMojD4k/7o3M/r9jjoq2zCES2utTJW/0Kdo82sxGu3fXaa LXW3Xclb24ejtRVmxqqgPAexAJA0Xk/MWnwV+1a5WiVC/uP0q5PU0xBMn01aZsOtvNmmFEKY J+Ti8uphOQh0LhvUAYDDganwobwNKloaymrPVfDTi5nLZygIjvGi4HyaKK4EvhLiflM8ga3o XCdGlPiOTKKk3/oUQquOKdClnPTOhsWo4y7fht3bAqrBNv7dh22NsN2hjwq0PU1gH3NL2sVL Tl7dQtEsLSR6SpShvg3FXZG6zJpKuyNmiDR6Oe9SN5eqfxwHiF9jP5X+lw/wrpRqTlLHbl7w XuK6NFppF6in6+EzT8mGBtCpzBXhZ6a6EVvPaKKk/sIEX3A/R8L8SCRE0FQ/4ojWoCp4fkNj IGfzPGWSn8K6d/f8MoCCtKBLcuGNCFkKh/1AHvPCxNDSze3NGbZjkgbkfeI93TToIJpz/qk0 JcIVLJfU0Q4U/0ADUEwVsYZKYtwdjxinLWQytNN+X29vR6XTc4cvIiNBZfwSb3/bS2Ui7VJf U5C2bTjMYEaLZH2wWRnY1h+2ZzFQg/eBIAV5CJmaQAwrQNG9300HQhRkwr1Lwiq5nEUD/u9m BU73xB/beoa/zDp+14rJ1DOqUPYdWEwgpP+xy3UbDnyPaD2VIoQCTKm7yDZ07v+SgdxKBW9x AlqbWecAb1WiLRkeCZgjwqO4fOn9tZTC6BPa1kNgO2QZOQvl11X7Ce/lxYv2A==
  • Ironport-sdr: 6510e2ca_mWsa4jCbelCNocDg7BaI/X6KTnWQaQkJTIBpS2OWcueB3gl XMc55WE4fYpvllcty9H6Yq3FjyPVHaQyxXDlhxw==

======================================================================
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://conf.researchr.org/home/aplas-2023
======================================================================

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://conf.researchr.org/home/aplas-2023

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),
Fredrik Nordvall Forsberg (University of Strathclyde), and
Clemens Kupke (University of Strathclyde).

* Proofs as Terms, Terms as Graphs.
Jui-Hsuan Wu (Institut Polytechnique de Paris).

* Towards a Framework for Developing Verified Assemblers
for the ELF Format.
Jinhua Wu (Shanghai Jiao Tong University),
Yuting Wang (Shanghai Jiao Tong University),
Meng Sun (Shanghai Jiao Tong University),
Xiangzhe Xu (Purdue University), and
Yichen Song (Shanghai Jiao Tong University).

======================================================================
# NIER Workshop
======================================================================

* λGT: A Functional Language with Graphs as First-Class Data
Kazunori Ueda and Jin Sano

* Environment-Friendly Monadic Equational Reasoning for OCaml
Jacques Garrigue, Reynald Affeldt and Takafumi Saikawa

* Counterfactual Explanations for Sequential Models through
Computational Complexity
Anthony Widjaja Lin

* Bottom-Up Construction of Sublist Trees
Shin-Cheng Mu

* A Neural-Network-Guided Approach to Program Verification
and Synthesis
Naoki Kobayashi

======================================================================
# POSTERS and STUDENT RESEARCH COMPETITION ENTRIES
======================================================================

* [Non-SRC] Encoding MELL Cut Elimination into a Hierarchical
Graph Rewriting Language
Kento Takyu, Kazunori Ueda

* [Non-SRC] Towards a Programming Paradigm Approach for
AI-Assisted Software Development
YungYu Zhuang, Wei-Hsin Yen, Yin-Jung Huang

* [SRC] Multiple Screen States for Programming with Small Screens
Jin Ishikawa

* [SRC] Relational Hoare Logic for Comparing Nondeterministic
Programs and Probabilistic Programs through a Categorical
Framework
Kazuki Matsuoka

* [SRC] Separate Compilation for Compositional Programming
via Extensible Records
Yaozhu Sun

* [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs
Yong Qi Foo

======================================================================
# 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

SRC and Posters Chair:
Hsiang-Shang ‘Josh’ Ko, Academia Sinica, Taiwan

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

Posters Selection Committee

* Jacques Garrigue, Nagoya University, Japan
* Jeremy Gibbons, University of Oxford, UK
* Chih-Duo Hong, University of Oxford, UK
* Oleg Kiselyov, Tohoku University, Japan
* Akimasa Morihata, University of Tokyo, Japan
* Dominic Orchard, University of Kent, UK and
University of Cambridge, UK
* Taro Sekiyama, National Institute of Informatics, Japan
* Chung-chieh Shan, Indiana University, United States
* Youngju Song, MPI-SWS, Germany
* Tachio Terauchi, Waseda University, Japan
* Chuangjie Xu, Sonar Source, Germany


  • [Coq-Club] APLAS 2023: Call for Participation, Sato, Ryosuke, 09/25/2023

Archive powered by MHonArc 2.6.19+.

Top of Page