[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.
======================================================================
2023-03-18
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)
Subscribe to:
Posts (Atom)