[ This message is intentionally written in French.
It is a call for papers for the "Francophone Days on Functional
Languages" to be held in February next year. Article and tutorial
submissions in English are possible, but the presentation must be in
French. ]
- Merci de faire circuler : premier 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
2021-07-05
[Caml-list] FMBC 2021 - Call for Participation
[ Please distribute, apologies for multiple postings. ]
========================================================================
3rd International Workshop on Formal Methods for Blockchains (FMBC) 2021 - Call for Participation
https://fmbc.gitlab.io/2021
July 18 and 19, 2021, Online, 8AM-10AM PDT
Co-located with the 33rd International Conference on Computer-Aided Verification (CAV 2021)
http://i-cav.org/2021/
---------------------------------------------------------
The FMBC workshop is a forum to identify theoretical and practical
approaches of formal methods for Blockchain technology. Topics
include, but are not limited to:
* Formal models of Blockchain applications or concepts
* Formal methods for consensus protocols
* Formal methods for Blockchain-specific cryptographic primitives or protocols
* Design and implementation of Smart Contract languages
* Verification of Smart Contracts
The list of lightning talks and conditionally accepted papers is available on the FMBC 2021 website:
https://fmbc.gitlab.io/2021/program.html
There will be one keynote by David Dill, Lead Researcher on Blockchain at Novi/Facebook and professor emeritus at Stanford University, USA.
Registration
Registration to FMBC 2021 is done through the CAV 2021 registration form:
http://i-cav.org/2021/attending/
(*Early bird deadline is July 9.*)
========================================================================
3rd International Workshop on Formal Methods for Blockchains (FMBC) 2021 - Call for Participation
https://fmbc.gitlab.io/2021
July 18 and 19, 2021, Online, 8AM-10AM PDT
Co-located with the 33rd International Conference on Computer-Aided Verification (CAV 2021)
http://i-cav.org/2021/
---------------------------------------------------------
The FMBC workshop is a forum to identify theoretical and practical
approaches of formal methods for Blockchain technology. Topics
include, but are not limited to:
* Formal models of Blockchain applications or concepts
* Formal methods for consensus protocols
* Formal methods for Blockchain-specific cryptographic primitives or protocols
* Design and implementation of Smart Contract languages
* Verification of Smart Contracts
The list of lightning talks and conditionally accepted papers is available on the FMBC 2021 website:
https://fmbc.gitlab.io/2021/program.html
There will be one keynote by David Dill, Lead Researcher on Blockchain at Novi/Facebook and professor emeritus at Stanford University, USA.
Registration
Registration to FMBC 2021 is done through the CAV 2021 registration form:
http://i-cav.org/2021/attending/
(*Early bird deadline is July 9.*)
2021-07-02
[Caml-list] REBLS 2021: Call for papers
8th Workshop on Reactive and Event-based Languages and Systems (REBLS 2021)
co-located with the SPLASH Conference
hybrid Virtual and in person in Chicago, Illinois, USA
Sun 17 - Fri 22 October 2021
Website: https://2021.splashcon.org/home/rebls-2021
IMPORTANT DATES
Submission Deadline: 15 Aug 2021 (there will be no extension this year)
Author Notification: 6 Sep 2021
Camera Ready Deadline: 13 Sep 2021
SPLASH Conference: 17 - 22 Oct 2021
INTRODUCTION
Reactive programming and event-based programming are two closely related programming styles that are becoming more important with the ever increasing requirement for applications to run on the web or on mobile devices, and the advent of advanced High-Performance Computing (HPC) technology.
A number of publications on middleware and language design -- so-called reactive and event-based languages and systems (REBLS) -- have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is still lacking, and modularity mechanisms remain largely unexplored. Moreover, large applications are still to be developed, and, consequently, patterns and tools for developing large reactive applications are still in their infancy.
This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to better define the field by developing taxonomies and discussing overviews of the existing work.
We welcome all submissions on reactive programming, functional reactive programming, and event- and aspect- oriented systems, including but not limited to:
* Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.
* Formal models for reactive and event-based programming.
* Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, pure functional programming, mutable state, concurrency.
* Modularity and abstraction mechanisms in large systems.
* Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.
* Functional Reactive Programming (FRP), self-adjusting computation and incremental computing.
* Synchronous languages, modeling and verification of real-time systems, safety-critical reactive and embedded systems.
* Applications, case studies that show the efficacy of reactive programming.
* Empirical studies that motivate further research in the field.
* Patterns and best-practices.
* Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming.
* Implementation technology, language runtimes, virtual machine support, compilers.
* IDEs, Tools.
The format of the workshop is that of a mini-conference where participants present their work. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos.
SUBMISSIONS
REBLS encourages submissions of two types of papers:
* Full papers: papers that describe complete research results. These papers will be published in the ACM digital library.
* In-progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that require further systematic investigation. These papers will not be published in the ACM digital library.
Format:
* Submissions should use the ACM SIGPLAN Conference acmart Format with the two-column, sigplan Subformat, 10 point font, using Biolinum as sans-serif font and Libertine as serif font. All submissions should be in PDF format. If you use LaTeX or Word, please use the ACM SIGPLAN acmart Templates.
The page http://www.sigplan.org/Resources/Author/#acmart-format contains instructions for authors, and a package that includes an example file acmart-sigplan.tex.
* Authors are required to explicitly specify the type of paper in the submission (i.e., full paper, in-progress paper).
* Full papers can be up to 12 pages in length, excluding references. In-progress papers can be up to 6 pages, excluding references.
Instructions for the Authors:
* Papers should be submitted through: https://rebls21.hotcrp.com/
* For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions will be summarily rejected.
* Program Committee members are allowed to submit papers, but their papers will be held to a higher standard.
* All submissions are expected to comply with the ACM Policies for Authorship that are detailed at https://www.acm.org/publications/authors/information-for-authors.
* Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication.
PROGRAM COMMITTEE
Louis Mandel (PC Chair; IBM Research)
Patrick Bahr, IT University of Copenhagen
Manuel Bärenz, sonnen eServices GmbH
Guillaume Baudart, Inria
Guerric Chupin, University of Nottingham
Stephen A. Edwards, Columbia University
Alan Jeffrey, Roblox
Tetsuo Kamina, Oita University
Yoshiki Ohshima, Croquet Studio
Jorge Pérez, University of Groningen
Marc Pouzet, École normale superieure
Noemi Rodrigues, Pontifícia Universidade Católica do Rio de Janeiro
Partha Roop, University of Auckland
Mark Santoluzito, Barnard College
Jonathan Thaler, University of Applied Sciences Vorarlberg
Reinhard von Hanxleden, Kiel University
Takuo Watanabe, Tokio Institute of Technology
Pascal Weisenburger, University of St. Gallen
Tian Zhao, University of Wisconsin-Milwaukee
ORGANIZING COMMITTEE
Guido Salvaneschi, TU Darmstadt, Germany
Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium
Patrick Eugster, Universita della Svizzera Italiana, Switzerland
Francisco Sant'Anna, Rio de Janeiro State University, Brazil
Lukasz Ziarek, SUNY Buffalo, United States
co-located with the SPLASH Conference
hybrid Virtual and in person in Chicago, Illinois, USA
Sun 17 - Fri 22 October 2021
Website: https://2021.splashcon.org/home/rebls-2021
IMPORTANT DATES
Submission Deadline: 15 Aug 2021 (there will be no extension this year)
Author Notification: 6 Sep 2021
Camera Ready Deadline: 13 Sep 2021
SPLASH Conference: 17 - 22 Oct 2021
INTRODUCTION
Reactive programming and event-based programming are two closely related programming styles that are becoming more important with the ever increasing requirement for applications to run on the web or on mobile devices, and the advent of advanced High-Performance Computing (HPC) technology.
A number of publications on middleware and language design -- so-called reactive and event-based languages and systems (REBLS) -- have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is still lacking, and modularity mechanisms remain largely unexplored. Moreover, large applications are still to be developed, and, consequently, patterns and tools for developing large reactive applications are still in their infancy.
This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to better define the field by developing taxonomies and discussing overviews of the existing work.
We welcome all submissions on reactive programming, functional reactive programming, and event- and aspect- oriented systems, including but not limited to:
* Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.
* Formal models for reactive and event-based programming.
* Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, pure functional programming, mutable state, concurrency.
* Modularity and abstraction mechanisms in large systems.
* Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.
* Functional Reactive Programming (FRP), self-adjusting computation and incremental computing.
* Synchronous languages, modeling and verification of real-time systems, safety-critical reactive and embedded systems.
* Applications, case studies that show the efficacy of reactive programming.
* Empirical studies that motivate further research in the field.
* Patterns and best-practices.
* Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming.
* Implementation technology, language runtimes, virtual machine support, compilers.
* IDEs, Tools.
The format of the workshop is that of a mini-conference where participants present their work. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos.
SUBMISSIONS
REBLS encourages submissions of two types of papers:
* Full papers: papers that describe complete research results. These papers will be published in the ACM digital library.
* In-progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that require further systematic investigation. These papers will not be published in the ACM digital library.
Format:
* Submissions should use the ACM SIGPLAN Conference acmart Format with the two-column, sigplan Subformat, 10 point font, using Biolinum as sans-serif font and Libertine as serif font. All submissions should be in PDF format. If you use LaTeX or Word, please use the ACM SIGPLAN acmart Templates.
The page http://www.sigplan.org/Resources/Author/#acmart-format contains instructions for authors, and a package that includes an example file acmart-sigplan.tex.
* Authors are required to explicitly specify the type of paper in the submission (i.e., full paper, in-progress paper).
* Full papers can be up to 12 pages in length, excluding references. In-progress papers can be up to 6 pages, excluding references.
Instructions for the Authors:
* Papers should be submitted through: https://rebls21.hotcrp.com/
* For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions will be summarily rejected.
* Program Committee members are allowed to submit papers, but their papers will be held to a higher standard.
* All submissions are expected to comply with the ACM Policies for Authorship that are detailed at https://www.acm.org/publications/authors/information-for-authors.
* Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication.
PROGRAM COMMITTEE
Louis Mandel (PC Chair; IBM Research)
Patrick Bahr, IT University of Copenhagen
Manuel Bärenz, sonnen eServices GmbH
Guillaume Baudart, Inria
Guerric Chupin, University of Nottingham
Stephen A. Edwards, Columbia University
Alan Jeffrey, Roblox
Tetsuo Kamina, Oita University
Yoshiki Ohshima, Croquet Studio
Jorge Pérez, University of Groningen
Marc Pouzet, École normale superieure
Noemi Rodrigues, Pontifícia Universidade Católica do Rio de Janeiro
Partha Roop, University of Auckland
Mark Santoluzito, Barnard College
Jonathan Thaler, University of Applied Sciences Vorarlberg
Reinhard von Hanxleden, Kiel University
Takuo Watanabe, Tokio Institute of Technology
Pascal Weisenburger, University of St. Gallen
Tian Zhao, University of Wisconsin-Milwaukee
ORGANIZING COMMITTEE
Guido Salvaneschi, TU Darmstadt, Germany
Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium
Patrick Eugster, Universita della Svizzera Italiana, Switzerland
Francisco Sant'Anna, Rio de Janeiro State University, Brazil
Lukasz Ziarek, SUNY Buffalo, United States
2021-06-15
[Caml-list] IFL2021 second call for papers
================================================================================
IFL 2021
33rd Symposium on Implementation and Application of Functional Languages
venue: online
1 - 3 September 2021
https://ifl21.cs.ru.nl
================================================================================
News
IFL 2021
33rd Symposium on Implementation and Application of Functional Languages
venue: online
1 - 3 September 2021
https://ifl21.cs.ru.nl
================================================================================
News
- Paper submission is now open: https://easychair.org/conferences/?conf=ifl21.
- Invited speakers are added: Stephanie Weirich and John Hughes
- Sponsor added: Facebook Research
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 2021 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.
Industrial track and topics of interest
This year's edition of IFL explicitly solicits original work concerning *applications*
of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background.
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
* testing and proofing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* applications of functional programming in the industry, including
** functional programming techniques for large applications
** successes of the application functional programming
** challenges for functional programming encountered
** any topic related to the application of functional programming that is interesting for the IFL community
Post-symposium peer-review
Following IFL tradition, IFL 2021 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 chairs to make sure that they are within the scope of
IFL. The draft papers will be made available to all participants at the symposium.
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 2021 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.
Industrial track and topics of interest
This year's edition of IFL explicitly solicits original work concerning *applications*
of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background.
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
* testing and proofing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* applications of functional programming in the industry, including
** functional programming techniques for large applications
** successes of the application functional programming
** challenges for functional programming encountered
** any topic related to the application of functional programming that is interesting for the IFL community
Post-symposium peer-review
Following IFL tradition, IFL 2021 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 chairs 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. Moreover, the proceedings will also
be made publicly available as open access.
Important dates
Submission deadline of draft papers: 17 August 2021
Notification of acceptance for presentation: 19 August 2021
Registration deadline: 30 August 2021
IFL Symposium: 1-3 September 2021
Submission of papers for proceedings: 6 December 2021
Notification of acceptance: 3 February 2022
Camera-ready version: 15 March 2022
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
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. Moreover, the proceedings will also
be made publicly available as open access.
Important dates
Submission deadline of draft papers: 17 August 2021
Notification of acceptance for presentation: 19 August 2021
Registration deadline: 30 August 2021
IFL Symposium: 1-3 September 2021
Submission of papers for proceedings: 6 December 2021
Notification of acceptance: 3 February 2022
Camera-ready version: 15 March 2022
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
The submission Web page for IFL21 is https://easychair.org/conferences/?conf=ifl21.
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.
Organisation
IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands
IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands
PC:
Peter Achten (co-chair) - Radboud University, Netherlands
Thomas van Binsbergen - University of Amsterdam, Netherlands
Edwin Brady - University of St. Andrews, Scotland
Laura Castro - University of A Coruña, Spain
Youyou Cong - Tokyo Institute of Technology, Japan
Olaf Chitil - University of Kent, England
Andy Gill - University of Kansas, USA
Clemens Grelck - University of Amsterdam, Netherlands
John Hughes - Chalmers University, Sweden
Pieter Koopman (co-chair) - Radboud University, Netherlands
Cynthia Kop - Radboud University, Netherlands
Jay McCarthey - University of Massachussetts Lowell, USA
Neil Mitchell - Facebook, England
Jan De Muijnck-Hughes - Glasgow University, Scotland
Keiko Nakata - SAP Innovation Center Potsdam, Germany
Jurriën Stutterheim - Standard Chartered, Singapore
Simon Thompson - University of Kent, England
Melinda Tóth - Eötvos Loránd University, Hungary
Phil Trinder - Glasgow University, Scotland
Meng Wang - University of Bristol, England
Viktória Zsók - Eötvos Loránd University, Hungary
Virtual symposium
Because of the Covid-19 pandemic, this year IFL 2021 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.
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.
Organisation
IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands
IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands
PC:
Peter Achten (co-chair) - Radboud University, Netherlands
Thomas van Binsbergen - University of Amsterdam, Netherlands
Edwin Brady - University of St. Andrews, Scotland
Laura Castro - University of A Coruña, Spain
Youyou Cong - Tokyo Institute of Technology, Japan
Olaf Chitil - University of Kent, England
Andy Gill - University of Kansas, USA
Clemens Grelck - University of Amsterdam, Netherlands
John Hughes - Chalmers University, Sweden
Pieter Koopman (co-chair) - Radboud University, Netherlands
Cynthia Kop - Radboud University, Netherlands
Jay McCarthey - University of Massachussetts Lowell, USA
Neil Mitchell - Facebook, England
Jan De Muijnck-Hughes - Glasgow University, Scotland
Keiko Nakata - SAP Innovation Center Potsdam, Germany
Jurriën Stutterheim - Standard Chartered, Singapore
Simon Thompson - University of Kent, England
Melinda Tóth - Eötvos Loránd University, Hungary
Phil Trinder - Glasgow University, Scotland
Meng Wang - University of Bristol, England
Viktória Zsók - Eötvos Loránd University, Hungary
Virtual symposium
Because of the Covid-19 pandemic, this year IFL 2021 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.
2021-06-14
[Caml-list] Certified Programs and Proofs (CPP) 2022: 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 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on
16-18 January 2022 and will be co-located with POPL 2022 in
Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by
ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2022 will welcome contributions from all members of the community.
The CPP 2022 organizers will strive to enable both in-person and
remote participation, in cooperation with the POPL 2022 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 16 September 2021 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 22 September 2021 at 23:59 AoE (UTC-12h)
* Notification (tentative): 22 November 2021
* Camera Ready Deadline (tentative): 12 December 2021
* Conference: 16-18 January 2022
Deadlines expire at the end of the day, anywhere on earth. Abstract
and submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2022 will be designated as
Distinguished Papers. This award highlights papers that the CPP
program committee thinks should be read by a broad audience due to
their relevance, originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal
certification of programs and proofs. The following is a
non-exhaustive list of topics of interest to CPP:
* certified or certifying programming, compilation, linking, OS
kernels, runtime systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light,
Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics,
and logical frameworks;
* higher-order logics, dependent type theory, proof theory, logical
systems, separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra,
polynomial systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality,
first-order logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload
their anonymized paper in PDF format through the HotCRP system at
https://cpp2022.hotcrp.com
The submissions must be written in English and provide sufficient
detail to allow the program committee to assess the merits of the
contribution. They must be formatted following the ACM SIGPLAN
Proceedings format using the acmart style with the sigplan option,
which provides a two-column style, using 10 point font for the main
text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures, but excluding bibliography and clearly marked appendices. The
papers should be self-contained without the appendices. Shorter papers
are welcome and will be given equal consideration. Submissions not
conforming to the requirements concerning format and maximum length
may be rejected without further consideration.
CPP 2022 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 strongly encourage the authors to provide any supplementary
material that supports the claims made in the paper, such as proof
scripts or experimental data. This material must be uploaded at
submission time, as an archive, not via a URL. Two forms of
supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the
reviewers before they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the
reviewers after they have submitted their first-draft reviews and have
learned the identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be taken into account from the beginning of the reviewing
process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the
ACM Policy on Plagiarism
(https://www.acm.org/publications/policies/plagiarism). Concurrent
submissions to other conferences, journals, workshops with
proceedings, or similar forums of publication are not allowed. The PC
chairs should be informed of closely related work submitted to a
conference or journal in advance of submission. One author of each
accepted paper is expected to present it at the (possibly virtual)
conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2022 proceedings will be published by the ACM, and authors of
accepted papers will be required to choose one of the following
publication options:
(1) Author retains copyright of the work and grants ACM a
non-exclusive permission-to-publish license and, optionally, licenses
the work under a Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will
make the paper Gold Open Access, and also encourage such authors to
license their work under the CC-BY license. ACM will charge you an
article processing fee for this option (currently, US$700), which you
have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows
you to achieve Green Open Access, by uploading a preprint of your
paper to a repository that guarantees permanent archival such as arXiv
or HAL. This is anyway a good idea for timely dissemination even if
you chose option 1. 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 2022 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
Andrei Popescu, University of Sheffield, United Kingdom (co-chair)
Steve Zdancewic, University of Pennsylvania, United States (co-chair)
Mohammad Abdulaziz, TU München, Germany
Mauricio Ayala-Rincón, Universidade de Brasília, Brazil
Andrej Bauer, University of Ljubljana, Slovenia
Thomas Bauereiss, University of Cambridge, United Kingdom
Yves Bertot, Inria and Université Cote d'Azur, France
Lars Birkedal, Aarhus University, Denmark
Sylvie Boldo, Inria and Université Paris-Saclay, France
Qinxiang Cao, Shanghai Jiao Tong University, China
Évelyne Contejean, Laboratoire Méthodes Formelles, CNRS, France
Benjamin Delaware, Purdue University, United States
Simon Foster, University of York, United Kingdom
Alwyn Goodloe, NASA Langley Research Center, United States
Armaël Guéneau, Aarhus University, Denmark
John Harrison, Amazon Web Services, United States
Joe Hendrix, Galois, Inc, United States
Aquinas Hobor, National University of Singapore, Singapore
Ralf Jung, MPI-SWS, Germany
Cezary Kaliszyk, University of Innsbruck, Austria
Jeehoon Kang, KAIST, South Korea
Hongjin Liang, Nanjing University, China
Gregory Malecha, BedRock Systems, Inc, United States
Anders Mörtberg, Stockholm University, Sweden
Toby Murray, University of Melbourne, Australia
Zoe Paraskevopoulou , Northeastern University, United States
Brigitte Pientka, McGill University, Canada
Aseem Rastogi, Microsoft Research, India
Bas Spitters, Aarhus University, Denmark
Kathrin Stark, Princeton University, United States
Hira Taqdees Syeda, Chalmers University of Technology, Sweden
Joseph Tassarotti, Boston College, United States
Laura Titolo, NIA/NASA LaRC, United States
Sophie Tourret, Inria, France
Dmitriy Traytel, University of Copenhagen, Denmark
Floris van Doorn, Paris-Saclay University, France
Freek Verbeek, Open University of The Netherlands, Netherlands
Freek Wiedijk, Radboud Universiteit Nijmegen, Netherlands
ORGANIZERS
Lennart Beringer, Princeton University, United States (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Andrei Popescu, University of Sheffield, United Kingdom (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Andrei Popescu<a.popescu@sheffield.ac.uk>
Steve Zdancewic<stevez@seas.upenn.edu>
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 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on
16-18 January 2022 and will be co-located with POPL 2022 in
Philadelphia, Pennsylvania, United States. CPP 2022 is sponsored by
ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2022 will welcome contributions from all members of the community.
The CPP 2022 organizers will strive to enable both in-person and
remote participation, in cooperation with the POPL 2022 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 16 September 2021 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 22 September 2021 at 23:59 AoE (UTC-12h)
* Notification (tentative): 22 November 2021
* Camera Ready Deadline (tentative): 12 December 2021
* Conference: 16-18 January 2022
Deadlines expire at the end of the day, anywhere on earth. Abstract
and submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2022 will be designated as
Distinguished Papers. This award highlights papers that the CPP
program committee thinks should be read by a broad audience due to
their relevance, originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal
certification of programs and proofs. The following is a
non-exhaustive list of topics of interest to CPP:
* certified or certifying programming, compilation, linking, OS
kernels, runtime systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light,
Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics,
and logical frameworks;
* higher-order logics, dependent type theory, proof theory, logical
systems, separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra,
polynomial systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality,
first-order logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload
their anonymized paper in PDF format through the HotCRP system at
https://cpp2022.hotcrp.com
The submissions must be written in English and provide sufficient
detail to allow the program committee to assess the merits of the
contribution. They must be formatted following the ACM SIGPLAN
Proceedings format using the acmart style with the sigplan option,
which provides a two-column style, using 10 point font for the main
text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures, but excluding bibliography and clearly marked appendices. The
papers should be self-contained without the appendices. Shorter papers
are welcome and will be given equal consideration. Submissions not
conforming to the requirements concerning format and maximum length
may be rejected without further consideration.
CPP 2022 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 strongly encourage the authors to provide any supplementary
material that supports the claims made in the paper, such as proof
scripts or experimental data. This material must be uploaded at
submission time, as an archive, not via a URL. Two forms of
supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the
reviewers before they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the
reviewers after they have submitted their first-draft reviews and have
learned the identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be taken into account from the beginning of the reviewing
process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the
ACM Policy on Plagiarism
(https://www.acm.org/publications/policies/plagiarism). Concurrent
submissions to other conferences, journals, workshops with
proceedings, or similar forums of publication are not allowed. The PC
chairs should be informed of closely related work submitted to a
conference or journal in advance of submission. One author of each
accepted paper is expected to present it at the (possibly virtual)
conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2022 proceedings will be published by the ACM, and authors of
accepted papers will be required to choose one of the following
publication options:
(1) Author retains copyright of the work and grants ACM a
non-exclusive permission-to-publish license and, optionally, licenses
the work under a Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will
make the paper Gold Open Access, and also encourage such authors to
license their work under the CC-BY license. ACM will charge you an
article processing fee for this option (currently, US$700), which you
have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows
you to achieve Green Open Access, by uploading a preprint of your
paper to a repository that guarantees permanent archival such as arXiv
or HAL. This is anyway a good idea for timely dissemination even if
you chose option 1. 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 2022 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
Andrei Popescu, University of Sheffield, United Kingdom (co-chair)
Steve Zdancewic, University of Pennsylvania, United States (co-chair)
Mohammad Abdulaziz, TU München, Germany
Mauricio Ayala-Rincón, Universidade de Brasília, Brazil
Andrej Bauer, University of Ljubljana, Slovenia
Thomas Bauereiss, University of Cambridge, United Kingdom
Yves Bertot, Inria and Université Cote d'Azur, France
Lars Birkedal, Aarhus University, Denmark
Sylvie Boldo, Inria and Université Paris-Saclay, France
Qinxiang Cao, Shanghai Jiao Tong University, China
Évelyne Contejean, Laboratoire Méthodes Formelles, CNRS, France
Benjamin Delaware, Purdue University, United States
Simon Foster, University of York, United Kingdom
Alwyn Goodloe, NASA Langley Research Center, United States
Armaël Guéneau, Aarhus University, Denmark
John Harrison, Amazon Web Services, United States
Joe Hendrix, Galois, Inc, United States
Aquinas Hobor, National University of Singapore, Singapore
Ralf Jung, MPI-SWS, Germany
Cezary Kaliszyk, University of Innsbruck, Austria
Jeehoon Kang, KAIST, South Korea
Hongjin Liang, Nanjing University, China
Gregory Malecha, BedRock Systems, Inc, United States
Anders Mörtberg, Stockholm University, Sweden
Toby Murray, University of Melbourne, Australia
Zoe Paraskevopoulou , Northeastern University, United States
Brigitte Pientka, McGill University, Canada
Aseem Rastogi, Microsoft Research, India
Bas Spitters, Aarhus University, Denmark
Kathrin Stark, Princeton University, United States
Hira Taqdees Syeda, Chalmers University of Technology, Sweden
Joseph Tassarotti, Boston College, United States
Laura Titolo, NIA/NASA LaRC, United States
Sophie Tourret, Inria, France
Dmitriy Traytel, University of Copenhagen, Denmark
Floris van Doorn, Paris-Saclay University, France
Freek Verbeek, Open University of The Netherlands, Netherlands
Freek Wiedijk, Radboud Universiteit Nijmegen, Netherlands
ORGANIZERS
Lennart Beringer, Princeton University, United States (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Andrei Popescu, University of Sheffield, United Kingdom (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Andrei Popescu<a.popescu@sheffield.ac.uk>
Steve Zdancewic<stevez@seas.upenn.edu>
2021-05-13
[Caml-list] Call for Papers: 19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
CALL FOR PAPERS
19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
Oct 17-Oct 22, 2021,
Chicago, Illinois (co-located with SPLASH 2021)
https://conf.researchr.org/home/aplas-2021
The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
aims to stimulate programming language research by providing a forum for
the presentation of the latest results and the exchange of ideas in
programming languages and systems. APLAS is based in Asia but is an
international forum that serves the worldwide programming languages
community. APLAS 2021 will be co-located with SPLASH 2021.
Due to the COVID-19 situation, all authors will be given the chance to
present remotely regardless of whether the conference is held as a physical,
virtual, or hybrid physical/virtual meeting.
Papers are solicited on topics such as:
- Semantics, logics, foundational theory
- Design of languages, type systems, and foundational calculi
- Domain-specific languages
- Compilers, interpreters, abstract machines
- Program derivation, synthesis, and transformation
- Program analysis, verification, model-checking
- Logic, constraint, probabilistic, and quantum programming
- Software security
- Concurrency and parallelism
- Tools and environments for programming and implementation
- Applications of SAT/SMT to programming and implementation
Topics are not limited to those discussed in previous symposiums. Papers
identifying future directions of programming and those addressing the rapid
changes of the underlying computing platforms are especially welcome.
Demonstration of tools in the scope of APLAS are welcome to the Tool paper
category. Authors concerned about the appropriateness of a topic are welcome
to consult with program chair prior to submission.
IMPORTANT DATES
Submission deadline: June 16, 2021 (anywhere on Earth)
Author response: July 28 - 30, 2021
Author notification: August 11, 2021
Final version: September 1, 2021
Conference: October 17 - October 22, 2021
CALL FOR REGULAR RESEARCH PAPERS
We solicit submissions in the form of regular research papers describing
original scientific research results, including system development and case
studies. Regular research papers should not exceed 18 pages in the Springer
LNCS format, including bibliography and figures. This category encompasses
both theoretical and implementation (also known as system descriptions)
papers. In either case, submissions should clearly identify what has been
accomplished and why it is significant. Submissions will be judged on the
basis of significance, relevance, correctness, originality, and clarity.
System descriptions papers should contain a link to a working system and
will be judged on originality, usefulness, and design. In case of lack of
space, proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a link
to a web page, but reviewers are not obliged to read them.
CALL FOR TOOL PAPERS
We solicit submissions in the form of tool papers describing a
demonstration of a tool or a system that support theory, program
construction, reasoning, or program execution in the scope of APLAS. The
main purpose of a tool paper is to display a completed, robust and
well-documented tool-highlighting the overall functionality of the tool,
the interfaces of the tool, interesting examples and applications of the
tool, an assessment of the tool's strengths and weaknesses, and a summary
of documentation/support available with the tool. Authors of tool
demonstration proposals are expected to present a live demonstration of the
tool at the conference. It is highly desirable that the tools are available
on the web. System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures. They may include
an additional appendix of up to 6 extra pages giving the outline,
screenshots, examples, etc. to indicate the content of the proposed live
demo.
PROGRAM COMMITTEE
Andreas Abel, Gothenburg University, Sweden
Kyungmin Bae, POSTECH, South Korea
Edwin Brady, University of St. Andrews, UK
Yu-Fang Chen, Academia Sinica, Taiwan
Andreea Costea, NUS, Singapore
Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany
Yu Feng, UC Santa Barbara, US
Giulio Guerrieri, University of Bath, UK
Kihong Heo, KAIST, South Korea
Yue Li, Nanjing University, China
Sam Lindley, Heriot-Watt University / University of Edinburgh, UK
Sergio Mover, Ecole Polytechnique, France
Uday P. Khedker, IIT Bombay, India
Alex Potanin, Victoria University of Wellington, New Zealand
Xiaokang Qiu, Purdue University, US
Jiasi Shen, MIT, US
Xujie Si, McGill University, Canada
Gagandeep Singh, VMWare Research / UIUC, US
Youngju Song, Seoul National University, South Korea
Kohei Suenaga, Kyoto University, Japan
Yulei Sui, University of Technology Sydney, Australia
Tachio Terauchi, Waseda University, Japan
Xinyu Wang, University of Michigan, US
Qirun Zhang, Georgia Institute of Technology, US
Xin Zhang, Peking University, China
SUBMISSION INFORMATION
Papers should be submitted electronically via the submission web page using
HotCRP (https://aplas2021.hotcrp.com).
The acceptable format is PDF. Submitted papers must be unpublished and not
submitted for publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's LNCS series.
Accepted papers must be presented at the conference.
REVIEW PROCESS
APLAS 2021 will use a lightweight double-blind reviewing process. Following
this process means that reviewers will not see the authors' names or
affiliations as they initially review a paper. The authors' names will then
be revealed to the reviewers only once their reviews have been submitted.
To facilitate this process, submitted papers must adhere to the following:
Author names and institutions must be omitted and
References to the 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 reviewers come to an initial
judgement 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, makes the job of reviewing
the paper more difficult, or interferes with the process of disseminating
new ideas. For example, important background references should not be
omitted or anonymized, even if they are written by the same authors and
share common ideas, techniques, or infrastructure. Authors should feel free
to disseminate their ideas or draft versions of their paper as they
normally would. For instance, authors may post drafts of their papers on
the web or give talks on their research ideas.
AUTHOR RESPONSE PERIOD
During the author response period, authors will be able to read reviews and
respond to them as appropriate.
RESEARCH INTEGRITY
The Program Committee reserves the right, up until the time of publication,
to reverse a decision of paper acceptance. Reversal is possible if fatal
flaws are discovered in the paper, or research integrity is found to have
been seriously breached.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th' ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
Oct 17-Oct 22, 2021,
Chicago, Illinois (co-located with SPLASH 2021)
https://conf.researchr.org/home/aplas-2021
The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021)
aims to stimulate programming language research by providing a forum for
the presentation of the latest results and the exchange of ideas in
programming languages and systems. APLAS is based in Asia but is an
international forum that serves the worldwide programming languages
community. APLAS 2021 will be co-located with SPLASH 2021.
Due to the COVID-19 situation, all authors will be given the chance to
present remotely regardless of whether the conference is held as a physical,
virtual, or hybrid physical/virtual meeting.
Papers are solicited on topics such as:
- Semantics, logics, foundational theory
- Design of languages, type systems, and foundational calculi
- Domain-specific languages
- Compilers, interpreters, abstract machines
- Program derivation, synthesis, and transformation
- Program analysis, verification, model-checking
- Logic, constraint, probabilistic, and quantum programming
- Software security
- Concurrency and parallelism
- Tools and environments for programming and implementation
- Applications of SAT/SMT to programming and implementation
Topics are not limited to those discussed in previous symposiums. Papers
identifying future directions of programming and those addressing the rapid
changes of the underlying computing platforms are especially welcome.
Demonstration of tools in the scope of APLAS are welcome to the Tool paper
category. Authors concerned about the appropriateness of a topic are welcome
to consult with program chair prior to submission.
IMPORTANT DATES
Submission deadline: June 16, 2021 (anywhere on Earth)
Author response: July 28 - 30, 2021
Author notification: August 11, 2021
Final version: September 1, 2021
Conference: October 17 - October 22, 2021
CALL FOR REGULAR RESEARCH PAPERS
We solicit submissions in the form of regular research papers describing
original scientific research results, including system development and case
studies. Regular research papers should not exceed 18 pages in the Springer
LNCS format, including bibliography and figures. This category encompasses
both theoretical and implementation (also known as system descriptions)
papers. In either case, submissions should clearly identify what has been
accomplished and why it is significant. Submissions will be judged on the
basis of significance, relevance, correctness, originality, and clarity.
System descriptions papers should contain a link to a working system and
will be judged on originality, usefulness, and design. In case of lack of
space, proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a link
to a web page, but reviewers are not obliged to read them.
CALL FOR TOOL PAPERS
We solicit submissions in the form of tool papers describing a
demonstration of a tool or a system that support theory, program
construction, reasoning, or program execution in the scope of APLAS. The
main purpose of a tool paper is to display a completed, robust and
well-documented tool-highlighting the overall functionality of the tool,
the interfaces of the tool, interesting examples and applications of the
tool, an assessment of the tool's strengths and weaknesses, and a summary
of documentation/support available with the tool. Authors of tool
demonstration proposals are expected to present a live demonstration of the
tool at the conference. It is highly desirable that the tools are available
on the web. System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures. They may include
an additional appendix of up to 6 extra pages giving the outline,
screenshots, examples, etc. to indicate the content of the proposed live
demo.
PROGRAM COMMITTEE
Andreas Abel, Gothenburg University, Sweden
Kyungmin Bae, POSTECH, South Korea
Edwin Brady, University of St. Andrews, UK
Yu-Fang Chen, Academia Sinica, Taiwan
Andreea Costea, NUS, Singapore
Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany
Yu Feng, UC Santa Barbara, US
Giulio Guerrieri, University of Bath, UK
Kihong Heo, KAIST, South Korea
Yue Li, Nanjing University, China
Sam Lindley, Heriot-Watt University / University of Edinburgh, UK
Sergio Mover, Ecole Polytechnique, France
Uday P. Khedker, IIT Bombay, India
Alex Potanin, Victoria University of Wellington, New Zealand
Xiaokang Qiu, Purdue University, US
Jiasi Shen, MIT, US
Xujie Si, McGill University, Canada
Gagandeep Singh, VMWare Research / UIUC, US
Youngju Song, Seoul National University, South Korea
Kohei Suenaga, Kyoto University, Japan
Yulei Sui, University of Technology Sydney, Australia
Tachio Terauchi, Waseda University, Japan
Xinyu Wang, University of Michigan, US
Qirun Zhang, Georgia Institute of Technology, US
Xin Zhang, Peking University, China
SUBMISSION INFORMATION
Papers should be submitted electronically via the submission web page using
HotCRP (https://aplas2021.hotcrp.com).
The acceptable format is PDF. Submitted papers must be unpublished and not
submitted for publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's LNCS series.
Accepted papers must be presented at the conference.
REVIEW PROCESS
APLAS 2021 will use a lightweight double-blind reviewing process. Following
this process means that reviewers will not see the authors' names or
affiliations as they initially review a paper. The authors' names will then
be revealed to the reviewers only once their reviews have been submitted.
To facilitate this process, submitted papers must adhere to the following:
Author names and institutions must be omitted and
References to the 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 reviewers come to an initial
judgement 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, makes the job of reviewing
the paper more difficult, or interferes with the process of disseminating
new ideas. For example, important background references should not be
omitted or anonymized, even if they are written by the same authors and
share common ideas, techniques, or infrastructure. Authors should feel free
to disseminate their ideas or draft versions of their paper as they
normally would. For instance, authors may post drafts of their papers on
the web or give talks on their research ideas.
AUTHOR RESPONSE PERIOD
During the author response period, authors will be able to read reviews and
respond to them as appropriate.
RESEARCH INTEGRITY
The Program Committee reserves the right, up until the time of publication,
to reverse a decision of paper acceptance. Reversal is possible if fatal
flaws are discovered in the paper, or research integrity is found to have
been seriously breached.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th' ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
[Caml-list] LOPSTR 2021 - Call for Papers: Extended Deadline
31st International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2021
http://saks.iasi.cnr.it/lopstr21/
Tallinn (Estonia) and Virtual
September 7-9, 2021
(co-located with PPDP 2021)
*** EXTENDED SUBMISSION DEADLINE: June 7, 2021 ***
* The conference will be held as a hybrid (blended) meeting, both
in-person and virtual. *
============================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively, friendly
forum for presenting and discussing work in progress. Formal proceedings
are produced only after the symposium so that authors can incorporate
this feedback in the published papers.
The 31st International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2021) will be held as a hybrid (blended) meeting,
both in-person (at the Teachers' House in Tallinn, Estonia) and virtual.
Previous symposia were held in Bologna (as a virtual meeting), Porto,
Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven,
Odense, Hagenberg, Coimbra, Valencia, Kongens Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2021 will be co-located with PPDP 2021 (International Symposium
on Principles and Practice of Declarative Programming).
Topics of interest cover all aspects of logic-based program development,
all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large, including,
but not limited to:
- synthesis
- transformation
- specialization
- composition
- optimization
- inversion
- specification
- analysis and verification
- testing and certification
- program and model manipulation
- machine learning for program development
- verification and testing of machine learning systems
- transformational techniques in SE
- applications and tools
Both full papers and extended abstracts describing foundations and
applications in these areas are welcome. Survey papers that present
some aspects of the above topics from a new perspective and papers
that describe experience with industrial applications are also welcome.
Papers must describe original work, be written and presented in English,
and must not substantially overlap with papers that have been published
or that are simultaneously submitted to a journal, conference, or workshop
with refereed proceedings. Work that already appeared in unpublished or
informally published workshop proceedings may be submitted (please contact
the PC chairs in case of questions).
* Important Dates *
Paper/Extended abstract submission (extended): June 7, 2021
Notification (extended): July 16, 2021
Camera-ready (for electronic pre-proceedings): August 20, 2021
Symposium: September 7-9, 2021
Revised paper submission: November 1, 2021 (AoE)
Notification: December 1, 2021
Final version (for post-proceedings): January 16, 2022
* Submission Guidelines *
Authors should submit an electronic copy of the paper (written in English)
in PDF, formatted in LNCS style. Each submission must include on its first
page the paper title; authors and their affiliations; contact author's
email; abstract; and three to four keywords which will be used to assist
the PC in selecting appropriate reviewers for the paper. Page numbers
(and, if possible, line numbers) should appear on the manuscript to help
the reviewers in writing their report. Full papers cannot exceed 15 pages
excluding references. Extended abstracts cannot exceed 8 pages excluding
references. Additional pages may be used for appendices not intended for
publication. Reviewers are not required to read the appendices, and thus
papers should be intelligible without them. Papers should be submitted
via EasyChair: https://easychair.org/conferences/?conf=lopstr2021
* Proceedings *
The formal post-conference proceedings will be published by Springer in the
Lecture Notes in Computer Science series as in previous years. Full papers
can be directly accepted for publication in the formal proceedings, or
accepted only for presentation at the symposium and inclusion in informal
proceedings. After the symposium, all authors of extended abstracts and
full papers accepted only for presentation will be invited to revise and/or
extend their submissions. Then, after another round of reviewing, these
revised papers may also be published in the formal proceedings. Authors
should consult Springer's authors' guidelines and use their proceedings
templates for the preparation of their papers. Springer encourages authors
to include their ORCIDs in their papers.
* Best paper awards *
Thanks to Springer's sponsorship, two awards (including a 500 EUR prize
each)
will be given at LOPSTR 2021. The program committee will select the winning
papers based on relevance, originality and technical quality but may also
take authorship into account (e.g. a student paper).
* Invited Speaker *
TBA
* Program Committee *
Roberto Amadini, University of Bologna, Italy
Sabine Broda, University of Porto, Portugal
Maximiliano Cristiá, CIFASIS-UNR, Argentina
Włodzimierz Drabent, IPI PAN, Poland & Linköping University, Sweden
Catherine Dubois, ENSIIE-Samovar, France
Gregory Duck, National University of Singapore, Singapore
Fabio Fioravanti, University of Chieti-Pescara, Italy
Jeremy Gibbons, University of Oxford, UK
Gopal Gupta, University of Texas at Dallas, USA
Geoff Hamilton, Dublin City University, Ireland
Michael Hanus, Kiel University, Germany
Bishoksan Kafle, IMDEA Software Institute, Spain
Maja Kirkeby, Roskilde University, Denmark
Temur Kutsia, RISC J. Kepler University of Linz, Austria
Michael Leuschel, University of Düsseldorf, Germany
Pedro López-García, IMDEA Software Institute & CSIC, Spain
Jacopo Mauro, University of Southern Denmark, Denmark
Fred Mesnard, Université de la Réunion, France
Alberto Momigliano, University of Milano, Italy
Jorge A. Navas, SRI International, USA
Naoki Nishida, Nagoya University, Japan
Alicia Villanueva, Universitat Politècnica de València, Spain
* Program Chairs *
Emanuele De Angelis, IASI-CNR, Italy
Wim Vanhoof, University of Namur, Belgium
* Local organisation *
Niccolò Veltri, Tallinn University of Technology, Estonia
* Contact *
For more information, please contact the Program Committee Chairs:
emanuele.deangelis@iasi.cnr.it, wim.vanhoof@unamur.be
Logic-Based Program Synthesis and Transformation
LOPSTR 2021
http://saks.iasi.cnr.it/lopstr21/
Tallinn (Estonia) and Virtual
September 7-9, 2021
(co-located with PPDP 2021)
*** EXTENDED SUBMISSION DEADLINE: June 7, 2021 ***
* The conference will be held as a hybrid (blended) meeting, both
in-person and virtual. *
============================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively, friendly
forum for presenting and discussing work in progress. Formal proceedings
are produced only after the symposium so that authors can incorporate
this feedback in the published papers.
The 31st International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2021) will be held as a hybrid (blended) meeting,
both in-person (at the Teachers' House in Tallinn, Estonia) and virtual.
Previous symposia were held in Bologna (as a virtual meeting), Porto,
Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven,
Odense, Hagenberg, Coimbra, Valencia, Kongens Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2021 will be co-located with PPDP 2021 (International Symposium
on Principles and Practice of Declarative Programming).
Topics of interest cover all aspects of logic-based program development,
all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large, including,
but not limited to:
- synthesis
- transformation
- specialization
- composition
- optimization
- inversion
- specification
- analysis and verification
- testing and certification
- program and model manipulation
- machine learning for program development
- verification and testing of machine learning systems
- transformational techniques in SE
- applications and tools
Both full papers and extended abstracts describing foundations and
applications in these areas are welcome. Survey papers that present
some aspects of the above topics from a new perspective and papers
that describe experience with industrial applications are also welcome.
Papers must describe original work, be written and presented in English,
and must not substantially overlap with papers that have been published
or that are simultaneously submitted to a journal, conference, or workshop
with refereed proceedings. Work that already appeared in unpublished or
informally published workshop proceedings may be submitted (please contact
the PC chairs in case of questions).
* Important Dates *
Paper/Extended abstract submission (extended): June 7, 2021
Notification (extended): July 16, 2021
Camera-ready (for electronic pre-proceedings): August 20, 2021
Symposium: September 7-9, 2021
Revised paper submission: November 1, 2021 (AoE)
Notification: December 1, 2021
Final version (for post-proceedings): January 16, 2022
* Submission Guidelines *
Authors should submit an electronic copy of the paper (written in English)
in PDF, formatted in LNCS style. Each submission must include on its first
page the paper title; authors and their affiliations; contact author's
email; abstract; and three to four keywords which will be used to assist
the PC in selecting appropriate reviewers for the paper. Page numbers
(and, if possible, line numbers) should appear on the manuscript to help
the reviewers in writing their report. Full papers cannot exceed 15 pages
excluding references. Extended abstracts cannot exceed 8 pages excluding
references. Additional pages may be used for appendices not intended for
publication. Reviewers are not required to read the appendices, and thus
papers should be intelligible without them. Papers should be submitted
via EasyChair: https://easychair.org/conferences/?conf=lopstr2021
* Proceedings *
The formal post-conference proceedings will be published by Springer in the
Lecture Notes in Computer Science series as in previous years. Full papers
can be directly accepted for publication in the formal proceedings, or
accepted only for presentation at the symposium and inclusion in informal
proceedings. After the symposium, all authors of extended abstracts and
full papers accepted only for presentation will be invited to revise and/or
extend their submissions. Then, after another round of reviewing, these
revised papers may also be published in the formal proceedings. Authors
should consult Springer's authors' guidelines and use their proceedings
templates for the preparation of their papers. Springer encourages authors
to include their ORCIDs in their papers.
* Best paper awards *
Thanks to Springer's sponsorship, two awards (including a 500 EUR prize
each)
will be given at LOPSTR 2021. The program committee will select the winning
papers based on relevance, originality and technical quality but may also
take authorship into account (e.g. a student paper).
* Invited Speaker *
TBA
* Program Committee *
Roberto Amadini, University of Bologna, Italy
Sabine Broda, University of Porto, Portugal
Maximiliano Cristiá, CIFASIS-UNR, Argentina
Włodzimierz Drabent, IPI PAN, Poland & Linköping University, Sweden
Catherine Dubois, ENSIIE-Samovar, France
Gregory Duck, National University of Singapore, Singapore
Fabio Fioravanti, University of Chieti-Pescara, Italy
Jeremy Gibbons, University of Oxford, UK
Gopal Gupta, University of Texas at Dallas, USA
Geoff Hamilton, Dublin City University, Ireland
Michael Hanus, Kiel University, Germany
Bishoksan Kafle, IMDEA Software Institute, Spain
Maja Kirkeby, Roskilde University, Denmark
Temur Kutsia, RISC J. Kepler University of Linz, Austria
Michael Leuschel, University of Düsseldorf, Germany
Pedro López-García, IMDEA Software Institute & CSIC, Spain
Jacopo Mauro, University of Southern Denmark, Denmark
Fred Mesnard, Université de la Réunion, France
Alberto Momigliano, University of Milano, Italy
Jorge A. Navas, SRI International, USA
Naoki Nishida, Nagoya University, Japan
Alicia Villanueva, Universitat Politècnica de València, Spain
* Program Chairs *
Emanuele De Angelis, IASI-CNR, Italy
Wim Vanhoof, University of Namur, Belgium
* Local organisation *
Niccolò Veltri, Tallinn University of Technology, Estonia
* Contact *
For more information, please contact the Program Committee Chairs:
emanuele.deangelis@iasi.cnr.it, wim.vanhoof@unamur.be
Subscribe to:
Posts (Atom)