[TYPES/announce] PERR 2019 CFP -- 3rd Workshop on Program Equivalence and Relational Reasoning

[Nikos Tzevelekos]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[with apologies for cross-postings]

==

PERR 2019
   3rd Workshop on Program Equivalence and Relational Reasoning

A workshop at ETAPS 2019 in Prague
(European Joint Conferences of Theory & Practice of Software)

==

Important dates:
Submission deadline  Fri 1 Feb 2019
Notification Fri 1 Mar 2019
Workshop Sat 6 Apr 2019


Call for Papers

PERR is an annual international workshop dedicated to the formal
verification of program equivalence and related relational
problems. It is the 3rd in a series of meetings that bring together
researchers from different areas interested in equivalence and related
questions. PERR 2019 will be held as satellite workshop of ETAPS
(http://www.etaps.org/).

Program equivalence is arguably one of the most interesting and at the
same time important problems in formal verification. It is a
cross-cutting topic that has attracted the interest of several
research communities: the field of denotational (game) semantics,
deductive software verification, bounded model checking, specification
inference, software evolution and regression testing, etc.


Topics

The goal of the workshop is to bring researchers of the different
fields in touch and to stipulate an exchange of ideas leading to
forging a community working on PERR. It welcomes contributions from
the topics mentioned above but is also open to new questions regarding
program equivalence. This includes related research areas of
relational reasoning like program refinement or the verification of
hyperproperties, in particular of secure information flow.  Areas of
interest include (but are not limited to):

.regression verification
.program equivalence
.equivalence of higher order programs
.product programs, relational calculi
.verification of hyperproperties
.program refinement, refinement calculus
.specification of differences between programs
.inferring semantic differences between programs
.transformation validation
.correct compiler transformations
.automata bisimulation
.code equivalence checking in teaching and marking

This is an informal workshop that welcomes work in progress, overviews
of more extensive work, programmatic or position papers and tool
presentations.

The workshop will have informal proceedings, posted on its webpage,
and speakers will be asked to consider submitting papers towards a
post-proceedings volume.


Submission Instructions

Please submit an abstract (this can be in the form of 1-2 pages of
text, or a paper of no more than 15 pages) of your proposed talk on
the EasyChair submission page below. Submissions will be reviewed by
at least 2 PC members and feedback will be provided.

https://easychair.org/conferences/?conf=perr19

The workshop will have informal proceedings, posted on its webpage,
and speakers will be asked to consider submitting papers towards an
EPTCS post-proceedings volume.

[TYPES/announce] FSCD 2019 Last Call for Papers

[Sandra Alves]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Apologies for multiple copies of this announcement. Please circulate.)
---
Updated information: titles and abstracts of invited talks are now available
---
   CALL FOR PAPERS
 Fourth International Conference on
Formal Structures for Computation and Deduction (FSCD 2019)
24 -- 30 June 2019, Dortmund, Germany
 http://easyconferences.eu/fscd2019/ 


IMPORTANT DATES
---
All deadlines are midnight anywhere-on-earth (AoE); late
submissions will not be considered. 
 Titles and Short Abstracts:8 February 2019 
 Full Papers:  11 February 2019 
 Rebuttal period:28 March -- 1 April 2019
 Authors Notification: 8 April 2019 
 Final version for proceedings:  22 April  2019 

FSCD covers all aspects of formal structures for computation and
deduction from theoretical foundations to applications.  Building on
two communities, RTA (Rewriting Techniques and Applications) and TLCA
(Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in logics,
models of computation (e.g. quantum computing, probabilistic
computing, homotopy type theory), semantics and verification in new
challenging areas (e.g. blockchain protocols or deep learning
algorithms).

Suggested, but not exclusive, list of topics for submission are:
1. Calculi: 
   Rewriting systems, Lambda calculus, Concurrent calculi, Logics,
   Type theory, Homotopy type theory, Logical frameworks, Quantum
   calculi
2. Methods in Computation and Deduction:
   Type systems; Induction and coinduction; Matching, unification,
   completion and orderings; Strategies; Tree automata; Model
   checking; Proof search and theorem proving; Constraint solving and
   decision procedures
3. Semantics:
   Operational semantics; Abstract machines; Game Semantics; Domain
   theory; Categorical models; Quantitative models
4. Algorithmic Analysis and Transformations of Formal Systems:
   Type inference and type checking; Abstract interpretation;
   Complexity analysis and implicit computational complexity; Checking
   termination, confluence, derivational complexity and related
   properties; Symbolic computation
5. Tools and Applications:
   Programming and proof environments; Verification tools; Proof
   assistants and interactive theorem provers; Applications in
   industry (e.g. design and verification of critical systems);
   Applications in other sciences (e.g. biology)
6. Semantics and verification in new challenging areas:
   Certification; Security; Blockchain protocols; Data bases; Deep
   learning and machine learning algorithms; Planning

INVITED SPEAKERS
---
Titles and abstracts available at
 http://easyconferences.eu/fscd2019/invited-speakers/   


*  Beniamino Accattoli (INRIA, Paris, France)
  https://sites.google.com/site/beniaminoaccattoli/ 


*  Amy Felty (University of Ottawa, Canada)
  http://www.site.uottawa.ca/~afelty/ 

*  Sarah Winkler (University of Innsbruck, Austria)
  http://cl-informatik.uibk.ac.at/users/swinkler/ 


*  Hongseok Yang (KAIST,  Korea)
  https://sites.google.com/view/hongseokyang/ 


PUBLICATION
---
The proceedings will be published as an electronic volume in the
Leibniz International Proceedings in Informatics (LIPIcs) of Schloss
Dagstuhl. All LIPIcs proceedings are open access.

SUBMISSION GUIDELINES 
-
Submissions can be made in two categories.  Regular research papers
are limited to 15 pages (including references, with the possibility to
add an annex for technical details, e.g.\ proofs) and must present
original research which is unpublished and not submitted
elsewhere. System descriptions are limited to 15 pages (including
references) and must present new software tools in which FSCD topics
play an important role, or significantly new versions of such
tools. Submissions must be formatted using the LIPIcs style files and
submitted via EasyChair.  Complete instructions on submitting a paper
can be found on the conference web site:

http://easyconferences.eu/fscd2019/ 


BEST PAPER AWARD BY JUNIOR RESEARCHERS 
--
The program committee will consider declaring this award to a paper in
which at least one author is a junior researcher, i.e. either a
student or whose PhD award date is less than three years from the
first day of the meeting. Other authors should declare to the 

[TYPES/announce] ENTROPY 2019: Call for Papers

[David Nowak]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

**
   Call for papers — ENTROPY 2019
ENabling TRust through Os Proofs … and beYond

Second International workshop on the use of theorem provers for modelling 
and verification at the hardware-software interface 

Co-located with EuroS'19, KTH, Stockholm, June 2019
**

AIM AND SCOPE

Low level software such as kernels and drivers, along with the hardware 
this software runs on, is critical for application security. In contrast 
with user applications, OS kernel software runs in privileged CPU mode 
and is thus highly critical. Large projects such as seL4, VeriSoft, 
CertiKoS and Prosper have invested considerable resources in developing 
formally verified systems such as hypervisors and microkernels, supplying 
proofs that they satisfy critical properties. Such proofs are delicate in 
terms of the scale and complexity of real systems, the models used in 
performing the proof search, and the relations between the two, which 
recent vulnerabilities such as Spectre and Meltdown have shown to be a 
highly non-trivial issue.

The purpose of this workshop is to share, compare and disseminate best 
practices, tools and methodologies to verify OS kernels, also setting the 
stage for future steps in the direction of fully verified systems, 
dealing with issues related to modelling, model validation, and large 
proof maintenance through system evolution. On one hand, we need to make 
low-level proofs more scalable, modular and cost-effective. On the other 
hand, once certified systems are available, preservation and maintenance 
of their proofs of validity become key questions.

The goal of the ENTROPY workshop is to provide a forum for researchers 
and practitioners in this space, linking operating systems, formal 
methods, and hardware architecture, interested in system design as well 
as machine verified mathematical proofs using proof assistants such as 
Coq, Isabelle and HOL4.

This will be the second edition of the ENTROPY workshop series. The 
first workshop was organised by the Pip Development Team at University 
of Lille in 2018.

TOPICS OF INTEREST

Specific topics include, but are not limited to:

* Verified kernels and hypervisors
* Verified security architectures and models
* Tools and frameworks for hardware security analysis
* Tools and frameworks for security analysis
* Formal hardware models and model validation techniques
* Theorem prover based tools and frameworks for verification 
  of low level code
* Combinations of static analysis and theorem proving
* Theories and techniques for compositional security analysis
* Case studies and industrial experience reports
* Proof maintenance techniques and problems
* Compositional models and verification techniques
* Proof oriented design

The aim of the workshop is to stimulate innovation and active exchange 
of ideas, so position papers, work-in-progress and industrial 
experience submissions are welcome.

INVITED SPEAKERS (to be extended)

Frank Piessens, KU Leuven
Peter Sewell, Univ. Cambridge

IMPORTANT DATES

Paper submission: March 11 2019
Author notification: April 10, 2019
Camera-ready versions: April 22, 2019 (strict)
Workshop: 16 June 2019

SUBMISSION AND PUBLICATION

There are two categories of submissions:

1. Regular papers describing fully developed work and complete results 
   (8 pages, references included, IEEE format)
2. Short papers, position papers, industry experience reports,
   work-in-progress submissions: (4 pages, references included, IEEE 
   format)

All papers should be in English and describe original work that has not 
been published or submitted elsewhere. The submission category should 
be clearly indicated. All submissions will be fully reviewed by members 
of the Programme Committee. Papers will appear in IEEE Xplore in a 
companion volume to the regular EuroS proceedings. For formatting and 
submission instructions see https://entropy2019.sciencesconf.org.

PROGRAM CHAIRS

Mads Dam, KTH Royal Institute of Technology
David Nowak, CNRS and University of Lille

PROGRAM COMMITTEE

Christoph Baumann, Ericsson AB
Gustavo Betarte, Univ. de la República, Uruguay
David Cock, ETH Zurich
Mads Dam, KTH Royal Institute of Technology (chair)
Anthony Fox, ARM
Deepak Garg, MPI Saarbrucken
Ronghui Gu, Columbia University
Samuel Hym, Univ. Lille
Thomas Jensen, INRIA and Univ. Rennes
Toby Murray, Univ. Melbourne
David Nowak, CNRS & Univ. Lille (chair)
Vicente Sanchez-Leighton, Orange Labs
Thomas Sewell, Chalmers

— 
David Nowak
https://davidnowak.github.io

[TYPES/announce] SSIoT 2019 - IEEE EuroS Workshop on Software Security for Internet of Things

[Alejandro Russo]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*** Apologies if you have received multiple copies of this announcement ***

SSIoT 2019 - IEEE EuroS Workshop on Software Security for Internet of 
Things

Co-located with IEEE EuroS 2019, 16 June 2019, Stockholm, Sweden


Call for Papers
---

The IEEE Workshop on Software Security for IoT (SSIoT) 2019 is the first
international conference focusing primarily on the software security for the
Internet of Things (IoT). SSIoT aims to provide a forum for exploring and
evaluating ideas on bringing secure software to IoT and a venue to 
publish novel

research ideas on this topic. SSIoT strongly encourages proposals of new,
speculative ideas, evaluations of new or known techniques in practical 
settings,
and discussions of emerging threats and important problems. We are 
especially
interested in position papers that are radical, forward-looking, and 
likely to
lead to lively and insightful discussions that will influence future 
research on

IoT security.

The scope of SSIoT includes, but is not limited to:
- Verification, analysis, and testing techniques for IoT software.
- Verification, analysis, and testing of IoT security protocols
- Static and dynamic analysis of state-of-the-art IoT stacks, operating 
systems,

  and crypto libraries
- Design and implementation of secure programming languages for IoT
- New or extended software tools for IoT protocols/software analysis and
  verification
- IoT Software attestation and certification
- Software patch management for IoT
- Forensic-ready IoT software
- Software security enforcement through secure hardware designs for IoT
- Applications, case studies, and implementations of security techniques

We invite both full papers (10 pages) and short papers (4 pages). Full 
papers
are expected to present relatively mature content while short ones are 
expected
to present preliminary and exploratory work. Authors submitting papers 
in this
category must prepend the phrase "Short Paper:" to the title of the 
submitted
paper. Submissions should be anonymized for review and should be PDF 
documents
formatted according to the IEEE EuroS 2019 formatting requirements 
provided at

. Both full and short
papers must describe work not published in other refereed venues. Accepted
papers will appear as publication through IEEE Xplore in a volume 
accompanying

the main IEEE EuroS 2019 proceedings.

Important dates
---

Paper Submission: February 28, 2019
Notification    : April    10, 2019
Camera Ready due: April    20, 2019
Workshop    : June 16, 2019

Important links
---

Submission site: https://easychair.org/conferences/?conf=ssiot19
Web page: http://www.cse.chalmers.se/~russo/ssiot19/

PC Members
--

Bengt Jonsson, Uppsala University (co-chair)
Shahid Raza, RISE (co-chair)
Alejandro Russo, Chalmers University of Technology (co-chair)
Kostis Sagonas, Uppsala University, Sweden
Carsten Schürmann, IT University of Copenhagen, Denmark
Junaid Haroon Siddiqui, LUMS, Pakistan
Nikolay Kosmatov, CEA Paris, France
Phil Levis, Stanford University, USA
Amit Levy, Princeton University, USA
Olaf Landsiedel, University of Kiel, Germany
Joeri de Ruiter, SIDN Labs, the Netherlands
Somesh Jha, University of Wisconsin-Madison, USA
Tamara Rezk, INRIA Sophia Antipolis, France
Sonja Buchegger, KTH, Sweden
Earlence Fernandes, University of Washington, USA
Romina Spalazzese, Malmö University, Sweden

[TYPES/announce] [DisCoTec 2019] Joint Call for Papers

[Kiko Fernandez Reyes]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies if you got multiple copies of this email.]



   Joint Call for Papers

   14th International Federated Conference on
   Distributed Computing Techniques

   DisCoTec 2019

   Kongens Lyngby, Denmark, 18-21 June 2019

   https://www.discotec.org/2019



HIGHLIGHTS

Two new categories of submissions added to COORDINATION:
“special topics” and “tool papers”.




DisCoTec 2019 is one of the major events sponsored by the International
Federation for Information Processing (IFIP). It gathers conferences and
workshops that cover a broad spectrum of distributed computing subjects,
ranging from theoretical foundations and formal description techniques
to systems research issues.


* Main Conferences *

  - COORDINATION (https://www.discotec.org/2019/coordination)
21st IFIP International Conference on Coordination Models and
Languages
PC Chairs: Hanne Riis Nielson (DTU, Denmark) and Emilio Tuosto
(University of Leicester, UK)

  - DAIS (https://www.discotec.org/2019/dais)
19th IFIP International Conference on Distributed Applications
and Interoperable Systems
PC Chairs: José Orlando Pereira (Universidade do Minho & INESC
TEC, Portugal) and Laura Ricci (University of Pisa, Italy)

  - FORTE (https://www.discotec.org/2019/forte)
39th IFIP International Conference on Formal Techniques for
Distributed Objects, Components and Systems
PC Chairs: Jorge A. Pérez (University of Groningen, The Netherlands)
and Nobuko Yoshida (Imperial College London, UK)


* Important Dates (for all main conferences) *

  - February 1, 2019: Submission of abstract
  - February 8, 2019: Submission of papers
  - April 12, 2019: Notification of accepted papers
  - June 18-21, 2019: Conferences and Workshops


* Keynote Speakers *

  - David Basin (ETH Zürich, Switzerland)
  - Anne-Marie Kermarrec (INRIA Rennes, France)
  - Marta Kwiatkowska (University of Oxford, UK)
  - Silvio Micali (MIT, USA)
  - Martin Wirsing (LMU, Germany)


* Proceedings *

The proceedings of DisCoTec 2019 main conferences will be
published in Springer's LNCS-IFIP volumes.


* Special issue *
Selected papers of some of the conferences will be invited to a special
issue of Logical Methods in Computer Science
(https://lmcs.episciences.org/).
More information is available at the conference website.


* Submission Instructions *

Authors are invited to submit their contributions electronically in
PDF using a two-phase online submission process. Registration of the
paper information and abstract (max. 250 words) must be completed before
February 1, 2019. Submission of the manuscript is due no later than
February 8, 2019. Submissions are handled through the EasyChair
conference management system:
  https://easychair.org/conferences/?conf=coordination2019
  https://easychair.org/conferences/?conf=dais2019
  https://easychair.org/conferences/?conf=forte19

Contributions must be written in English and report on original,
unpublished work not submitted for publication elsewhere (cf. IFIP's
Author Code of Conduct, see http://www.ifip.org/ under
Publications/Links). The submissions must not exceed the total page
number limit, including figures and references, prepared
using Springer’s LNCS style. Submissions not adhering to the above
specified constraints may be rejected without review.

DisCoTec conferences welcome contributions in theoretical models and
foundations of coordination, concurrency, programming languages, practical
and conceptual aspects of distributed computations as well as models and
formal specification, testing and verification methods for distributed
computing.

Detailed information about the topics, the submission categories and the
corresponding page limits are available at the conference website.

For each accepted paper, one of the authors must register to DisCoTec 2019
and attend the corresponding conference to present the paper.


* Satellite Events *

DisCoTec features also workshops, tutorials and a tool track. Workshops,
tutorials and tools demonstrations should fall in the areas of the DisCoTec
conferences. For more information, check the website
http://www.discotec.org/2019/satellite-events


* Organising Committee *

Alberto Lluch Lafuente (DTU, Denmark – General chair)
Kiko Fernández-Reyes (Uppsala University — Publicity chair)
Francesco Tiezzi (University of Camerino — Publicity chair)
Andrea Vandin (DTU, Denmark — Workshops chair)
Maurice ter Beek (CNR, Italy — Workshops chair)
Valerio Schiavoni (Université de Neuchâtel, Switzerland — Workshops chair)


* Steering Committee *

Rocco De Nicola (IMT Lucca, Italy)
Pascal Felber ( University of Neuchâtel, Switzerland)
Kurt 

[TYPES/announce] FM'19: Second Call for Papers

[Renato Neves]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


==
Second Call for Papers

FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress 
on Formal Methods

Porto, Portugal, October 7-11, 2019

http://formalmethods2019.inesctec.pt/
==

NEW: announcement of three invited speakers and confirmation of two special 
issues !!!

==

FM 2019 is the 23rd international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for software
development. Every 10 years the symposium is organised as a World
Congress. Twenty years after FM 1999 in Toulouse, and 10 years after
FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal
Methods. This is reflected in a PC with members from over 40
countries. Thus, FM 2019 will be both an occasion to celebrate and a
platform for enthusiastic researchers and practitioners from a
diversity of backgrounds to exchange their ideas and share their
experience.

FORMAL METHODS: THE NEXT 30 YEARS

It is now more than 30 years since the first VDM symposium in 1987
brought together researchers with the common goal of creating methods
to produce high quality software based on rigour and reason. Since
then the diversity and complexity of computer technology has changed
enormously and the formal methods community has stepped up to the
challenges those changes brought by adapting, generalising and
improving the models and analysis techniques that were the focus of
that first symposium. The theme for FM 2019 is a reflection on how far
the community has come and the lessons we can learn for understanding
and developing the best software for future technologies.


Important Dates


Abstract submission: 28 March, 2019 
Full paper submission: 11 April, 2019, 23:59 AoE
Notification: 11 June, 2019   
Camera ready: 9 July, 2019
Conference: 7-11 October, 2019 


Invited Speakers
=

- June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia)
- Shriram Krishnamurthi (Brown University, Providence, RI, USA)
- Erik Poll (Radboud University, Nijmegen, The Netherlands)


Topics of Interest
==

FM 2019 encourages submissions on formal methods in a wide range of
domains including software, computer-based systems,
systems-of-systems, cyber-physical systems, human-computer
interaction, manufacturing, sustainability, energy, transport, smart
cities, and healthcare. We particularly welcome papers on techniques,
tools and experiences in interdisciplinary settings. We also welcome
papers on experiences of formal methods in industry, and on the design
and validation of formal methods tools. The broad topics of interest
for FM 2019 include, but are not limited to:

- Interdisciplinary formal methods: Techniques, tools and experiences
demonstrating the use of formal methods in interdisciplinary settings.

- Formal methods in practice: Industrial applications of formal
methods, experience with formal methods in industry, tool usage
reports, experiments with challenge problems. The authors are
encouraged to explain how formal methods overcame problems, led to
improved designs, or provided new insights.

- Tools for formal methods: Advances in automated verification, model
checking, and testing with formal methods, tools integration,
environments for formal methods, and experimental validation of
tools. The authors are encouraged to demonstrate empirically that the
new tool or environment advances the state of the art.

- Formal methods in software and systems engineering: Development
processes with formal methods, usage guidelines for formal methods,
and method integration. The authors are encouraged to evaluate process
innovations with respect to qualitative or quantitative
improvements. Empirical studies and evaluations are also solicited.

- Theoretical foundations of formal methods: All aspects of theory
related to specification, verification, refinement, and static and
dynamic analysis. The authors are encouraged to explain how their
results contribute to the solution of practical problems with formal
methods or tools.


Submission Guidelines
===

Papers should be original work, not published or submitted elsewhere,
in Springer LNCS format, written in English, submitted through
EasyChair: https://easychair.org/conferences/?conf=fm2019

Each paper will be evaluated by at least three members of the
Programme Committee. Authors of papers reporting experimental work are
strongly encouraged to make their experimental results available for
use by the reviewers. Similarly, case 

[TYPES/announce] Second Call for Papers: PACMPL issue ICFP 2019

[Sam Tobin-Hochstadt]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

PACMPL Volume 3, Issue ICFP 2019
Call for Papers

accepted papers to be invited for presentation at
 The 24th ACM SIGPLAN International Conference on Functional Programming
 Berlin, Germany
   http://icfp19.sigplan.org/

### Important dates

Submissions due:1 March 2019 (Friday) Anywhere on Earth
https://icfp19.hotcrp.com
Author response:16 April (Tuesday) - 18 Apri (Friday) 14:00 UTC
Notification:   3 May (Friday)
Final copy due: 22 June (Saturday)
Conference: 18 August (Sunday) - 23 August (Friday)

### About PACMPL

Proceedings of the ACM on Programming Languages (PACMPL
) is a Gold Open Access journal publishing
research on all aspects of programming languages, from design to
implementation and from mathematical formalisms to empirical
studies. Each issue of the journal is devoted to a particular subject
area within programming languages and will be announced through
publicized Calls for Papers, like this one.

### Scope

[PACMPL](https://pacmpl.acm.org/) issue ICFP 2019 seeks original
papers on the art and science of functional programming. Submissions
are invited on all topics from principles to practice, from
foundations to features, and from abstraction to application. The
scope includes all languages that encourage functional programming,
including both purely applicative and imperative languages, as well as
languages with objects, concurrency, or parallelism. Topics of
interest include (but are not limited to):

  * *Language Design*: concurrency, parallelism, and distribution;
 modules; components and composition; metaprogramming; type
 systems; interoperability; domain-specific languages; and
 relations to imperative, object-oriented, or logic programming.

  * *Implementation*: abstract machines; virtual machines;
 interpretation; compilation; compile-time and run-time
 optimization; garbage collection and memory management;
 multi-threading; exploiting parallel hardware; interfaces to
 foreign functions, services, components, or low-level machine
 resources.

  * *Software-Development Techniques*: algorithms and data structures;
 design patterns; specification; verification; validation; proof
 assistants; debugging; testing; tracing; profiling.

  * *Foundations*: formal semantics; lambda calculus; rewriting; type
 theory; monads; continuations; control; state; effects; program
 verification; dependent types.

  * *Analysis and Transformation*: control-flow; data-flow; abstract
 interpretation; partial evaluation; program calculation.

  * *Applications*: symbolic computing; formal-methods tools;
 artificial intelligence; systems programming; distributed-systems
 and web programming; hardware design; databases; XML processing;
 scientific and numerical computing; graphical user interfaces;
 multimedia and 3D graphics programming; scripting; system
 administration; security.

  * *Education*: teaching introductory programming; parallel
 programming; mathematical proof; algebra.

Submissions will be evaluated according to their relevance,
correctness, significance, originality, and clarity. Each submission
should explain its contributions in both general and technical terms,
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience.

PACMPL issue ICFP 2019 also welcomes submissions in two separate
categories  Functional Pearls and Experience Reports 
that must be marked as such at the time of submission and that need
not report original research results.  Detailed guidelines on both
categories are given at the end of this call.

Please contact the principal editor if you have questions or are
concerned about the appropriateness of a topic.

### Preparation of submissions

**Deadline**: The deadline for submissions is **Friday, March 1, 2019**,
Anywhere on Earth ().
This deadline will be strictly enforced.

**Formatting**: Submissions must be in PDF format, printable in black
and white on US Letter sized paper, and interpretable by common PDF
tools. All submissions must adhere to the "ACM Small" template that is
available (in both LaTeX and Word formats) from
.  For authors
using LaTeX, a lighter-weight package, including only the essential
files, is available from
.

There is a limit of **25 pages for a full paper or Functional Pearl**
and **12 pages for an Experience Report**; in either case, the
bibliography will not be counted against these limits. Submissions
that