[Caml-list] Off the Beaten Track 2017: Call for Participation

# Call for Participation: Off the Beaten Track 2017

http://conf.researchr.org/track/POPL-2017/OBT-2017

21st January 2017

(co-located with POPL 2017, Paris, France)

## Registration

http://popl17.sigplan.org/attending/registration

** Early registration deadline: Saturday 17th Dec 2016 **

## Invited Speakers

- Moa Johansson, Chalmers, Sweden
- Alan Blackwell, Cambridge University, UK

## Background

Programming language researchers have the principles, tools,
algorithms and abstractions to solve all kinds of problems, in all
areas of computer science. However, identifying and evaluating new
problems, particularly those that lie outside the typical core PL
problems we all know and love, can be a significant challenge. This
workshop's goal is to identify and discuss problems that do not often
show up in our top conferences, but where programming language
research can make a substantial impact. We hope fora like this will
increase the diversity of problems that are studied by PL researchers
and thus increase our community's impact on the world.

While many workshops associated with POPL have become more like
mini-conferences themselves, this is an anti-goal for OBT. The
workshop will be informal and structured to encourage discussion. We
are at least as interested in problems as in solutions.

## Programme

09:00-10:00 Invited talk: Reasoning about Functional Programs:
Exploring, Testing and Inductive Proofs.
Moa Johanssen

10:00-10:30 coffee break

10:30-10:55 Can we machine-learn programming language semantics?
Dan Ghica, Khulood Alyahya and Victor Patentasu
10:55-11:20 How Far Apart Should Those Programs Be?
Ugo Dal Lago
11:20-11:45 Programming Quantum Annealers
George Stelle and Scott Pakin
11:45-12:10 Understanding the POSIX Shell as a Programming
Language
Michael Greenberg

12:10-14:00 lunch

14:00-15:00 Invited Talk: Varieties of Programming Experience
Alan Blackwell
15:00-15:25 Bootstrapping the next generation of mathematical social
machines
Ursula Martin, Alison Pease and Joe Corneli

15:30-16:00 coffee break

16:00-16:25 Designing extensible, domain-specific languages for
mathematical diagrams
Katherine Ye, Keenan Crane, Jonathan Aldrich and Joshua
Sunshine
16:25-16:50 Laziness Boxes You In
Jose Manuel Calderon Trilla and Stephen Magill
16:50-17:15 Programming with Epistemic Logic
Markus Eger and Chris Martens
17:15-17:40 Preventing False Discoveries in Adaptive Data
Analysis: a Programming Language approach
Marco Gaboardi
17:40-18:05 Running Incomplete Programs
Ian Voysey, Cyrus Omar and Matthew Hammer

--
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] LPAR-21 in Botswana - CFP

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

The 21st International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-21

Cresta Riley's Hotel, Maun, Botswana
http://www.LPAR-21.info

CALL FOR PAPERS

The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 21st LPAR
will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th
May 2017. The proceedings will be published by EasyChair Publications, in the
EPiC Series in Computing. The volume will be open access and the authors will
retain copyright.

==Important Dates

Abstract Submission: 9 January 2017
Paper Submission: 16 January 2017
Notification: 1 March 2017
Camera ready: 1 April 2017
Workshops: 7 May 2017
Conference: 8-12 May 2017

==Topics

New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.

Topics of interest include, but are not limited to:

+ Abduction and interpolation methods
+ Answer set programming
+ Automated reasoning
+ Constraint programming
+ Contextual reasoning
+ Decision procedures
+ Description logics
+ Foundations of security
+ Hardware verification
+ Implementations of logic
+ Inconsistency- and exception tolerant reasoning
+ Interactive theorem proving
+ Knowledge representation and reasoning
+ Logic and computational complexity
+ Logic and databases
+ Logic and games
+ Logic and machine learning
+ Logic and the web
+ Logic and types
+ Logic in artificial intelligence
+ Logic of distributed systems
+ Logic of knowledge and belief
+ Logic programming
+ Logical aspects of concurrency
+ Logical foundations of programming
+ Modal and temporal logics
+ Model checking
+ Non-monotonic reasoning
+ Ontologies and large knowledge bases
+ Paraconsistent logics
+ Probabilistic and fuzzy reasoning
+ Program analysis
+ Rewriting
+ Satisfiability checking
+ Satisfiability modulo theories
+ Software verification
+ Specification using logic
+ Unification theory

==Organization

Program Chairs:
David Sands (Chalmers University of Technology, Sweden)
Thomas Eiter (Technische Universitaet Wien, Austria)
Conference Chair:
Geoff Sutcliffe (University of Miami, USA)

==Submission Details

Submissions of two kinds are welcome:

- Regular papers that describe solid new research results. They can be
up to 15 pages long in EasyChair style, including figures but excluding
references and appendices (that reviewers are not required to read).

- Experimental and tool papers that describe implementations of
systems, report experiments with implemented systems, or compare
implemented systems. They can be up to 8 pages long in the EasyChair
style.

Both types of papers must be electronically submitted in PDF via EasyChair:

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

Authors must register a title and an abstract by the abstract submission
deadline.

==Participation

Authors of accepted papers are required to ensure that at least one of
them will be present at the conference.

For more details about the venue and organization, see the conference
webpage http://www.LPAR-21.info

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

--
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] Partial Evaluation & Program Manipulation (PEPM'17): Call for Participation

CALL FOR PARTICIPATION
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)

http://conf.researchr.org/home/PEPM-2017

Paris, France, January 16th - 17th, 2017
(co-located with POPL 2017)

Registration
------------

http://popl17.sigplan.org/attending/registration

Early registration deadline: Saturday 17th Dec 2016

Programme
---------

Monday 16th January

09:00-10:00: Keynote

Compiling Untyped Lambda Calculus to Lower-Level Code by Game
Semantics and Partial Evaluation
Neil D. Jones (with Daniil Berezun)

10:30-12:00: Programming languages

Lightweight Soundness for Towers of Language Extensions
Alejandro Serrano, Jurriaan Hage

Detecting code clones with gaps by function applications
Tsubasa Matsushita, Isao Sasano

PEG Parsing in Less Space Using Progressive Tabling and Dynamic Analysis
Fritz Henglein, Ulrik Terp Rasmussen

14:00-15:30: Tutorial and Poster Session

Idris, Inside-Out: A Tutorial on Extending Idris in Idris
David Christiansen

Language-integrated Query with Ordering, Grouping and Outer Joins (poster)
Tatsuya Katsushima, Oleg Kiselyov

16:00-17:00: Transformation (part I)

Verification of Code Generators via Higher-Order Model Checking
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi

Interactive data representation migration: Exploiting program
dependence to aid program transformation
Krishna Narasimhan, Julia Lawall, Christoph Reichenbach

Tue 17th January

09:00-10:00: Tutorial

Reversible computing from a programming language perspective
Robert Glück

10:30-12:00: Types

Cost versus Precision for Approximate Typing for Python
Levin Fritz, Jurriaan Hage

Refining types using type guards in TypeScript
Ivo Gabe de Wolff, Jurriaan Hage

Predicting Resource Consumption of Higher-Order Workflows
Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer

14:00-15:30: Tutorial

Practical Partial Evaluation for Language Implementation with Graal & Truffle
Gilles Duboscq

16:00-17:00: Transformation (part II)

Functional Parallels of Sequential Imperatives
Tiark Rompf, Kevin J. Brown

A Functional Reformulation of UnCAL Graph-Transformations: Or,
Graph Transformation as Graph Reduction
Kazutaka Matsuda, Kazuyuki Asada

--
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] CoqPL 2017: Call for Participation [registration is open]

The 3rd International Workshop on Coq for Programming Languages
Associated to POPL 2017

The CoqPL workshop provides an opportunity for programming languages
researchers to meet and interact with one another and members from the
core Coq development team.

Important dates:

- early registration deadline: December 17, 2016
- workshop: January 21, 2017

Important links:

- Program URL:
http://conf.researchr.org/track/CoqPL-2017/main#program

- Registration URL:
http://popl17.sigplan.org/attending/registration

--
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] Call for Participation: BOB 2017 (February 24, Berlin)

OCaml developers very welcome at BOB!

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

BOB 2017
Conference

"What happens if we simply use what's best?"
February 24, 2017
Berlin
http://bobkonf.de/2017/
Program:
http://bobkonf.de/2017/program.html
Registration:
http://bobkonf.de/2017/registration.html

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

BOB is the conference for developers, architects and decision-makers
to explore technologies beyond the mainstream in software development,
and to find the best tools available to software developers today.
Our goal is for all participants of BOB to return home with new
insights that enable them to improve their own software development
experiences.

The program features 14 talks and 8 tutorials on current topics:

http://bobkonf.de/2017/program.html

The subject range of talks includes functional programming, advanced
front-end development, and sophisticated uses of types.

The tutorials feature introductions to Haskell, Swift, PureScript,
React, QuickCheck, Agda, CRDTs and Servant.

John Hughes will give the keynote talk.

Registration is open online:

http://bobkonf.de/2017/registration.html

NOTE: The early-bird rates expire on January 23, 2017!

BOB cooperates with the :clojured conference on the following day.
There is a registration discount available for participants of both events.

http://www.clojured.de/



--
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 2017: final Call for Workshops Proposals

Final Call for Workshops Proposals

The 13th International Conference on integrated Formal Methods (iFM 2017)

Turin, Italy

September 18th - 22nd, 2017

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

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

Important Dates

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

- Workshop proposals due:  *Monday, 19 December, 2016*

- Workshop proposals notification:  Monday, January 16, 2017 

- Workshops:  September 18-19, 2017

About iFM

=========

iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.

The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.

The workshops take place on September 18-19, 2017.

Proposal and Submission Guidelines

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

Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to the iFM workshop chairs, Wolfgang Ahrendt <ahrendt@chalmers.se> and Michael Lienhardt <michael.lienhardt@di.unito.it>.

Proposals should include:

 - The name, the duration (1 or 2 days) and the preferred date of the proposed workshop

 - A short description of the workshop.

 - If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance.

 - The publicity strategy that will be used by the workshop organizers to promote the workshop.

 - The participant solicitation and selection process.

 - The target audience and expected number of participants.

 - Approximate budget proposal (see section Budget below for details).

 - The equipment and any other resource necessary for the organization of the workshop.

 - The name and short CV of the organizer(s).

 - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).

Organizers Responsibilities

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

The scientific responsibility of organizing a workshop is on the workshop organizers. In particular, they are responsible for the following items:

 - A workshop description (200 words) for inclusion in the iFM site.

 - Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages.

 - Workshop proceedings, if any. If there is sufficient interest, the iFM 2017 workshop organizers may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the workshops of iFM 2017.

 - Workshop publicity (possibly including call for papers, submission and review process).

 - Scheduling workshop activities in collaboration with the iFM workshop chairs.

Budget

======

The iFM organization will provide registration and organizational support for the workshops (including linking from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid by all participants, including organizers and invited guests.

To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l. will require the workshop fees as requested by each workshop organizer.

Evaluation Process

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

The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples:

iFM 2016: http://en.ru.is/ifm/calls/

iFM 2014: http://ifm2014.cs.unibo.it/workshops.html

iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php

iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html

iFM 2010: http://ifm2010.loria.fr/satellite.html

iFM 2009: http://www.formal-methods.de/ifm09/workshops.html

Venue

=====

iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cavallerizza Reale is set in the center of Turin, close to many historical buildings of the city, like the Mole Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo Carignano and the main building of the University.

Further Information and Enquiries

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

You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt <ahrendt@chalmers.se> and Michael Lienhardt <michael.lienhardt@di.unito.it>

—

Ingrid Chieh Yu

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