======================================================================
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
2023-04-04
[Caml-list] [CFP] ML'23: Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
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 1, 2023 **
* 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
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 1, 2023 **
* 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
2023-04-03
[Caml-list] TyDe 2023 - Call for Papers
--------------------------------------------------------------------------------
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 1, 2023
- 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 1, 2023
- 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)
2023-03-18
[Caml-list] Call for Papers, Functional Software Architecture - FP in the Large
[I apologize for the previous, incorrectly titled message.]
Dear all,
We're delighted to announce that the first ACM SIGPLAN Workshop on
"Functional Software Architecture - FP in the Large" will be held
in Seattle, USA in September 2023, co-located with the ICFP conference.
Please share, and submit your best papers, experience reports, and
architectural pearls on large-scale functional programming!
Best wishes,
Mike Sperber and Graham Hutton
Program Chairs, FUNARCH 2023
======================================================================
*** CALL FOR PAPERS -- FUNARCH 2023 ***
First ACM SIGPLAN Workshop on
Functional Software Architecture - FP in the Large
8th September 2023, Seattle, Washington, USA
Co-located with ICFP 2023
https://tinyurl.com/FUNARCH23
======================================================================
TIMELINE:
Paper submission 1st June 2023
Author notification 28th June 2023
Camera ready copy 18th July 2023
Workshop 8th Sept 2023 (date to be confirmed)
BACKGROUND:
Functional Software Architecture" refers to methods of construction
and structure of large and long-lived software projects that are
implemented in functional languages and released to real users,
typically in industry. The goals for the workshop are:
- To assemble a community interested in software architecture
techniques and technologies specific to functional programming;
- To identify, categorize, and document topics relevant to
the field of functional software architecture;
- To connect the functional programming community to the software
architecture community to cross-pollinate between the two.
The workshop follows on from the Functional Software Architecture
open space that was held at ICFP 2022 in Slovenia.
SCOPE:
The workshop seeks submissions in a range of categories:
- You're a member of the FP community and have thought about how
to support programming in the large, for example by framing
functional ideas in architectural terms or vice verse, comparing
different languages in terms of their architectural capabilities,
clarifying architectural roles played by formal methods, proofs
assistants and DSLs, or observing how functional concepts are
used in other language and architecture communities.
Great, submit a research paper!
- You're a member of the architecture community, and have thought
about how your discipline might help functional programmers, for
example by applying domain-driven design, implementing hexagonal
architecture, or designing self-contained systems.
Excellent, submit a research paper!
- You've worked on a large project using functional programming,
and it's worked out well, or terribly, or a mix of both; bonus
points for deriving architectural principles from your experience.
Wonderful, submit an experience report!
- You know a neat architectural idiom or pattern that may be useful
to others developing large functional software systems.
Fabulous, submit an architectural pearl!
- You have something that doesn't fit the above categories, but
that still relates to functional software architecture, such
as something that can be written up, or that could be part of
the workshop format like a panel debate or a fishbowl.
Superb, submit to the open category!
Research papers should explain their research contributions in both
general and technical terms, identifying what has been accomplished,
explaining why it is significant, and relating it to previous work,
and to other languages where appropriate.
Experience reports and architectural pearls need not necessarily
report original research results. The key criterion for such papers
is that they make a contribution from which others can benefit.
It is not enough simply to describe a large software system, or
to present ideas that are specific to a particular system.
Open category submissions that are not intended for publication
are not required to follow the formatting guidelines, and can
submit in PDF, word or plain text format as preferred.
If you are unsure whether your contribution is suitable, or if
you need any kind of help with your submission, please email
the program chairs at <funarch2023@easychair.org>.
SUBMISSION:
Papers must be submitted by 1st June 2023 using EasyChair, via the
following link: https://tinyurl.com/FUNARCH23-submit
Formatting: submissions must be in PDF format and follow the ACM
SIGPLAN style guidelines, using the acmart format and the sigplan
sub-format. Please use the review option when submitting, as this
enables line numbers for easy reference in reviews. For further
details, see: https://tinyurl.com/sigplan-acmart
If your submission is not a research paper, please mark this using
a subtitle (Experience Report, Architectural Pearl, Open Category).
Length: submissions must adhere to the limits specified below.
However, there is no requirement or expectation that all pages
are used, and authors are encouraged to strive for brevity.
Research papers 5 to 12+ pages
Architectural pearls 5 to 12 pages
Experience reports 3 to 6 pages
Open category 1 to 6 pages
Publication: The proceedings of FUNARCH 2023 will be published in
the ACM Digital Library, and authors of accepted papers are required
to agree to one of the standard ACM licensing options. Accepted
papers must be presented at the workshop by one of the authors,
but in special cases we may consider remote presentation.
The official publication date is the date the proceedings are
made available in the ACM Digital Library. This date may be up
to two weeks prior to the first day of the workshop.
PROGRAM CHAIRS:
Mike Sperber Active Group, Germany
Graham Hutton University of Nottingham, UK
PROGRAM COMMITTEE:
Joachim Breitner Germany
Manuel Chakravarty Tweag & IOG, The Netherlands
Ron Garcia University of British Columbia, Canada
Debasish Ghosh LeadIQ, India
Lars Hupel Giesecke+Devrient, Germany
Andy Keep Meta, USA
Shriram Krishnamurthi Brown University, USA
Andres Löh Well-Typed, Germany
Anil Madhavapeddy University of Cambridge, UK
José Pedro Magalhães Standard Chartered, UK
Simon Marlow Meta, UK
Hannes Mehnert Robur, Germany
Erik Meijer USA
Ivan Perez KBR / NASA Ames Research Center, USA
Stefanie Schirmer DuckDuckGo, Germany
Perdita Stevens University of Edinburgh, UK
Stefan Wehr Hochschule Offenburg, Germany
Scott Wlaschin FPbridge, UK
WORKSHOP VENUE:
The workshop will be co-located with the ICFP 2023 conference at
The Westin Seattle Hotel, Seattle, Washington, United States.
======================================================================
Dear all,
We're delighted to announce that the first ACM SIGPLAN Workshop on
"Functional Software Architecture - FP in the Large" will be held
in Seattle, USA in September 2023, co-located with the ICFP conference.
Please share, and submit your best papers, experience reports, and
architectural pearls on large-scale functional programming!
Best wishes,
Mike Sperber and Graham Hutton
Program Chairs, FUNARCH 2023
======================================================================
*** CALL FOR PAPERS -- FUNARCH 2023 ***
First ACM SIGPLAN Workshop on
Functional Software Architecture - FP in the Large
8th September 2023, Seattle, Washington, USA
Co-located with ICFP 2023
https://tinyurl.com/FUNARCH23
======================================================================
TIMELINE:
Paper submission 1st June 2023
Author notification 28th June 2023
Camera ready copy 18th July 2023
Workshop 8th Sept 2023 (date to be confirmed)
BACKGROUND:
Functional Software Architecture" refers to methods of construction
and structure of large and long-lived software projects that are
implemented in functional languages and released to real users,
typically in industry. The goals for the workshop are:
- To assemble a community interested in software architecture
techniques and technologies specific to functional programming;
- To identify, categorize, and document topics relevant to
the field of functional software architecture;
- To connect the functional programming community to the software
architecture community to cross-pollinate between the two.
The workshop follows on from the Functional Software Architecture
open space that was held at ICFP 2022 in Slovenia.
SCOPE:
The workshop seeks submissions in a range of categories:
- You're a member of the FP community and have thought about how
to support programming in the large, for example by framing
functional ideas in architectural terms or vice verse, comparing
different languages in terms of their architectural capabilities,
clarifying architectural roles played by formal methods, proofs
assistants and DSLs, or observing how functional concepts are
used in other language and architecture communities.
Great, submit a research paper!
- You're a member of the architecture community, and have thought
about how your discipline might help functional programmers, for
example by applying domain-driven design, implementing hexagonal
architecture, or designing self-contained systems.
Excellent, submit a research paper!
- You've worked on a large project using functional programming,
and it's worked out well, or terribly, or a mix of both; bonus
points for deriving architectural principles from your experience.
Wonderful, submit an experience report!
- You know a neat architectural idiom or pattern that may be useful
to others developing large functional software systems.
Fabulous, submit an architectural pearl!
- You have something that doesn't fit the above categories, but
that still relates to functional software architecture, such
as something that can be written up, or that could be part of
the workshop format like a panel debate or a fishbowl.
Superb, submit to the open category!
Research papers should explain their research contributions in both
general and technical terms, identifying what has been accomplished,
explaining why it is significant, and relating it to previous work,
and to other languages where appropriate.
Experience reports and architectural pearls need not necessarily
report original research results. The key criterion for such papers
is that they make a contribution from which others can benefit.
It is not enough simply to describe a large software system, or
to present ideas that are specific to a particular system.
Open category submissions that are not intended for publication
are not required to follow the formatting guidelines, and can
submit in PDF, word or plain text format as preferred.
If you are unsure whether your contribution is suitable, or if
you need any kind of help with your submission, please email
the program chairs at <funarch2023@easychair.org>.
SUBMISSION:
Papers must be submitted by 1st June 2023 using EasyChair, via the
following link: https://tinyurl.com/FUNARCH23-submit
Formatting: submissions must be in PDF format and follow the ACM
SIGPLAN style guidelines, using the acmart format and the sigplan
sub-format. Please use the review option when submitting, as this
enables line numbers for easy reference in reviews. For further
details, see: https://tinyurl.com/sigplan-acmart
If your submission is not a research paper, please mark this using
a subtitle (Experience Report, Architectural Pearl, Open Category).
Length: submissions must adhere to the limits specified below.
However, there is no requirement or expectation that all pages
are used, and authors are encouraged to strive for brevity.
Research papers 5 to 12+ pages
Architectural pearls 5 to 12 pages
Experience reports 3 to 6 pages
Open category 1 to 6 pages
Publication: The proceedings of FUNARCH 2023 will be published in
the ACM Digital Library, and authors of accepted papers are required
to agree to one of the standard ACM licensing options. Accepted
papers must be presented at the workshop by one of the authors,
but in special cases we may consider remote presentation.
The official publication date is the date the proceedings are
made available in the ACM Digital Library. This date may be up
to two weeks prior to the first day of the workshop.
PROGRAM CHAIRS:
Mike Sperber Active Group, Germany
Graham Hutton University of Nottingham, UK
PROGRAM COMMITTEE:
Joachim Breitner Germany
Manuel Chakravarty Tweag & IOG, The Netherlands
Ron Garcia University of British Columbia, Canada
Debasish Ghosh LeadIQ, India
Lars Hupel Giesecke+Devrient, Germany
Andy Keep Meta, USA
Shriram Krishnamurthi Brown University, USA
Andres Löh Well-Typed, Germany
Anil Madhavapeddy University of Cambridge, UK
José Pedro Magalhães Standard Chartered, UK
Simon Marlow Meta, UK
Hannes Mehnert Robur, Germany
Erik Meijer USA
Ivan Perez KBR / NASA Ames Research Center, USA
Stefanie Schirmer DuckDuckGo, Germany
Perdita Stevens University of Edinburgh, UK
Stefan Wehr Hochschule Offenburg, Germany
Scott Wlaschin FPbridge, UK
WORKSHOP VENUE:
The workshop will be co-located with the ICFP 2023 conference at
The Westin Seattle Hotel, Seattle, Washington, United States.
======================================================================
2023-03-16
[Caml-list] Call for Papers: ACM Workshop on Functional Art, Music, Modelling and Design (Deadline June 1)
===============================================================================
11th ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design
(FARM)
Call for Papers, Demos, and Performance
Seattle, Washington, USA, 8th September 2023
Deadline: June 1
https://functional-art.org/2023
===============================================================================
Key Dates
---------
Submission deadline June 1 (AoE)
Author notification July 1
Camera-ready deadline July 15
Workshop September 8
AUTHORS TAKE NOTE:
The official publication date is the date the proceedings are made
available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work.
Call for Papers
---------------
The ACM SIGPLAN International Workshop on Functional Art, Music,
Modelling and Design (FARM) encourages submissions from across art,
craft, and design, including textiles, visual art, music, 3D
sculpture, animation, GUIs, video games, 3D printing and architectural
models, choreography, poetry, and even VLSI layouts, GPU
configurations, or mechanical engineering designs. Theoretical
foundations, language design, implementation issues, and applications
in industry or the arts are all within the scope of the workshop.
In addition to the main workshop, FARM hosts a traditional evening of
performances. Thus, this call encompasses both papers/demos for the
workshop (and its published proceedings) as well as performance
proposals for the evening's event. Authors are invited to make a
single submission for each. Authors may submit both a paper/demo and
performance proposal, but the submissions will be considered
independently.
Note on Finances
----------------
Paid registration to the FARM workshop is usually required for paper
and demo submitters, but will be waived for performers.
If you would have financial difficulty attending, you can apply for
conference "PAC" funds. Please get in touch for more information.
Papers
------
Paper submissions are invited in three categories:
- Original research
- Overview / state of the art
- Technology tutorial (especially tools and environments for distributed artistic workflow)
Papers must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 5 to 12 pages
- PDF format
- Adhere to the ACM SIGPLAN template
Accepted papers will be published in the ACM Digital Library as part
of the FARM 2023 proceedings.
Authors are encouraged to submit auxiliary material for publication
along with their paper (source code, data, videos, images,
etc.). Authors retain all rights to the auxiliary material.
Demos
-----
Demo submissions should describe a demonstration and its context,
connecting it with the themes of FARM. A demo could be in the form of
a short (10 to 20 minute) tutorial, a presentation of work in
progress, an exhibition of some work, or even a performance.
Demos must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 500 to 2000 words
- Have a title starting with "Demo: "
- PDF format
- Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat)
Accepted demos will be published in the ACM Digital Library as part of
the FARM 2023 proceedings.
Performances
------------
FARM seeks proposals for performances which employ functional
programming techniques, in whole or in part. We invite a diverse range
of functionally-themed submissions including music, video, dance, and
performance art. Both live performances and fixed-media submissions
are welcome. We encourage risk-taking proposals that push forward the
state of the art as well as refined presentations of highly developed
practice. In either case, please support your submission with a clear
description of your performance, including how your performance
employs functional programming and a discussion of influences and
prior art as appropriate.
Performance proposals should be emailed to
performance@functional-art.org, and must include:
- A description of the performance (please be as specific as possible)
- An explanation of the use of functional programming in the work
- A list of technical requirements
- A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.)
Accepted performances will be presented at the performance evening.
Workshop Organization
---------------------
Workshop Chair: Mae Milano (University of California, Berkeley)
Program Chair: John Leo (Halfaya Research)
Performance Chair: Kaley Eaton (Cornish College of the Arts)
Publicity Chair: Michael Sperber (Active Group GmbH)
Contact
-------
For any questions, issues or comments, email
farm-2023@functional-art.org.
11th ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design
(FARM)
Call for Papers, Demos, and Performance
Seattle, Washington, USA, 8th September 2023
Deadline: June 1
https://functional-art.org/2023
===============================================================================
Key Dates
---------
Submission deadline June 1 (AoE)
Author notification July 1
Camera-ready deadline July 15
Workshop September 8
AUTHORS TAKE NOTE:
The official publication date is the date the proceedings are made
available in the ACM Digital Library. This date may be up to two weeks
prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work.
Call for Papers
---------------
The ACM SIGPLAN International Workshop on Functional Art, Music,
Modelling and Design (FARM) encourages submissions from across art,
craft, and design, including textiles, visual art, music, 3D
sculpture, animation, GUIs, video games, 3D printing and architectural
models, choreography, poetry, and even VLSI layouts, GPU
configurations, or mechanical engineering designs. Theoretical
foundations, language design, implementation issues, and applications
in industry or the arts are all within the scope of the workshop.
In addition to the main workshop, FARM hosts a traditional evening of
performances. Thus, this call encompasses both papers/demos for the
workshop (and its published proceedings) as well as performance
proposals for the evening's event. Authors are invited to make a
single submission for each. Authors may submit both a paper/demo and
performance proposal, but the submissions will be considered
independently.
Note on Finances
----------------
Paid registration to the FARM workshop is usually required for paper
and demo submitters, but will be waived for performers.
If you would have financial difficulty attending, you can apply for
conference "PAC" funds. Please get in touch for more information.
Papers
------
Paper submissions are invited in three categories:
- Original research
- Overview / state of the art
- Technology tutorial (especially tools and environments for distributed artistic workflow)
Papers must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 5 to 12 pages
- PDF format
- Adhere to the ACM SIGPLAN template
Accepted papers will be published in the ACM Digital Library as part
of the FARM 2023 proceedings.
Authors are encouraged to submit auxiliary material for publication
along with their paper (source code, data, videos, images,
etc.). Authors retain all rights to the auxiliary material.
Demos
-----
Demo submissions should describe a demonstration and its context,
connecting it with the themes of FARM. A demo could be in the form of
a short (10 to 20 minute) tutorial, a presentation of work in
progress, an exhibition of some work, or even a performance.
Demos must be submitted via HotCRP (https://farm23.hotcrp.com)
and meet the following requirements:
- 500 to 2000 words
- Have a title starting with "Demo: "
- PDF format
- Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat)
Accepted demos will be published in the ACM Digital Library as part of
the FARM 2023 proceedings.
Performances
------------
FARM seeks proposals for performances which employ functional
programming techniques, in whole or in part. We invite a diverse range
of functionally-themed submissions including music, video, dance, and
performance art. Both live performances and fixed-media submissions
are welcome. We encourage risk-taking proposals that push forward the
state of the art as well as refined presentations of highly developed
practice. In either case, please support your submission with a clear
description of your performance, including how your performance
employs functional programming and a discussion of influences and
prior art as appropriate.
Performance proposals should be emailed to
performance@functional-art.org, and must include:
- A description of the performance (please be as specific as possible)
- An explanation of the use of functional programming in the work
- A list of technical requirements
- A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.)
Accepted performances will be presented at the performance evening.
Workshop Organization
---------------------
Workshop Chair: Mae Milano (University of California, Berkeley)
Program Chair: John Leo (Halfaya Research)
Performance Chair: Kaley Eaton (Cornish College of the Arts)
Publicity Chair: Michael Sperber (Active Group GmbH)
Contact
-------
For any questions, issues or comments, email
farm-2023@functional-art.org.
2023-03-11
[Caml-list] First Call for Papers SETS 2023
Affiliated to CICM 2023
September 4, 2023 – Cambridge (UK)
https://www.lirmm.fr/sets2023/
Call for Papers
Aim
Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B. Sets also occur in the formalization of mathematics, as evidenced by the large library of the Mizar proof system, for example. In addition, still in the domain of theorem proving, there is an increasing interest to automate set theory (which is known to be a difficult problem), with some concrete realizations, such as mp (the "main prover" of Atelier B) or different decision procedures for SAT or SMT solvers. Sets are also the main features of some programming languages like the former SetL language or the more recent {log} language (pronounced as setlog).
The workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc. These tools may be dedicated or general purpose tools. Contributions by theoreticians working on set theories or fragments of set theories in the aim of designing concrete tools, and by practitioners using set-based tools are both welcome. We are also interested in contributions providing some comparisons between set modeling techniques and other formalisms, such as type theory (and variants) for instance. Finally, regarding the domains of application, we mainly expect contributions in the framework of formal methods, but not exhaustively, and contributions reporting formalizations of mathematics using set theory for example could be of interest for this workshop as well.
Topics
Topics of interest for this workshop include all aspects of set theory and corresponding tools. More specifically, some suggested topics are:
* Proof tools for sets
* Constraint solvers for sets
* Set-based programming languages
* Automated verification in set theory
* Encodings of set theory in provers
* Set theories for SMT solvers
* Use of set-based tools in formal methods
* Use of set-based tools in mathematics
* Comparison of set-based tools
* Comparison between set and type theories
* Experience reports
Contributions and Proceedings
Submitted papers must be 6-15 pages in length, following the Springer LNCS format. These submissions may be:
* Research papers providing new concepts and results
* Position papers and research perspectives
* Experience reports
* Tool presentations
Proceedings, including all the papers selected for the workshop, will be published as online proceedings in the CEUR workshop proceedings series (CEUR-WS.org) together with the other workshop papers and informal submissions of CICM.
Submission Web Site
Contributions must be submitted electronically in PDF using the SETS 2023 EasyChair web site at the following address:
https://easychair.org/conferences/?conf=sets2023
Contacts
For any question regarding SETS 2023, contact the workshop co-chairs:
* Maximiliano Cristiá (cristia@cifasis-conicet.gov.ar)
* David Delahaye (David.Delahaye@lirmm.fr)
* Olivier Hermant (Olivier.Hermant@minesparis.psl.eu)
2023-01-31
[Caml-list] 2nd Call for Participation: BOB 2023 (Berlin, March 17 - early bird expires today)
Lots of functional programming at BOB!
=========================================================================
BOB 2023
Conference
"What happens if we simply use what's best?"
March 17, 2023, Berlin
https://bobkonf.de/2023/
Program: https://bobkonf.de/2023/program.html
Registration: https://bobkonf.de/2023/registration.html
=========================================================================
BOB conference is a place for developers, architects, and decision-makers
to explore technologies beyond the mainstream in software development
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experience.
The program features 14 talks and 8 tutorials on current topics:
https://bobkonf.de/2023/program.html
Talk subjects includes functional programming, software
architecture, accessibility, digital transformation, version control,
formal methods, and devops.
BOB will feature tutorials on Elixir, Scheme, Kotlin, Agda, Domain
Storytelling, Hexagonal Frontend Architecture, and other topics.
Yulia Startsev will give the keynote talk on
"Re-thinking Modules for the Web".
Registration is open - online tickets are all under 200€, and many
discount options are available, as are grants for members of groups
underrepresented in tech:
https://bobkonf.de/2023/registration.html
=========================================================================
BOB 2023
Conference
"What happens if we simply use what's best?"
March 17, 2023, Berlin
https://bobkonf.de/2023/
Program: https://bobkonf.de/2023/program.html
Registration: https://bobkonf.de/2023/registration.html
=========================================================================
BOB conference is a place for developers, architects, and decision-makers
to explore technologies beyond the mainstream in software development
and to find the best tools available to software developers today. Our
goal is for all participants of BOB to return home with new insights
that enable them to improve their own software development
experience.
The program features 14 talks and 8 tutorials on current topics:
https://bobkonf.de/2023/program.html
Talk subjects includes functional programming, software
architecture, accessibility, digital transformation, version control,
formal methods, and devops.
BOB will feature tutorials on Elixir, Scheme, Kotlin, Agda, Domain
Storytelling, Hexagonal Frontend Architecture, and other topics.
Yulia Startsev will give the keynote talk on
"Re-thinking Modules for the Web".
Registration is open - online tickets are all under 200€, and many
discount options are available, as are grants for members of groups
underrepresented in tech:
https://bobkonf.de/2023/registration.html
Subscribe to:
Posts (Atom)