=========================================================================
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 - regular early-bird tickets are 160€, student
tickets are 75€. Note that many discount options are available, as
are grants for members of groups underrepresented in tech:
https://bobkonf.de/2023/registration.html
2022-12-05
[Caml-list] Certified Programs and Proofs (CPP) 2023: Call for Participation
*** Call for Participation ***
*** Certified Programs and Proofs (CPP) 2023 ***
- Early registration deadline: 16 December 2022
- Registration: https://popl23.sigplan.org/attending/registration
- Further reduced student participation fee: see below
- Accommodation: Boston Park Plaza
https://popl23.sigplan.org/venue/POPL-2023-venue
Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on
16-17 January 2023 and will be co-located with POPL 2023. CPP 2023 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and
supported by a diverse set of industrial sponsors.
Similarly to other events collocated with POPL 2023, CPP will take
place as an in-person event at Boston Park Plaza, and will require
attendees to provide proof of vaccination (details will be available
soon). Virtual participation via Airmeet will also be available; look for
updated information about that option on the POPL web site.
For more information about this edition and the CPP series, please
visit https://popl23.sigplan.org/home/CPP-2023
### Invited Speakers
* Sandrine Blazy, University of Rennes and IRISA
* Cezary Kaliszyk, University of Innsbruck
### Accepted papers
The list of accepted papers is available at
https://popl23.sigplan.org/home/CPP-2023#event-overview
### Subsidized student registration
To facilitate in-person participation, CPP 2023 offers the opportunity
to waive
the registration fees for those that are in need of financial support to
attend
the conference. This support is particularly aimed at undergraduate and
graduate
students, postdocs, and those from marginalized groups.
If you wish to apply for support you may do so by sending an email to
the CPP
conference co-chairs (Dmitriy Traytel and Robbert Krebbers, see below
for their
email addresses), with a brief description of your situation. The
deadline for
applications is 11 December 2022, 23:59 AoE. Notifications will be sent
out at
most two days later; hence, those who cannot be supported will still
have the
opportunity to register with the regular early registration fee before 16
December. Applications arriving after 11 December will be considered only if
additional budget is remaining.
CPP's student support is made possible by our generous industrial
supporters:
https://popl23.sigplan.org/home/CPP-2023#About
### Contact
For any questions please contact the chairs:
Steve Zdancewic <stevez@seas.upenn.edu> (PC co-chair)
Brigitte Pientka <bpientka@cs.mcgill.ca> (PC co-chair)
Robbert Krebbers <mail@robbertkrebbers.nl> (conference co-chair)
Dmitriy Traytel <traytel@di.ku.dk> (conference co-chair)
*** Certified Programs and Proofs (CPP) 2023 ***
- Early registration deadline: 16 December 2022
- Registration: https://popl23.sigplan.org/attending/registration
- Further reduced student participation fee: see below
- Accommodation: Boston Park Plaza
https://popl23.sigplan.org/venue/POPL-2023-venue
Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their
work. CPP spans areas of computer science, mathematics, logic, and
education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on
16-17 January 2023 and will be co-located with POPL 2023. CPP 2023 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and
supported by a diverse set of industrial sponsors.
Similarly to other events collocated with POPL 2023, CPP will take
place as an in-person event at Boston Park Plaza, and will require
attendees to provide proof of vaccination (details will be available
soon). Virtual participation via Airmeet will also be available; look for
updated information about that option on the POPL web site.
For more information about this edition and the CPP series, please
visit https://popl23.sigplan.org/home/CPP-2023
### Invited Speakers
* Sandrine Blazy, University of Rennes and IRISA
* Cezary Kaliszyk, University of Innsbruck
### Accepted papers
The list of accepted papers is available at
https://popl23.sigplan.org/home/CPP-2023#event-overview
### Subsidized student registration
To facilitate in-person participation, CPP 2023 offers the opportunity
to waive
the registration fees for those that are in need of financial support to
attend
the conference. This support is particularly aimed at undergraduate and
graduate
students, postdocs, and those from marginalized groups.
If you wish to apply for support you may do so by sending an email to
the CPP
conference co-chairs (Dmitriy Traytel and Robbert Krebbers, see below
for their
email addresses), with a brief description of your situation. The
deadline for
applications is 11 December 2022, 23:59 AoE. Notifications will be sent
out at
most two days later; hence, those who cannot be supported will still
have the
opportunity to register with the regular early registration fee before 16
December. Applications arriving after 11 December will be considered only if
additional budget is remaining.
CPP's student support is made possible by our generous industrial
supporters:
https://popl23.sigplan.org/home/CPP-2023#About
### Contact
For any questions please contact the chairs:
Steve Zdancewic <stevez@seas.upenn.edu> (PC co-chair)
Brigitte Pientka <bpientka@cs.mcgill.ca> (PC co-chair)
Robbert Krebbers <mail@robbertkrebbers.nl> (conference co-chair)
Dmitriy Traytel <traytel@di.ku.dk> (conference co-chair)
2022-09-26
[Caml-list] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022
----------------------------------------------------------------------------------------- ProLaLa 2023 -- 2nd Workshop on Programming Languages and the Law Sunday Jan 15th, 2022 Boston, MA co-located with POPL 2023 ------------------------------------------------------------------------------------------ (please forward to anyone who might be interested!) We are pleased to announce ProLaLa'23, the second edition of the workshop concerned with the intersection of PL (Programming Languages) techniques and the law. We are particularly concerned with the following topics: - language design for legal matters; - static analysis of legal texts; - program synthesis and repair for legal software components; - formal modeling of legal semantics; - non-standard logics in support of legal reasoning; - program verification for legal expert systems. If you have explored any of these areas, we encourage you to submit a short abstract. We are hoping to solidify around this workshop what we believe is a nascent but growing community; last year we had 25 submissions and 60 participants. As such, the workshop will be informal, and we strongly encourage you to submit ongoing or already-published work in the form of a brief 5-page submission for a long talk, or a 2-page submission for a short talk. Full details: https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers
Venue
ProLaLa will be colocated with POPL'23. We plan to coordinate with the POPL conference on remote participation. We would like to have remote participation even if the workshop happens in person. Our plan is to create an inclusive environment that does not demand traveling for COVID-19 (or other) reasons.
Submission details
We accept two kinds of submissions. - Long talks: 5 pages excluding references - Short talks: 2 page excluding references We require using SIGPLAN's one-column LaTeX format (acmsmall). Submission site: https://prolala23.hotcrp.com
Important dates
- Thu 27 Oct 2022: Submission deadline - Thu 10 Nov 2022: Notification of acceptance - Sun 15 Jan 2023: Workshop
Program committee
- Shrutarshi Basu (co-chair), Middlebury College, USA - Denis Merigoux (co-chair), Inria, France - Jonathan Protzenko (co-chair), Microsoft Research, USA - Timos Antonopoulos, Yale, USA - Joaquín Arias, Universidad Rey Juan Carlos, Spain - James Grimmelman, Cornell, USA - Ekaterina Komandantskaya, Herriot-Watts University, UK - Emma Tosch, University of Michigan, USA - Saeid Tizpaz-Niari, University of Texas at El Paso, USA - Giovanni Sileno, University of Amsterdam, Netherlands - Chris Bailey, University of Illinois, USA - Laurence Diver, Vrije Universiteit Brussel, Belgium - Sarah Lawsky, Northwestern Pritzker School of Law, USA
2022-09-19
[Caml-list] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming
# TFP 2023 -- Call for Papers
(trendsfp.github.io)
## Important Dates
Submission deadline: pre-symposium, full papers, Wednesday 23rd
November, 2022
Submission deadline: pre-symposium, draft papers, Friday 16th December, 2022
Notification: pre-symposium submissions, Friday 23rd December, 2022
Registration: Friday 6th January, 2023
TFPIE Workshop: Thursday 12th January,
2023
TFP Symposium: Friday 13th - Sunday
15th January, 2023
Submission deadline: post-symposium review, Friday 17th February, 2023
Notification: post-symposium submissions, Friday 31st March, 2023
The Symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions.
This year, TFP will take place in-person at UMass Boston,
Massachusetts in the United States. It is co-located with the Trends
in Functional Programming in Education (TFPIE) workshop, which will
take on the day before the main symposium.
Please be aware that TFP has several submission deadlines. The first,
November 23, is for authors that wish to have their full paper
reviewed prior to the symposium. Papers that are accepted in this way
must also be presented at the symposium. The second, December 16, is
for authors that wish to present their work or work-in progress at the
symposium first without submitting to the full review process for
publication. These authors can then take into account
feedback received at the symposium and submit a full article for
review by the third deadline, February 17.
## Scope
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
* Research Articles:
Leading-edge, previously unpublished research work
* Position Articles:
On what new trends should or should not be
* Project Articles:
Descriptions of recently started new projects
* Evaluation Articles:
What lessons can be drawn from a finished project
* Overview Articles:
Summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.
Topics suitable for the symposium include, but are not limited to:
* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2023 program chair, Stephen Chang.
## Best Paper Awards
TFP awards two prizes for the best papers each year.
First, to reward excellent contributions, TFP awards a prize for the best
overall paper accepted for the post-conference formal proceedings.
Second, a prize for the best student paper is awarded each year.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, then that paper will receive
both prizes.
## Instructions to Authors
Papers must be submitted at:
<https://easychair.org/conferences/?conf=tfp23>
Authors of papers have the choice of having their contributions
formally reviewed either before or after the Symposium.
Further, pre-symposium submissions may either be full (earlier deadline)
or draft papers (later deadline).
## Pre-symposium formal review
Papers to be formally reviewed before the symposium should be
submitted before the early deadline and will receive their reviews and
notification of acceptance for both presentation and publication
before the symposium. A paper that has been rejected for publication
but accepted for presentation may be resubmitted for the
post-symposium formal review.
## Post-symposium formal review
Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback receive
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal publication.
## Paper categories
Draft papers and papers submitted for formal review are submitted as
extended abstracts (4 to 10 pages in length) or full papers (20
pages). The submission must clearly indicate which category it belongs
to: research, position, project, evaluation, or overview paper. It
should also indicate which authors are research students, and whether
the main author(s) are students. A draft paper for which all authors
are students will receive additional feedback by one of the PC members
shortly after the symposium has taken place.
## Format
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.
## Program Committee
Peter Achten, Radboud University Nijmegen, Netherlands
Nada Amin, Harvard University, USA
Ambrose Bonnaire-Sergeant, Untypable LLC, USA
Laura M. Castro, University of A Coruña, Spain
Stephen Chang (Chair), University of Massachusetts Boston, US
John Clements, Cal Poly, USA
Youyou Cong, Tokyo Institute of Technology, Japan
Paul Downen, University of Massachusetts Lowell, USA
Kathy Gray, Meta Platforms, Inc., UK
Ben Greenman, University of Utah, USA
Jason Hemann, Seton Hall University, USA
Patricia Johann, Appalachian State University, USA
Alexis King, Tweag, USA
Julia Lawall, Inria-Paris, France
Barak Pearlmutter, Maynooth University, Ireland
Norman Ramsey, Tufts University, USA
Ilya Sergey, National University of Singapore, Singapore
Melinda Tóth, Eötvös Loránd University, Hungary
Ningning Xie, University of Toronto, Canada
(trendsfp.github.io)
## Important Dates
Submission deadline: pre-symposium, full papers, Wednesday 23rd
November, 2022
Submission deadline: pre-symposium, draft papers, Friday 16th December, 2022
Notification: pre-symposium submissions, Friday 23rd December, 2022
Registration: Friday 6th January, 2023
TFPIE Workshop: Thursday 12th January,
2023
TFP Symposium: Friday 13th - Sunday
15th January, 2023
Submission deadline: post-symposium review, Friday 17th February, 2023
Notification: post-symposium submissions, Friday 31st March, 2023
The Symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions.
This year, TFP will take place in-person at UMass Boston,
Massachusetts in the United States. It is co-located with the Trends
in Functional Programming in Education (TFPIE) workshop, which will
take on the day before the main symposium.
Please be aware that TFP has several submission deadlines. The first,
November 23, is for authors that wish to have their full paper
reviewed prior to the symposium. Papers that are accepted in this way
must also be presented at the symposium. The second, December 16, is
for authors that wish to present their work or work-in progress at the
symposium first without submitting to the full review process for
publication. These authors can then take into account
feedback received at the symposium and submit a full article for
review by the third deadline, February 17.
## Scope
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
* Research Articles:
Leading-edge, previously unpublished research work
* Position Articles:
On what new trends should or should not be
* Project Articles:
Descriptions of recently started new projects
* Evaluation Articles:
What lessons can be drawn from a finished project
* Overview Articles:
Summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.
Topics suitable for the symposium include, but are not limited to:
* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2023 program chair, Stephen Chang.
## Best Paper Awards
TFP awards two prizes for the best papers each year.
First, to reward excellent contributions, TFP awards a prize for the best
overall paper accepted for the post-conference formal proceedings.
Second, a prize for the best student paper is awarded each year.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, then that paper will receive
both prizes.
## Instructions to Authors
Papers must be submitted at:
<https://easychair.org/conferences/?conf=tfp23>
Authors of papers have the choice of having their contributions
formally reviewed either before or after the Symposium.
Further, pre-symposium submissions may either be full (earlier deadline)
or draft papers (later deadline).
## Pre-symposium formal review
Papers to be formally reviewed before the symposium should be
submitted before the early deadline and will receive their reviews and
notification of acceptance for both presentation and publication
before the symposium. A paper that has been rejected for publication
but accepted for presentation may be resubmitted for the
post-symposium formal review.
## Post-symposium formal review
Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback receive
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal publication.
## Paper categories
Draft papers and papers submitted for formal review are submitted as
extended abstracts (4 to 10 pages in length) or full papers (20
pages). The submission must clearly indicate which category it belongs
to: research, position, project, evaluation, or overview paper. It
should also indicate which authors are research students, and whether
the main author(s) are students. A draft paper for which all authors
are students will receive additional feedback by one of the PC members
shortly after the symposium has taken place.
## Format
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.
## Program Committee
Peter Achten, Radboud University Nijmegen, Netherlands
Nada Amin, Harvard University, USA
Ambrose Bonnaire-Sergeant, Untypable LLC, USA
Laura M. Castro, University of A Coruña, Spain
Stephen Chang (Chair), University of Massachusetts Boston, US
John Clements, Cal Poly, USA
Youyou Cong, Tokyo Institute of Technology, Japan
Paul Downen, University of Massachusetts Lowell, USA
Kathy Gray, Meta Platforms, Inc., UK
Ben Greenman, University of Utah, USA
Jason Hemann, Seton Hall University, USA
Patricia Johann, Appalachian State University, USA
Alexis King, Tweag, USA
Julia Lawall, Inria-Paris, France
Barak Pearlmutter, Maynooth University, Ireland
Norman Ramsey, Tufts University, USA
Ilya Sergey, National University of Singapore, Singapore
Melinda Tóth, Eötvös Loránd University, Hungary
Ningning Xie, University of Toronto, Canada
2022-08-16
[Caml-list] Certified Programs and Proofs (CPP) 2023 Call for Papers
Certified Programs and Proofs (CPP) is an international conference on
practical
and theoretical topics in all areas that consider formal verification and
certification as an essential paradigm for their work. CPP spans areas of
computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17
January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts,
United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM
SIGLOG.
CPP 2023 will welcome contributions from all members of the community.
The CPP
2023 organizers will strive to enable both in-person and remote
participation,
in cooperation with the POPL 2023 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h)
* Notification (tentative): 21 November 2022
* Camera Ready Deadline (tentative): 12 December 2022
* Conference: 16-17 January 2023
Deadlines expire at the end of the day, anywhere on earth. Abstract and
submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as
Distinguished Papers. This award highlights papers that the CPP program
committee thinks should be read by a broad audience due to their relevance,
originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of
programs and proofs. The following is a non-exhaustive list of topics of
interest to CPP:
* certified or certifying programming, compilation, linking, OS kernels,
runtime
systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris,
Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics, and
logical
frameworks;
* higher-order logics, dependent type theory, proof theory, logical systems,
separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra, polynomial
systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality, first-order
logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload their
anonymized paper in PDF format through the HotCRP system at
https://cpp2023.hotcrp.com
The submissions must be written in English and provide sufficient detail to
allow the program committee to assess the merits of the contribution.
They must
be formatted following the ACM SIGPLAN Proceedings format using the
acmart style
with the sigplan option, which provides a two-column style, using 10
point font
for the main text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures,
but excluding bibliography and clearly marked appendices. The papers
should be
self-contained without the appendices. Shorter papers are welcome and
will be
given equal consideration. Submissions not conforming to the requirements
concerning format and maximum length may be rejected without further
consideration.
CPP 2023 will employ a lightweight double-blind reviewing process
following the
process from previous years. To facilitate this, the submissions must
adhere to
two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third
person (e.g.,
not "We build on our previous work ..." but rather "We build on the
work of
...").
The purpose of this process is to help the PC and external reviewers
come to an
initial judgment about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done
in the
name of anonymity that weakens the submission or makes the job of
reviewing it
more difficult. In particular, important background references should not be
omitted or anonymized. In addition, authors are free to disseminate
their ideas
or draft versions of their papers as usual. For example, authors may
post drafts
of their papers on the web or give talks on their research ideas. Note
that POPL
2023 itself will employ full double-blind reviewing, which differs from the
light-weight CPP process. This FAQ from previous SIGPLAN conference
addresses
many common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We strongly encourage the authors to provide any supplementary material that
supports the claims made in the paper, such as proof scripts or experimental
data. This material must be uploaded at submission time, as an archive,
not via
a URL. Two forms of supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the reviewers
before
they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the reviewers
after they have submitted their first-draft reviews and have learned the
identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be
taken into account from the beginning of the reviewing process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the ACM
Policy
on Plagiarism (https://www.acm.org/publications/policies/plagiarism).
Concurrent
submissions to other conferences, journals, workshops with proceedings, or
similar forums of publication are not allowed. The PC chairs should be
informed
of closely related work submitted to a conference or journal in advance of
submission. One author of each accepted paper is expected to present it
at the
(possibly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2023 proceedings will be published by the ACM, and authors of
accepted
papers will be required to choose one of the following publication options:
(1) Author retains copyright of the work and grants ACM a non-exclusive
permission-to-publish license and, optionally, licenses the work
under a
Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will make the
paper Gold Open Access, and also encourage such authors to license their
work
under the CC-BY license. ACM will charge you an article processing fee
for this
option (currently, US$700), which you have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows you to
achieve Green Open Access, by uploading a preprint of your paper to a
repository
that guarantees permanent archival such as arXiv or HAL. This is anyway
a good
idea for timely dissemination even if you chose option 1.
The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC
(http://www.sigplan.org/OpenTOC/#cpp).
For ACM's take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights
(http://authors.acm.org/main.html).
PROGRAM COMMITTEE
Steve Zdancewic, University of Pennsylvania, USA (co-chair)
Brigitte Peintka, McGill University, Canada (co-chair)
Reynald Affeldt, AIST, Japan
Tej Chajed, MIT, USA
Koen Claessen, Chalmers, Sweden
Ranald Clouston, ANU, Australia
Leonardo de Moura, Microsoft Research, USA
Xinyu Feng, Nanjing University, China
Denis Firsov, Tallinn University/GuardTime, Estonia
Yannick Forster, Inria Nantes, France
Milos Gligoric, UT Austin, USA
Stephane Graham-Lengrand, SRI, USA
Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA
Chris Hawblitzel, Microsoft Research, US
Chantal Keller , Université Paris Saclay, France
Marie Kerjean, CNRS, France
Yoonseung Kim, Seoul National University, Korea
Kenji Maillard, INRIA, France
César Muñoz, Amazon Web Services, USA
Tobias Nipkow, Technical University of Munich, Germany
Lawrence Paulson, Cambridge, UK
Pierre-Marie Pédrot, INRIA, France
Anja Petković Komel, TU Wien, Vienna
Clément Pit-Claudel, EPFL, France
Christine Rizkallah, University of Melbourne, Australia
Cody Roux, AWS, USA
Kazuhiko Sakaguchi, University of Tsukuba, Japan
Anna Slobodova, Intel, USA
Aaron Stump, University of Iowa, USA
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, CIIRC (Prague), Czech Republic
Viktor Vafeiadis, MPI-SWS, Germany
Yuting Wang, Shanghai Jiao Tong University, China
Tjark Weber, Uppsala University, Sweden
ORGANIZERS
Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Brigitte Peintka, McGill University, Canada (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Steve Zdancewic <stevez@seas.upenn.edu>
Brigitte Pientka <bpientka@cs.mcgill.ca>
practical
and theoretical topics in all areas that consider formal verification and
certification as an essential paradigm for their work. CPP spans areas of
computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17
January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts,
United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM
SIGLOG.
CPP 2023 will welcome contributions from all members of the community.
The CPP
2023 organizers will strive to enable both in-person and remote
participation,
in cooperation with the POPL 2023 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h)
* Notification (tentative): 21 November 2022
* Camera Ready Deadline (tentative): 12 December 2022
* Conference: 16-17 January 2023
Deadlines expire at the end of the day, anywhere on earth. Abstract and
submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as
Distinguished Papers. This award highlights papers that the CPP program
committee thinks should be read by a broad audience due to their relevance,
originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of
programs and proofs. The following is a non-exhaustive list of topics of
interest to CPP:
* certified or certifying programming, compilation, linking, OS kernels,
runtime
systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris,
Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics, and
logical
frameworks;
* higher-order logics, dependent type theory, proof theory, logical systems,
separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra, polynomial
systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality, first-order
logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload their
anonymized paper in PDF format through the HotCRP system at
https://cpp2023.hotcrp.com
The submissions must be written in English and provide sufficient detail to
allow the program committee to assess the merits of the contribution.
They must
be formatted following the ACM SIGPLAN Proceedings format using the
acmart style
with the sigplan option, which provides a two-column style, using 10
point font
for the main text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures,
but excluding bibliography and clearly marked appendices. The papers
should be
self-contained without the appendices. Shorter papers are welcome and
will be
given equal consideration. Submissions not conforming to the requirements
concerning format and maximum length may be rejected without further
consideration.
CPP 2023 will employ a lightweight double-blind reviewing process
following the
process from previous years. To facilitate this, the submissions must
adhere to
two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third
person (e.g.,
not "We build on our previous work ..." but rather "We build on the
work of
...").
The purpose of this process is to help the PC and external reviewers
come to an
initial judgment about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done
in the
name of anonymity that weakens the submission or makes the job of
reviewing it
more difficult. In particular, important background references should not be
omitted or anonymized. In addition, authors are free to disseminate
their ideas
or draft versions of their papers as usual. For example, authors may
post drafts
of their papers on the web or give talks on their research ideas. Note
that POPL
2023 itself will employ full double-blind reviewing, which differs from the
light-weight CPP process. This FAQ from previous SIGPLAN conference
addresses
many common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We strongly encourage the authors to provide any supplementary material that
supports the claims made in the paper, such as proof scripts or experimental
data. This material must be uploaded at submission time, as an archive,
not via
a URL. Two forms of supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the reviewers
before
they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the reviewers
after they have submitted their first-draft reviews and have learned the
identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be
taken into account from the beginning of the reviewing process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the ACM
Policy
on Plagiarism (https://www.acm.org/publications/policies/plagiarism).
Concurrent
submissions to other conferences, journals, workshops with proceedings, or
similar forums of publication are not allowed. The PC chairs should be
informed
of closely related work submitted to a conference or journal in advance of
submission. One author of each accepted paper is expected to present it
at the
(possibly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2023 proceedings will be published by the ACM, and authors of
accepted
papers will be required to choose one of the following publication options:
(1) Author retains copyright of the work and grants ACM a non-exclusive
permission-to-publish license and, optionally, licenses the work
under a
Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will make the
paper Gold Open Access, and also encourage such authors to license their
work
under the CC-BY license. ACM will charge you an article processing fee
for this
option (currently, US$700), which you have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows you to
achieve Green Open Access, by uploading a preprint of your paper to a
repository
that guarantees permanent archival such as arXiv or HAL. This is anyway
a good
idea for timely dissemination even if you chose option 1.
The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC
(http://www.sigplan.org/OpenTOC/#cpp).
For ACM's take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights
(http://authors.acm.org/main.html).
PROGRAM COMMITTEE
Steve Zdancewic, University of Pennsylvania, USA (co-chair)
Brigitte Peintka, McGill University, Canada (co-chair)
Reynald Affeldt, AIST, Japan
Tej Chajed, MIT, USA
Koen Claessen, Chalmers, Sweden
Ranald Clouston, ANU, Australia
Leonardo de Moura, Microsoft Research, USA
Xinyu Feng, Nanjing University, China
Denis Firsov, Tallinn University/GuardTime, Estonia
Yannick Forster, Inria Nantes, France
Milos Gligoric, UT Austin, USA
Stephane Graham-Lengrand, SRI, USA
Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA
Chris Hawblitzel, Microsoft Research, US
Chantal Keller , Université Paris Saclay, France
Marie Kerjean, CNRS, France
Yoonseung Kim, Seoul National University, Korea
Kenji Maillard, INRIA, France
César Muñoz, Amazon Web Services, USA
Tobias Nipkow, Technical University of Munich, Germany
Lawrence Paulson, Cambridge, UK
Pierre-Marie Pédrot, INRIA, France
Anja Petković Komel, TU Wien, Vienna
Clément Pit-Claudel, EPFL, France
Christine Rizkallah, University of Melbourne, Australia
Cody Roux, AWS, USA
Kazuhiko Sakaguchi, University of Tsukuba, Japan
Anna Slobodova, Intel, USA
Aaron Stump, University of Iowa, USA
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, CIIRC (Prague), Czech Republic
Viktor Vafeiadis, MPI-SWS, Germany
Yuting Wang, Shanghai Jiao Tong University, China
Tjark Weber, Uppsala University, Sweden
ORGANIZERS
Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Brigitte Peintka, McGill University, Canada (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Steve Zdancewic <stevez@seas.upenn.edu>
Brigitte Pientka <bpientka@cs.mcgill.ca>
2022-08-15
[Caml-list] IFL22: Early registration deadline August 15th
IFL 2022
Frederiksberg Campus of Faculty of Science, UCPH, Copenhagen
August 31s-September 2nd, 2022
Early registration deadline: August 15th AoE
See https://ifl22.github.io/ for more information.
CALL FOR PARTICIPATION:
The 34th Symposium on Implementation and Application of Functional Languages (IFL 2022)
Copenhagen, August 31st-September 2nd, 2022
Important dates
Submission deadline of draft papers August 8th, 2022 (EXPIRED)
Notification of acceptance August 9th, 2022 (EXPIRED)
Early registration deadline August 15th, 2022 (AoE)
Late registration deadline August 31st, 2022, 12:59 CET (UTC+2)
IFL Symposium August 31st - September 2nd, 2022 (We-Fr)
Scope
The goal of IFL is to bring together researchers and developers actively engaged in the implementation and application of functional programming languages and function-oriented programming. IFL 2022 is held in beautiful Copenhagen, Denmark and is a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional programming languages and function-oriented programming.
Invited speakers
IFL 2022 is pleased to announce keynote talks by the following three invited speakers:
* Peter Sestoft, Professor, Head of Department, IT University of Copenhagen, Denmark: "Abstract machines and functional language implementation"
* Lennart Augustsson, Principal Programmer, Epic Games: "Verse - a new functional-logic language"
* Thomas Gazagnaire, Chief Technology Officer and co-founder, Tarides: "Talk title to be announced"
Venue and registration
The symposium will be held physically on the Frederiksberg Campus of the Faculty of Science at the University of Copenhagen. Days 1 and 2 (August 31st and September 1st) will be in meeting room A2-84.01 at Thorvaldsensvej 40. Day 3 (September 2nd) will be in the Celebration Auditorium at Bülowsvej 17.
For registration and fees, please consult the symposium web site at https://ifl22.github.io/. Please notice that the early registration date is August 15, 2022 (AoE).
Accepted papers
* Asynchronous Shared Data Sources. Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer.
* Heuristics-based Type Error Diagnosis for Haskell: the case of type families. Niels Kwadijk and Jurriaan Hage.
* Verified Technology Mapping in an Agda DSL for Circuit Design. João Paulo Pizani Flor and Wouter Swierstra.
* Creating Interactive Visualizations of TopHat Programs. Mark Gerarts, Marc de Hoog, Nico Naus and Tim Steenvoorden.
* An SQL Frontend on top of OCaml for Data Analysis. Yan Dong, Yahui Song and Wei-Ngan Chin.
* A Structure Editor with Type-Safe Copy/Paste. Hans Hüttel, Christoffer Lind Andersen, Nana Gjerulf Sandberg, Anja Elisasen Lumholtz Nielsen and Peter Mikkelsen.
* How to fold and color a map: Comparing Use-Cases of Tree-Fold vs Fold-Left. Jim Newton.
* Compiling a functional array language with non-semantic memory information. Philip Munksgaard, Cosmin Oancea and Troels Henriksen.
* Systems of partial values and their applications in Haskell. Natasha England-Elbro.
* First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer.
* Set-theoretic Types for Erlang. Albert Schimpf, Stefan Wehr and Annette Bieniusa.
* Strongly-Typed Multi-View Stack-Based Computations. Pieter Koopman and Mart Lubbers.
* Ztrategic: Strategic Programming with Zippers. José Nuno Macedo, Emanuel Rodrigues, Marcos Viera and João Saraiva.
* Higher-ranked region inference for polymorphic, lazy languages. Ivo Gabe de Wolff and Jurriaan Hage.
* Jeopardy: An invertible functional programming language. Joachim Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen.
* The Foil: Capture-Avoiding Substitution With No Sharp Edges. Dougal Maclaurin, Alexey Radul and Adam Paszke.
* Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan Shen, Niki Vazou and Lindsey Kuper.
* Towards Inversion of Tail-recursive Term Rewriting Systems. Maria Bendix Mikkelsen, Robert Glück and Maja Hanne Kirkeby.
* A Confluence and Termination Checker for Haskell Rewrite Rules. Makoto Hamana.
* On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. Patrick van Beurden and Sven-Bodo Scholz.
* Compiling Haskell for Energy Efficiency: Analysis of Individual Transformations. Bernardo Santos, João Fernandes, Maja Kirkeby and Alberto Pardo.
Post-symposium peer review
Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings.
Before the symposium authors submit draft papers. These draft papers have been screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. Notice that it is a requirement that draft papers that are accepted for presentation be presented physically at the symposium.
After the symposium the authors are invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper will be accepted or rejected for the formal proceedings. Papers that are accepted for the formal proceedings are published in the International Conference Proceedings Series of the ACM Digital Library, as in previous years.
Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros.
Sponsors
IFL 2022 is financially supported by
- Meta (Silver sponsor),
- Well-typed (Bronze sponsor),
- Funktionelle Københavnere (Bronze sponsor), and
- University of Copenhagen (administrative support, host).
Organisation
General chair Fritz Henglein, University of Copenhagen
Program chair Martin Elsman, University of Copenhagen
Communications chair Troels Henriksen, University of Copenhagen
Program committee
Laura M. Castro Universidade da Coruña, Spain
David Christiansen Haskell Foundation
Martin Elsman University of Copenhagen, Denmark (chair)
Matthew Fluet Rochester Institute of Technology, USA
Clemens Grelck Universiteit van Amsterdam, The Netherlands
Zhenjiang Hu Peking University, China
Robin Kaarsgaard University of Edinburgh, Scotland
Gabriele Keller Utrecht University, The Netherlands
Oleg Kiselyov Tohoku University, Japan
Neil Mitchell Facebook
Stefan Monnier Universite de Montreal, Canada
Magnus Myreen Chalmers University, Sweden
Cyrus Omar University of Michigan, USA
Romain Péchoux University of Lorraine, Inria, France
Rinus Plasmeijer Radboud University, The Netherlands
Morten Rhiger Roskilde University, Denmark
Peter van Roy Catholic University of Louvain, Belgium
Olin Shivers Northeastern University, USA
Peter Thiemann University of Freiburg, Germany
Marcos Viera Universidad de la República, Uruguay
Meng Wang University of Bristol, UK
2022-07-13
[Caml-list] GPCE 2022 Second Call for Papers
------------------------------------------------------------------------------- GPCE 2022: 21st International Conference on Generative Programming: Concepts & Experiences December 5-7, 2022 (co-located with SPLASH) Auckland, New Zealand with hybrid sessions https://conf.researchr.org/home/gpce-2022/ ------------------------------------------------------------------------------- News: 1. GPCE will be HYBRID – in-person and online presentations are allowed. 2. GPCE and SLE will have a joint program as in the previous years. 3. Submission site (https://gpce2022.hotcrp.com/) is now open. --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: - program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, - domain-specific languages, language embedding, language design, and language workbenches, - feature-oriented programming, domain engineering, and feature interactions, - applications and properties of code generation, language implementation, and product-line development. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits three kinds of submissions: - **Full Papers** reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. - **Short Papers** presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text "(Short Paper)" appended to their titles. - **Tool Demonstrations** presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text "(Tool Demonstration)" appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: - Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. - Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. - Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. - Clarity. The paper must present its contributions and results clearly. --------------------------- BEST PAPER AWARD --------------------------- Following the tradition, the GPCE 2022 program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission 8 August (Mon) - Paper submission 12 August (Fri) - Review notification 28 September (Wed) - Author response period 28 September (Wed) - 30 September (Fri) - Final notification 10 October (Mon) - Camera-ready 24 October (Mon) - Conference 5 December (Mon) - 7 December (Wed) All times are in AoE (Anywhere on Earth). --------------------------- PAPER SUBMISSION --------------------------- Papers must be submitted using HotCRP: https://gpce2022.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format "acmart". Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, GPCE 2022 uses the double-blind review process which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors' own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors' identities in implicit ways. For additional information, clarification, or answers to questions, contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy (http://www.sigplan.org/Resources/Policies/Republication/). --------------------------- ORGANIZATION --------------------------- - General Chair: Bernhard Scholz (University of Sydney) - Program Chair: Yukiyoshi Kameyama (University of Tsukuba) - Publicity Chair: Youyou Cong (Tokyo Institute of Technology) - Steering Committee Chair: Sebastian Erdweg (JGU Mainz) For additional information, clarification, or answers to questions, contact the program chair: kameyama at acm.org --------------------------- PROGRAM COMMITTEE --------------------------- Baris Aktemur - Intel Walter Binder - Università della Svizzera italiana Nicolas Biri - Luxembourg Institute of Science and Technology Elisa Gonzalez Boix - Vrije Universiteit Brussel Sheng Chen - UL Lafayette Shigeru Chiba - The University of Tokyo Youyou Cong - Tokyo Institute of Technology Coen De Roover - Vrije Universiteit Brussel Robert Glück - University of Copenhagen Jeff Gray - University of Alabama Atsushi Igarashi - Kyoto University Yukiyoshi Kameyama - University of Tsukuba, Chair Raffi Khatchadourian - City University of New York (CUNY) Hunter College Julia Lawall - Inria Geoffrey Mainland - Drexel University Bruno C. d. S. Oliveira - The University of Hong Kong Klaus Ostermann - University of Tübingen Max Schaefer - GitHub Ulrik Pagh Schultz - University of Southern Denmark Sibylle Schupp - Hamburg University of Technology Amir Shaikhha - University of Edinburgh Artjoms Sinkarovs - Heriot-Watt University Daniel Strüber - Chalmers University of Gothenburg, Radboud University Nijmegen Nicolas Stucki - EPFL Eli Tilevich - Virginia Tech Tijs van der Storm - CWI & University of Groningen Jeremy Yallop - University of Cambridge
2022-06-29
[Caml-list] CSL'23 - last call for papers
=====================================
Last call for papers (CSL'23)
https://csl2023.mimuw.edu.pl/
Abstract submission deadline: July 9, 2022 (AoE)
=====================================
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.
It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL'23 will be held on February 13-16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. In case of a deteriorating pandemic situation, we may decide to organize the conference as an online-only event. The final decision about this will be made in November 2022.
Keynote speakers:
----------------------
- Claudia Faggian (Université de Paris, France)
- Nina Gierasimczuk (Danish Technical University, Denmark)
- Dale Miller (Inria Saclay, France)
- Michał Pilipczuk (University of Warsaw, Poland)
- Davide Sangiorgi (University of Bologna, Italy)
Submission guidelines:
----------------------
Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
The paper should be submitted via Easychair: https://easychair.org/conferences/?conf=csl2023
The CSL 2023 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors.
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Papers authored or co-authored by members of the PC are not allowed.
At least one of the authors of each accepted paper is expected to register for the conference in order to present their papers.
Important dates:
----------------
Abstract submission: July 9, 2022 (AoE),
Paper submission: July 16, 2022 (AoE),
Notification: September 30, 2022,
Final version: October 30, 2022,
Conference: February 13-16, 2023
List of topics:
---------------
The following list is not exhaustive but indicates the scope of interest for CSL'23:
- automated deduction and interactive theorem proving
- constructive mathematics and type theory
- equational logic and term rewriting
- automata and games, game semantics
- modal and temporal logic
- model checking
- decision procedures
- logical aspects of computational complexity
- finite model theory
- computability
- computational proof theory
- logic programming and constraints
- lambda calculus and combinatory logic
- domain theory
- categorical logic and topological semantics
- database theory
- specification, extraction and transformation of programs
- logical aspects of quantum computing
Programme Committee:
------------------
Matteo Acclavio (University of Luxembourg, Luxembourg)
Patricia Bouyer-Decitre (LSV, CNRS & ENS Paris-Saclay, France)
Agata Ciabattoni (TU Wien, Austria)
Diana Costa (University of Lisbon, Portugal)
Martín Escardó (University of Birmingham, UK)
Rajeev Goré (The Australian National University, Australia)
Giulio Guerrieri (Huawei Edinburgh Research Centre, UK)
Shin-ya Katsumata (National Institute of Informatics, Japan)
Delia Kesner (Université de Paris, France)
Sandra Kiefer (RWTH Aachen University, Germany)
Bartek Klin (University of Oxford, UK, co-chair)
Naoki Kobayashi (The University of Tokyo, Japan)
Stepan Kuznetsov (Steklov Mathematical Institute of RAS, Russia)
Martin Lück (Leibniz Universität Hannover, Germany)
Meena Mahajan (The Institute of Mathematical Sciences, HBNI, India)
Filip Murlak (University of Warsaw, Poland)
Daniele Nantes (University of Brasília, Brazil)
Elaine Pimentel (UCL, UK, co-chair)
Paolo Pistone (University of Bologna, Italy)
Ana Sokolova (University of Salzburg, Austria)
Lutz Straßburger (Inria Saclay – Île-de-France, France)
Pascal Schweitzer (TU Darmstadt, Germany)
Martin Zimmermann (Aalborg University, Denmark)
Yoni Zohar (Bar Ilan University, Israel)
Organisation committee:
-----------------
Lorenzo Clemente (chair)
Wojciech Czerwiński
Radosław Piórkowski
Last call for papers (CSL'23)
https://csl2023.mimuw.edu.pl/
Abstract submission deadline: July 9, 2022 (AoE)
=====================================
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.
It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL'23 will be held on February 13-16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. In case of a deteriorating pandemic situation, we may decide to organize the conference as an online-only event. The final decision about this will be made in November 2022.
Keynote speakers:
----------------------
- Claudia Faggian (Université de Paris, France)
- Nina Gierasimczuk (Danish Technical University, Denmark)
- Dale Miller (Inria Saclay, France)
- Michał Pilipczuk (University of Warsaw, Poland)
- Davide Sangiorgi (University of Bologna, Italy)
Submission guidelines:
----------------------
Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
The paper should be submitted via Easychair: https://easychair.org/conferences/?conf=csl2023
The CSL 2023 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors.
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including appendices or references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Papers authored or co-authored by members of the PC are not allowed.
At least one of the authors of each accepted paper is expected to register for the conference in order to present their papers.
Important dates:
----------------
Abstract submission: July 9, 2022 (AoE),
Paper submission: July 16, 2022 (AoE),
Notification: September 30, 2022,
Final version: October 30, 2022,
Conference: February 13-16, 2023
List of topics:
---------------
The following list is not exhaustive but indicates the scope of interest for CSL'23:
- automated deduction and interactive theorem proving
- constructive mathematics and type theory
- equational logic and term rewriting
- automata and games, game semantics
- modal and temporal logic
- model checking
- decision procedures
- logical aspects of computational complexity
- finite model theory
- computability
- computational proof theory
- logic programming and constraints
- lambda calculus and combinatory logic
- domain theory
- categorical logic and topological semantics
- database theory
- specification, extraction and transformation of programs
- logical aspects of quantum computing
Programme Committee:
------------------
Matteo Acclavio (University of Luxembourg, Luxembourg)
Patricia Bouyer-Decitre (LSV, CNRS & ENS Paris-Saclay, France)
Agata Ciabattoni (TU Wien, Austria)
Diana Costa (University of Lisbon, Portugal)
Martín Escardó (University of Birmingham, UK)
Rajeev Goré (The Australian National University, Australia)
Giulio Guerrieri (Huawei Edinburgh Research Centre, UK)
Shin-ya Katsumata (National Institute of Informatics, Japan)
Delia Kesner (Université de Paris, France)
Sandra Kiefer (RWTH Aachen University, Germany)
Bartek Klin (University of Oxford, UK, co-chair)
Naoki Kobayashi (The University of Tokyo, Japan)
Stepan Kuznetsov (Steklov Mathematical Institute of RAS, Russia)
Martin Lück (Leibniz Universität Hannover, Germany)
Meena Mahajan (The Institute of Mathematical Sciences, HBNI, India)
Filip Murlak (University of Warsaw, Poland)
Daniele Nantes (University of Brasília, Brazil)
Elaine Pimentel (UCL, UK, co-chair)
Paolo Pistone (University of Bologna, Italy)
Ana Sokolova (University of Salzburg, Austria)
Lutz Straßburger (Inria Saclay – Île-de-France, France)
Pascal Schweitzer (TU Darmstadt, Germany)
Martin Zimmermann (Aalborg University, Denmark)
Yoni Zohar (Bar Ilan University, Israel)
Organisation committee:
-----------------
Lorenzo Clemente (chair)
Wojciech Czerwiński
Radosław Piórkowski
2022-06-14
[Caml-list] Certified Programs and Proofs (CPP) 2023 Call for Papers
Certified Programs and Proofs (CPP) is an international conference on
practical
and theoretical topics in all areas that consider formal verification and
certification as an essential paradigm for their work. CPP spans areas of
computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17
January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts,
United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM
SIGLOG.
CPP 2023 will welcome contributions from all members of the community.
The CPP
2023 organizers will strive to enable both in-person and remote
participation,
in cooperation with the POPL 2023 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h)
* Notification (tentative): 21 November 2022
* Camera Ready Deadline (tentative): 12 December 2022
* Conference: 16-17 January 2023
Deadlines expire at the end of the day, anywhere on earth. Abstract and
submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as
Distinguished Papers. This award highlights papers that the CPP program
committee thinks should be read by a broad audience due to their relevance,
originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of
programs and proofs. The following is a non-exhaustive list of topics of
interest to CPP:
* certified or certifying programming, compilation, linking, OS kernels,
runtime
systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris,
Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics, and
logical
frameworks;
* higher-order logics, dependent type theory, proof theory, logical systems,
separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra, polynomial
systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality, first-order
logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload their
anonymized paper in PDF format through the HotCRP system at
https://cpp2023.hotcrp.com
The submissions must be written in English and provide sufficient detail to
allow the program committee to assess the merits of the contribution.
They must
be formatted following the ACM SIGPLAN Proceedings format using the
acmart style
with the sigplan option, which provides a two-column style, using 10
point font
for the main text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures,
but excluding bibliography and clearly marked appendices. The papers
should be
self-contained without the appendices. Shorter papers are welcome and
will be
given equal consideration. Submissions not conforming to the requirements
concerning format and maximum length may be rejected without further
consideration.
CPP 2023 will employ a lightweight double-blind reviewing process
following the
process from previous years. To facilitate this, the submissions must
adhere to
two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third
person (e.g.,
not "We build on our previous work ..." but rather "We build on the
work of
...").
The purpose of this process is to help the PC and external reviewers
come to an
initial judgment about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done
in the
name of anonymity that weakens the submission or makes the job of
reviewing it
more difficult. In particular, important background references should not be
omitted or anonymized. In addition, authors are free to disseminate
their ideas
or draft versions of their papers as usual. For example, authors may
post drafts
of their papers on the web or give talks on their research ideas. Note
that POPL
2023 itself will employ full double-blind reviewing, which differs from the
light-weight CPP process. This FAQ from previous SIGPLAN conference
addresses
many common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We strongly encourage the authors to provide any supplementary material that
supports the claims made in the paper, such as proof scripts or experimental
data. This material must be uploaded at submission time, as an archive,
not via
a URL. Two forms of supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the reviewers
before
they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the reviewers
after they have submitted their first-draft reviews and have learned the
identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be
taken into account from the beginning of the reviewing process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the ACM
Policy
on Plagiarism (https://www.acm.org/publications/policies/plagiarism).
Concurrent
submissions to other conferences, journals, workshops with proceedings, or
similar forums of publication are not allowed. The PC chairs should be
informed
of closely related work submitted to a conference or journal in advance of
submission. One author of each accepted paper is expected to present it
at the
(possibly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2023 proceedings will be published by the ACM, and authors of
accepted
papers will be required to choose one of the following publication options:
(1) Author retains copyright of the work and grants ACM a non-exclusive
permission-to-publish license and, optionally, licenses the work
under a
Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will make the
paper Gold Open Access, and also encourage such authors to license their
work
under the CC-BY license. ACM will charge you an article processing fee
for this
option (currently, US$700), which you have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows you to
achieve Green Open Access, by uploading a preprint of your paper to a
repository
that guarantees permanent archival such as arXiv or HAL. This is anyway
a good
idea for timely dissemination even if you chose option 1.
The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC
(http://www.sigplan.org/OpenTOC/#cpp).
For ACM's take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights
(http://authors.acm.org/main.html).
PROGRAM COMMITTEE
Steve Zdancewic, University of Pennsylvania, USA (co-chair)
Brigitte Peintka, McGill University, Canada (co-chair)
Reynald Affeldt, AIST, Japan
Tej Chajed, MIT, USA
Koen Claessen, Chalmers, Sweden
Ranald Clouston, ANU, Australia
Leonardo de Moura, Microsoft Research, USA
Xinyu Feng, Nanjing University, China
Denis Firsov, Tallinn University/GuardTime, Estonia
Yannick Forster, Inria Nantes, France
Milos Gligoric, UT Austin, USA
Stephane Graham-Lengrand, SRI, USA
Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA
Chris Hawblitzel, Microsoft Research, US
Chantal Keller , Université Paris Saclay, France
Marie Kerjean, CNRS, France
Yoonseung Kim, Seoul National University, Korea
Kenji Maillard, INRIA, France
César Muñoz, Amazon Web Services, USA
Lawrence Paulson, Cambridge, UK
Pierre-Marie Pédrot, INRIA, France
Anja Petković Komel, TU Wien, Vienna
Clément Pit-Claudel, EPFL, France
Christine Rizkallah, University of Melbourne, Australia
Cody Roux, AWS, USA
Kazuhiko Sakaguchi, University of Tsukuba, Japan
Anna Slobodova, Intel, USA
Aaron Stump, University of Iowa, US
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, CIIRC (Prague), Czech Republic
Viktor Vafeiadis, MPI-SWS, Germany
Yuting Wang, Shanghai Jiao Tong University, China
Tjark Weber, Uppsala University, Sweden
ORGANIZERS
Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Brigitte Peintka, McGill University, Canada (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Steve Zdancewic <stevez@seas.upenn.edu>
Brigitte Pientka <bpientka@cs.mcgill.ca>
practical
and theoretical topics in all areas that consider formal verification and
certification as an essential paradigm for their work. CPP spans areas of
computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17
January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts,
United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM
SIGLOG.
CPP 2023 will welcome contributions from all members of the community.
The CPP
2023 organizers will strive to enable both in-person and remote
participation,
in cooperation with the POPL 2023 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h)
* Notification (tentative): 21 November 2022
* Camera Ready Deadline (tentative): 12 December 2022
* Conference: 16-17 January 2023
Deadlines expire at the end of the day, anywhere on earth. Abstract and
submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as
Distinguished Papers. This award highlights papers that the CPP program
committee thinks should be read by a broad audience due to their relevance,
originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of
programs and proofs. The following is a non-exhaustive list of topics of
interest to CPP:
* certified or certifying programming, compilation, linking, OS kernels,
runtime
systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris,
Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics, and
logical
frameworks;
* higher-order logics, dependent type theory, proof theory, logical systems,
separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra, polynomial
systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality, first-order
logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload their
anonymized paper in PDF format through the HotCRP system at
https://cpp2023.hotcrp.com
The submissions must be written in English and provide sufficient detail to
allow the program committee to assess the merits of the contribution.
They must
be formatted following the ACM SIGPLAN Proceedings format using the
acmart style
with the sigplan option, which provides a two-column style, using 10
point font
for the main text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures,
but excluding bibliography and clearly marked appendices. The papers
should be
self-contained without the appendices. Shorter papers are welcome and
will be
given equal consideration. Submissions not conforming to the requirements
concerning format and maximum length may be rejected without further
consideration.
CPP 2023 will employ a lightweight double-blind reviewing process
following the
process from previous years. To facilitate this, the submissions must
adhere to
two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third
person (e.g.,
not "We build on our previous work ..." but rather "We build on the
work of
...").
The purpose of this process is to help the PC and external reviewers
come to an
initial judgment about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done
in the
name of anonymity that weakens the submission or makes the job of
reviewing it
more difficult. In particular, important background references should not be
omitted or anonymized. In addition, authors are free to disseminate
their ideas
or draft versions of their papers as usual. For example, authors may
post drafts
of their papers on the web or give talks on their research ideas. Note
that POPL
2023 itself will employ full double-blind reviewing, which differs from the
light-weight CPP process. This FAQ from previous SIGPLAN conference
addresses
many common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We strongly encourage the authors to provide any supplementary material that
supports the claims made in the paper, such as proof scripts or experimental
data. This material must be uploaded at submission time, as an archive,
not via
a URL. Two forms of supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the reviewers
before
they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the reviewers
after they have submitted their first-draft reviews and have learned the
identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be
taken into account from the beginning of the reviewing process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the ACM
Policy
on Plagiarism (https://www.acm.org/publications/policies/plagiarism).
Concurrent
submissions to other conferences, journals, workshops with proceedings, or
similar forums of publication are not allowed. The PC chairs should be
informed
of closely related work submitted to a conference or journal in advance of
submission. One author of each accepted paper is expected to present it
at the
(possibly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2023 proceedings will be published by the ACM, and authors of
accepted
papers will be required to choose one of the following publication options:
(1) Author retains copyright of the work and grants ACM a non-exclusive
permission-to-publish license and, optionally, licenses the work
under a
Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will make the
paper Gold Open Access, and also encourage such authors to license their
work
under the CC-BY license. ACM will charge you an article processing fee
for this
option (currently, US$700), which you have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows you to
achieve Green Open Access, by uploading a preprint of your paper to a
repository
that guarantees permanent archival such as arXiv or HAL. This is anyway
a good
idea for timely dissemination even if you chose option 1.
The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC
(http://www.sigplan.org/OpenTOC/#cpp).
For ACM's take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights
(http://authors.acm.org/main.html).
PROGRAM COMMITTEE
Steve Zdancewic, University of Pennsylvania, USA (co-chair)
Brigitte Peintka, McGill University, Canada (co-chair)
Reynald Affeldt, AIST, Japan
Tej Chajed, MIT, USA
Koen Claessen, Chalmers, Sweden
Ranald Clouston, ANU, Australia
Leonardo de Moura, Microsoft Research, USA
Xinyu Feng, Nanjing University, China
Denis Firsov, Tallinn University/GuardTime, Estonia
Yannick Forster, Inria Nantes, France
Milos Gligoric, UT Austin, USA
Stephane Graham-Lengrand, SRI, USA
Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA
Chris Hawblitzel, Microsoft Research, US
Chantal Keller , Université Paris Saclay, France
Marie Kerjean, CNRS, France
Yoonseung Kim, Seoul National University, Korea
Kenji Maillard, INRIA, France
César Muñoz, Amazon Web Services, USA
Lawrence Paulson, Cambridge, UK
Pierre-Marie Pédrot, INRIA, France
Anja Petković Komel, TU Wien, Vienna
Clément Pit-Claudel, EPFL, France
Christine Rizkallah, University of Melbourne, Australia
Cody Roux, AWS, USA
Kazuhiko Sakaguchi, University of Tsukuba, Japan
Anna Slobodova, Intel, USA
Aaron Stump, University of Iowa, US
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, CIIRC (Prague), Czech Republic
Viktor Vafeiadis, MPI-SWS, Germany
Yuting Wang, Shanghai Jiao Tong University, China
Tjark Weber, Uppsala University, Sweden
ORGANIZERS
Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Brigitte Peintka, McGill University, Canada (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Steve Zdancewic <stevez@seas.upenn.edu>
Brigitte Pientka <bpientka@cs.mcgill.ca>
2022-06-13
[Caml-list] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages
CALL FOR PAPERS - The 34th Symposium on Implementation and Application of Functional Languages
Important dates
Draft paper submission: 7th of August 2022
Draft paper notification: 9th of August 2022
Registration deadline: 12th of August 2022
Symposium: 31th of August to 2nd of September
Scope
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2022 will be a venue for researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Topics of interest to IFL include, but are not limited to:
* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* embedded domain specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* industrial applications
Submissions and peer-review
Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings.
Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium.
After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing.
Where
IFL 2022 will be held physically in Copenhagen, Denmark, arranged by DIKU at the University of Copenhagen.
See the IFL 2022 website at https://ifl22.github.io/ for more information.
Important dates
Draft paper submission: 7th of August 2022
Draft paper notification: 9th of August 2022
Registration deadline: 12th of August 2022
Symposium: 31th of August to 2nd of September
Scope
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2022 will be a venue for researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.
Topics of interest to IFL include, but are not limited to:
* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* embedded domain specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* industrial applications
Submissions and peer-review
Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings.
Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium.
After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing.
Where
IFL 2022 will be held physically in Copenhagen, Denmark, arranged by DIKU at the University of Copenhagen.
See the IFL 2022 website at https://ifl22.github.io/ for more information.
Subscribe to:
Posts (Atom)