======================================================================
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
DISTINGUISHED PAPERS AWARDS
-------------------------------------
Around 10% of the accepted papers of APLAS 2023 will be designated as
Distinguished Papers, which highlights papers that the Program
Committee recommends due to their excellent quality. The awards will
be announced on this website, and printed certificates will be issued
to the authors in the conference.
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
2023-06-02
[Caml-list] TyDe 2023 - Second Call for Papers and Deadline Extension
TL;DR: The submission deadline for TyDe 2023 has been extended
to Thursday June 8.
--------------------------------------------------------------------------------
CALL FOR PAPERS
8th Workshop on Type-Driven Development (TyDe 2023)
Co-Located with ICFP 2023 (Seattle, Washington, USA)
https://icfp23.sigplan.org/home/tyde-2023
--------------------------------------------------------------------------------
# Goals of the Workshop
The Workshop on Type-Driven Development (TyDe) aims to show how
static type information may be used effectively in the development
of computer programs. Co-located with ICFP, this workshop brings
together leading researchers and practitioners who are using or
exploring types as a means of program development.
We welcome all contributions, both theoretical and practical, on a
range of topics including:
- dependently typed programming;
- generic programming;
- design and implementation of programming languages, exploiting
types in novel ways;
- exploiting typed data, data dependent data, or type providers;
- static and dynamic analyses of typed programs;
- tools, IDEs, or testing tools exploiting type information;
- pearls, being elegant, instructive examples of types used in the
derivation, calculation, or construction of programs.
# Proceedings and Copyright
We will have formal proceedings, published by the ACM. Accepted
papers will be included in the ACM Digital Library. Authors must
grant ACM publication rights upon acceptance, but may retain
copyright if they wish. Authors are encouraged to publish auxiliary
material with their paper (source code, test data, and so forth).
The proceedings will be freely available for download from the ACM
Digital Library from one week before the start of the conference
until two weeks after the conference.
The official publication date is the date the papers are made
available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.
# Submission Details
Submissions should fall into one of two categories:
- regular research papers (12 pages);
- extended abstracts (3 pages).
The bibliography will not be counted against the page limits for
either category.
Regular research papers are expected to present novel and interesting
research results, and will be included in the formal proceedings.
Extended abstracts should report work in progress that the authors
would like to present at the workshop. Extended abstracts will be
distributed to workshop attendees but will not be published in the
formal proceedings.
We welcome submissions from PC members (with the exception of the two
co-chairs), but these submissions will be held to a higher standard.
Submission is handled through HotCRP:
https://tyde23.hotcrp.com
All submissions should be in portable document format (PDF) and
formatted using the ACM SIGPLAN style guidelines:
https://www.sigplan.org/Resources/Author/
Note that submissions should use the new 'acmart' format and the
two-column 'sigplan' subformat (not to be confused with the
one-column 'acmsmall' subformat).
Extended abstracts must be submitted with the label 'Extended
Abstract' clearly in the title.
# Participant Support
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover participation-related expenses. PAC also offers
other support, such as for child-care expenses during the meeting or
for accommodations for members with physical disabilities. For
details on the PAC program, see its web page:
https://www.sigplan.org/PAC/
# Important Dates
- Submission Deadline: Thursday June 8, 2023 (extended)
- Author Notification: Thursday June 29, 2023
- Camera-Ready Deadline: Thursday July 13, 2023
- Workshop: Monday September 4, 2023
# Workshop Organization
Organizing Committee:
- Youyou Cong (Tokyo Institute of Technology, Japan)
- Pierre-Evariste Dagand (IRIF / CNRS, France)
Program Committee:
- Reynald Affeldt (AIST, Japan)
- Sandra Alves (DCC-FCUP, Portugual)
- Stephen Chang (UMass Boston, United States)
- Magnus Madsen (Aarhus University, Denmark)
- Victor Cacciari Miraldo (Channable, Netherlands)
- Jonathan Protzenko (Microsoft Research, United States)
- Marianna Rapoport (Amazon Web Services, Canada)
- Christine Rizkallah (University of Melbourne, Australia)
- Filip Sieczkowski (Heriot-Watt University, United Kingdom)
- Aaron Stump (The University of Iowa, United States)
- Peter Thiemann (University of Freiburg, Germany)
- Ningning Xie (Google Brain / University of Toronto, Canada)
--------------------------------------------------------------------------------
CALL FOR PAPERS
8th Workshop on Type-Driven Development (TyDe 2023)
Co-Located with ICFP 2023 (Seattle, Washington, USA)
https://icfp23.sigplan.org/home/tyde-2023
--------------------------------------------------------------------------------
# Goals of the Workshop
The Workshop on Type-Driven Development (TyDe) aims to show how
static type information may be used effectively in the development
of computer programs. Co-located with ICFP, this workshop brings
together leading researchers and practitioners who are using or
exploring types as a means of program development.
We welcome all contributions, both theoretical and practical, on a
range of topics including:
- dependently typed programming;
- generic programming;
- design and implementation of programming languages, exploiting
types in novel ways;
- exploiting typed data, data dependent data, or type providers;
- static and dynamic analyses of typed programs;
- tools, IDEs, or testing tools exploiting type information;
- pearls, being elegant, instructive examples of types used in the
derivation, calculation, or construction of programs.
# Proceedings and Copyright
We will have formal proceedings, published by the ACM. Accepted
papers will be included in the ACM Digital Library. Authors must
grant ACM publication rights upon acceptance, but may retain
copyright if they wish. Authors are encouraged to publish auxiliary
material with their paper (source code, test data, and so forth).
The proceedings will be freely available for download from the ACM
Digital Library from one week before the start of the conference
until two weeks after the conference.
The official publication date is the date the papers are made
available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related
to published work.
# Submission Details
Submissions should fall into one of two categories:
- regular research papers (12 pages);
- extended abstracts (3 pages).
The bibliography will not be counted against the page limits for
either category.
Regular research papers are expected to present novel and interesting
research results, and will be included in the formal proceedings.
Extended abstracts should report work in progress that the authors
would like to present at the workshop. Extended abstracts will be
distributed to workshop attendees but will not be published in the
formal proceedings.
We welcome submissions from PC members (with the exception of the two
co-chairs), but these submissions will be held to a higher standard.
Submission is handled through HotCRP:
https://tyde23.hotcrp.com
All submissions should be in portable document format (PDF) and
formatted using the ACM SIGPLAN style guidelines:
https://www.sigplan.org/Resources/Author/
Note that submissions should use the new 'acmart' format and the
two-column 'sigplan' subformat (not to be confused with the
one-column 'acmsmall' subformat).
Extended abstracts must be submitted with the label 'Extended
Abstract' clearly in the title.
# Participant Support
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover participation-related expenses. PAC also offers
other support, such as for child-care expenses during the meeting or
for accommodations for members with physical disabilities. For
details on the PAC program, see its web page:
https://www.sigplan.org/PAC/
# Important Dates
- Submission Deadline: Thursday June 8, 2023 (extended)
- Author Notification: Thursday June 29, 2023
- Camera-Ready Deadline: Thursday July 13, 2023
- Workshop: Monday September 4, 2023
# Workshop Organization
Organizing Committee:
- Youyou Cong (Tokyo Institute of Technology, Japan)
- Pierre-Evariste Dagand (IRIF / CNRS, France)
Program Committee:
- Reynald Affeldt (AIST, Japan)
- Sandra Alves (DCC-FCUP, Portugual)
- Stephen Chang (UMass Boston, United States)
- Magnus Madsen (Aarhus University, Denmark)
- Victor Cacciari Miraldo (Channable, Netherlands)
- Jonathan Protzenko (Microsoft Research, United States)
- Marianna Rapoport (Amazon Web Services, Canada)
- Christine Rizkallah (University of Melbourne, Australia)
- Filip Sieczkowski (Heriot-Watt University, United Kingdom)
- Aaron Stump (The University of Iowa, United States)
- Peter Thiemann (University of Freiburg, Germany)
- Ningning Xie (Google Brain / University of Toronto, Canada)
[Caml-list] [Deadline Extension] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
# Deadline extended till June 8 (Thu), AOE
# Talk proposals (1-3 PDF pages) are solicited.
# Remote participation and presentation are possible.
# We particularly encourage talks about works in progress,
# presentations of negative results (things that were expected to but
# did not quite work out) and informed positions.
# Please consider submission!
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
September 8, 2023 (Friday) Seattle, WA, USA (day after main ICFP)
Call for presentations: https://icfp23.sigplan.org/home/mlworkshop-2023
ML Family Workshop is an established informal workshop aiming to
recognize the entire extended ML family and to provide the forum to
present and discuss common issues: all aspects of the design,
semantics, theory, application, implementation, and teaching of the
members of the ML family. We also encourage presentations from related
languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,
Eff, ATS, etc), to promote the exchange of ideas and experience. The
ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.
We plan the workshop to an be in-person event with remote participation
(streamed live). Speakers are generally expected to present in person
(we will work to make remote presentations possible).
We solicit proposals for contributed talks, in PDF format, with a
short summary at the beginning and the indication of the submission
category: Research Presentations, Experience Reports, Demos, and
Informed Positions. The point of the submission should be clear from
its first two pages (PC members are not obligated to read any
further.) We particularly encourage talks about works in progress,
presentations of negative results (things that were expected to but
did not quite work out) and informed positions.
* Deadline for talk proposals: ** Thursday June 8, 2023 [EXTENDED] **
* Notification of acceptance: ** Thursday July 6, 2023 **
* Workshop: ** Friday September 8, 2023 **
Submission website: https://ml2023.hotcrp.com/
Program Committee
Lars Bergstrom Google, USA
Martin Elsman University of Copenhagen, Denmark
Matthew Fluet Rochester Institute of Technology, USA
Jacques Garrigue Nagoya University, Japan
Oleg Kiselyov Tohoku University, Japan (Chair)
Julia Lawall Inria Paris, France
Andrey Mokhov Jane Street, UK
Benoît Montagu Inria Rennes, France
Guillaume Munch-Maccagnoni Inria Rennes, France
Matija Pretnar University of Ljubljana, Slovenia
Andreas Rossberg Germany
Gabriel Scherer Inria Saclay, France
# Talk proposals (1-3 PDF pages) are solicited.
# Remote participation and presentation are possible.
# We particularly encourage talks about works in progress,
# presentations of negative results (things that were expected to but
# did not quite work out) and informed positions.
# Please consider submission!
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
September 8, 2023 (Friday) Seattle, WA, USA (day after main ICFP)
Call for presentations: https://icfp23.sigplan.org/home/mlworkshop-2023
ML Family Workshop is an established informal workshop aiming to
recognize the entire extended ML family and to provide the forum to
present and discuss common issues: all aspects of the design,
semantics, theory, application, implementation, and teaching of the
members of the ML family. We also encourage presentations from related
languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,
Eff, ATS, etc), to promote the exchange of ideas and experience. The
ML family workshop will be held in close coordination with the OCaml
Users and Developers Workshop.
We plan the workshop to an be in-person event with remote participation
(streamed live). Speakers are generally expected to present in person
(we will work to make remote presentations possible).
We solicit proposals for contributed talks, in PDF format, with a
short summary at the beginning and the indication of the submission
category: Research Presentations, Experience Reports, Demos, and
Informed Positions. The point of the submission should be clear from
its first two pages (PC members are not obligated to read any
further.) We particularly encourage talks about works in progress,
presentations of negative results (things that were expected to but
did not quite work out) and informed positions.
* Deadline for talk proposals: ** Thursday June 8, 2023 [EXTENDED] **
* Notification of acceptance: ** Thursday July 6, 2023 **
* Workshop: ** Friday September 8, 2023 **
Submission website: https://ml2023.hotcrp.com/
Program Committee
Lars Bergstrom Google, USA
Martin Elsman University of Copenhagen, Denmark
Matthew Fluet Rochester Institute of Technology, USA
Jacques Garrigue Nagoya University, Japan
Oleg Kiselyov Tohoku University, Japan (Chair)
Julia Lawall Inria Paris, France
Andrey Mokhov Jane Street, UK
Benoît Montagu Inria Rennes, France
Guillaume Munch-Maccagnoni Inria Rennes, France
Matija Pretnar University of Ljubljana, Slovenia
Andreas Rossberg Germany
Gabriel Scherer Inria Saclay, France
Subscribe to:
Posts (Atom)