-----------------------------------
TFPIE 2021 2nd Call for papers
-----------------------------------
https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021
(February 16 2021, co-organized with TFP 2021 and Lambda Days 2021)
Because of the covid pandemic, the events are online this year.
The goal of the International Workshops on Trends in Functional
Programming in
Education is to gather researchers, professors, teachers, and all
professionals
that use or are interested in the use of functional programming in
education.
TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and
work in
progress on the use of functional programming in education are
discussed. The
one-day workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.
TFPIE 2021 welcomes submissions in the above mentioned areas. This year
many
teaching programmes have had to make a rapid transition to online
teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.
Topics of interest include, but are not limited to:
- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
- The pedagogy of teaching FP
- FP and e-learning: MOOCs, automated assessment etc.
- Best Lectures - more details below
In addition to papers, we are requesting best lecture presentations.
What's your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best
lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.
Submissions
Potential presenters are invited to submit an extended abstract (4-6
pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available
on the
workshop's website. Papers and abstracts can be submitted via easychair
at the
following link:
https://easychair.org/conferences/?conf=tfpie2021
After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles for
publication
in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be
formally
reviewed by the PC.
Dates
- Submission deadline: January 11 2021, Anywhere on Earth.
- Notification: January 15 2021
- Workshop: February 16 2021
- Submission for formal review: April 20 2021, Anywhere on Earth.
- Notification of full article: June 7 2021
- Camera ready: July 1st 2021
Program Committee
- Peter Achten, Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
- Laura Castro, Universidade da Coruña, Spain
- Stephen Chang, University of Massachusetts Boston, USA
- Youyou Cong, Tokyo Institute of Technology, Japan
- Matthew Flatt, University of Utah, USA
- Seth Fogarty, Trinity University, USA
- Alex Gerdes, University of Gothenburg, Sweden
- Gabriele Keller, Utrecht University, Netherlands
- Prabhakar Ragde, University of Waterloo, Canada
- Melinda Tóth, Eötvös Loránd University, Budapest, Hungary
Registration
TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages
when registration
information becomes available.
Only papers that have been presented at TFPIE may be submitted to the
post-reviewing
process.
Information on Lambda Days is available at
https://www.lambdadays.org/lambdadays2021
Information on TFP is available at http://tfp2021.org
2020-12-18
2020-12-08
[Caml-list] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021)
-------------------------------------------------------------------------
Second call for papers
22nd Symposium on Trends in Functional Programming
tfp2021.org
-------------------------------------------------------------------------
Did you miss the deadline to submit a paper to Trends in Functional
Programming
http://tfp2021.org/? No worries -- it's not too late!
Submission is open until January 15th 2021, for a presentation slot at
the event
and post-symposium reviewing.
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.
* TFP offers a supportive reviewing process designed to help less
experienced
authors succeed, with two rounds of review, both before and after the
symposium itself. Authors have an opportunity to address reviewers'
concerns
before final decisions on publication in the proceedings.
* TFP offers two "best paper" awards, the John McCarthy award for best
paper,
and the David Turner award for best student paper.
* TFP is co-located with Lambda Days in beautiful Krakow. Lambda Days is
a vibrant
developer conference with hundreds of attendees and a lively
programme of talks on
functional programming in practice. Due to the covid pandemic, the
event is online
with a lot of attention to interaction and getting to socialize with
the community.
Important Dates
---------------
Submission deadline for pre-symposium review: 20th November, 2020 --
passed --
Submission deadline for draft papers: 15th January, 2021
Symposium dates: 18-19th February, 2021
Visit http://tfp2021.org/ for more information.
Second call for papers
22nd Symposium on Trends in Functional Programming
tfp2021.org
-------------------------------------------------------------------------
Did you miss the deadline to submit a paper to Trends in Functional
Programming
http://tfp2021.org/? No worries -- it's not too late!
Submission is open until January 15th 2021, for a presentation slot at
the event
and post-symposium reviewing.
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.
* TFP offers a supportive reviewing process designed to help less
experienced
authors succeed, with two rounds of review, both before and after the
symposium itself. Authors have an opportunity to address reviewers'
concerns
before final decisions on publication in the proceedings.
* TFP offers two "best paper" awards, the John McCarthy award for best
paper,
and the David Turner award for best student paper.
* TFP is co-located with Lambda Days in beautiful Krakow. Lambda Days is
a vibrant
developer conference with hundreds of attendees and a lively
programme of talks on
functional programming in practice. Due to the covid pandemic, the
event is online
with a lot of attention to interaction and getting to socialize with
the community.
Important Dates
---------------
Submission deadline for pre-symposium review: 20th November, 2020 --
passed --
Submission deadline for draft papers: 15th January, 2021
Symposium dates: 18-19th February, 2021
Visit http://tfp2021.org/ for more information.
2020-12-07
[Caml-list] Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31)
================================================================================
BOB 2021
Conference
"What happens if we simply use what's best?"
February 26, 2021, online
(UTC+0100)
http://bobkonf.de/2021/
Program: http://bobkonf.de/2021/program.html
Registration: http://bobkonf.de/2021/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:
http://bobkonf.de/2021/program.html
The subject range includes functional programming, logic programming,
revision control, formal methods, mindfulness, event sourcing,
front-end development, and more.
Jeremy Gibbons will give the keynote talk.
BOB 2021 will take place online. We are working towards fostering
lively exchange of exciting ideas and enable meaningful social
interactions.
Registration is open online:
http://bobkonf.de/2021/registration.html
The early-bird registration is €10 for a regular ticket, €5 for a
student ticket. (If you need financial aid, let us know.) We intend
to make this the most diverse, colorful, fun BOB ever!
NOTE: The early-bird rates expire on December 31, 2020!
BOB 2021
Conference
"What happens if we simply use what's best?"
February 26, 2021, online
(UTC+0100)
http://bobkonf.de/2021/
Program: http://bobkonf.de/2021/program.html
Registration: http://bobkonf.de/2021/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:
http://bobkonf.de/2021/program.html
The subject range includes functional programming, logic programming,
revision control, formal methods, mindfulness, event sourcing,
front-end development, and more.
Jeremy Gibbons will give the keynote talk.
BOB 2021 will take place online. We are working towards fostering
lively exchange of exciting ideas and enable meaningful social
interactions.
Registration is open online:
http://bobkonf.de/2021/registration.html
The early-bird registration is €10 for a regular ticket, €5 for a
student ticket. (If you need financial aid, let us know.) We intend
to make this the most diverse, colorful, fun BOB ever!
NOTE: The early-bird rates expire on December 31, 2020!
2020-10-19
[Caml-list] F-IDE 2021 - Call for Papers
******************************************************************
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Affiliated with NASA Formal Methods 2021
May 24-28, 2021 -- held online
https://cister-labs.pt/f-ide2021
******************************************************************
Important Dates
* Abstract submission: Mon, Feb 22, 2021
* Full paper submission: Mon, Mar 1, 2021
* Notification: Mon, Apr 19, 2021
* Camera-ready: Mon, May 3, 2021
* Workshop: May 24-28, 2021
Overview
High levels of safety, security, and privacy standards require the use
of formal methods to specify and develop compliant software
(sub)systems. Any standard comes with an assessment process, which
requires a complete documentation of the application to ease the
justification of design choices and the review of code and proofs.
Ideally, an F-IDE dedicated to such developments should comply with
several requirements. The first one is to associate a logical theory
with a programming language, in a way that facilitates the tightly
coupled handling of specification properties and program constructs.
The second is to offer a language and/or an environment simple enough
to be usable by most developers, even if they are not fully acquainted
with higher-order logics or set theory, in particular by making
development of proofs as easy as possible. The third is to offer
automated management of application documentation. It may also be
expected that developments done with such an F-IDE are reusable and
modular. Tools for testing and static analysis may be embedded within
F-IDEs to support the assessment process.
Topics
The workshop is open to contributions on all aspects of a system
development process, including specification, design, implementation,
analysis, and documentation. It welcomes the presentation of tools,
methods, techniques, and experiments. Topics of interest include, but
are not limited to, the following:
* F-IDE building: design and integration of languages, development of
user-friendly front-ends
* How to make high-level logical and programming concepts palatable to
industrial developers
* Integration of object-oriented and modularity features
* Integration of static analyzers
* Integration of automated proof tools, theorem provers, and testing tools
* Documentation tools
* Impact of tools on certification
* Experience reports on developing F-IDEs
* Experience reports on using F-IDEs
* Experience reports on formal methods-based assessments in industrial
applications
Submission Guidelines
We accept both long (15 pages) and short (6 pages) paper submissions.
The page limit does not include the bibliography. Submitted papers
must present original contributions whose main results and conclusions
have not been published or submitted elsewhere. Each submission will
be reviewed by at least three members of the Program Committee. We
expect that one author of every accepted paper will present their work
at the workshop.
Submitted papers must be written in English and follow the EPTCS LaTeX
format (http://style.eptcs.org). Authors are invited to submit the
following types of contributions:
* Research papers providing new concepts and results
* Experience reports
* Position papers and research perspectives
* Tool presentations
Papers should be submitted via EasyChair at F-IDE 2021's workshop page:
https://easychair.org/conferences/?conf=f-ide2021. Preliminary
proceedings will be made available in electronic form at the workshop.
Post-proceedings will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS).
Program Committee
* Andrew Reynolds, University of Iowa, USA
* Bernhard Rumpe, RWTH Aachen University, Germany
* Carlo A. Furia, Chalmers University of Technology, Sweden
* César Muñoz, NASA Langley, USA
* Cinzia Bernardeschi, University of Pisa, Italy
* Claudio Sacerdoti Coen, University of Bologna, Italy
* Enrico Tassi, Inria, France
* François Pessaux, ENSTA ParisTech, France
* José Creissac Campos, University of Minho, Portugal
* Kenneth Lausdahl, Aarhus University, Denmark
* Laurent Voisin, Systerel, France
* Lucas Wagner, Collins Aerospace, USA
* Makarius Wenzel, sketis.net
* Markus A. Kuppe, Microsoft Research, USA
* Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
* Pierre-Yves Strub, LIX, École Polytechnique, France
* Rosemary Monahan, Maynooth University, Ireland
* Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
* Simão Melo de Sousa, Universidade Beira Interior, Portugal
* Stefan Mitsch, Carnegie Mellon University, USA
* Stephan Merz, Inria, France
* Virgile Prevosto, Institut List, CEA Tech, Université Paris-Saclay, France
* Yannick Moy, AdaCore, France
* Yi Zhang, Massachusetts General Hospital, USA
PC Chairs
* Andrei Paskevich, Université Paris-Saclay, France
* José Proença, CISTER/ISEP, Portugal
Steering Committee
* Catherine Dubois, Samovar, ENSIIE, France
* Paolo Masci, US National Institute of Aerospace (NIA), USA
* Dominique Méry, LORIA, Université de Lorraine, France
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Affiliated with NASA Formal Methods 2021
May 24-28, 2021 -- held online
https://cister-labs.pt/f-ide2021
******************************************************************
Important Dates
* Abstract submission: Mon, Feb 22, 2021
* Full paper submission: Mon, Mar 1, 2021
* Notification: Mon, Apr 19, 2021
* Camera-ready: Mon, May 3, 2021
* Workshop: May 24-28, 2021
Overview
High levels of safety, security, and privacy standards require the use
of formal methods to specify and develop compliant software
(sub)systems. Any standard comes with an assessment process, which
requires a complete documentation of the application to ease the
justification of design choices and the review of code and proofs.
Ideally, an F-IDE dedicated to such developments should comply with
several requirements. The first one is to associate a logical theory
with a programming language, in a way that facilitates the tightly
coupled handling of specification properties and program constructs.
The second is to offer a language and/or an environment simple enough
to be usable by most developers, even if they are not fully acquainted
with higher-order logics or set theory, in particular by making
development of proofs as easy as possible. The third is to offer
automated management of application documentation. It may also be
expected that developments done with such an F-IDE are reusable and
modular. Tools for testing and static analysis may be embedded within
F-IDEs to support the assessment process.
Topics
The workshop is open to contributions on all aspects of a system
development process, including specification, design, implementation,
analysis, and documentation. It welcomes the presentation of tools,
methods, techniques, and experiments. Topics of interest include, but
are not limited to, the following:
* F-IDE building: design and integration of languages, development of
user-friendly front-ends
* How to make high-level logical and programming concepts palatable to
industrial developers
* Integration of object-oriented and modularity features
* Integration of static analyzers
* Integration of automated proof tools, theorem provers, and testing tools
* Documentation tools
* Impact of tools on certification
* Experience reports on developing F-IDEs
* Experience reports on using F-IDEs
* Experience reports on formal methods-based assessments in industrial
applications
Submission Guidelines
We accept both long (15 pages) and short (6 pages) paper submissions.
The page limit does not include the bibliography. Submitted papers
must present original contributions whose main results and conclusions
have not been published or submitted elsewhere. Each submission will
be reviewed by at least three members of the Program Committee. We
expect that one author of every accepted paper will present their work
at the workshop.
Submitted papers must be written in English and follow the EPTCS LaTeX
format (http://style.eptcs.org). Authors are invited to submit the
following types of contributions:
* Research papers providing new concepts and results
* Experience reports
* Position papers and research perspectives
* Tool presentations
Papers should be submitted via EasyChair at F-IDE 2021's workshop page:
https://easychair.org/conferences/?conf=f-ide2021. Preliminary
proceedings will be made available in electronic form at the workshop.
Post-proceedings will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS).
Program Committee
* Andrew Reynolds, University of Iowa, USA
* Bernhard Rumpe, RWTH Aachen University, Germany
* Carlo A. Furia, Chalmers University of Technology, Sweden
* César Muñoz, NASA Langley, USA
* Cinzia Bernardeschi, University of Pisa, Italy
* Claudio Sacerdoti Coen, University of Bologna, Italy
* Enrico Tassi, Inria, France
* François Pessaux, ENSTA ParisTech, France
* José Creissac Campos, University of Minho, Portugal
* Kenneth Lausdahl, Aarhus University, Denmark
* Laurent Voisin, Systerel, France
* Lucas Wagner, Collins Aerospace, USA
* Makarius Wenzel, sketis.net
* Markus A. Kuppe, Microsoft Research, USA
* Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
* Pierre-Yves Strub, LIX, École Polytechnique, France
* Rosemary Monahan, Maynooth University, Ireland
* Silvia Lizeth Tapia Tarifa, University of Oslo, Norway
* Simão Melo de Sousa, Universidade Beira Interior, Portugal
* Stefan Mitsch, Carnegie Mellon University, USA
* Stephan Merz, Inria, France
* Virgile Prevosto, Institut List, CEA Tech, Université Paris-Saclay, France
* Yannick Moy, AdaCore, France
* Yi Zhang, Massachusetts General Hospital, USA
PC Chairs
* Andrei Paskevich, Université Paris-Saclay, France
* José Proença, CISTER/ISEP, Portugal
Steering Committee
* Catherine Dubois, Samovar, ENSIIE, France
* Paolo Masci, US National Institute of Aerospace (NIA), USA
* Dominique Méry, LORIA, Université de Lorraine, France
2020-09-29
[Caml-list] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)
--------------------------------
TFPIE 2021 Call for papers
--------------------------------
https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021
(February 16 2021, co-organized with TFP 2021 and Lambda Days 2021)
The goal of the International Workshops on Trends in Functional
Programming in
Education is to gather researchers, professors, teachers, and all
professionals
that use or are interested in the use of functional programming in
education.
TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and
work in
progress on the use of functional programming in education are
discussed. The
one-day workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.
TFPIE 2021 welcomes submissions in the above mentioned areas. This year
many
teaching programmes have had to make a rapid transition to online
teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.
Topics of interest include, but are not limited to:
- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
- The pedagogy of teaching FP
- FP and e-learning: MOOCs, automated assessment etc.
- Best Lectures - more details below
In addition to papers, we are requesting best lecture presentations.
What's your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best
lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.
Submissions
Potential presenters are invited to submit an extended abstract (4-6
pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available
on the
workshop's website. Papers and abstracts can be submitted via easychair
at the
following link:
https://easychair.org/conferences/?conf=tfpie2021
After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles. We plan to
publish them in the Electronic Proceedings in Theoretical Computer
Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be
formally
reviewed by the PC.
Dates
- Submission deadline: January 11 2021, Anywhere on Earth.
- Notification: January 15 2021
- Workshop: February 16 2021
- Submission for formal review: April 20 2021, Anywhere on Earth.
- Notification of full article: June 7 2021
- Camera ready: July 1st 2021
Program Committee (under construction)
- Peter Achten, Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
- Laura Castro, Universidade da Coruña, Spain
- Stephen Chang, University of Massachusetts Boston, USA
- Youyou Cong, Tokyo Institute of Technology, Japan
- Matthew Flatt, University of Utah, USA
- Alex Gerdes, University of Gothenburg, Sweden
- Prabhakar Ragde, University of Waterloo, Canada
- Melinda Tóth, Eötvös Loránd University, Hungary
Registration
TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages
when registration
information becomes available.
Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE
may be
submitted to the post-reviewing process.
Information on Lambda Days is available at
https://www.lambdadays.org/lambdadays2021
Information on TFP is available at http://tfp2021.org
TFPIE 2021 Call for papers
--------------------------------
https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021
(February 16 2021, co-organized with TFP 2021 and Lambda Days 2021)
The goal of the International Workshops on Trends in Functional
Programming in
Education is to gather researchers, professors, teachers, and all
professionals
that use or are interested in the use of functional programming in
education.
TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and
work in
progress on the use of functional programming in education are
discussed. The
one-day workshop will foster a spirit of open discussion by having a review
process for publication after the workshop.
TFPIE 2021 welcomes submissions in the above mentioned areas. This year
many
teaching programmes have had to make a rapid transition to online
teaching, and
we explicitly solicit papers that explore this area of teaching functional
programming.
Topics of interest include, but are not limited to:
- FP and beginning CS students
- FP and Computational Thinking
- FP and Artificial Intelligence
- FP in Robotics
- FP and Music
- Advanced FP for undergraduates
- FP in graduate education
- Engaging students in research using FP
- FP in Programming Languages
- FP in the high school curriculum
- FP as a stepping stone to other CS topics
- FP and Philosophy
- The pedagogy of teaching FP
- FP and e-learning: MOOCs, automated assessment etc.
- Best Lectures - more details below
In addition to papers, we are requesting best lecture presentations.
What's your
best lecture topic in an FP related course? Do you have a fun way to
present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best
lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.
Submissions
Potential presenters are invited to submit an extended abstract (4-6
pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available
on the
workshop's website. Papers and abstracts can be submitted via easychair
at the
following link:
https://easychair.org/conferences/?conf=tfpie2021
After the workshop, presenters are invited to submit (a revised version of)
their article for review. The PC will select the best articles. We plan to
publish them in the Electronic Proceedings in Theoretical Computer
Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be
formally
reviewed by the PC.
Dates
- Submission deadline: January 11 2021, Anywhere on Earth.
- Notification: January 15 2021
- Workshop: February 16 2021
- Submission for formal review: April 20 2021, Anywhere on Earth.
- Notification of full article: June 7 2021
- Camera ready: July 1st 2021
Program Committee (under construction)
- Peter Achten, Radboud University, Netherlands (chair)
- Edwin Brady, University of St Andrews, UK
- Laura Castro, Universidade da Coruña, Spain
- Stephen Chang, University of Massachusetts Boston, USA
- Youyou Cong, Tokyo Institute of Technology, Japan
- Matthew Flatt, University of Utah, USA
- Alex Gerdes, University of Gothenburg, Sweden
- Prabhakar Ragde, University of Waterloo, Canada
- Melinda Tóth, Eötvös Loránd University, Hungary
Registration
TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages
when registration
information becomes available.
Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE
may be
submitted to the post-reviewing process.
Information on Lambda Days is available at
https://www.lambdadays.org/lambdadays2021
Information on TFP is available at http://tfp2021.org
2020-09-22
[Caml-list] PEPM 2021 - Second Call for Papers
-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================
* Website : https://popl21.sigplan.org/home/pepm-2021
* Time : 18th--19th January 2021
* Place : Online (co-located with POPL 2021)
** Deadline: 8th October **
** Originally POPL 2021 was scheduled to be held in Copenhagen,
Denmark, but due to the ongoing COVID-19 pandemic POPL 2021 and
all affiliated events will now be held online. **
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM), which has a history going back to 1991 and has
co-located with POPL every year since 2006, originates in the
discoveries of practically useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box
execution, but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2021
welcomes submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and
program optimisation.
* Modelling, analysis, and transformation techniques for distributed
and concurrent protocols and programs, such as session types,
linear types, and contract specifications.
More generally, topics of interest for PEPM 2021 include, but are not
limited to:
* Program and model manipulation techniques such as:
supercompilation, partial evaluation, fusion, on-the-fly program
adaptation, active libraries, program inversion, slicing, symbolic
execution, refactoring, decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive
programming, staged computation, and model-driven program
generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination
checking, binding-time analysis, constraint solving, type systems,
automated testing and test case generation.
* Application of the above techniques including case studies of
program manipulation in real-world (industrial, open-source)
projects and software development processes, descriptions of
robust tools capable of effectively handling realistic
applications, benchmarking. Examples of application domains
include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming,
scientific computing, middleware frameworks and infrastructure
needed for distributed and web-based applications, embedded and
resource-limited computation, and security.
This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Sam Lindley
<S.Lindley@hw.ac.uk> and Torben Mogensen <torbenm@di.ku.dk>.
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted:
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance, and clarity.
Regular research papers must not exceed 12 pages.
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial, and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages.
References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column 'sigplan' sub-format of the new 'acmart'
format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm21.hotcrp.com/
Reviewing will be single-blind.
Submissions are welcome from PC members (except the two co-chairs).
Accepted regular research papers will appear in formal proceedings
published by ACM, and be included in the ACM Digital Library. Accepted
short papers do not constitute formal publications and will not appear
in the proceedings.
At least one author of each accepted contribution must attend the
workshop virtually to present the work. In the case of tool
demonstration papers, a live demonstration of the described tool is
expected.
Important dates
---------------
* Paper submission deadline : **Thursday 8th October 2020 (AoE)**
* Author notification : **Thursday 12th November 2020 (AoE)**
* Workshop : **Monday 18th January 2021 to
Tuesday 19th January 2021**
Invited speakers
----------------
* Julia Lawall (Inria). Program manipulation of C code: from partial
evaluation to semantic patches for the Linux kernel.
* Matúš Tejiščák (Chordify). Erasure in dependently typed
programming.
Best paper award
----------------
PEPM 2021 continues the tradition of a Best Paper award. The winner
will be announced at the workshop.
Programme committee
-------------------
* Guillaume Allais (St Andrews, UK)
* Zena M. Ariola (Oregan, US)
* Robert Atkey (Strathclyde, UK)
* Lennart Augusstson (Google, US)
* Casper Bach Poulsen (TU Delft, Netherlands)
* Youou Cong (Tokyo Institute of Technology, Japan)
* Olivier Danvy (Yale NUS, Singapore)
* Andrei Klimov (Keldysh Institute, Russia)
* Sam Lindley (Heriot-Watt, UK) (Co-chair)
* Torben Mogensen (Copenhagen, Denmark) (Co-chair)
* J. Garrett Morris (Iowa, US)
* Antonina Nepeivoda (Ailamazyan Pereslavl, Russia)
* Gabriel Radanne (Inria, France)
* Eijiro Sumii (Tohoku, Japan)
* Niki Vazou (IMDEA, Spain)
* Eelco Visser (TU Delft, Netherlands)
* Jeremy Yallop (Cambridge, UK)
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================
* Website : https://popl21.sigplan.org/home/pepm-2021
* Time : 18th--19th January 2021
* Place : Online (co-located with POPL 2021)
** Deadline: 8th October **
** Originally POPL 2021 was scheduled to be held in Copenhagen,
Denmark, but due to the ongoing COVID-19 pandemic POPL 2021 and
all affiliated events will now be held online. **
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM), which has a history going back to 1991 and has
co-located with POPL every year since 2006, originates in the
discoveries of practically useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box
execution, but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2021
welcomes submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and
program optimisation.
* Modelling, analysis, and transformation techniques for distributed
and concurrent protocols and programs, such as session types,
linear types, and contract specifications.
More generally, topics of interest for PEPM 2021 include, but are not
limited to:
* Program and model manipulation techniques such as:
supercompilation, partial evaluation, fusion, on-the-fly program
adaptation, active libraries, program inversion, slicing, symbolic
execution, refactoring, decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive
programming, staged computation, and model-driven program
generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination
checking, binding-time analysis, constraint solving, type systems,
automated testing and test case generation.
* Application of the above techniques including case studies of
program manipulation in real-world (industrial, open-source)
projects and software development processes, descriptions of
robust tools capable of effectively handling realistic
applications, benchmarking. Examples of application domains
include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming,
scientific computing, middleware frameworks and infrastructure
needed for distributed and web-based applications, embedded and
resource-limited computation, and security.
This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Sam Lindley
<S.Lindley@hw.ac.uk> and Torben Mogensen <torbenm@di.ku.dk>.
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted:
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance, and clarity.
Regular research papers must not exceed 12 pages.
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial, and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages.
References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column 'sigplan' sub-format of the new 'acmart'
format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm21.hotcrp.com/
Reviewing will be single-blind.
Submissions are welcome from PC members (except the two co-chairs).
Accepted regular research papers will appear in formal proceedings
published by ACM, and be included in the ACM Digital Library. Accepted
short papers do not constitute formal publications and will not appear
in the proceedings.
At least one author of each accepted contribution must attend the
workshop virtually to present the work. In the case of tool
demonstration papers, a live demonstration of the described tool is
expected.
Important dates
---------------
* Paper submission deadline : **Thursday 8th October 2020 (AoE)**
* Author notification : **Thursday 12th November 2020 (AoE)**
* Workshop : **Monday 18th January 2021 to
Tuesday 19th January 2021**
Invited speakers
----------------
* Julia Lawall (Inria). Program manipulation of C code: from partial
evaluation to semantic patches for the Linux kernel.
* Matúš Tejiščák (Chordify). Erasure in dependently typed
programming.
Best paper award
----------------
PEPM 2021 continues the tradition of a Best Paper award. The winner
will be announced at the workshop.
Programme committee
-------------------
* Guillaume Allais (St Andrews, UK)
* Zena M. Ariola (Oregan, US)
* Robert Atkey (Strathclyde, UK)
* Lennart Augusstson (Google, US)
* Casper Bach Poulsen (TU Delft, Netherlands)
* Youou Cong (Tokyo Institute of Technology, Japan)
* Olivier Danvy (Yale NUS, Singapore)
* Andrei Klimov (Keldysh Institute, Russia)
* Sam Lindley (Heriot-Watt, UK) (Co-chair)
* Torben Mogensen (Copenhagen, Denmark) (Co-chair)
* J. Garrett Morris (Iowa, US)
* Antonina Nepeivoda (Ailamazyan Pereslavl, Russia)
* Gabriel Radanne (Inria, France)
* Eijiro Sumii (Tohoku, Japan)
* Niki Vazou (IMDEA, Spain)
* Eelco Visser (TU Delft, Netherlands)
* Jeremy Yallop (Cambridge, UK)
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
2020-09-04
[Caml-list] Compiler Construction (CC) 2021 - Call for Papers
ACM SIGPLAN 2021 International Conference on Compiler Construction (CC 2021)
Co-located with CGO, HPCA and PPoPP
Sat 27 February - Wed 3 March 2021
https://conf.researchr.org/home/CC-2021
CALL FOR PAPERS
The International Conference on Compiler Construction (CC) is
interested in work on processing programs in the most general sense:
analyzing, transforming or executing input that describes how a system
operates, including traditional compiler construction as a special
case.
= IMPORTANT DATES =
Abstract Submission: November 8, 2020
Full Paper Submission: November 10, 2020
Author Response Period: December 7 - 9, 2020
Author Notification: December 22, 2020
Artifact Submission: January 5, 2021
AE Notification: January 20, 2021
Final Papers due: January 22, 2021
Conference: February 27 - March 3, 2021
Original contributions are solicited on the topics of interest which
include, but are not limited to:
- Compilation and interpretation techniques, including program
representation, analysis, and transformation; code generation,
optimization, and synthesis; the verification thereof
- Run-time techniques, including memory management, virtual machines,
and dynamic and just-in-time compilation
- Programming tools, including refactoring editors, checkers,
verifiers, compilers, debuggers, and profilers
- Techniques, ranging from programming languages to
micro-architectural support, for specific domains such as secure,
parallel, distributed, embedded or mobile environments
- Design and implementation of novel language constructs, programming
models, and domain-specific languages
CC is an ACM SIGPLAN conference, and implements guidelines and
procedures recommended by SIGPLAN (https://www.sigplan.org).
Prospective authors should be aware of SIGPLAN's Copyright
policies. Proceedings will be made available online in the ACM digital
library from one week before to one week after the conference.
Full CfP: https://conf.researchr.org/track/CC-2021/cc-research-papers
ARTIFACT EVALUATION
Authors of accepted papers will be invited to submit their artifacts
for the Artifact Evaluation (AE). The Artifact Evaluation process
begins after the acceptance notification, and is run by a separate
committee whose task is to assess how the artifacts support the work
described in the papers.
To ease the organization of the AE committee, we kindly ask authors to
indicate at the time they submit the paper, whether they are
interested in submitting an artifact.
Papers that go through the Artifact Evaluation process successfully
will receive a seal of approval printed on the papers themselves.
Authors of accepted papers are encouraged, but not required, to make
these materials publicly available upon publication of the
proceedings, by including them as "source materials" in the ACM
Digital Library.
CC AE web page:
https://conf.researchr.org/track/CC-2021/research-artifacts
ORGANIZERS
General Chair:
Aaron Smith - Microsoft / University of Edinburgh
Program Chairs:
Delphine Demange - Univ Rennes, Inria, CNRS, IRISA
Rajiv Gupta - UC Riverside
Artifact Evaluation Chairs:
Bruno Bodin - Yale-NUS College
Michel Steuwer - University of Glasgow
Web Chair:
Martin Lücke - University of Edinburgh
Steering Committee:
Björn Franke (Chair) - University of Edinburgh
Jose Nelson Amaral - University of Alberta
Christophe Dubach - University of Edinburgh
Sebastian Hack - Saarland University
Manuel Hermenegildo - IMDEA Software Institute and T.U. of Madrid (UPM)
Alexandra Jimborean - University of Murcia
Milind Kulkarni - Purdue University
Louis-Noël Pouchet - Colorado State University
Peng Wu - Futurewei Technologies
Jingling Xue - UNSW Sydney
Ayal Zaks - Intel Corporation and Technion
Program Committee:
Guillaume Baudart - IBM Research
Walter Binder - University of Lugano
Simone Campanoni - Northwestern University
Albert Cohen - Google
Caroline Collange - Inria, Univ Rennes, CNRS, IRISA
Huimin Cui - Institute of Computing Technology, CAS
Christophe Dubach - McGill University
Benoît Dupont de Dinechin - Kalray
Bernhard Egger - Seoul National University
Christine Flood - Red Hat
Laure Gonnord - University of Lyon and LIP
Myoungsoo Jung - KAIST
Andrew Kennedy - Facebook
Dongyoon Lee - Stony Brook University
Christian Lengauer - University of Passau
Xavier Leroy - Collège de France and Inria
Yun Liang - Peking University
Toby Murray - University of Melbourne and Data61
Biswabandan Panda - Indian Institute of Technology Kanpur
Santosh Pande - Georgia Tech
Louis-Noël Pouchet - Colorado State University
Gabriel Rodríguez - Universidade da Coruña
Jan Vitek - Northeastern University
Jingling Xue - UNSW Sydney
Zhijia Zhao - UC Riverside
Co-located with CGO, HPCA and PPoPP
Sat 27 February - Wed 3 March 2021
https://conf.researchr.org/home/CC-2021
CALL FOR PAPERS
The International Conference on Compiler Construction (CC) is
interested in work on processing programs in the most general sense:
analyzing, transforming or executing input that describes how a system
operates, including traditional compiler construction as a special
case.
= IMPORTANT DATES =
Abstract Submission: November 8, 2020
Full Paper Submission: November 10, 2020
Author Response Period: December 7 - 9, 2020
Author Notification: December 22, 2020
Artifact Submission: January 5, 2021
AE Notification: January 20, 2021
Final Papers due: January 22, 2021
Conference: February 27 - March 3, 2021
Original contributions are solicited on the topics of interest which
include, but are not limited to:
- Compilation and interpretation techniques, including program
representation, analysis, and transformation; code generation,
optimization, and synthesis; the verification thereof
- Run-time techniques, including memory management, virtual machines,
and dynamic and just-in-time compilation
- Programming tools, including refactoring editors, checkers,
verifiers, compilers, debuggers, and profilers
- Techniques, ranging from programming languages to
micro-architectural support, for specific domains such as secure,
parallel, distributed, embedded or mobile environments
- Design and implementation of novel language constructs, programming
models, and domain-specific languages
CC is an ACM SIGPLAN conference, and implements guidelines and
procedures recommended by SIGPLAN (https://www.sigplan.org).
Prospective authors should be aware of SIGPLAN's Copyright
policies. Proceedings will be made available online in the ACM digital
library from one week before to one week after the conference.
Full CfP: https://conf.researchr.org/track/CC-2021/cc-research-papers
ARTIFACT EVALUATION
Authors of accepted papers will be invited to submit their artifacts
for the Artifact Evaluation (AE). The Artifact Evaluation process
begins after the acceptance notification, and is run by a separate
committee whose task is to assess how the artifacts support the work
described in the papers.
To ease the organization of the AE committee, we kindly ask authors to
indicate at the time they submit the paper, whether they are
interested in submitting an artifact.
Papers that go through the Artifact Evaluation process successfully
will receive a seal of approval printed on the papers themselves.
Authors of accepted papers are encouraged, but not required, to make
these materials publicly available upon publication of the
proceedings, by including them as "source materials" in the ACM
Digital Library.
CC AE web page:
https://conf.researchr.org/track/CC-2021/research-artifacts
ORGANIZERS
General Chair:
Aaron Smith - Microsoft / University of Edinburgh
Program Chairs:
Delphine Demange - Univ Rennes, Inria, CNRS, IRISA
Rajiv Gupta - UC Riverside
Artifact Evaluation Chairs:
Bruno Bodin - Yale-NUS College
Michel Steuwer - University of Glasgow
Web Chair:
Martin Lücke - University of Edinburgh
Steering Committee:
Björn Franke (Chair) - University of Edinburgh
Jose Nelson Amaral - University of Alberta
Christophe Dubach - University of Edinburgh
Sebastian Hack - Saarland University
Manuel Hermenegildo - IMDEA Software Institute and T.U. of Madrid (UPM)
Alexandra Jimborean - University of Murcia
Milind Kulkarni - Purdue University
Louis-Noël Pouchet - Colorado State University
Peng Wu - Futurewei Technologies
Jingling Xue - UNSW Sydney
Ayal Zaks - Intel Corporation and Technion
Program Committee:
Guillaume Baudart - IBM Research
Walter Binder - University of Lugano
Simone Campanoni - Northwestern University
Albert Cohen - Google
Caroline Collange - Inria, Univ Rennes, CNRS, IRISA
Huimin Cui - Institute of Computing Technology, CAS
Christophe Dubach - McGill University
Benoît Dupont de Dinechin - Kalray
Bernhard Egger - Seoul National University
Christine Flood - Red Hat
Laure Gonnord - University of Lyon and LIP
Myoungsoo Jung - KAIST
Andrew Kennedy - Facebook
Dongyoon Lee - Stony Brook University
Christian Lengauer - University of Passau
Xavier Leroy - Collège de France and Inria
Yun Liang - Peking University
Toby Murray - University of Melbourne and Data61
Biswabandan Panda - Indian Institute of Technology Kanpur
Santosh Pande - Georgia Tech
Louis-Noël Pouchet - Colorado State University
Gabriel Rodríguez - Universidade da Coruña
Jan Vitek - Northeastern University
Jingling Xue - UNSW Sydney
Zhijia Zhao - UC Riverside
[Caml-list] [CFP] DASFAA 2021 Call for Industry Papers
Call for Industry Papers for the 26th International Conference on Database Systems for Advanced Applications (DASFAA 2021)
The Industrial & Practitioner Track of the 26th International Conference on Database Systems for Advanced Applications (DASFAA 2021) seeks for submissions covering innovative industry database systems and applications, innovative implementation of data management technologies, and experience in applying new technologies in big data to real-world domains. The goal of this track is to introduce and discuss emerging trends and challenges with practical implications, and to facilitate interactions between academia and industry in this area.
Contributions from both industry R&D groups and the academia are welcome. Topics of interest include, but are not limited to
Contributions from both industry R&D groups and the academia are welcome. Topics of interest include, but are not limited to
- Advanced Analytics of Database Systems
- Applications for Big Data Management
- Mining Industrial & Business Dat
- Cloud Computing
- Web Data Management
- Artificial Intelligence for Data Management
- Exploitation of New Hardware Trends
- Security and privacy issues for database
- Explainability, fairness and accountability
Authors should submit papers reporting original work that are currently not under review or published elsewhere. We will accept full papers (up to 12 pages) and extended abstracts (up to 4 pages) in LNCS (Lecture Notes in Computer Science) format. Industrial track submissions must be submitted electronically, in pdf format, using the same Conference Management Tool as the research track. Please mention "Industrial Track" next to the paper title during submission in the CMT system. All accepted papers will be published in the conference proceedings.
For any problems with the submission system, please contact the Industry co-chair directly.
For any problems with the submission system, please contact the Industry co-chair directly.
Important Dates
Paper submission deadline:
November 04, 2020 (PDT)
Acceptance notification:
December 28, 2020
Camera ready due:
January 08, 2021
Paper submission deadline:
November 04, 2020 (PDT)
Acceptance notification:
December 28, 2020
Camera ready due:
January 08, 2021
2020-08-26
[Caml-list] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)
Hello,
best regards,
Jurriaan Hage
Please, find below the first and final call for participation for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.best regards,
Jurriaan Hage
Publicity Chair of IFL
=======================================================
IFL 2020
32nd Symposium on Implementation and Application of Functional Languages
Call for Participation
venue: online
2nd - 4th September 2020
https://www.cs.kent.ac.uk/events/2020/ifl20/
========================================================
### 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 2020 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.
### Registration
The symposium will be run via Zoom (zoom.us). If you can use Zoom, then you can participate.
Please register for free via Eventbrite on the symposium webpage:
https://www.cs.kent.ac.uk/events/2020/ifl20/
### Programme
Day 1: Wednesday, 2 September
12:45 Welcome
13:00 Nico Naus and Johan Jeuring: End-user feedback in multi-user workflow systems
13:30 Mart Lubbers, Haye Böhm, Pieter Koopman and Rinus Plasmeijer: Asynchronous Shared Data Sources
14:00 Pieter Koopman, Steffen Michels and Rinus Plasmeijer: Dynamic Editors for Well-Typed Expressions
14:30 Bas Lijnse and Rinus Plasmeijer: Asymmetric Composable Web Editors in iTasks
15:00 Social break
15:30 Sven-Olof Nyström: A subtyping system for Erlang
16:00 Andrew Marmaduke, Christopher Jenkins and Aaron Stump: Generic Zero-Cost Constructor Subtyping
16:30 Joris Burgers, Jurriaan Hage and Alejandro Serrano: Heuristics-based Type Error Diagnosis for Haskell - The case of GADTs and local reasoning
17:00 Social break
17:30 Kavon Farvardin and John Reppy: A New Backend for Standard ML of New Jersey
18:00 Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni and Ryan R. Newton: A Compiler Approach Reconciling Parallelism and Dense Representations for Irregular Trees
18:30 Hans-Nikolai Vießmann and Sven-Bodo Scholz: Effective Host-GPU Memory Mangement Through Code Generation
20:00 Virtual Pub
Day 2: Thursday, 3 September
10:00 Virtual Breakfast
13:00 Michal Gajda: Less Arbitrary waiting time
13:30 Sólrún Halla Einarsdóttir and Nicholas Smallbone: Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
14:00 Péter Bereczky, Dániel Horpácsi, Judit Kőszegi, Soma Szeier and Simon Thompson: Validating Formal Semantics by Comparative Testing
14:30 Social break
15:00 Gergo Erdi: An Adventure in Symbolic Execution
15:30 Joshua M. Schappel, Sachin Mahashabde and Marco T. Morazan: Using OO Design Patterns in a Functional Programming Setting
16:00 Filipe Varjão: Functional Programming and Interval Arithmetic with High Accuracy
16:30 Social break
17:00 Laith Sakka, Chaitanya Koparkar, Michael Vollmer, Vidush Singhal, Sam Tobin-Hochstadt, Ryan R. Newton and Milind Kulkarni: General Deforestation Using Fusion, Tupling and Intensive Redundancy Analysis
17:30 Benjamin Mourad and Matteo Cimini: A Declarative Gradualizer with Lang-n-Change
18:00 Maheen Riaz Contractor and Matthew Fluet: Type- and Control-Flow Directed Defunctionalization
19:30 Virtual Pub
Day 3: Friday, 4 September
10:00 Virtual Breakfast
13:00 Michal Gajda: Towards a more perfect union type
13:30 Folkert de Vries, Sjaak Smetsers and Sven-Bodo Scholz: Container Unification for Uniqueness Types
14:00 Alejandro Díaz-Caro, Pablo E. Martínez López and Cristian Sottile: Polymorphic System I
14:30 Social break
15:00 Michal Gajda: Schema-driven mutation of datatype with multiple representations
15:30 Alexandre Garcia de Oliveira, Mauro Jaskelioff and Ana Cristina Vieira de Melo: On Structuring Pure Functional Programs with Monoidal Profunctors
16:00 Sara Moreira, Pedro Vasconcelos and Mário Florido: Resource Analysis for Lazy Evaluation with Polynomial Potential
16:30 Social break
17:00 Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Matthew Pickering and Alan Zimmerman: Building an Integrated Development Environment (IDE) on top of a Build System
17:30 Evan Sitt, Xiaotian Su, Beka Grdzelishvili, Zurab Tsinadze, Zongpu Xie, Hossameldin Abdin, Giorgi Botkoveli, Nikola Cenikj, Tringa Sylaj and Viktoria Zsok: Functional Programming Application for Digital Synthesis Implementation
18:00 Jocelyn Serot: HoCL: High level specification of dataflow graphs
19:30 Virtual Pub
All times are in British Summer Time (BST), the local time in Canterbury, UK. So please translate these into your own time zone, using a service such as time and date.
2020-08-19
[Caml-list] Third Call for Participation: ICFP 2020
=====================================================================
Third Call for Participation
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/
Pre-registration ends August 21!
====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
Watch our new video, and Don't Stop ICFP:
https://www.youtube.com/watch?v=Fte5wwnwCws
Pre-registration ends August 21st!
https://icfp20.sigplan.org/attending/Registration
This year, the conference will be a virtual event. All activities will
take place online.
There are training sessions for Clowdr, our new online platform, on
August 20 and 21.
https://icfp20.sigplan.org/track/icfp-2020-clowdr-training#program
The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.
We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/
We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.
ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.
Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.
https://regmaster.com/2020conf/ICFP20/register.php
New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).
* Overview and affiliated events:
http://icfp20.sigplan.org/home
* Full Schedule:
https://icfp20.sigplan.org/program/program-icfp-2020
* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview
* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview
* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.
* Programming contest:
https://icfpcontest2020.github.io/
* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition
* Tutorials
https://icfp20.sigplan.org/track/icfp-2020-tutorials#program
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
This year, there are 10 events co-located with ICFP:
* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)
As well as tutorials on 8/23, 8/27, and 8/28.
### ICFP Organizers
General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)
Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)
Third Call for Participation
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/
Pre-registration ends August 21!
====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
Watch our new video, and Don't Stop ICFP:
https://www.youtube.com/watch?v=Fte5wwnwCws
Pre-registration ends August 21st!
https://icfp20.sigplan.org/attending/Registration
This year, the conference will be a virtual event. All activities will
take place online.
There are training sessions for Clowdr, our new online platform, on
August 20 and 21.
https://icfp20.sigplan.org/track/icfp-2020-clowdr-training#program
The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.
We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/
We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.
ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.
Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.
https://regmaster.com/2020conf/ICFP20/register.php
New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).
* Overview and affiliated events:
http://icfp20.sigplan.org/home
* Full Schedule:
https://icfp20.sigplan.org/program/program-icfp-2020
* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview
* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview
* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.
* Programming contest:
https://icfpcontest2020.github.io/
* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition
* Tutorials
https://icfp20.sigplan.org/track/icfp-2020-tutorials#program
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
This year, there are 10 events co-located with ICFP:
* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)
As well as tutorials on 8/23, 8/27, and 8/28.
### ICFP Organizers
General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)
Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)
2020-08-18
[Caml-list] Certified Programs and Proofs (CPP) 2021: Final 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 2021 (https://popl21.sigplan.org/home/CPP-2021) will be held on
18-19 January 2021 and will be co-located with POPL 2021. CPP 2021 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
NEWS
* CPP 2021 will feature Distinguished Paper Awards.
* CPP 2021 will take place on January 18-19, 2021 as a virtual or
hybrid physical-virtual meeting. This means that the authors will be
able to present their papers online. The POPL and CPP organizers are
monitoring the COVID-19 situation, and in September/October they will
make an announcement on whether there will also be a physical meeting
in Copenhagen; but irrespective of that decision, the online paper
presentation option will be guaranteed.
* The submission deadline is one month earlier than usual.
IMPORTANT DATES
* Abstract Deadline: 16 September 2020 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 22 September 2020 at 23:59 AoE (UTC-12h)
* Notification: 24 November 2020
* Camera Ready Deadline: 15 December 2020
* Conference: 18-19 January 2021
Deadlines expire at the end of the day, anywhere on earth. Abstract
and submission deadlines are strict and there will be no extensions.
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.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2021 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.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload
their anonymized paper in PDF format through the HotCRP system at
https://cpp2021.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 (http://www.sigplan.org/Resources/Author/) 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 2021 will employ a lightweight double-blind reviewing process. 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. POPL has answers to frequently asked questions addressing many
common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We encourage the authors to provide any supplementary material that is
required to support 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
(totally or partly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The limit for the camera-ready version is 14 pages, excluding the
bibliography (so 2 pages extra compared with the submission).
The CPP 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
(https://arxiv.org) or HAL (https://hal.archives-ouvertes.fr). This is
anyway a good idea for timely dissemination even if you chose option
(1). Ensuring timely dissemination is particularly important for this
edition, since, because of the very tight schedule, the official
proceedings might not be available in time for CPP.
The official CPP 2021 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
Cătălin Hriţcu, MPI-SP, Germany (co-chair)
Andrei Popescu, University of Sheffield, UK (co-chair)
Reynald Affeldt, National Institute of Advanced Industrial Science and
Technology (AIST), Japan
June Andronick, CSIRO's Data61 and UNSW, Australia
Arthur Azevedo de Amorim, Carnegie Mellon University, USA
Joachim Breitner, DFINITY Foundation, Germany
Jesper Cockx, TU Delft, Netherlands
Cyril Cohen, Université Côte d'Azur, Inria, France
Nils Anders Danielsson, University of Gothenburg / Chalmers University
of Technology, Sweden
Brijesh Dongol, University of Surrey, UK
Floris van Doorn, University of Pittsburgh, USA
Yannick Forster, Saarland University, Germany
Shilpi Goel, Centaur Technology, Inc., USA
Chung-Kil Hur, Seoul National University, South Korea
Moa Johansson, Chalmers University of Technology, Sweden
Ekaterina Komendantskaya, Heriot-Watt University, UK
Angeliki Koutsoukou-Argyraki, University of Cambridge, UK
Robert Y. Lewis, Vrije Universiteit Amsterdam, Netherlands
Hongjin Liang, Nanjing University, China
Andreas Lochbihler, Digital Asset GmbH, Switzerland
Petar Maksimović, Imperial College London, UK
William Mansky, University of Illinois at Chicago, USA
Anders Mörtberg, Stockholm University, Sweden
Sam Owre, SRI International, USA
Karl Palmskog, KTH Royal Institute of Technology, Sweden
Johannes Åman Pohjola, CSIRO's Data61 / University of New South Wales, Australia
Damien Pous, CNRS, ENS Lyon, France
Tahina Ramananandro, Microsoft Research, USA
Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore
Natarajan Shankar, SRI International, USA
Kathrin Stark, Princeton University, USA
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, Czech Technical University in Prague, Czech Republic
Christoph Weidenbach, MPI-INF, Germany
Freek Wiedijk, Radboud University Nijmegen, Netherlands
Yannick Zakowski, University of Pennsylvania, USA
CONTACT
For any questions please contact the two PC chairs:
Catalin Hritcu <catalin.hritcu@gmail.com>,
Andrei Popescu <andrei.h.popescu@gmail.com>
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 2021 (https://popl21.sigplan.org/home/CPP-2021) will be held on
18-19 January 2021 and will be co-located with POPL 2021. CPP 2021 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
NEWS
* CPP 2021 will feature Distinguished Paper Awards.
* CPP 2021 will take place on January 18-19, 2021 as a virtual or
hybrid physical-virtual meeting. This means that the authors will be
able to present their papers online. The POPL and CPP organizers are
monitoring the COVID-19 situation, and in September/October they will
make an announcement on whether there will also be a physical meeting
in Copenhagen; but irrespective of that decision, the online paper
presentation option will be guaranteed.
* The submission deadline is one month earlier than usual.
IMPORTANT DATES
* Abstract Deadline: 16 September 2020 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 22 September 2020 at 23:59 AoE (UTC-12h)
* Notification: 24 November 2020
* Camera Ready Deadline: 15 December 2020
* Conference: 18-19 January 2021
Deadlines expire at the end of the day, anywhere on earth. Abstract
and submission deadlines are strict and there will be no extensions.
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.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2021 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.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload
their anonymized paper in PDF format through the HotCRP system at
https://cpp2021.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 (http://www.sigplan.org/Resources/Author/) 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 2021 will employ a lightweight double-blind reviewing process. 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. POPL has answers to frequently asked questions addressing many
common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ
We encourage the authors to provide any supplementary material that is
required to support 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
(totally or partly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The limit for the camera-ready version is 14 pages, excluding the
bibliography (so 2 pages extra compared with the submission).
The CPP 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
(https://arxiv.org) or HAL (https://hal.archives-ouvertes.fr). This is
anyway a good idea for timely dissemination even if you chose option
(1). Ensuring timely dissemination is particularly important for this
edition, since, because of the very tight schedule, the official
proceedings might not be available in time for CPP.
The official CPP 2021 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
Cătălin Hriţcu, MPI-SP, Germany (co-chair)
Andrei Popescu, University of Sheffield, UK (co-chair)
Reynald Affeldt, National Institute of Advanced Industrial Science and
Technology (AIST), Japan
June Andronick, CSIRO's Data61 and UNSW, Australia
Arthur Azevedo de Amorim, Carnegie Mellon University, USA
Joachim Breitner, DFINITY Foundation, Germany
Jesper Cockx, TU Delft, Netherlands
Cyril Cohen, Université Côte d'Azur, Inria, France
Nils Anders Danielsson, University of Gothenburg / Chalmers University
of Technology, Sweden
Brijesh Dongol, University of Surrey, UK
Floris van Doorn, University of Pittsburgh, USA
Yannick Forster, Saarland University, Germany
Shilpi Goel, Centaur Technology, Inc., USA
Chung-Kil Hur, Seoul National University, South Korea
Moa Johansson, Chalmers University of Technology, Sweden
Ekaterina Komendantskaya, Heriot-Watt University, UK
Angeliki Koutsoukou-Argyraki, University of Cambridge, UK
Robert Y. Lewis, Vrije Universiteit Amsterdam, Netherlands
Hongjin Liang, Nanjing University, China
Andreas Lochbihler, Digital Asset GmbH, Switzerland
Petar Maksimović, Imperial College London, UK
William Mansky, University of Illinois at Chicago, USA
Anders Mörtberg, Stockholm University, Sweden
Sam Owre, SRI International, USA
Karl Palmskog, KTH Royal Institute of Technology, Sweden
Johannes Åman Pohjola, CSIRO's Data61 / University of New South Wales, Australia
Damien Pous, CNRS, ENS Lyon, France
Tahina Ramananandro, Microsoft Research, USA
Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore
Natarajan Shankar, SRI International, USA
Kathrin Stark, Princeton University, USA
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, Czech Technical University in Prague, Czech Republic
Christoph Weidenbach, MPI-INF, Germany
Freek Wiedijk, Radboud University Nijmegen, Netherlands
Yannick Zakowski, University of Pennsylvania, USA
CONTACT
For any questions please contact the two PC chairs:
Catalin Hritcu <catalin.hritcu@gmail.com>,
Andrei Popescu <andrei.h.popescu@gmail.com>
2020-08-12
[Caml-list] PEPM 2021 - First Call for Papers
-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================
* Website : https://popl21.sigplan.org/home/pepm-2021
* Time : 18th--19th January 2021
* Place : Online or Copenhagen, Denmark (co-located with POPL 2021)
**Note that the workshop will be held as a physical, virtual, or
hybrid physical/virtual meeting in line with POPL 2021. Details to
appear.**
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM), which has a history going back to 1991 and has
co-located with POPL every year since 2006, originates in the
discoveries of practically useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box
execution, but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2021
welcomes submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and
program optimisation.
* Modelling, analysis, and transformation techniques for distributed
and concurrent protocols and programs, such as session types,
linear types, and contract specifications.
More generally, topics of interest for PEPM 2021 include, but are not
limited to:
* Program and model manipulation techniques such as:
supercompilation, partial evaluation, fusion, on-the-fly program
adaptation, active libraries, program inversion, slicing, symbolic
execution, refactoring, decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive
programming, staged computation, and model-driven program
generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination
checking, binding-time analysis, constraint solving, type systems,
automated testing and test case generation.
* Application of the above techniques including case studies of
program manipulation in real-world (industrial, open-source)
projects and software development processes, descriptions of
robust tools capable of effectively handling realistic
applications, benchmarking. Examples of application domains
include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming,
scientific computing, middleware frameworks and infrastructure
needed for distributed and web-based applications, embedded and
resource-limited computation, and security.
This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Sam Lindley
<S.Lindley@hw.ac.uk> and Torben Mogensen <torbenm@di.ku.dk>.
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted:
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance, and clarity.
Regular research papers must not exceed 12 pages.
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial, and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages.
References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column 'sigplan' sub-format of the new 'acmart'
format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm21.hotcrp.com/
Reviewing will be single-blind.
Submissions are welcome from PC members (except the two co-chairs).
Accepted papers will appear in formal proceedings published by ACM,
and be included in the ACM Digital Library. Authors of short papers,
however, can ask for their papers to be left out of the formal
proceedings, in which case they will not be treated as formal
publications and may be revised and published elsewhere.
At least one author of each accepted contribution must attend the
workshop (physically or virtually) and present the work. In the case
of tool demonstration papers, a live demonstration of the described
tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be made
available on the PEPM 2021 web site:
https://popl21.sigplan.org/home/pepm-2021
Important dates
---------------
* Paper submission deadline : **Thursday 8th October 2020 (AoE)**
* Author notification : **Thursday 12th November 2020 (AoE)**
* Workshop : **Monday 18th January 2021 to
Tuesday 19th January 2021**
Best paper award
----------------
PEPM 2021 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
* Guillaume Allais (St Andrews, UK)
* Zena M. Ariola (Oregan, US)
* Robert Atkey (Strathclyde, UK)
* Lennart Augusstson (Google, US)
* Casper Bach Poulsen (TU Delft, Netherlands)
* Youou Cong (Tokyo Institute of Technology, Japan)
* Olivier Danvy (Yale NUS, Singapore)
* Andrei Klimov (Keldysh Institute, Russia)
* Sam Lindley (Heriot-Watt, UK) (Co-chair)
* Torben Mogensen (Copenhagen, Denmark) (Co-chair)
* J. Garrett Morris (Iowa, US)
* Antonina Nepeivoda (Ailamazyan Pereslavl, Russia)
* Gabriel Radanne (Inria, France)
* Eijiro Sumii (Tohoku, Japan)
* Niki Vazou (IMDEA, Spain)
* Eelco Visser (TU Delft, Netherlands)
* Jeremy Yallop (Cambridge, UK)
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021
===============================================================================
* Website : https://popl21.sigplan.org/home/pepm-2021
* Time : 18th--19th January 2021
* Place : Online or Copenhagen, Denmark (co-located with POPL 2021)
**Note that the workshop will be held as a physical, virtual, or
hybrid physical/virtual meeting in line with POPL 2021. Details to
appear.**
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM), which has a history going back to 1991 and has
co-located with POPL every year since 2006, originates in the
discoveries of practically useful automated techniques for evaluating
programs with only partial input. Over the years, the scope of PEPM
has expanded to include a variety of research areas centred around the
theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box
execution, but also as data structures that can be generated,
analysed, and transformed while establishing or maintaining important
semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2021
welcomes submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and
program optimisation.
* Modelling, analysis, and transformation techniques for distributed
and concurrent protocols and programs, such as session types,
linear types, and contract specifications.
More generally, topics of interest for PEPM 2021 include, but are not
limited to:
* Program and model manipulation techniques such as:
supercompilation, partial evaluation, fusion, on-the-fly program
adaptation, active libraries, program inversion, slicing, symbolic
execution, refactoring, decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive
programming, staged computation, and model-driven program
generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination
checking, binding-time analysis, constraint solving, type systems,
automated testing and test case generation.
* Application of the above techniques including case studies of
program manipulation in real-world (industrial, open-source)
projects and software development processes, descriptions of
robust tools capable of effectively handling realistic
applications, benchmarking. Examples of application domains
include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming,
scientific computing, middleware frameworks and infrastructure
needed for distributed and web-based applications, embedded and
resource-limited computation, and security.
This list of categories is not exhaustive, and we encourage
submissions describing new theories and applications related to
semantics-based program manipulation in general. If you have a
question as to whether a potential submission is within the scope of
the workshop, please contact the programme co-chairs, Sam Lindley
<S.Lindley@hw.ac.uk> and Torben Mogensen <torbenm@di.ku.dk>.
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted:
* Regular Research Papers should describe new results, and will be
judged on originality, correctness, significance, and clarity.
Regular research papers must not exceed 12 pages.
* Short Papers may include tool demonstrations and presentations of
exciting if not fully polished research, and of interesting
academic, industrial, and open-source applications that are new or
unfamiliar. Short papers must not exceed 6 pages.
References and appendices are not included in page limits. Appendices
may not be read by reviewers. Both kinds of submissions should be
typeset using the two-column 'sigplan' sub-format of the new 'acmart'
format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm21.hotcrp.com/
Reviewing will be single-blind.
Submissions are welcome from PC members (except the two co-chairs).
Accepted papers will appear in formal proceedings published by ACM,
and be included in the ACM Digital Library. Authors of short papers,
however, can ask for their papers to be left out of the formal
proceedings, in which case they will not be treated as formal
publications and may be revised and published elsewhere.
At least one author of each accepted contribution must attend the
workshop (physically or virtually) and present the work. In the case
of tool demonstration papers, a live demonstration of the described
tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research tool demonstration papers will be made
available on the PEPM 2021 web site:
https://popl21.sigplan.org/home/pepm-2021
Important dates
---------------
* Paper submission deadline : **Thursday 8th October 2020 (AoE)**
* Author notification : **Thursday 12th November 2020 (AoE)**
* Workshop : **Monday 18th January 2021 to
Tuesday 19th January 2021**
Best paper award
----------------
PEPM 2021 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
* Guillaume Allais (St Andrews, UK)
* Zena M. Ariola (Oregan, US)
* Robert Atkey (Strathclyde, UK)
* Lennart Augusstson (Google, US)
* Casper Bach Poulsen (TU Delft, Netherlands)
* Youou Cong (Tokyo Institute of Technology, Japan)
* Olivier Danvy (Yale NUS, Singapore)
* Andrei Klimov (Keldysh Institute, Russia)
* Sam Lindley (Heriot-Watt, UK) (Co-chair)
* Torben Mogensen (Copenhagen, Denmark) (Co-chair)
* J. Garrett Morris (Iowa, US)
* Antonina Nepeivoda (Ailamazyan Pereslavl, Russia)
* Gabriel Radanne (Inria, France)
* Eijiro Sumii (Tohoku, Japan)
* Niki Vazou (IMDEA, Spain)
* Eelco Visser (TU Delft, Netherlands)
* Jeremy Yallop (Cambridge, UK)
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
2020-08-11
[Caml-list] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Hello,
best regards,
Jurriaan Hage
Please, find below the third call for draft papers for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.best regards,
Jurriaan Hage
Publicity Chair of IFL
================================================================================
IFL 2020
32nd Symposium on Implementation and Application of Functional Languages
venue: online
2nd - 4th September 2020
https://www.cs.kent.ac.uk/events/2020/ifl20/
================================================================================
### 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 2020 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 specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- 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
### Post-symposium peer-review
Following IFL tradition, IFL 2020 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 every presenter is 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 is accepted or rejected for the formal proceedings. We plan to publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.
### Important dates
Submission deadline of draft papers: 17 August 2020
Notification of acceptance for presentation: 19 August 2020
Registration deadline: 31 August 2020
IFL Symposium: 2-4 September 2020
Submission of papers for proceedings: 7 December 2020
Notification of acceptance: 3 February 2021
Camera-ready version: 15 March 2021
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured 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.
### Programme committee
Kenichi Asai, Ochanomizu University, Japan
Olaf Chitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon State University,United States
Daniel Horpacsi, Eotvos Lorand University, Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Marco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, Radboud University, Netherlands
Colin Runciman, University of York, United Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Josep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim, Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Peter Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Institute of Informatics, Japan.
Marcos Viera, Universidad de la Republica, Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Germany
### Virtual symposium
Because of the Covid-19 pandemic, this year IFL 2020 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.
IFL 2020
32nd Symposium on Implementation and Application of Functional Languages
venue: online
2nd - 4th September 2020
https://www.cs.kent.ac.uk/events/2020/ifl20/
================================================================================
### 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 2020 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 specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- 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
### Post-symposium peer-review
Following IFL tradition, IFL 2020 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 every presenter is 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 is accepted or rejected for the formal proceedings. We plan to publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.
### Important dates
Submission deadline of draft papers: 17 August 2020
Notification of acceptance for presentation: 19 August 2020
Registration deadline: 31 August 2020
IFL Symposium: 2-4 September 2020
Submission of papers for proceedings: 7 December 2020
Notification of acceptance: 3 February 2021
Camera-ready version: 15 March 2021
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured 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.
### Programme committee
Kenichi Asai, Ochanomizu University, Japan
Olaf Chitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon State University,United States
Daniel Horpacsi, Eotvos Lorand University, Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Marco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, Radboud University, Netherlands
Colin Runciman, University of York, United Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Josep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim, Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Peter Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Institute of Informatics, Japan.
Marcos Viera, Universidad de la Republica, Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Germany
### Virtual symposium
Because of the Covid-19 pandemic, this year IFL 2020 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.
[Caml-list] Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020
CONCUR 2020 - Call for Participation
====================================
Early Registration Deadline: 13 August 2020
====================================
The 31th International Conference on Concurrency Theory (CONCUR) will be held online on 1-4 September 2020.
The purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of concurrency, and
promote its applications.
It is held as part of the QONFEST 2020, the umbrella conference comprising the joint international 2020 meetings alongside with several workshops and tutorials.
================
Keynote speakers
================
-Roderick Bloem - TU Graz (Austria)
-Thomas A. Henzinger - IST (Austria)
-Annabelle McIver - Macquarie University (Australia)
-Catuscia Palamidessi - INRIA Saclay and LIX (France)
================
High-quality papers
===================
CONCUR 2020 features 45 high-quality papers:
https://concur2020.forsyte.at/accepted.html
The program of CONCUR 2020 can be found at:
https://easychair.org/smart-program/CONCUR20
====================================
Co-located conferences and workshops
====================================
CONCUR 2020 is part of the umbrella conference QONFEST 2020 comprising the
joint international 2020 meetings CONCUR, FMICS, FORMATS, QEST, alongside with
tutorials and the workshops EXPRESS/SOS, FRIDA, SNR, TRENDS, and QAVS.
More details to be found at:
and https://concur2020.forsyte.at/workshops.html
============
Registration
============
This year, the early registration fee (August 13, 2020) for the whole of
QONFEST is only 10 EUR. The early workshop registration fee is 5 EUR. Late
registration is 50% more expensive (15 EUR and 8 EUR, respectively).
More information at:
https://qonfest2020.github.io/registration.html
==================
Organizing Committee
==================
QONFEST General Chair:
-Ezio Bartocci (TU Wien, Austria)
Workshop Chair:
-Florian Zuleger (TU Wien, Austria)
Program Co-chairs:
-Igor Konnov (Informal Systems, Austria)
-Laura Kovacs (TU Wien, Austria)
2020-08-10
[Caml-list] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation
Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 31st August and Tuesday 1st September 2020, online
https://msfp-workshop.github.io/msfp2020/
** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a
virtual meeting **
** Registration deadline: Tuesday 25th August **
CALL FOR PARTICIPATION
Registration
============
Register for participation here by Tuesday 25th August:
https://forms.gle/HNvFsxDKbGAvnv9x9
There is no registration fee.
Invited Speakers
================
Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France
Satnam Singh - Google Research, USA
The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.
Programme
=========
All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP
2020 was originally scheduled to be held).
Monday
------
13:00 Invited Speaker: Pierre-Marie Pedrot
All your base categories are belong to us: A syntactic model of
presheaves in type theory
14:00 break
14:30 Philippa Cowderoy
Information aware type systems and telescopic constraint trees
15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl
Efficient lambda encodings for Mendler-style coinductive types in
Cedille
15:30 break
16:00 Niels Voorneveld
From equations to distinctions: Two interpretations of effectful
computations
16:30 Dominic Orchard, Philip Wadler, and Harley Eades III
Unifying graded and parameterised monads
17:00 virtual pub
Tuesday
-------
13:00 Anne Baanen and Wouter Swierstra
Combining predicate transformer semantics for effects: a case study
in parsing regular languages
13:30 Oleg Grenrus
Shattered lens
14:00 break
14:30 Artjoms Sinkarovs
Multi-dimensional arrays with levels
15:00 Fritz Henglein and Mikkel Kragh Mathiesen
Module theory and query processing
15:30 break
16:00 Invited speaker: Satnam Singh
Extracting low-level formally verified circuits from Cava in Coq
17:00 virtual pub
Program Committee
=================
Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK
Platforms
=========
* We will use Google Meet for presentations.
* If the number of participants is not too high then we will invite
all participants to use Google Meet if they wish.
* Regardless, we will also livestream talks via YouTube.
* Questions and general discussion will be handled through Zulip.
* We will use gather.town for "corridor chat".
Further details will be emailed to registered participants.
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 31st August and Tuesday 1st September 2020, online
https://msfp-workshop.github.io/msfp2020/
** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a
virtual meeting **
** Registration deadline: Tuesday 25th August **
CALL FOR PARTICIPATION
Registration
============
Register for participation here by Tuesday 25th August:
https://forms.gle/HNvFsxDKbGAvnv9x9
There is no registration fee.
Invited Speakers
================
Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France
Satnam Singh - Google Research, USA
The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.
Programme
=========
All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP
2020 was originally scheduled to be held).
Monday
------
13:00 Invited Speaker: Pierre-Marie Pedrot
All your base categories are belong to us: A syntactic model of
presheaves in type theory
14:00 break
14:30 Philippa Cowderoy
Information aware type systems and telescopic constraint trees
15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl
Efficient lambda encodings for Mendler-style coinductive types in
Cedille
15:30 break
16:00 Niels Voorneveld
From equations to distinctions: Two interpretations of effectful
computations
16:30 Dominic Orchard, Philip Wadler, and Harley Eades III
Unifying graded and parameterised monads
17:00 virtual pub
Tuesday
-------
13:00 Anne Baanen and Wouter Swierstra
Combining predicate transformer semantics for effects: a case study
in parsing regular languages
13:30 Oleg Grenrus
Shattered lens
14:00 break
14:30 Artjoms Sinkarovs
Multi-dimensional arrays with levels
15:00 Fritz Henglein and Mikkel Kragh Mathiesen
Module theory and query processing
15:30 break
16:00 Invited speaker: Satnam Singh
Extracting low-level formally verified circuits from Cava in Coq
17:00 virtual pub
Program Committee
=================
Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK
Platforms
=========
* We will use Google Meet for presentations.
* If the number of participants is not too high then we will invite
all participants to use Google Meet if they wish.
* Regardless, we will also livestream talks via YouTube.
* Questions and general discussion will be handled through Zulip.
* We will use gather.town for "corridor chat".
Further details will be emailed to registered participants.
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
2020-08-07
[Caml-list] Call for Tutorial Participation: ICFP 2020
CALL FOR TUTORIAL PARTICIPATION
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
August 23 - 28, 2020
Virtual
https://icfp20.sigplan.org/
Early Registration ends August 8!
The 25th ACM SIGPLAN International Conference on Functional Programming
will be held virtually on August 23-28, 2020.
ICFP provides a forum for researchers and developers to hear about the
latest work on the design, implementations, principles, and uses of
functional programming.
This year, ICFP features a wide variety of tutorials on topics related
to functional programming, including design, education, tools, and
more. Tutorials are available to all ICFP participants with
registration.
Tutorials occur before or after ICFP, co-located with the associated
workshops, on August 23 or August 27-28.
The schedule of ICFP Tutorials can be found at:
https://icfp20.sigplan.org/track/icfp-2020-tutorials#program
ICFP Early Registration ends on August 8th, and is available at:
https://icfp20.sigplan.org/attending/Registration
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
August 23 - 28, 2020
Virtual
https://icfp20.sigplan.org/
Early Registration ends August 8!
The 25th ACM SIGPLAN International Conference on Functional Programming
will be held virtually on August 23-28, 2020.
ICFP provides a forum for researchers and developers to hear about the
latest work on the design, implementations, principles, and uses of
functional programming.
This year, ICFP features a wide variety of tutorials on topics related
to functional programming, including design, education, tools, and
more. Tutorials are available to all ICFP participants with
registration.
Tutorials occur before or after ICFP, co-located with the associated
workshops, on August 23 or August 27-28.
The schedule of ICFP Tutorials can be found at:
https://icfp20.sigplan.org/track/icfp-2020-tutorials#program
ICFP Early Registration ends on August 8th, and is available at:
https://icfp20.sigplan.org/attending/Registration
[Caml-list] Second Call for Participation: ICFP 2020
=====================================================================
Second Call for Participation
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/
Early Registration ends August 8!
====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
Watch our new video, and Don't Stop ICFP:
https://www.youtube.com/watch?v=Fte5wwnwCws
Early Registration ends August 8th! Registration for students with an
ACM or SIGPLAN membership is free, and anyone can apply for a fee
waiver at:
https://icfp20.sigplan.org/attending/Registration
This year, the conference will be a virtual event. All activities will
take place online.
The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.
We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/
We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.
ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.
Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.
https://regmaster.com/2020conf/ICFP20/register.php
New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).
* Overview and affiliated events:
http://icfp20.sigplan.org/home
* Full Schedule:
https://icfp20.sigplan.org/program/program-icfp-2020
* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview
* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview
* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.
* Programming contest:
https://icfpcontest2020.github.io/
* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
This year, there are 10 events co-located with ICFP:
* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)
### ICFP Organizers
General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)
Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)
Second Call for Participation
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/
Early Registration ends August 8!
====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
Watch our new video, and Don't Stop ICFP:
https://www.youtube.com/watch?v=Fte5wwnwCws
Early Registration ends August 8th! Registration for students with an
ACM or SIGPLAN membership is free, and anyone can apply for a fee
waiver at:
https://icfp20.sigplan.org/attending/Registration
This year, the conference will be a virtual event. All activities will
take place online.
The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.
We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/
We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.
ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.
Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.
https://regmaster.com/2020conf/ICFP20/register.php
New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).
* Overview and affiliated events:
http://icfp20.sigplan.org/home
* Full Schedule:
https://icfp20.sigplan.org/program/program-icfp-2020
* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview
* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview
* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.
* Programming contest:
https://icfpcontest2020.github.io/
* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
This year, there are 10 events co-located with ICFP:
* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)
### ICFP Organizers
General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)
Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)
2020-07-15
[Caml-list] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Hello,
best regards,
Jurriaan Hage
Please, find below the second call for draft papers for IFL 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.best regards,
Jurriaan Hage
Publicity Chair of IFL
================================================================================
IFL 2020
32nd Symposium on Implementation and Application of Functional Languages
venue: online
2nd - 4th September 2020
https://www.cs.kent.ac.uk/events/2020/ifl20/
================================================================================
### 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 2020 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 specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- 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
### Post-symposium peer-review
Following IFL tradition, IFL 2020 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 every presenter is 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 is accepted or rejected for the formal proceedings. We plan to publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.
### Important dates
Submission deadline of draft papers: 17 August 2020
Notification of acceptance for presentation: 19 August 2020
Registration deadline: 31 August 2020
IFL Symposium: 2-4 September 2020
Submission of papers for proceedings: 7 December 2020
Notification of acceptance: 3 February 2021
Camera-ready version: 15 March 2021
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured 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.
### Programme committee
Kenichi Asai, Ochanomizu University, Japan
Olaf Chitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon State University,United States
Daniel Horpacsi, Eotvos Lorand University, Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Marco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, Radboud University, Netherlands
Colin Runciman, University of York, United Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Josep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim, Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Peter Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Institute of Informatics, Japan.
Marcos Viera, Universidad de la Republica, Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Germany
### Virtual symposium
Because of the Covid-19 pandemic, this year IFL 2020 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.
IFL 2020
32nd Symposium on Implementation and Application of Functional Languages
venue: online
2nd - 4th September 2020
https://www.cs.kent.ac.uk/events/2020/ifl20/
================================================================================
### 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 2020 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 specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- 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
### Post-symposium peer-review
Following IFL tradition, IFL 2020 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 every presenter is 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 is accepted or rejected for the formal proceedings. We plan to publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.
### Important dates
Submission deadline of draft papers: 17 August 2020
Notification of acceptance for presentation: 19 August 2020
Registration deadline: 31 August 2020
IFL Symposium: 2-4 September 2020
Submission of papers for proceedings: 7 December 2020
Notification of acceptance: 3 February 2021
Camera-ready version: 15 March 2021
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured 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.
### Programme committee
Kenichi Asai, Ochanomizu University, Japan
Olaf Chitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon State University,United States
Daniel Horpacsi, Eotvos Lorand University, Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Marco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, Radboud University, Netherlands
Colin Runciman, University of York, United Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Josep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim, Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Peter Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Institute of Informatics, Japan.
Marcos Viera, Universidad de la Republica, Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Germany
### Virtual symposium
Because of the Covid-19 pandemic, this year IFL 2020 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.
Subscribe to:
Posts (Atom)