[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell
Subject: [Haskell] APLAS 2024: Call for Papers
From: Mirai Ikebuchi <mir.ikbch () gmail ! com>
Date: 2024-02-28 7:57:12
Message-ID: 541B5457-5BF4-49A7-9AB4-A3FEDD9180DB () gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
Call for Papers
APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems
October 22-24, 2024, Kyoto, Japan
https://conf.researchr.org/home/aplas-2024/ <https://conf.researchr.org/home/aplas-2024/>
APLAS 2024 aims to bring together programming language researchers,
practitioners and implementors *worldwide*, to present and discuss the
latest results and exchange ideas in all areas of programming
languages and systems. APLAS 2024 is co-located with the
22nd International Symposium on Automated Technology for Verification
and Analysis (ATVA).
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; methods and tools to specify and
reason about programs and languages; programming language foundations;
methods and tools for implementation; concurrency and distribution;
applications, case studies and emerging topics.
Submissions should not exceed 17 pages, excluding bibliography, in the
Springer LNCS format. The reviewing process is light double-blind,
with a rebuttal phase to address factual errors and minor
misunderstandings.
Proceedings of APLAS 2024 will be published by Springer as part of
Lecture Notes in Computer Science (LNCS).
https://link.springer.com/conference/aplas <https://link.springer.com/conference/aplas>
APLAS 2024 continues the tradition of the best paper award.
Submission deadline: Fri May 24
Response period: Jul 24-26
Acceptance notification: Fri Aug 2
Camera-ready: Sat Aug 31
The submission website is now open: https://aplas24.hotcrp.com/ <https://aplas24.hotcrp.com/>
General Chair: Jacques Garrigue (Nagoya U.)
Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.)
Program Committee:
Beniamino Accattoli (Inria & Ecole Polytechnique)
Pierre-Evariste Dagand (IRIF / CNRS)
Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA)
Fritz Henglein (DIKU and Deon Digital)
Mirai Ikebuchi (Kyoto University)
Patrik Jansson (Chalmers University of Technology and University of Gothenburg)
Oleg Kiselyov (Tohoku University, PC Chair)
Hsiang-Shang ‘Josh' Ko (Academia Sinica)
Daan Leijen (Microsoft Research)
Martin Lester (University of Reading)
Fredrik Nordvall Forsberg (University of Strathclyde)
Matija Pretnar (University of Ljubljana)
Peter Schachte (The University of Melbourne)
Sven-Bodo Scholz (Radboud University)
Philipp Schuster (University of Tübingen)
Taro Sekiyama (NII)
Amir Shaikhha (University of Edinburgh)
Pavle Subotic (Fantom Foundation)
Yong Kiam Tan (Institute for Infocomm Research, A*STAR)
Kazunori Ueda (Waseda University)
Yuting Wang (Shanghai Jiao Tong University)
Ki Yung Ahn (Hannam University)
[Attachment #5 (unknown)]
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; \
-webkit-line-break: after-white-space;" class="">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>
[Attachment #6 (text/plain)]
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic