[Caml-list] FLOPS 2018 First Call for papers

FIRST Call For Papers

FLOPS 2018: 14th International Symposium on Functional and Logic Programming

9-11 May, 2018, Nagoya, Japan

http://www.sqlab.jp/FLOPS2018/

Writing down detailed computational steps is not the only way of
programming. The alternative, being used increasingly in practice, is
to start by writing down the desired properties of the result. The
computational steps are then (semi-)automatically derived from these
higher-level specifications. Examples of this declarative style
include functional and logic programming, program transformation and
re-writing, and extracting programs from proofs of their correctness.

FLOPS aims to bring together practitioners, researchers and
implementors of the declarative programming, to discuss mutually
interesting results and common problems: theoretical advances, their
implementations in language systems and tools, and applications of
these systems in practice. The scope includes all aspects of the
design, semantics, theory, applications, implementations, and teaching
of declarative programming. FLOPS specifically aims to
promote cross-fertilization between theory and practice and among
different styles of declarative programming.

Scope

FLOPS solicits original papers in all areas of the declarative
programming:
* functional, logic, functional-logic programming, re-writing
systems, formal methods and model checking, program transformations
and program refinements, developing programs with the help of theorem
provers or SAT/SMT solvers;
* foundations, language design, implementation issues (compilation
techniques, memory management, run-time systems), applications and
case studies.

FLOPS promotes cross-fertilization among different styles of
declarative programming. Therefore, submissions must be written to be
understandable by the wide audience of declarative programmers and
researchers. Submission of system descriptions and declarative pearls
are especially encouraged.

Submissions should fall into one of the following categories:
* Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
* System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.
* Declarative pearls: new and excellent declarative programs or
theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM SIGPLAN
Republication Policy.

Proceedings

The proceedings will be published by Springer International Publishing
in the Lecture Notes in Computer Science (LNCS) series, as a printed
volume as well as online in the digital library SpringerLink.

Post-proceedings: The authors of 4-7 best papers will be invited to
submit the extended version of their FLOPS paper to a special issue of
the journal Science of Computer Programming (SCP).


Important dates

13 November 2017 (any time zone): Abstract Submission
20 November 2017 (any time zone): Submission deadline
15 January 2018: Author notification
9-11 May 2018: FLOPS Symposium

Invited Talks

To be announced


Submission

Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. The
formatting has to conform to Springer's guidelines. Regular research
papers should be supported by proofs and/or experimental results. In
case of lack of space, this supporting information should be made
accessible otherwise (e.g., a link to a Web page, or an appendix).

Papers should be submitted electronically at
https://easychair.org/conferences/?conf=flops2018



Program Committee

Andreas Rossberg Google, Germany
Atsushi Ohori Tohoku University, Japan
Bruno C. D. S. Oliveira The University of Hong Kong, China
Carsten Fuhs Birkbeck, University of London, UK
Chung-chieh Shan Indiana University, USA
Didier Remy INRIA, France
Harald Sondergaard The University of Melbourne, Australia
Jacques Garrigue Nagoya University, Japan
Jan Midtgaard Technical University of Denmark, Denmark
Joachim Breitner University of Pennsylvania, USA
John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair)
Jorge A Navas SRI International, USA
Kazunori Ueda Waseda University, Japan
Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore
María Alpuente Universitat Politècnica de València, Spain
María Garcia De La Banda Monash University, Australia
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair)
Meng Wang University of Kent, UK
Michael Codish Ben-Gurion University of the Negev, Israel
Michael Leuschel University of Düsseldorf, Germany
Naoki Kobayashi University of Tokyo, Japan
Nikolaj Bjørner Microsoft Research, USA
Robert Glück University of Copenhagen, Denmark
Samir Genaim Universidad Complutense de Madrid, Spain
Siau Cheng Khoo National University of Singapore, Singapore


Organizers

Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair)
John Gallagher Roskilde University and IMDEA Software Institute (co-chair)
Makoto Tatsuta National Institute of Informatics, Japan (General Chair)
Koji Nakazawa Nagoya University, Japan (Local Chair)




--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] [iFM'17] Call for Participation for the International Conference on integrated Formal Methods 2017

********************************************************************************

                         iFM 2017 - CALL FOR PARTICIPATION

              13th International Conference on integrated Formal Methods

                          18-22 September 2017, Turin, Italy

                             http://ifm2017.di.unito.it/

********************************************************************************

We warmly invite you to take part in the 13th International Conference on 

integrated Formal Methods, which will take place at Turin University between 

Monday 18 and Friday 22 September, 2017.

Applying formal methods may involve the usage of different formalisms and 

different analysis techniques to validate a system, either because individual 

components are most amenable to one formalism or technique, because one is 

interested in different properties of the system, or simply to cope with the 

sheer complexity of the system. The iFM conference series seeks to further 

research into hybrid approaches to formal modeling and analysis; i.e., 

the combination of (formal and semi-formal) methods for system development, 

regarding both modeling and analysis. The conference covers all aspects from 

language design through verification and analysis techniques to tools and their 

integration into software engineering practice.

VENUE

=====

University of Turin, Italy

REGISTRATION

============

* Registration is now open at http: http://ifm2017.di.unito.it/registration.php

* Early registration deadline: Monday, July 24, 2017

RESEARCH PROGRAM

================

Preliminary program is available at http://ifm2017.di.unito.it/program.php

INVITED SPEAKERS

================

* Jane Hillston (University of Edinburgh, UK)

* André Platzer (Carnegie Mellon University, USA)

* Matrin Vechev (ETH Zurich, Switzerland)

DOCTORAL SYMPOSIUM

==================

The doctoral symposium offers an excellent opportunity to PhD students and young 

researchers to present their work in an international setting, and to get 

feedback from senior researchers in the field.

CO-LOCATED WORKSHOPS

====================

* FMICS-AVoCS: International Workshop on Formal Methods for Industrial Critical 

  Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)

* ALP4IoT: Architectures, Languages and Paradigms for IoT

* WAO: Actors and Active Objects

* FVAV: Formal Verification of Autonomous Vehicles

* PrePost: Pre- and post-deployment verification techniques

* V2CPS: Verification and Validation of Cyber-Physical Systems

UPDATES

=======

For up-to-date information, please check iFM's website and Twitter:

Website:      http://ifm2017.di.unito.it/

Twitter:      https://twitter.com/iFMconf, @iFMconf

—

Ingrid Chieh Yu

Associate professor
Dept. of Informatics, University of Oslo
Tel + 47 2284 5525, email ingridcy@ifi.uio.no

[Caml-list] GCAI 2017 in Miami - Call for Papers

The 3rd Global Conference on Artificial Intelligence (GCAI 2017)
Miami, USA, 18-22 October 2017
http://easychair.org/smart-program/GCAI2017/

(Abstracts: 30 June, Papers: 7 July)

The 3rd Global Conference on Artificial Intelligence (GCAI 2017) will be held
in Miami, USA, at the Courtyard Marriott hotel in Coconut Grove, 18-22 October
2017. The conference, which addresses all aspects of artificial intelligence,
is being organized by LRG (http://www.lrg.global) and the University of Miami.
The program chairs are Christoph Benzmueller, Christine Lisetti and Martin
Theobald. The conference chair is Geoff Sutcliffe.

SUBMISSION

Submissions in all areas of artifical intelligence are welcome. Suggested
topics include, but are not limited to:

Foundations
+ Knowledge representation
+ Cognitive modeling
+ Perception
+ Search
+ Reasoning and programming
+ Machine learning
+ Constraints and uncertainty

Architectures
+ Agents and distributed AI
+ Intelligent user interfaces
+ Natural language systems and linguistics
+ Information retrieval
+ Case-based reasoning
+ Affective computing
+ Robotics

Applications
+ Aviation and aerospace
+ Education and tutoring systems
+ Games and entertainment
+ Law and Machine Ethics
+ Mathematics and the Sciences
+ Medicine and healthcare
+ Management and manufacturing
+ World Wide Web
+ Security

Implications
+ Philosophical foundations
+ Social impact and ethics
+ Evaluation of AI systems
+ AI education


DATES

+ Abstract registration: 30 June, 2017
+ Submission: 7 July, 2017
+ Notification: 11 August, 2017
+ Final version: 25 August, 2017
+ Early registration deadline: tba
+ Workshops: 18 October 2017
+ Conference: 19-22 October, 2016

SUBMISSION and PUBLICATION

Submission is via EasyChair at
https://easychair.org/conferences/?conf=gcai2017
The proceedings will be published by EasyChair Publications in the EPiC Series
in Computing. The volume will be open access and authors will retain copyright.

INVITED SPEAKERS

+ Catherine Pelachaud, Telecom-ParisTech, France
+ Marijn Heule, University of Texas at Austin, USA
+ Guy van den Broeck, UCLA, USA


PROGRAMME COMMITTEE

Jose Julio Alferes (Universidade NOVA de Lisboa)
Elisabeth Andre (Augsburg University)
Serge Autexier (DFKI)
Peter Baumgartner (National ICT Australia)
Christoph Benzmüller (Freie Universität Berlin) - chair
Philippe Besnard (CNRS / IRIT)
Richard Booth (Cardiff University)
Krysia Broda (Imperial College)
Walter Carnielli (Centre for Logic, Epistemology and the History of Science - CLE)
Amedeo Cesta (CNR - National Research Council of Italy)
Gabriella Cortellessa (CNR-ISTC, National Research Council of Italy)
Mehdi Dastani (Utrecht University)
James Delgrande (Simon Fraser University)
Wolfgang Faber (University of Huddersfield)
Germain Forestier (Université de Haute Alsace)
Gerhard Friedrich (Alpen-Adria-Universität Klagenfurt)
Thom Fruehwirth (University of Ulm)
Daniel Garijo (UCLA)
Marco Gavanelli (University of Ferrara)
Gianluigi Greco (University of Calabria)
Ian Horswill (Northwestern University)
Katsumi Inoue (NII)
Mateja Jamnik (University of Cambridge)
Ernesto Jimenez-Ruiz (University of Oxford)
Tommi Junttila (Aalto University)
Panagiotis Kanellopoulos (University of Patras and CTI "Diophantus")
Gabriele Kern-Isberner (Technische Universitaet Dortmund)
Roman Kontchakov (Birkbeck, University of London)
Tim Landgraf (Freie Universität Berlin)
Jérôme Lang (CNRS, LAMSADE, Université Paris-Dauphine)
Gang Li (School of Information Technology, Deakin University)
Sanjiang Li (University of Technology Sydney)
Christine Lisetti (Florida International University) - chair
Xudong Luo (Guangxi Normal University)
Ines Lynce (INESC-ID/IST, Universidade de Lisboa)
Ana Gabriela Maguitman (Universidad Nacional del Sur)
George Metcalfe (University of Bern)
Angelo Montanari (University of Udine)
Till Mossakowski (University of Magdeburg)
Xavier Parent (University of Luxembourg)
Radu-Emil Precup (Politehnica University of Timisoara)
Dumitru Roman (SINTEF / University of Oslo)
Marco Roveri (FBK-irst)
Steven Schockaert (Cardiff University)
Magy Seif El-Nasr (Northeastern University)
Christine Solnon (LIRIS CNRS UMR 5205 / INSA Lyon)
Daria Stepanova (Max Planck Institute for Informatics)
Thomas Stützle (Université Libre de Bruxelles (ULB))
Martin Theobald (Université du Luxembourg) - chair
Jürgen Umbrich (Vienna University of Economy and Business (WU))
Maria Esther Vidal (Universidad Simon Bolivar, Dept. Computer Science)
Inon Zuckerman (Ariel University)

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] CICM 2017 - Call for Participation / Posters / Work in Progress

[Apologies for multiple copies]

Call for Participation

10th Conference on Intelligent Computer Mathematics
- CICM 2017 -
17-21 July 2017
University of Edinburgh, Scotland

http://www.cicm-conference.org/2017


*** Accepted Papers ***

The programme for CICM 2017, which will be held in Edinburgh is now
available:
http://www.cicm-conference.org/2017/cicm.php?event=&menu=talks

*** Work in Progress Submissions ***

We invite work-in-progress submissions, with the aim of providing a
forum for the presentation of original work that is not yet suitable
for submission as a full paper in a research track. This includes
emerging trends work. Although length is not limited, we recommend 5
pages.

Submit your paper by 23 June 2017 in the "Work in Progress" track via
Easychair: https://easychair.org/conferences/?conf=cicm2017

Please add a keyword for the intended topical track MKM, DML,
Calculemus or Systems and Projects. Author notification will be sent
by 27 June.

*** Posters Submissions ***

In addition, we solicit for posters that will not be peer reviewed,
but will be screened for relevance to the conference.

You can submit an abstract for a poster by 23 June 2017 via EasyChair
at: https://easychair.org/conferences/?conf=cicm2017.
Author notification will be sent by 27 June.

*** Invited Speakers ***

- Alan Bundy (University of Edinburgh)
- Przemysław Chojecki (Polish Academy of Sciences)
- Grant Olney Passmore (Aesthetic Integration)

**** Conference Tracks ***

* Calculemus (Chair: Matthew England, University of Coventry)
* Digital Mathematical Libraries (DML) (Chair: Olaf Teschke, Humboldt
University of Berlin)
* Mathematical Knowledge Management (MKM) (Chair: Florian Rabe, Jacobs
University Bremen)
* Systems & Projects (Chair: Osman Hasan, NUST Pakistan)
* Doctoral Programme (Chair: Adnan Rashid, NUST Pakistan)

*** Co-located Workshops ***

* 12th Workshop on Mathematical User Interface (MathUI 2017)
http://www.cicm-conference.org/2017/cicm.php?event=mathui

* 28th OpenMath Workshop
http://www.cicm-conference.org/2017/cicm.php?event=openmath

*** Registration ***

Early Registration: Until 30 June 2017

For more details, see:
http://www.cicm-conference.org/2017/cicm.php?event=&menu=registration

*** Local Information ***

Information about the venue, accommodation, travel, visa requirements,
etc. can be found at: http://dream.inf.ed.ac.uk/events/cicm2017

*** CICM 2017 Organisers ***

* General Program Chair: Herman Geuvers (Radboud University)
* Workshops Chair: Petros Papapanagiotou (University of Edinburgh)
* Publicity Chair: Serge Autexier (DFKI Bremen)
* Local arrangements: Jacques Fleuriot and Suzanne Perry (University
of Edinburgh)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] GPCE 2017 - 2nd Call for Papers (16th International Conference on Generative Programming: Concepts & Experiences)

-------------------------------------------------------------------------- 

CALL FOR PAPERS

16th International Conference on 

Generative Programming: Concepts & Experiences (GPCE 2017)

October 23-24, 2017

Vancouver, Canada

(co-located with SPLASH 2017)

http://www.gpce.org/

http://twitter.com/GPCECONF

http://www.facebook.com/GPCEConference

IMPORTANT DATES

* Submission of abstracts: June 25, 2017

* Submission of papers:    July 2, 2017

* Paper notification:      August 17, 2017

Submission site: https://gpce17.hotcrp.com/

--------------------------------------------------------------------------

SCOPE

GPCE is a programming languages conference focusing on techniques and 

tools for code generation, language implementation, and product-line 

development. GPCE seeks conceptual, theoretical, empirical, and technical

contributions to its topics of interest, which include but are not 

limited to:

* program transformation, staging, macro systems, preprocessors, program

  synthesis, and code-recommendation systems,

* domain-specific languages, language embedding, language design, and 

  language workbenches,

* feature-oriented programming, domain engineering, and feature 

  interactions,

* applications and properties of code generation, language 

  implementation, and product-line development.

Authors are welcome to check with the PC chair whether their planned 

papers are in scope.

PAPER SELECTION

The GPCE program committee will evaluate each submission according to the

following selection citeria:

* Novelty. Papers must present new ideas or evidence and place them 

  appropriately within the context established by previous research in 

  the field.

* Significance. The results in the paper must have the potential to add 

  to the state of the art or practice in significant ways.

* Evidence. The paper must present evidence supporting its claims. 

  Examples of evidence include formalizations and proofs, implemented 

  systems, experimental results, statistical analyses, and case studies.

* Clarity. The paper must present its contributions and results clearly.

PAPER SUBMISSION

GPCE solicits three kinds of submissions. All submissions must use the 

ACM SIGPLAN Conference Format "acmart", sub-format "sigplan" and 10 point 

font.

* Full Papers reporting original and unpublished results of research that

contribute to scientific knowledge in any GPCE topic listed above. Full 

paper submissions must not exceed 12 pages excluding bibliography.

* Short Papers presenting unconventional ideas or visions about any GPCE

topic listed above. Short papers do not always require complete results 

as in the case of a full paper. In this way, authors can introduce new 

ideas to the community and get early feedback. Please note that short 

papers are not intended to be position statements. Short papers are 

included in the proceedings and will be presented at the conference. 

Short paper submissions must not exceed 6 pages excluding bibliography.

* Tool Demonstrations presenting tools for any GPCE topic listed above. 

Tools must be available for use and must not be purely commercial. 

Submissions must provide a tool description not exceeding 6 pages 

excluding bibliography and a separate demonstration outline including 

screenshots also not exceeding 6 pages. Tool demonstrations must have 

the keywords "Tool Demo" or "Tool Demonstration" in their title. If the 

submission is accepted, the tool description will be published in the 

proceedings. The demonstration outline will only be used by the program 

committee for evaluating the submission.

For additional information, clarification, or answers to questions 

please contact the program chair.

ORGANIZATION

Chairs (chairs@gpce.org)

General Chair: Matthew Flatt (University of Utah, US)

Program Chair: Sebastian Erdweg (TU Delft, Netherlands)

Publicity Chair: Cyrus Omar (Carnegie Mellon University, US)

Program Committee

Nada Amin (EPFL, Switzerland) 

Casper Bach Poulsen (TU Delft, Netherlands)

Sandrine Blazy (University of Rennes 1, France)

Eugene Burmako (Twitter, US)

Shigeru Chiba (University of Tokyo, Japan)

Camil Demetrescu (Sapienza University Rome, Italy)

Philipp Haller (KTH Royal Institute of Technology, Sweden)

Matthew Hammer (University of Colorado, Boulder, US)

Jaakko Järvi (University of Bergen, Norway)

Lennart Kats (Amazon Web Services)

Sarah Nadi (University of Alberta, Canada)

Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)

Cyrus Omar (Carnegie Mellon University, US)

Markus Püschel (ETH Zurich, Switzerland)

Márcio Ribeiro (Federal University of Alagoas (UFAL), Brazil)

Tiark Rompf (Purdue University, US)

Ina Schaefer (Technische Universität Braunschweig, Germany)

Sandro Schulze (TU Hamburg, Germany)

Tony Sloane (Macquarie University, Australia)

Vincent St-Amour (Northwestern University, US)

Thomas Thüm (TU Braunschweig, Germany)

Markus Völter (itemis/independent)

Philip Wadler (University of Edinburgh, UK)

Eric Walkingshaw (Oregon State University, US)

Adam Welc (Huawei, US)

Tijs van der Storm (CWI, Netherlands)

[Caml-list] Call for participation: Trends in Functional Programming in Education 2015 (in association with TFP 2017)

Trends in Functional Programming in Education, 2017
Call for participation

https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/

Programme timings

https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Programme.html

The sixth workshop on Trends in Functional Programming in Education, 2017, which is to be held on the Canterbury campus of the University of Kent on Thursday, 22 June. Registration is included with that for TFP 2017, 19–21 June.

Morning: functional programming and online learning

A particular topic of this year's TFPIE will be MOOCs and other online learning and we've managed to gather people from most of the current MOOCs in functional programming to come to an informal symposium.

Keynote: Heather Miller of EFPL and Northeastern University will begin the symposium by giving a keynote on this topic. Heather works on and around the Scala programming language and is Executive Director of the Scala Center.

This will be followed by a presentation from Yann Régis-Gianas and Benjamin Canou about the MOOC on OCaml, and a round table discussion including Heather, the OCaml MOOC team, Jeremy Singer (Haskell), and Simon Thompson (Erlang).

The morning will conclude with two regular presentations:

- Stephen Adams. Teaching Erlang through the Internet: An Experience Report
- Jeremy Singer and Blair Archibald. Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers

Afternoon: TFPIE regular programme

The afternoon will begin with a best lecture:

Colin Runciman (York) on the topic of Purely Functional Queues

The meeting will then have four regular presentations:

- Marco T. Morazan. Vector Programming Using Structural Recursion
- Curtis d'Alves, Tanya Bouman, Christopher Schankula, Jenell Hogg, Levin Noronha, Emily Horsman, Rumsha Siddiqui and Christopher K. Anand. Using Elm to Introduce Algebraic Thinking to K-8 Students
- Hans-Wolfgang Loidl, Phil Barker and Sanusi Usman. Enhancing the Learning Experience on Programming-focused Courses via Electronic Assessment Tools (Extended Abstract)
- Juan Carlos Saenz-Carrasco and Mike Stannett. Overcoming Non Distributivity: A Case Study in Functional Programming

The meeting will conclude with a lightning talks session for attendees and others to give short talks about work in progress or projects that they would like to get started, followed by a plenary discussion on future directions for the community and the workshop.


Programme committee

Dr Laura Castro, University of A Coruña
Prof Ralf Lämmel, University of Koblenz-Landau
Dr Elena Machkasova, University of Minnesota, Morris
Prof Michel Mauny, Inria, Paris
Dr Jeremy Singer, University of Glasgow
Prof Simon Thompson, University of Kent (chair)





Simon Thompson | Professor of Logic and Computation
School of Computing | University of Kent | Canterbury, CT2 7NF, UK
s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] [CFP] Call for Papers: UNIF 2017 -- FSCD workshop

Call for Papers: UNIF 2017 -- FSCD workshop

Website: https://unif-workshop.github.io/UNIF2017/

The 31st International Workshop on Unification is the 31st event in a
series of international meetings devoted to unification theory and its
applications.  Unification is concerned with the problem of making two
terms equal, finding solutions for equations, or making formulas
equivalent.  It is a fundamental process used in a number of fields of
computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and
new colleagues, to present recent (even unfinished) work, and to
discuss new ideas and trends.  It is also a good opportunity for young
researchers and scientists working in related areas to get an overview
of the state of the art in unification theory.  The workshop will be
hosted by the 2nd International Conference on Formal Structures for
Computation and Deduction (FSCD, Oxford, September 2017).

** Submission instructions **

Following the tradition of UNIF, we call for submissions of abstracts
(5 pages) in EasyChair style, to be submitted electronically as PDF
files through the EasyChair submission site:

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

Abstracts will be evaluated by the Programme Committee (if necessary
with support from external reviewers) regarding their significance for
the workshop. We will allow work presented/submitted in/to another
conference.

Accepted abstracts will be presented at the workshop and included in
the informal proceedings of the workshop, available in printed form at
the workshop and in electronic form from the UNIF homepage:

http://www.pps.jussieu.fr/~treinen/unif/

Based on the number and quality of submissions we will decide whether
to organize a special journal issue.

** Important Dates **

Paper submission: June 21st (11pm59 CET)

Notification of acceptance: July 21st

Workshop: September 3rd

** Program Committee **

Franz Baader (TU Dresden)
Iliano Cervesato (CMU)
Santiago Escobar (TU Valencia)
Maribel Fernández (KCL)
Silvio Ghilardi (Università degli Studi di Milano)
Artur Jeż (University of Wrocław)
Konstantin Korovin (Manchester University)
Temur Kutsia (Johannes Kepler University Linz)
Jordi Levy (IIIA - CSIC)
Andrew Marshall (University of Mary Washington)
Catherine Meadows (NRL)
Barbara Morawska (TU Dresden)
Paliath Narendran (University at Albany-SUNY)
Jan Otop (University of Wrocław)
Christophe Ringeissen (LORIA-INRIA)
Manfred Schmidt-Schauss (Goethe-University Frankfurt)
Mateu Villaret (Universitat de Girona)

** Organizers **

Adrià Gascón (Warwick University/Alan Turing Institute)
agascon@turing.ac.uk

Chris Lynch (Clarkson University)
clynch@clarkson.edu

[Caml-list] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury

-----------------------------
C A L L F O R P A R T I C I P A T I O N
-----------------------------

======== TFP 2017 ===========

18th Symposium on Trends in Functional Programming
19-21 June, 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/events/tfp17/index.html


========= TFPIE 2017 ========

Co-located with TFP, and included in the registration fee, is
Workshop on Trends in Functional Programming in Education
22 June 2017
University of Kent, Canterbury
https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/


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). Authors of draft papers will be invited to submit revised
papers based on the feedback receive at the symposium. A
post-symposium refereeing process will then select a subset of these
articles for formal publication.

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

The TFP symposium is the heir of the successful series of Scottish
Functional Programming Workshops. Previous TFP symposia were held in
* Edinburgh (Scotland) in 2003;
* Munich (Germany) in 2004;
* Tallinn (Estonia) in 2005;
* Nottingham (UK) in 2006;
* New York (USA) in 2007;
* Nijmegen (The Netherlands) in 2008;
* Komarno (Slovakia) in 2009;
* Oklahoma (USA) in 2010;
* Madrid (Spain) in 2011;
* St. Andrews (UK) in 2012;
* Provo (Utah, USA) in 2013;
* Soesterberg (The Netherlands) in 2014;
* Inria Sophia-Antipolis (France) in 2015;
* and Maryland (USA) in 2016.
For further general information about TFP please see the TFP homepage.
(http://www.tifp.org/).


== 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 2017 program chairs, Scott Owens and Meng Wang.


== 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 ==

Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages
in length) or full papers (20 pages). The submission must clearly
indicate which category it belongs to: research, position, project,
evaluation, or overview paper. It should also indicate which authors
are research students, and whether the main author(s) are students. A
draft paper for which ALL authors are students will receive additional
feedback by one of the PC members shortly after the symposium has
taken place.

We use EasyChair for the refereeing process. Papers must be submitted at:

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

Papers must be written in English, and written using the LNCS
style. For more information about formatting please consult the
Springer LNCS web site:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

== INVITED SPEAKERS ==
Conor McBride University of Strathclyde (UK)
Cătălin Hriţcu INRIA Paris (FR)
Heather Miller Northeastern University (USA) and EPFL (CH)

== IMPORTANT DATES ==

Submission of draft papers: 5 May, 2017
Notification: 12 May, 2017
Registration: 11 June, 2017
TFP Symposium: 19-21 June, 2017
Student papers feedback: 29 June, 2017
Submission for formal review: 2 August, 2017
Notification of acceptance: 3 November, 2017
Camera ready paper: 2 December, 2017


== PROGRAM COMMITTEE ==

Co-Chairs
Meng Wang University of Kent (UK)
Scott Owens University of Kent (UK)

PC
Jeremy Yallop University of Cambridge (UK)
Nicolas Wu University of Bristol (UK)
Laura Castro University of A Coruña (ES)
Gabriel Scherer Northeastern University (US)
Edwin Brady University of St Andrews (UK)
Janis Voigtländer Radboud University Nijmegen (NL)
Peter Achten Radboud University Nijmegen (NL)
Tom Schrijvers KU Leuven (BE)
Matthew Fluet Rochester Institute of Technology (US)
Mauro Jaskelioff CIFASIS/Universidad Nacional de Rosario (AG)
Patricia Johann Appalachian State University (US)
Bruno Oliveira The University of Hong Kong (HK)
Rita Loogen Philipps-Universität Marburg (GE)
David Van Horn University of Marylan (US)
Soichiro Hidaka Hosei University (JP)
Michał Pałka Chalmers University of Technology (SE)
Sandrine Blazy University of Rennes 1 - IRISA (FR)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs