[TYPES/announce] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

[Jurriaan Hage]

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

Hello,

Please, find below the third call for papers for IFL 2018.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

---




IFL 2018

30th Symposium on Implementation and Application of Functional
Languages


   University of Massachusetts Lowell, MA, USA
 September 5th-7th, 2018

http://iflconference.org




### 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 2018 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL
* Arjun Guha, University of Massachusetts Amherst


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2018 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers,
at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the
draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2018.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have
been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers.
If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to
incorporate
  the feedback from discussions at the symposium and will be invited to
submit a
  revised full article for the formal post-proceedings.
  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.


### Publication

The formal proceedings will appear in the International Conference
Proceedings
Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


 http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:   May25, 2018
Submission of draft papers: July   17, 2018
Regular and draft papers notification:  July   20, 2018
Deadline for early registration:  

[TYPES/announce] PhD studentship on the CakeML project (University of Kent)

[Scott Owens]

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

I am looking for a PhD student to work with me on the CakeML project at the
University of Kent in Canterbury, England. The position is part of the
"Building Verified Applications in CakeML" project funded by the UK Research
Institute in Verified Trustworthy Software Systems:
https://vetss.org.uk/funded-proposals/.

CakeML (https://cakeml.org) is a formally verified compiler for an ML-like
programming language. The studentship is focussed on techniques for formally
verifying applications written in the CakeML language. Within the project,
there is a wide range of possible topics, ranging from fully automated
verification to techniques requiring interactive proof, and also from the logic
and mathematics that underpin verification to the creation of a practical
verification tool chain.

The student will be studying in the University of Kent's programming languages
research group which has 13 faculty members, and has notable strengths in
verification, concurrency, and functional programming. He or she will also work
with the broader international CakeML community at Chalmers (Sweden), CMU
(USA), and Data61 (Australia).

The position starts in September 2018. Applicants must have, or be about to
complete a degree in Computer Science or Mathematics at the BSc or MSc level.
The position is fully funded for 3.5 years for students from the UK/EU.

Interested candidates should contact me by 21 May, 2018.

Scott Owens
http://www.cs.kent.ac.uk/~sao

[TYPES/announce] Second-round CfS: Doctoral Symposium at ECOOP/ISSTA 2018 (Amsterdam)

[Julia Belyakova]

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

*

  ECOOP and ISSTA Doctoral Symposium 2018

   Wednesday, July 18th, 2018

   Amsterdam, Netherlands



 Joint Doctoral Symposium of

  European Conference on Object-Oriented Programming

   and

International Symposium on Software Testing and Analysis

*

Second-round submission deadline: May 18th, 2018, AOE

DS website:
https://conf.researchr.org/track/ecoop-issta-2018/ecoop-issta-2018-doctoral-symposium

Submissions website: https://ecoopissta18ds.hotcrp.com

-

ABOUT

-

The Doctoral Symposium is a forum for doctoral students to present their
research topic and receive detailed feedback in a constructive and friendly
atmosphere. PhD students at any stage of the research are welcome, although
they are expected to already have an identified research topic.
Participants will obtain useful guidance that will help them complete their
research, prepare their thesis, and begin a research career.

The main objectives of the Doctoral Symposium are:

   -

   to allow PhD students to practise effective writing and communication of
   their research;


   -

   to receive constructive feedback from the Program Committee, Academic
   Panel, and other participants;
   -

   to offer opportunities to form research collaborations and interact with
   other researchers at the main conferences.


In 2018 the Doctoral Symposium will be a joint event between the ECOOP and
ISSTA conferences , so we
welcome participation of students who pursue their research in the areas of
both object-oriented programming and software testing and analysis. The
event will take place on **Wednesday, July 18th, 2018**: between the ISSTA
and ECOOP conferences.

The Doctoral Symposium takes the form of a full-day event of interactive
presentations. The day will start with a series of lightning talks where
each PhD student will give an “elevator pitch” of their research. This will
be followed by formal presentations from each PhD student, with time
allocated for both the presentation as well as questions and discussions.
The program will also include at least one keynote talk on a topic related
to PhD studies, research, and life beyond the PhD.

-

SUBMISSIONS

-

We have three distinct submission categories: **junior submissions** or
**extended abstracts**, and **senior submissions**. Junior students may not
yet have fully developed a thesis topic, so they will present their
research ideas and any progress to date. Senior students are expected to
give an outline of their thesis research and will receive feedback to help
them successfully complete their thesis and defense/viva.

Late submission deadline (strict) is on **May 18th, 2018, AOE**.
Late-deadline submissions will be reviewed independently of the early
submissions, and priority will be given to submissions received by the
first deadline.

Submissions website: https://ecoopissta18ds.hotcrp.com/

As participants of the Doctoral Symposium are not expected to submit
technical papers, but rather thesis proposals, participants can submit to
both the main conferences/workshops _and_ the Doctoral Symposium. There
will be no proceedings for the Doctoral Symposium. Submissions are not
double blind.

--- Junior PhD Students ---

 Extended Abstract 

Submit an extended abstract of a research proposal (max 3 pages) in the
Dagstuhl LIPIcs format with a problem description, and, optionally, sketch
of a proposed approach and/or related work.

 Research Proposal 

Submit a research proposal (max 8 pages) in the
Dagstuhl LIPIcs
format with:

   -

   a problem description;
   -

   a detailed sketch of a proposed approach;
   -

   related work.

It is not necessary to present concrete results. Instead, try to inform the
reader that you have a (well-motivated) problem and present a possible
solution. Attempt to provide a clear road map detailing future research
efforts.

--- Senior PhD Students ---

The experience for senior students is meant to mimic a “mini-defense”
interview. Aside from the actual feedback, this helps the student will gain
familiarity with the style and mechanics of such an interview (advisors of
student presenters will not be allowed in).

The students should be able to present:

   -

   the importance of the problem;
   -

   a clear research proposal;
   -

   some preliminary work;
   -

   an evaluation plan.

Please submit a 6–10 page abstract in the Dagstuhl LIPIcs format with the
following:

   1.

   Problem Description
   -

  What is the problem?
  -

  What is the significance of this problem?
  -

  Why can the current state 

[TYPES/announce] PLDI 2018 Second Call for Student Volunteers

[Xujie Si]

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

*Call for student volunteers for PLDI 2018, the 39th annual ACM SIGPLAN
conference on Programming Language Design and Implementation.APPLICATION
FORM: https://goo.gl/LvBt8B APPLICATION DEADLINE
(2nd call): May 6th, 2018 at 23:59 AoE.The PLDI 2018 Program for Student
Volunteers gives full- or part-time university students from around the
world the opportunity to attend and contribute to a premier forum for all
areas of programming language research, including the design,
implementation, theory, and efficient use of languages. As a PLDI 2018
Student Volunteer, you will interact closely with researchers, academics
and practitioners from various disciplines and meet other students from
around the world.PLDI is pleased to offer a number of opportunities for
student volunteers,who are vital to the efficient operation and continued
success of theconference each year. The student volunteer program is a
chance forstudents from around the world to participate in the conferences
whilstassisting us in preparing and running the event.Job assignments for
student volunteers include assisting with technicalsessions, workshops,
tutorials and panels, checking badges at doors,operating the information
desk, helping with traffic flow, and generalassistance to keep the
conferences running smoothly.In return, volunteers are granted free
registration to the conferences, free access to plenary sessions,
tutorials, workshops and panels.For further details, please see this web
page:https://pldi18.sigplan.org/track/pldi-2018-Student-Volunteers
*

[TYPES/announce] 2nd CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam

[Summers Alexander John]

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

(Please advertise and distribute to interested PL parties - apologies for any 
cross postings)
Workshop website: 
https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers
Formal techniques can help analyze programs, precisely describe program 
behavior, and verify program properties. Languages such as Java, C#, and Scala 
are interesting targets for formal techniques due to their ubiquity and wide 
user base, stable and well-defined interfaces and platforms, and powerful (but 
also complex) libraries. New languages and applications in this space are 
continually arising, resulting in new PL research challenges.
Work on formal techniques and tools and on the formal underpinnings of 
programming languages themselves naturally complement each other. FTfJP is an 
established workshop which has run annually since 1999 alongside ECOOP, with 
the goal of bringing together people working in both fields. The workshop has a 
broad PL theme; the most important criterion is that submissions will generate 
interesting discussions within this community. Example topics of interest 
include:

  *   Language design and semantics
  *   Type systems
  *   Concurrency and new application domains
  *   Specification and verification of program properties
  *   Program analysis (static or dynamic)
  *   Security
  *   Pearls (programs or proofs)
FTfJP welcomes submissions on technical contributions, case studies, experience 
reports, challenge proposals, and position papers. Just as the number and the 
feature set of Java-like languages is expanding, the term "Java-like" should be 
interpreted broadly.

Submissions


Contributions related to formal techniques for Java-like programs are sought in 
two categories:

Full Papers. In 6 two-column pages, the paper should present a technical 
contribution, case study, or detailed experience report. We welcome both 
complete and incomplete technical results; ongoing work is particularly 
welcome, provided it is substantial enough to stimulate interesting discussions.

Short Papers. In 2 two-column pages, the paper should advocate a promising 
research direction, or otherwise present a position likely to stimulate 
discussion at the workshop. We encourage e.g. established researchers to set 
out a personal vision, and beginning researchers to present a planned path to a 
PhD.

Both types of contributions will benefit from feedback received at the 
workshop. Submissions will be peer reviewed, and will be evaluated based on 
their clarity and based on their potential to generate interesting discussions. 
The format of the workshop encourages interaction. FTfJP is a forum in which a 
wide range of people share their expertise, from experienced researchers to 
beginning PhD students.

Accepted papers will be published in the ACM Digital Library by default, though 
authors will be able to opt out of this publication, if desired. The use of 
ACM's template for the SIGPLAN 
format is required. At 
least one author of an accepted paper must attend the workshop to present the 
work and participate in the discussions.

Important Dates:

  *   Wed 9th May AOE: submission 
deadline
  *   Thu 14th Jun: acceptance notifications
  *   Sun 17th Jun: early registration deadline (for both main conferences and 
workshops)

Paper submission website: https://easychair.org/conferences/?conf=ftfjp2018

Program Committee

William J. Bowman (Northeastern University)
John Tang Boyland (University of Wisconsin-Milwaukee)
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
Erik Ernst (Google, Aarhus)
Juliana Franco (Imperial College London)
Timothy Jones (Montoux)
Laura Kovacs (Vienna University of Technology, Austria and Chalmers University 
of Technology, Sweden)
Siddharth Krishna (New York University)
Oded Padon (Tel Aviv University)
Matthew Parkinson (Microsoft Research Cambridge)
Guido Salvaneschi (Technical University of Darmstadt)
Alexander J. Summers (ETH Zurich)
Elena Zucca (DIBRIS, University of Genova)

[TYPES/announce] final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -

[Peter Achten]

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

   -
 F I N A L   C A L L   F O R   P A P E R S
   -

    - deadline extended -
     TFP 2018 ===

  19th Symposium on Trends in Functional Programming
   11-13 June, 2018
 Chalmers Campus Johanneberg, Gothenburg
   http://www.cse.chalmers.se/~myreen/tfp2018/index.html

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions (see
below at scope).

Please be aware that TFP uses two distinct rounds of submissions (see
below at submission details).

TFP 2018 will be the main event of a pair of functional programming
events. TFP 2018 will be accompanied by the International Workshop on
Trends in Functional Programming in Education (TFPIE), which will take
place on June 14.


== SCOPE ==

The symposium recognizes that new trends may arise through various routes.
As part of the Symposium's focus on trends we therefore identify the
following five article categories. High-quality articles are solicited in
any of these categories:

Research Articles:
    Leading-edge, previously unpublished research work
Position Articles:
    On what new trends should or should not be
Project Articles:
    Descriptions of recently started new projects
Evaluation Articles:
    What lessons can be drawn from a finished project
Overview Articles:
    Summarizing work with respect to a trendy subject.

Articles must be original and not simultaneously submitted for 
publication to

any other forum. They may consider any aspect of functional programming:
theoretical, implementation-oriented, or experience-oriented. 
Applications of
functional programming techniques to other languages are also within the 
scope

of the symposium.

Topics suitable for the symposium include, but are not limited to:

    Functional programming and multicore/manycore computing
    Functional programming in the cloud
    High performance functional computing
    Extra-functional (behavioural) properties of functional programs
    Dependently typed functional programming
    Validation and verification of functional programs
    Debugging and profiling for functional languages
    Functional programming in different application areas:
    security, mobility, telecommunications applications, embedded
    systems, global computing, grids, etc.
    Interoperability with imperative programming languages
    Novel memory management techniques
    Program analysis and transformation techniques
    Empirical performance studies
    Abstract/virtual machines and compilers for functional languages
    (Embedded) domain specific languages
    New implementation strategies
    Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, 
please

contact the TFP 2018 program chairs, Michał Pałka and Magnus Myreen.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.

TFP traditionally pays special attention to research students, 
acknowledging
that students are almost by definition part of new subject trends. A 
student
paper is one for which the authors state that the paper is mainly the 
work of
students, the students are listed as first authors, and a student would 
present

the paper. A prize for the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the best
paper happens to be a student paper, that paper will then receive both 
prizes.



== Paper Submissions ==

We use EasyChair for the refereeing process. The link to the submission 
page is:


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

Authors of papers have the choice of having their contributions formally 
reviewed

either before or after the Symposium.


== Pre-symposium formal review ==

Papers to be formally reviewed before the symposium should be submitted 
before
an early deadline and receive their reviews and notification of 
acceptance for
both presentation and publication before the symposium. A paper that has 
been
rejected in this process may still be accepted for presentation at the 
symposium,

but will not be considered for the post-symposium formal review.


== Post-symposium formal review ==

Draft papers will receive minimal reviews and notification of acceptance 
for
presentation at the symposium. Authors of draft papers will be invited 
to submit
revised papers based on the feedback receive at 

[TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts

[Graham Hutton]

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

Dear all,

If you or one of your students recently completed a PhD in the
area of functional programming, please submit the dissertation
abstract for publication in JFP: simple process, no refereeing,
open access, deadline 25th May 2018.  Please share!

Best wishes,

Graham Hutton




CALL FOR PHD ABSTRACTS

Journal of Functional Programming

Deadline: 25th May 2018

http://tinyurl.com/jfp-phd-abstracts



PREAMBLE:

Many students complete PhDs in functional programming each
year.  As a service to the community, the Journal of Functional
Programming publishes the abstracts from PhD dissertations
completed during the previous year.

The abstracts are made freely available on the JFP website,
i.e. not behind any paywall.  They do not require any transfer
of copyright, merely a license from the author.  A dissertation
is eligible for inclusion if parts of it have or could have
appeared in JFP, that is, if it is in the general area of
functional programming.  The abstracts are not reviewed.

Please submit dissertation abstracts according to the instructions
below.  We welcome submissions from both the PhD student and PhD
advisor/supervisor although we encourage them to coordinate.



SUBMISSION:

Please submit the following information to Graham Hutton
 by 25th May 2018.

o Dissertation title: (including any subtitle)

o Student: (full name)

o Awarding institution: (full name and country)

o Date of PhD award: (month and year; depending on the
  institution, this may be the date of the viva, corrections
  being approved, graduation ceremony, or otherwise)

o Advisor/supervisor: (full names)

o Dissertation URL: (please provide a permanently accessible
  link to the dissertation if you have one, such as to an
  institutional repository or other public archive; links
  to personal web pages should be considered a last resort)

o Dissertation abstract: (plain text, maximum 1000 words;
  you may use \emph{...} for emphasis, but we prefer no
  other markup or formatting in the abstract, but do get
  in touch if this causes significant problems)

Please do not submit a copy of the dissertation itself, as
this is not required.  JFP reserves the right to decline
to publish abstracts that are not deemed appropriate.



PHD ABSTRACT EDITOR:

Graham Hutton
School of Computer Science
University of Nottingham
Nottingham NG8 1BB
United Kingdom






This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.