====== TFP 2022 ======
23rd Symposium on Trends in Functional Programming
10-11 February, 2022
Krakow, Poland
https://trendsfp.github.io/index.html
== Important Dates ==
Submission deadline for pre-symposium review Wednesday 1st
December, 2021
Submission deadline for draft papers Wednesday 12th
January, 2022
Notification for pre-symposium submissions Friday 21st
January, 2022
Notification for draft submissions Friday 21st
January, 2022
Symposium dates Thursday 10th -
Friday 11th February, 2022
Submission deadline for post-symposium reviewing Wednesday 16th
March, 2022
Notification for post-symposium submissions Friday 13rd May,
2022
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.
Please be aware that TFP uses two distinct rounds of submissions.
TFP 2022 will be co-located with two other functional programming
events. TFP 2022 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on February 11. Simultaneously with TFP, Lambda Days '22 is a
two day conference where academia meets industry, where research and
practical application collide.
== Scope ==
The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:
* Research Articles:
Leading-edge, previously unpublished research work
* Position Articles:
On what new trends should or should not be
* Project Articles:
Descriptions of recently started new projects
* Evaluation Articles:
What lessons can be drawn from a finished project
* Overview Articles:
Summarizing work with respect to a trendy subject
Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.
Topics suitable for the symposium include, but are not limited to:
* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2022 program chairs, Wouter Swierstra and
Nicolas Wu.
== Best Paper Awards ==
To reward excellent contributions, TFP awards a prize for the best
paper accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.
In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.
== Instructions to Author ==
Papers must be submitted at:
https://easychair.org/conferences/?conf=tfp22
Authors of papers have the choice of having their contributions
formally reviewed either before or after the Symposium.
== Pre-symposium formal review ==
Papers to be formally reviewed before the symposium should be
submitted before an early deadline and receive their reviews and
notification of acceptance for both presentation and publication
before the symposium. A paper that has been rejected in this process
may still be accepted for presentation at the symposium, but will not
be considered for the post-symposium formal review.
== Post-symposium formal review ==
Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback received
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal publication.
== Paper categories ==
Draft papers and papers submitted for formal review are submitted as
extended abstracts (4 to 10 pages in length) or full papers (20
pages). The submission must clearly indicate which category it belongs
to: research, position, project, evaluation, or overview paper. It
should also indicate which authors are research students, and whether
the main author(s) are students. A draft paper for which all authors
are students will receive additional feedback by one of the PC members
shortly after the symposium has taken place.
== Format ==
Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site.
== Program Committee ==
Program Co-chairs
Nicolas Wu - Imperial College London
Wouter Swierstra - Utrecht University
The remainder of the PC will be announced on the conference website.
2021-09-27
2021-09-22
[Caml-list] PEPM 2022 - Second Call for Papers
-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022
===============================================================================
* Website : https://popl22.sigplan.org/home/pepm-2022
* Time : 17th--18th January 2022
* Place : Online or Philadelphia, Pennsylvania, United States
(co-located with POPL 2022)
** Deadline: 7th October **
** Update: We are organizing a special event on the history of PEPM.
Details will be posted on the workshop website. **
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM) has a history going back to 1991 and has been
co-located with POPL every year since 2006. It originated with the
discoveries of 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 subjects 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 2022
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 2022 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, Zena M. Ariola
<ariola@cs.uoregon.edu> and Youyou Cong <cong@c.titech.ac.jp>.
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://pepm22.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 (physically or virtually) and 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 7th October 2021 (AoE)**
* Author notification : **Thursday 11th November 2021 (AoE)**
* Workshop : **Monday 17th January 2022 to
Tuesday 18th January 2022**
Best paper award
----------------
PEPM 2022 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
* Chairs: Zena M. Ariola (University of Oregon, US)
Youyou Cong (Tokyo Institute of Technology, Japan)
* Maria Alpuente (U.P. Valencia, Spain)
* William J. Bowman (UBC, Canada)
* Jonathan Immanuel Brachthäuser (EPFL, Switzerland)
* William E. Byrd (University of Alabama at Birmingham, US)
* Robert Glück (University of Copenhagen, Denmark)
* Zhenjiang Hu (Peking University, China)
* Yukiyoshi Kameyama (University of Tsukuba, Japan)
* Gabriele Keller (Utrecht University, Netherlands)
* Julia Lawall (INRIA, France)
* Y. Annie Liu (Stony Brook University, US)
* Keiko Nakata (SAP Innovation Center Potsdam, Germany)
* Antonina Nepeivoda (Program Systems Institute of RAS, Russia)
* Zoe Paraskevopoulou (Northeastern University, US)
* Yann Régis-Gianas (Nomadic Labs, France)
* Tiark Rompf (Purdue University, US)
* KC Sivaramakrishnan (IIT Madras, India)
* Dimitrios Vytiniotis (DeepMind, UK)
* Beta Ziliani (FAMAF, UNC and Manas.Tech, Argentina)
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022
===============================================================================
* Website : https://popl22.sigplan.org/home/pepm-2022
* Time : 17th--18th January 2022
* Place : Online or Philadelphia, Pennsylvania, United States
(co-located with POPL 2022)
** Deadline: 7th October **
** Update: We are organizing a special event on the history of PEPM.
Details will be posted on the workshop website. **
The ACM SIGPLAN Workshop on Partial Evaluation and Program
Manipulation (PEPM) has a history going back to 1991 and has been
co-located with POPL every year since 2006. It originated with the
discoveries of 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 subjects 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 2022
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 2022 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, Zena M. Ariola
<ariola@cs.uoregon.edu> and Youyou Cong <cong@c.titech.ac.jp>.
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://pepm22.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 (physically or virtually) and 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 7th October 2021 (AoE)**
* Author notification : **Thursday 11th November 2021 (AoE)**
* Workshop : **Monday 17th January 2022 to
Tuesday 18th January 2022**
Best paper award
----------------
PEPM 2022 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
* Chairs: Zena M. Ariola (University of Oregon, US)
Youyou Cong (Tokyo Institute of Technology, Japan)
* Maria Alpuente (U.P. Valencia, Spain)
* William J. Bowman (UBC, Canada)
* Jonathan Immanuel Brachthäuser (EPFL, Switzerland)
* William E. Byrd (University of Alabama at Birmingham, US)
* Robert Glück (University of Copenhagen, Denmark)
* Zhenjiang Hu (Peking University, China)
* Yukiyoshi Kameyama (University of Tsukuba, Japan)
* Gabriele Keller (Utrecht University, Netherlands)
* Julia Lawall (INRIA, France)
* Y. Annie Liu (Stony Brook University, US)
* Keiko Nakata (SAP Innovation Center Potsdam, Germany)
* Antonina Nepeivoda (Program Systems Institute of RAS, Russia)
* Zoe Paraskevopoulou (Northeastern University, US)
* Yann Régis-Gianas (Nomadic Labs, France)
* Tiark Rompf (Purdue University, US)
* KC Sivaramakrishnan (IIT Madras, India)
* Dimitrios Vytiniotis (DeepMind, UK)
* Beta Ziliani (FAMAF, UNC and Manas.Tech, Argentina)
2021-09-08
[Caml-list] JFLA 2022: Call for papers (in French)
[ This message is intentionally written in French. It is a second call
for papers for the "Francophone Days on Functional Languages" to be
held in February next year. Original written submissions can be in
English, but the presentation or tutorial would have to be in French.
Don't be afraid to submit even if your French is not perfect! ]
- Merci de faire circuler : deuxième appel à communications -
JFLA'2022
http://jfla.inria.fr/jfla2022.html
Journées Francophones des Langages Applicatifs
2 février au 5 février 2022
Domaine d'Essendiéras (Périgord)
Les 33-ièmes Journées Francophones des Langages Applicatifs (JFLA) se
tiendront dans le Périgord, à Saint Médard d'Excideuil, au coeur du
Domaine d'Essendiéras, du mercredi 2 février 2022 au samedi 5 février
2022.
Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, de la vérification de programmes, et des objets
mathématiques qui sous-tendent ces outils. Ces domaines doivent être
pris au sens large : nous souhaitons promouvoir les ponts entre les
différentes thématiques.
- Langages fonctionnels et applicatifs : sémantique, compilation,
optimisation, typage, mesures, extensions par d'autres paradigmes.
- Assistants de preuve : implémentation, nouvelles tactiques,
développements présentant un intérêt technique ou méthodologique.
- Logique, correspondance de Curry-Howard, réalisabilité, extraction
de programmes, modèles.
- Spécification, prototypage, développements formels d'algorithmes.
- Vérification de programmes ou de modèles, méthode déductive,
interprétation abstraite, raffinement.
- Utilisation industrielle des langages fonctionnels et applicatifs,
ou des méthodes issues des preuves formelles, outils pour le web.
Les articles soumis aux JFLA sont relus par au moins deux personnes
s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques
des relecteurs sont toujours bienveillantes et la plupart du temps
encourageantes et constructives, même en cas de rejet.
Il n'y a donc pas de raison de ne pas soumettre aux JFLA !
* Dates importantes
Soumission des résumés 1er octobre 2021
Soumission des articles 8 octobre 2021
Notification aux auteurs 9 novembre 2021
Version finale 7 décembre 2021
Clôture des inscriptions 7 janvier 2022
* Soumissions
Nous acceptons quatre types de soumissions :
- Article de recherche de seize pages au plus (bibliographie incluse),
portant sur des travaux originaux. Nous acceptons des travaux en
cours, pour lesquels l'aspect recherche n'est pas entièrement
finalisé. Nous encourageons aussi la soumission de "perles", ces
articles présentant avec élégance un résultat connu sous un angle
nouveau.
- Article court de huit pages au plus (bibliographie incluse) pour
rechercher de l'aide pour résoudre un problème particulier ou pour
reparler d'un papier déjà publié.
- Proposition de tutoriel d'une page exposant son intérêt et ses
objectifs ainsi que l'environnement informatique nécessaire à sa
réalisation.
- Proposition de démonstration d'un outil ou d'un prototype de deux
pages décrivant pourquoi ce logiciel est intéressant ainsi que ses
spécificités.
Dans tous les cas, la forme de l'article devra être soignée. Les
articles sélectionnés seront publiés dans les actes de la conférence,
et les auteurs seront invités à faire une présentation lors des
journées, de vingt-cinq minutes pour les articles longs et de quinze
minutes pour les courts. Les tutoriels auront un créneau de vingt-cinq
minutes et les démonstrations d'outils ou de prototypes se verront
allouer quinze minutes.
L'article peut être rédigé en anglais, auquel cas la présentation
devra être effectuée en français. Néanmoins, dans le cas où il s'agit
d'une republication au format court d'un article déjà publié, la
publication doit être en français et la publication originale en
anglais.
Le style LaTeX Easychair doit être respecté :
https://easychair.org/publications/for_authors
Les soumissions se font sur la page Easychair des JFLA :
https://easychair.org/conferences/?conf=jfla22
--
Chantal Keller et Timothy Bourke
for papers for the "Francophone Days on Functional Languages" to be
held in February next year. Original written submissions can be in
English, but the presentation or tutorial would have to be in French.
Don't be afraid to submit even if your French is not perfect! ]
- Merci de faire circuler : deuxième appel à communications -
JFLA'2022
http://jfla.inria.fr/jfla2022.html
Journées Francophones des Langages Applicatifs
2 février au 5 février 2022
Domaine d'Essendiéras (Périgord)
Les 33-ièmes Journées Francophones des Langages Applicatifs (JFLA) se
tiendront dans le Périgord, à Saint Médard d'Excideuil, au coeur du
Domaine d'Essendiéras, du mercredi 2 février 2022 au samedi 5 février
2022.
Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, de la vérification de programmes, et des objets
mathématiques qui sous-tendent ces outils. Ces domaines doivent être
pris au sens large : nous souhaitons promouvoir les ponts entre les
différentes thématiques.
- Langages fonctionnels et applicatifs : sémantique, compilation,
optimisation, typage, mesures, extensions par d'autres paradigmes.
- Assistants de preuve : implémentation, nouvelles tactiques,
développements présentant un intérêt technique ou méthodologique.
- Logique, correspondance de Curry-Howard, réalisabilité, extraction
de programmes, modèles.
- Spécification, prototypage, développements formels d'algorithmes.
- Vérification de programmes ou de modèles, méthode déductive,
interprétation abstraite, raffinement.
- Utilisation industrielle des langages fonctionnels et applicatifs,
ou des méthodes issues des preuves formelles, outils pour le web.
Les articles soumis aux JFLA sont relus par au moins deux personnes
s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques
des relecteurs sont toujours bienveillantes et la plupart du temps
encourageantes et constructives, même en cas de rejet.
Il n'y a donc pas de raison de ne pas soumettre aux JFLA !
* Dates importantes
Soumission des résumés 1er octobre 2021
Soumission des articles 8 octobre 2021
Notification aux auteurs 9 novembre 2021
Version finale 7 décembre 2021
Clôture des inscriptions 7 janvier 2022
* Soumissions
Nous acceptons quatre types de soumissions :
- Article de recherche de seize pages au plus (bibliographie incluse),
portant sur des travaux originaux. Nous acceptons des travaux en
cours, pour lesquels l'aspect recherche n'est pas entièrement
finalisé. Nous encourageons aussi la soumission de "perles", ces
articles présentant avec élégance un résultat connu sous un angle
nouveau.
- Article court de huit pages au plus (bibliographie incluse) pour
rechercher de l'aide pour résoudre un problème particulier ou pour
reparler d'un papier déjà publié.
- Proposition de tutoriel d'une page exposant son intérêt et ses
objectifs ainsi que l'environnement informatique nécessaire à sa
réalisation.
- Proposition de démonstration d'un outil ou d'un prototype de deux
pages décrivant pourquoi ce logiciel est intéressant ainsi que ses
spécificités.
Dans tous les cas, la forme de l'article devra être soignée. Les
articles sélectionnés seront publiés dans les actes de la conférence,
et les auteurs seront invités à faire une présentation lors des
journées, de vingt-cinq minutes pour les articles longs et de quinze
minutes pour les courts. Les tutoriels auront un créneau de vingt-cinq
minutes et les démonstrations d'outils ou de prototypes se verront
allouer quinze minutes.
L'article peut être rédigé en anglais, auquel cas la présentation
devra être effectuée en français. Néanmoins, dans le cas où il s'agit
d'une republication au format court d'un article déjà publié, la
publication doit être en français et la publication originale en
anglais.
Le style LaTeX Easychair doit être respecté :
https://easychair.org/publications/for_authors
Les soumissions se font sur la page Easychair des JFLA :
https://easychair.org/conferences/?conf=jfla22
--
Chantal Keller et Timothy Bourke
Subscribe to:
Posts (Atom)