[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

[Caml-list] LPAR-21 in Botswana - Call for Papeprs

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

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: 1 January 2017
Paper Submission: 15 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] 2nd Call for papers - 2017

<Programming> 2017 : The Art, Science, and Engineering of Programming

April 3-6, 2017, Brussels, Belgium
http://2017.programming-conference.org

We started a new conference and journal focused on everything to do with
programming, including the experience of programming. We call the
conference <Programming> for short. Paper submissions and publications
are handled by the journal. Accepted papers must be presented at the
conference.

********************************************************
CALL FOR PAPERS
********************************************************

<Programming> 2017 accept scholarly papers including essays that advance
the knowledge of programming. Almost anything about programming is in
scope, but in each case there should be a clear relevance to the act and
experience of programming.

**PAPER SUBMISSIONS**: December 1, 2016

We accept submissions covering several areas of expertise. These areas
include, but are not limited to:

• General-purpose programming
• Distributed systems programming
• Parallel and multi-core programming
• Graphics and GPU programming
• Security programming
• User interface programming
• Database programming
• Visual and live programming
• Data mining and machine learning programming
• Interpreters, virtual machines and compilers
• Modularity and separation of concerns
• Model-based development
• Metaprogramming and reflection
• Testing and debugging
• Program verification
• Programming education
• Programming environments
• Social coding

********************************************************
IMPORTANT DATES
********************************************************

• Research paper submissions: December 1, 2016
• Research paper first notifications: February 1, 2017
• Research paper final notifications: March 7, 2017

• Workshop proposals: November 15, 2016
• European Lisp Symposium submissions: January 30, 2017 **new**
• Salon des Refusés workshop submissions: February 1, 2017 **new**
• LASSY 2017 workshop submissions: January 13, 2017 **new**
• PX 2017 workshop submissions: February 4, 2017
• Poster abstract submissions: January 16, 2017

********************************************************
ORGANIZATION
********************************************************

General Chair:
Theo D'Hondt, Vrije Universiteit Brussel

Local Organizing Chair:
Wolfgang De Meuter, Vrije Universiteit Brussel

Program Chair:
Crista V. Lopes, University of California, Irvine

Organizing Committee:
Jörg Kienzle (workshops), McGill University
Hidehiko Masuhara (demos), Tokyo Institute of Technology
Ralf Lämmel (contest), University of Koblenz-Landau
Jennifer Sartor (posters), Vrije Universiteit Brussel
Tobias Pape (web technology), HPI - University of Potsdam
Tim Molderez (publicity), Vrije Universiteit Brussel

Program Committee:
Andrew Black, Portland State University
Shigeru Chiba, University of Tokyo
Yvonne Coady, University of Victoria
Robby Findler, Northwestern University
Lidia Fuentes, Universidad de Málaga
Richard Gabriel, IBM Research
Elisa Gonzalez Boix, Vrije Universiteit Brussel
Jeff Gray, University of Alabama
Robert Hirschfeld, HPI - University of Potsdam
Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro
Jörg Kienzle, McGill University
Hidehiko Masuhara, Tokyo Institute of Technology
Sasa Misailovic, University of Illinois at Urbana-Champaign
Guido Salvaneschi, Technische Universität Darmstadt
Mario Südholt, Ecole des mines de Nantes
Jurgen Vinju, Centrum Wiskunde & Informatica
Tijs van der Storm, Centrum Wiskunde & Informatica

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

<Programming> 2017 is kindly supported by:
ACM in-cooperation
ACM SIGPLAN in-cooperation
ACM SIGSOFT in-cooperation
AOSA
Vrije Universiteit Brussel

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

For more information, visit http://2017.programming-conference.org


--
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] CADE-26 Call for Workshops, Tutorials, System Competition, and Papers

The 26th International Conference on Automated Deduction (CADE-26)
Gothenburg, Sweden

6-11 August 2017

http://www.cade-26.info

CALL FOR PAPERS

CADE is the major international forum at which research on all aspects
of automated deduction is presented. High-quality submissions on the
general topic of automated deduction, including foundations,
applications, implementations, theoretical results, practical
experiences and user studies are solicited.

Key dates:
Abstract deadline: 11 February 2017
Submission deadline: 18 February 2017

* Logics of interest include propositional, first-order, equational,
higher-order, classical, description, modal, temporal, many-valued,
constructive, other non-classical, meta-logics, logical frameworks, type
theory, set theory, as well as any combination thereof.

* Paradigms of interest include theorem proving, model building, constraint
solving, computer algebra, model checking, proof checking, and their
integration.

* Methods of interest include resolution, superposition, completion,
saturation, term rewriting, decision procedures, model elimination,
connection methods, tableaux, sequent calculi, natural deduction, as
well as their supporting algorithms and data structures, including
matching, unification, orderings, induction, indexing techniques, proof
presentation and explanation, proof planning.

* Applications of interest include program analysis, verification and
synthesis of software and hardware, formal methods, computational logic,
computer mathematics, natural language processing, computational
linguistics, knowledge representation, ontology reasoning, deductive
databases, declarative programming, robotics, planning, and other areas
of artificial intelligence.

Submissions can be made in two categories: regular papers and system
descriptions. The page limit in Springer LNCS style is 15 pages
excluding references for regular papers and 10 pages excluding
references for system descriptions. Submissions must be unpublished
and not submitted for publication elsewhere. They will be judged on
relevance, originality, significance, correctness, and
readability. System descriptions must contain a link to a working
system and will also be judged on usefulness and design. Proofs of
theoretical results that do not fit in the page limit, executables of
systems, and input data of experiments should be made available, via a
reference to a website or in an appendix of the paper. For papers
containing experimental evaluations, all data needed to rerun the
experiments must be available. Reviewers will be encouraged to
consider this additional material, but submissions must be
self-contained within the respective page limit; considering the
additional material should not be necessary to assess the merits of a
submission. The review process will include a feedback/rebuttal period
where authors will have the option to respond to reviewer
comments. The PC chairs may solicit further reviews after the rebuttal
period.

The proceedings of the conference will be published in the Springer
LNCS/LNAI series. Formatting instructions and the LNCS style files can
be obtained at

http://www.springer.de/comp/lncs/authors.html

At every CADE conference the Program Committee selects one of the
accepted papers to receive the CADE Best Paper Award. The award
recognizes a paper that the Program Committee collegially evaluates as
the best in terms of originality and significance, having substantial
confidence in its correctness. Overall technical quality,
completeness, scholarly accuracy, and readability are also
considered. Characteristics associated with a best paper include, for
instance, introduction of a strong new technique or approach, solution
of a long-standing open problem, introduction and solution of an
interesting and important new problem, highly innovative application
of known ideas or existing techniques, and presentation of a new
system of outstanding power. Under exceptional circumstances, the
Program Committee may give two awards (ex aequo) or give no award.

IMPORTANT DATES
Abstract deadline: 11 February 2017
Submission deadline: 18 February 2017
Rebuttal phase: 8 April 2017
Notification: 22 April 2017
Final version: 27 May 2017

SUBMISSION INSTRUCTIONS

Papers should be submitted via

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

CADE-26 ORGANIZERS

Conference Chairs:
Wolfgang Ahrendt Chalmers University of Technology
Moa Johansson Chalmers University of Technology

Program Committee Chair:
Leonardo de Moura Microsoft Research

Workshop, Tutorial, and Competition Chair:
Philipp Ruemmer Uppsala University

Publicity Chair:
Magnus Myreen Chalmers University of Technology

Program Committee:

Clark Barrett Stanford University
Christoph Benzmueller Freie Universitaet Berlin
Jasmin Christian Blanchette Inria Nancy & LORIA
Nikolaj Bjorner Microsoft Research
Maria Paola Bonacina Universita degli Studi di Verona
Leonardo de Moura Microsoft Research
Hans de Nivelle University of Wroclaw
Stephanie Delaune CNRS, IRISA
Gilles Dowek Inria & ENS Paris-Saclay
Amy Felty University of Ottawa
Silvio Ghilardi Universita degli Studi di Milano
Reiner Haehnle Technical University of Darmstadt
Marijn Heule The University of Texas at Austin
Moa Johansson Chalmers University of Technology
Dejan Jovanovic SRI International
Deepak Kapur University of New Mexico
Konstantin Korovin The Manchester University
Laura Kovacs Vienna University of Technology
Christopher Lynch Clarkson University
Assia Mahboubi INRIA
Aart Middeldorp University of Innsbruck
Dale Miller INRIA and LIX/Ecole Polytechnique
Albert Oliveras Technical University of Catalonia
Lawrence Paulson University of Cambridge
Ruzica Piskac Yale University
Philipp Ruemmer Uppsala University
Renate Schmidt The University of Manchester
Stephan Schulz DHBW Stuttgart
Roberto Sebastiani University of Trento
Viorica Sofronie-Stokkermans University Koblenz-Landau
Geoff Sutcliffe University of Miami
Cesare Tinelli The University of Iowa
Ashish Tiwari SRI International
Andrei Voronkov The University of Manchester
Christoph Weidenbach Max Planck Institute for Informatics
Freek Wiedijk Radboud University Nijmegen



CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS

The 26th International Conference on Automated Deduction (CADE-26)
Gothenburg, Sweden

6-11 August 2017

http://www.cade-26.info

CALL FOR WORKSHOPS

Workshop proposals for CADE-26 are solicited. The workshops will take
place on August 6-7 2017, before the main conference. Both
well-established workshops and newer ones are encouraged. Similarly,
proposals for workshops with a tight focus on a core automated
reasoning specialization, as well as those with a broader, more
applied focus, are very welcome.

Please provide the following information in your application document:
+ Workshop title.
+ Names and affiliations of organizers.
+ Proposed workshop duration (from half a day to two days) and preferred
day(s).
+ Brief description of the goals and the scope of the workshop. Why is the
workshop relevant for CADE?
+ Is the workshop new or has it met previously? In the latter case
information on previous meetings should be given (e.g., links to the
program, number of submissions, number of participants).
+ What are the plans for publication?

CALL FOR TUTORIALS

Tutorial proposals for CADE-26 are solicited. Tutorials are expected
to be either half-day or full-day events, with a theoretical or
applied focus, on a topic of interest for CADE-26. Proposals should
provide the following information:

+ Tutorial title.
+ Names and affiliations of organizers.
+ Proposed tutorial duration (from half a day to one days) and the
preferred day.
+ Brief description of the tutorial's goals and topics to be covered.
+ Whether or not a version of the tutorial has been given previously.

CADE will take care of printing and distributing notes for tutorials that
would like this service.

CALL FOR SYSTEM COMPETITIONS

The CADE ATP System Competition (CASC), which evaluates automated theorem
proving systems for classical logics, has become an integral part of the
CADE conferences.

Further system competition proposals are solicited. The goal is to foster
the development of automated reasoning systems in all areas relevant for
automated deduction in a broader sense. Proposals should include the
following information:

+ Competition title.
+ Names and affiliations of organizers.
+ Duration and schedule of the competition.
+ Room/space requirements.
+ Description of the competition task and the evaluation procedure.
+ Is the competition new or has it been organized before?
In the latter case information on previous competitions should be given.
+ What computing resources are required and how will they be provided?

IMPORTANT DATES

Workshop/Tutorials/System Competitions:
Submission deadline: 5 December 2016
Notification: 19 December 2016

SUBMISSION INSTRUCTIONS

Proposals for workshops, tutorials, and system competitions should be
uploaded via

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


--
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: Call for Workshops (13th Intl. Conference on integrated Formal Methods, Torino)

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



CALL FOR WORKSHOPS

(http://ifm2017.di.unito.it/callForWorkshops.php)



Important Dates

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

Submission of workshop proposals: 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)


--
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] PEPM 2017 Call for Poster Papers (submission deadline Tuesday 8th November)

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

PEPM 2017 information: http://conf.researchr.org/home/PEPM-2017
Submissions: https://pepm17.hotcrp.com/

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

PEPM is the premier forum for discussion of semantics-based program
manipulation. The first ACM SIGPLAN PEPM symposium took place in
1991, and meetings have been held in affiliation with POPL every year
since 2006. PEPM 2017 will be based on a broad interpretation of
semantics-based program manipulation, reflecting the expanded scope of
PEPM in recent years beyond the traditionally covered areas of partial
evaluation and specialization.

Posters
-------

In order to maintain the dynamic and interactive nature of PEPM, we
solicit submission of posters. Poster submissions are 2-page articles
in ACM Proceedings style that present preliminary work (see
"Submission guidelines" below for more details). If accepted, the
work will be presented as part of an interactive poster session at
PEPM.

Scope
-----

Topics of interest for PEPM 2017 include, but are not limited to:

* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution,
refactoring, decompilation, and obfuscation.

* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated
testing and test case generation.

* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming,
staged computation, and model-driven program generation and
transformation.

* Application of the above techniques including case studies of
program manipulation in real-world (industrial, open-source)
projects and software development processes, descriptions of robust
tools capable of effectively handling realistic applications,
benchmarking. Examples of application domains include legacy
program understanding and transformation, DSL implementations,
visual languages and end-user programming, scientific computing,
middleware frameworks and infrastructure needed for distributed and
web-based applications, embedded and resource-limited computation,
and security.

This list of categories is not exhaustive, and we encourage
submissions describing applications of semantics-based program
manipulation techniques in new domains. If you have a question as to
whether a potential submission is within the scope of the workshop,
please contact the programme chairs.

Submission guidelines
---------------------

* Posters should describe work relevant to the PEPM community, and
must not exceed 2 pages in ACM Proceedings style. We invite poster
submissions that present early work not yet ready for submission to
a conference or journal, identify new research problems, showcase
tools and technologies developed by the author(s), or describe
student research projects.

If accepted, the work will be presented as part of an interactive
poster session at PEPM. At least one author of each accepted
contribution must attend the workshop and present the work.

Student participants with accepted poster papers can apply for a
SIGPLAN PAC grant to help cover travel expenses and other support.
PAC also offers other support, such as for child-care expenses during
the meeting or for travel costs for companions of SIGPLAN members with
physical disabilities, as well as for travel from locations outside of
North America and Europe. For details on the PAC programme, see its
web page.

Publication
-----------

Posters will appear along with accepted papers in formal proceedings
published by ACM Press and in the ACM Digital Library.

Keynote
-------

Neil Jones (DIKU) will give the PEPM keynote talk, titled

Compiling Untyped Lambda Calculus to Lower-level Code
by Game Semantics and Partial Evaluation

Submission
----------

Posters should be submitted electronically via HotCRP.

https://pepm17.hotcrp.com/

Authors using LaTeX to prepare their submissions should use the new
improved SIGPLAN proceedings style, and specifically the
sigplanconf.cls 9pt template.

Important Dates
---------------

* Poster submission : Tuesday 8th November 2016
* Author notification : Friday 18th November 2016
* Camera ready : Monday 28th November 2016
* Workshop : Monday 16th - Tuesday 17th January 2017

The proceedings will be published 2 weeks pre-conference.

AUTHORS TAKE NOTE: The official publication date is the date the
proceedings are made available in the ACM Digital Library. This date
may be up to two weeks prior to the first day of your conference. The
official publication date affects the deadline for any patent filings
related to published work. (For those rare conferences whose
proceedings are published in the ACM Digital Library after the
conference is over, the official publication date remains the first
day of the conference.).

PEPM'17 Programme Committee
---------------------------

Elvira Albert (Complutense University of Madrid, Spain)
Don Batory (University of Texas at Austin, USA)
Martin Berger (University of Sussex, UK)
Sebastian Erdweg (TU Delft, Netherlands)
Andrew Farmer (Facebook, USA)
Matthew Flatt (University of Utah, USA)
John Gallagher (Roskilde University, Denmark)
Robert Glück (DIKU, Denmark)
Jurriaan Hage (Utrecht University, Netherlands)
Zhenjiang Hu (National Institute of Informatics, Japan)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Ilya Klyuchnikov (Facebook, UK)
Huiqing Li (EE, UK)
Annie Liu (Stony Brook University, USA)
Markus Püschel (ETH Zurich, Switzerland)
Ryosuke SATO (University of Tokyo, Japan)
Sven-Bodo Scholz (Heriot-Watt University, UK)
Ulrik Schultz (co-chair) (University of Southern Denmark)
Ilya Sergey (University College London, UK)
Chung-chieh Shan (Indiana University, USA)
Tijs van der Storm (Centrum Wiskunde & Informatica, Netherlands)
Jeremy Yallop (co-chair) (University of Cambridge, UK)

--
Ulrik Pagh Schultz, Associate Professor, University of Southern Denmark
ups@mmmi.sdu.dk http://www.sdu.dk/ansat/ups +4565503570

--
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] Artificial Intelligence and Theorem Proving - Call for Papers

CALL FOR CONTRIBUTIONS

Artificial Intelligence and Theorem Proving,
AITP 2017
March 26-30, 2017, Obergurgl, Austria

http://aitp-conference.org/2017

Deadline: December 1, 2016
https://easychair.org/conferences/?conf=aitp2017

BACKGROUND
Large-scale semantic processing and strong computer assistance of mathematics
and science is our inevitable future. New combinations of AI and reasoning
methods and tools deployed over large mathematical and scientific corpora will
be instrumental to this task. The AITP conference is the forum for discussing
how to get there as soon as possible, and the force driving the progress
towards that.

TOPICS
- AI and big-data methods in theorem proving and mathematics.
- Collaboration between automated and interactive theorem proving.
- Common-sense reasoning and reasoning in science.
- Alignment and joint processing of formal, semi-formal, and informal
libraries.
- Methods for large-scale computer understanding of mathematics and science.
- Combinations of linguistic/learning-based and semantic/reasoning methods.

SESSIONS
There will be several focused sessions on AI for ATP, ITP and mathematics,
modern AI and big-data methods, and several sessions with contributed talks.
The focused sessions will be based on invited talks and discussion oriented.

CONFIRMED PARTICIPANTS/SPEAKERS
Cameron Freer, Gamalon Labs
Georges Gonthier, INRIA Saclay
Thomas C. Hales, University of Pittsburgh
John Harrison, Intel
Andreas Holmstrom
Cezary Kaliszyk, University of Innsbruck
Michael Kohlhase, FAU Erlangen-Nurnberg
Tim Rocktäschel, University College London
Stephan Schulz, DHBW Stuttgart
Christian Szegedy, Google
Josef Urban, Czech Technical University
Robert Veroff, University of New Mexico

CONTRIBUTED TALKS
We solicit contributed talks. Selection of those will be based on extended
abstracts/short papers of 2 pages formatted with easychair.cls.
Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2017).

DATES
Submission deadline: December 1, 2016
Author notification: December 23, 2016
Conference registration: January 20, 2017
Camera-ready versions: February 1, 2017
Conference: March 26-30, 2017

POST-PROCEEDINGS
We will consider an open call for post-proceedings in an established series of
conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).

PROGRAM COMMITTEE
Jasmin Christian Blanchette, INRIA Nancy
Ulrich Furbach, University of Koblenz
Deyan Ginev, Jacobs University Bremen
Thomas C. Hales (co-chair), University of Pittsburgh
Sean Holden, University of Cambridge
Geoffrey Irving, Google
Cezary Kaliszyk (co-chair), University of Innsbruck
Jens Otten, University of Oslo
Claudio Sacerdoti Coen, University of Bologna
Stephan Schulz (co-chair), DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Josef Urban (co-chair), Czech Technical University

LOCATION AND PRICE
The conference will take place from March 26 to March 30 in the stunning
scenery of the Tyrolean Alps in the Obergurgl Conference Center
(http://www.uz-obergurgl.at/) of the University of Innsbruck. Obergurgl is
a picturesque village located at an altitude of 2000m, a 1-hour drive from
Innsbruck. It offers a variety of winter-sport activities such as skiing,
snowshoeing and hiking at this time of the year. The total price for
accommodation, food and registration for the four days will be around 500 EUR.

ORGANIZERS
Cezary Kaliszyk and Josef Urban


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

Re: [Caml-list] 2017: Call for papers

Hi Gabriel,

Thanks for the kind and encouraging words! I'll pass them along to the
rest of our organizing committee :)

Kind regards,
Tim


On 17/10/16 15:26, Gabriel Scherer wrote:
> I understand from
>
> http://2017.programming-conference.org/track/programming-2017-papers#About
>
> and
>
> http://programming-journal.org/
>
> that the articles submitted to this conference will be published in an
> open-access journal (the sensible kind, were neither authors not
> readers have to pay), that will host all articles on arXiv.
>
> Congratulations for doing things right!
>
> This matters, and to me it makes your conference more attractive than
> others that are stuck in the past, with grotesque copyright assignment
> requirements.
>
> On Mon, Oct 17, 2016 at 5:51 AM, Tim Molderez <tmoldere@vub.ac.be> wrote:
>> <Programming> 2017 : The Art, Science, and Engineering of Programming
>>
>> April 3-6, 2017, Brussels, Belgium
>> http://2017.programming-conference.org
>>
>> We started a new conference and journal focused on everything to do with
>> programming, including the experience of programming. We call the conference
>> <Programming> for short. Paper submissions and publications are handled by
>> the journal. Accepted papers must be presented at the conference.
>>
>> ********************************************************
>> CALL FOR PAPERS
>> ********************************************************
>>
>> <Programming> 2017 accept scholarly papers including essays that advance the
>> knowledge of programming. Almost anything about programming is in scope, but
>> in each case there should be a clear relevance to the act and experience of
>> programming.
>>
>> PAPER SUBMISSIONS: December 1, 2016
>>
>> We accept submissions covering several areas of expertise. These areas
>> include, but are not limited to:
>>
>> • General-purpose programming
>> • Distributed systems programming
>> • Parallel and multi-core programming
>> • Graphics and GPU programming
>> • Security programming
>> • User interface programming
>> • Database programming
>> • Visual and live programming
>> • Data mining and machine learning programming
>> • Interpreters, virtual machines and compilers
>> • Modularity and separation of concerns
>> • Model-based development
>> • Metaprogramming and reflection
>> • Testing and debugging
>> • Program verification
>> • Programming education
>> • Programming environments
>> • Social coding
>>
>> ********************************************************
>> CALL FOR WORKSHOP PROPOSALS
>> ********************************************************
>>
>> To build a community and to foster an environment where participants can
>> exchange ideas and experiences related to practical software development,
>> ‹Programming› will host a number of workshops, during the days before the
>> main conference. The workshops will provide a collaborative forum to
>> exchange recent and/or preliminary results, to conduct intensive discussions
>> on a particular topic, or to coordinate efforts between representatives of a
>> technical community. They are intended as a forum for lively discussion of
>> innovative ideas, recent progress, or practical experience on programming
>> and applied software development in general for specific aspects, specific
>> problems, or domain-specific needs. We also encourage practical, hands-on
>> workshops in which participants actually experience one or several aspects
>> of practical software development.
>>
>> WORKSHOP PROPOSAL SUBMISSIONS: November 15, 2016
>>
>> The duration of workshops is in general one day, but we encourage the
>> submission of half-day workshop proposals on focused topics as well. In
>> exceptional situations, e.g., for workshops that involve actual practice of
>> programming-related activities, workshop organizers can request a 2 day
>> workshop slot. If desired, the workshop proceedings can be published in the
>> ACM Digital Library.
>>
>> ********************************************************
>> IMPORTANT DATES
>> ********************************************************
>>
>> Research paper submissions: December 1, 2016
>> Research paper first notifications: February 1, 2017
>> Research paper final notifications: March 7, 2017
>>
>> Workshop proposals: November 15, 2016
>> PX 2017 workshop submissions: January 15, 2017
>> Poster abstract submissions: January 16, 2017
>>
>> ********************************************************
>> ORGANIZATION
>> ********************************************************
>>
>> General Chair:
>> Theo D'Hondt, Vrije Universiteit Brussel
>>
>> Local Organizing Chair:
>> Wolfgang De Meuter, Vrije Universiteit Brussel
>>
>> Program Chair:
>> Crista V. Lopes, University of California, Irvine
>>
>> Organizing Committee:
>> Jörg Kienzle (workshops), McGill University
>> Hidehiko Masuhara (demos), Tokyo Institute of Technology
>> Ralf Lämmel (contest), University of Koblenz-Landau
>> Jennifer Sartor (posters), Vrije Universiteit Brussel
>> Tobias Pape (web technology), HPI - University of Potsdam
>> Tim Molderez (publicity), Vrije Universiteit Brussel
>>
>> Program Committee:
>> Andrew Black, Portland State University
>> Shigeru Chiba, University of Tokyo
>> Yvonne Coady, University of Victoria
>> Robby Findler, Northwestern University
>> Lidia Fuentes, Universidad de Málaga
>> Richard Gabriel, IBM Research
>> Elisa Gonzalez Boix, Vrije Universiteit Brussel
>> Jeff Gray, University of Alabama
>> Robert Hirschfeld, HPI - University of Potsdam
>> Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro
>> Jörg Kienzle, McGill University
>> Hidehiko Masuhara, Tokyo Institute of Technology
>> Sasa Misailovic, University of Illinois at Urbana-Champaign
>> Guido Salvaneschi, Technische Universität Darmstadt
>> Mario Südholt, Ecole des mines de Nantes
>> Jurgen Vinju, Centrum Wiskunde & Informatica
>> Tijs van der Storm, Centrum Wiskunde & Informatica
>>
>> ********************************************************
>>
>> <Programming> 2017 is kindly supported by:
>> ACM in-cooperation
>> ACM SIGPLAN in-cooperation
>> ACM SIGSOFT in-cooperation
>> AOSA
>> Vrije Universiteit Brussel
>>
>> ********************************************************
>>
>> For more information, visit http://2017.programming-conference.org
>>
>>
>> --
>> 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 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

Re: [Caml-list] 2017: Call for papers

I understand from

http://2017.programming-conference.org/track/programming-2017-papers#About

and

http://programming-journal.org/

that the articles submitted to this conference will be published in an
open-access journal (the sensible kind, were neither authors not
readers have to pay), that will host all articles on arXiv.

Congratulations for doing things right!

This matters, and to me it makes your conference more attractive than
others that are stuck in the past, with grotesque copyright assignment
requirements.

On Mon, Oct 17, 2016 at 5:51 AM, Tim Molderez <tmoldere@vub.ac.be> wrote:
>
> <Programming> 2017 : The Art, Science, and Engineering of Programming
>
> April 3-6, 2017, Brussels, Belgium
> http://2017.programming-conference.org
>
> We started a new conference and journal focused on everything to do with
> programming, including the experience of programming. We call the conference
> <Programming> for short. Paper submissions and publications are handled by
> the journal. Accepted papers must be presented at the conference.
>
> ********************************************************
> CALL FOR PAPERS
> ********************************************************
>
> <Programming> 2017 accept scholarly papers including essays that advance the
> knowledge of programming. Almost anything about programming is in scope, but
> in each case there should be a clear relevance to the act and experience of
> programming.
>
> PAPER SUBMISSIONS: December 1, 2016
>
> We accept submissions covering several areas of expertise. These areas
> include, but are not limited to:
>
> • General-purpose programming
> • Distributed systems programming
> • Parallel and multi-core programming
> • Graphics and GPU programming
> • Security programming
> • User interface programming
> • Database programming
> • Visual and live programming
> • Data mining and machine learning programming
> • Interpreters, virtual machines and compilers
> • Modularity and separation of concerns
> • Model-based development
> • Metaprogramming and reflection
> • Testing and debugging
> • Program verification
> • Programming education
> • Programming environments
> • Social coding
>
> ********************************************************
> CALL FOR WORKSHOP PROPOSALS
> ********************************************************
>
> To build a community and to foster an environment where participants can
> exchange ideas and experiences related to practical software development,
> ‹Programming› will host a number of workshops, during the days before the
> main conference. The workshops will provide a collaborative forum to
> exchange recent and/or preliminary results, to conduct intensive discussions
> on a particular topic, or to coordinate efforts between representatives of a
> technical community. They are intended as a forum for lively discussion of
> innovative ideas, recent progress, or practical experience on programming
> and applied software development in general for specific aspects, specific
> problems, or domain-specific needs. We also encourage practical, hands-on
> workshops in which participants actually experience one or several aspects
> of practical software development.
>
> WORKSHOP PROPOSAL SUBMISSIONS: November 15, 2016
>
> The duration of workshops is in general one day, but we encourage the
> submission of half-day workshop proposals on focused topics as well. In
> exceptional situations, e.g., for workshops that involve actual practice of
> programming-related activities, workshop organizers can request a 2 day
> workshop slot. If desired, the workshop proceedings can be published in the
> ACM Digital Library.
>
> ********************************************************
> IMPORTANT DATES
> ********************************************************
>
> Research paper submissions: December 1, 2016
> Research paper first notifications: February 1, 2017
> Research paper final notifications: March 7, 2017
>
> Workshop proposals: November 15, 2016
> PX 2017 workshop submissions: January 15, 2017
> Poster abstract submissions: January 16, 2017
>
> ********************************************************
> ORGANIZATION
> ********************************************************
>
> General Chair:
> Theo D'Hondt, Vrije Universiteit Brussel
>
> Local Organizing Chair:
> Wolfgang De Meuter, Vrije Universiteit Brussel
>
> Program Chair:
> Crista V. Lopes, University of California, Irvine
>
> Organizing Committee:
> Jörg Kienzle (workshops), McGill University
> Hidehiko Masuhara (demos), Tokyo Institute of Technology
> Ralf Lämmel (contest), University of Koblenz-Landau
> Jennifer Sartor (posters), Vrije Universiteit Brussel
> Tobias Pape (web technology), HPI - University of Potsdam
> Tim Molderez (publicity), Vrije Universiteit Brussel
>
> Program Committee:
> Andrew Black, Portland State University
> Shigeru Chiba, University of Tokyo
> Yvonne Coady, University of Victoria
> Robby Findler, Northwestern University
> Lidia Fuentes, Universidad de Málaga
> Richard Gabriel, IBM Research
> Elisa Gonzalez Boix, Vrije Universiteit Brussel
> Jeff Gray, University of Alabama
> Robert Hirschfeld, HPI - University of Potsdam
> Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro
> Jörg Kienzle, McGill University
> Hidehiko Masuhara, Tokyo Institute of Technology
> Sasa Misailovic, University of Illinois at Urbana-Champaign
> Guido Salvaneschi, Technische Universität Darmstadt
> Mario Südholt, Ecole des mines de Nantes
> Jurgen Vinju, Centrum Wiskunde & Informatica
> Tijs van der Storm, Centrum Wiskunde & Informatica
>
> ********************************************************
>
> <Programming> 2017 is kindly supported by:
> ACM in-cooperation
> ACM SIGPLAN in-cooperation
> ACM SIGSOFT in-cooperation
> AOSA
> Vrije Universiteit Brussel
>
> ********************************************************
>
> For more information, visit http://2017.programming-conference.org
>
>
> --
> 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 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] 2017: Call for papers

<Programming> 2017 : The Art, Science, and Engineering of Programming

April 3-6, 2017, Brussels, Belgium
http://2017.programming-conference.org

We started a new conference and journal focused on everything to do with
programming, including the experience of programming. We call the
conference <Programming> for short. Paper submissions and publications
are handled by the journal. Accepted papers must be presented at the
conference.

********************************************************
CALL FOR PAPERS
********************************************************

<Programming> 2017 accept scholarly papers including essays that advance
the knowledge of programming. Almost anything about programming is in
scope, but in each case there should be a clear relevance to the act and
experience of programming.

PAPER SUBMISSIONS: December 1, 2016

We accept submissions covering several areas of expertise. These areas
include, but are not limited to:

• General-purpose programming
• Distributed systems programming
• Parallel and multi-core programming
• Graphics and GPU programming
• Security programming
• User interface programming
• Database programming
• Visual and live programming
• Data mining and machine learning programming
• Interpreters, virtual machines and compilers
• Modularity and separation of concerns
• Model-based development
• Metaprogramming and reflection
• Testing and debugging
• Program verification
• Programming education
• Programming environments
• Social coding

********************************************************
CALL FOR WORKSHOP PROPOSALS
********************************************************

To build a community and to foster an environment where participants can
exchange ideas and experiences related to practical software
development, ‹Programming› will host a number of workshops, during the
days before the main conference. The workshops will provide a
collaborative forum to exchange recent and/or preliminary results, to
conduct intensive discussions on a particular topic, or to coordinate
efforts between representatives of a technical community. They are
intended as a forum for lively discussion of innovative ideas, recent
progress, or practical experience on programming and applied software
development in general for specific aspects, specific problems, or
domain-specific needs. We also encourage practical, hands-on workshops
in which participants actually experience one or several aspects of
practical software development.

WORKSHOP PROPOSAL SUBMISSIONS: November 15, 2016

The duration of workshops is in general one day, but we encourage the
submission of half-day workshop proposals on focused topics as well. In
exceptional situations, e.g., for workshops that involve actual practice
of programming-related activities, workshop organizers can request a 2
day workshop slot. If desired, the workshop proceedings can be published
in the ACM Digital Library.

********************************************************
IMPORTANT DATES
********************************************************

Research paper submissions: December 1, 2016
Research paper first notifications: February 1, 2017
Research paper final notifications: March 7, 2017

Workshop proposals: November 15, 2016
PX 2017 workshop submissions: January 15, 2017
Poster abstract submissions: January 16, 2017

********************************************************
ORGANIZATION
********************************************************

General Chair:
Theo D'Hondt, Vrije Universiteit Brussel

Local Organizing Chair:
Wolfgang De Meuter, Vrije Universiteit Brussel

Program Chair:
Crista V. Lopes, University of California, Irvine

Organizing Committee:
Jörg Kienzle (workshops), McGill University
Hidehiko Masuhara (demos), Tokyo Institute of Technology
Ralf Lämmel (contest), University of Koblenz-Landau
Jennifer Sartor (posters), Vrije Universiteit Brussel
Tobias Pape (web technology), HPI - University of Potsdam
Tim Molderez (publicity), Vrije Universiteit Brussel

Program Committee:
Andrew Black, Portland State University
Shigeru Chiba, University of Tokyo
Yvonne Coady, University of Victoria
Robby Findler, Northwestern University
Lidia Fuentes, Universidad de Málaga
Richard Gabriel, IBM Research
Elisa Gonzalez Boix, Vrije Universiteit Brussel
Jeff Gray, University of Alabama
Robert Hirschfeld, HPI - University of Potsdam
Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro
Jörg Kienzle, McGill University
Hidehiko Masuhara, Tokyo Institute of Technology
Sasa Misailovic, University of Illinois at Urbana-Champaign
Guido Salvaneschi, Technische Universität Darmstadt
Mario Südholt, Ecole des mines de Nantes
Jurgen Vinju, Centrum Wiskunde & Informatica
Tijs van der Storm, Centrum Wiskunde & Informatica

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

<Programming> 2017 is kindly supported by:
ACM in-cooperation
ACM SIGPLAN in-cooperation
ACM SIGSOFT in-cooperation
AOSA
Vrije Universiteit Brussel

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

For more information, visit http://2017.programming-conference.org


--
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] ETAPS 2017 final call for papers

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

JOINT CALL FOR PAPERS

20th European Joint Conferences on Theory And Practice of Software
ETAPS 2017

Uppsala, Sweden, 22-29 April 2017

http://www.etaps.org/2017

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

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2017 is the
twentieth event in the series.


-- MAIN CONFERENCES (24-28 April) --

* ESOP: European Symposium on Programming
(PC chair Hongseok Yang, University of Oxford, UK)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Marieke Huisman, Universiteit Twente, The
Netherlands, and Julia Rubin, University of British Columbia,
Canada)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Javier Esparza, Technische Universität München,
Germany, Andrzej Murawski, University of Warwick, UK)
* POST: Principles of Security and Trust
(PC chairs Matteo Maffei, Universität des Saarlandes, Germany,
Mark D. Ryan, University of Birmingham, UK)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Axel Legay, INRIA Rennes, France,
and Tiziana Margaria, LERO, Ireland)

TACAS '17 hosts the 6th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

* Unifying speakers:
Michael Ernst (University of Washington, USA)
Kim G. Larsen (Aalborg University, DK)

* FoSSaCS invited speaker:
Joel Ouaknine (University of Oxford, UK)
* TACAS invited speaker:
Dino Distefano (Facebook and Queen Mary University of London, UK)


-- IMPORTANT DATES --

* Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016
* Papers due: 21 October 2016
* Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016
* Notification: 22 December 2016
* Camera-ready versions due: 20 January 2017


-- SUBMISSION INSTRUCTIONS --

ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.

ESOP and FoSSaCS accept only research papers.

A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden. The proceedings will be published in the Advanced Research
in Computing and Software Science (ARCoSS) subline of Springer's
Lecture Notes in Computer Science series.

Papers must follow the formatting guidelines specified by Springer at
the URL

http://www.springer.de/comp/lncs/authors.html

and be submitted electronically in pdf through the EasyChair author
interface of the respective conference.

Submissions not adhering to the specified format and length may be
rejected immediately.

FASE will use a light-weight double-blind review process (see
http://www.etaps.org/2017/fase).


- Research papers

FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).

Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.

In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pp, excluding bibliography of max 2 pp).

Both TACAS and FASE solicit also regular tool papers (at most 15 pp,
excluding bibliography of max 2 pp).

The rationale of a separate page limit for the bibliography is to
remove the possibility to win space for the body of a
paper by cutting the bibliography, a practise that has a negative
effect on our competitiveness as a community.


- Tool demonstration papers

Submissions should consist of two parts:

* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)

* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.

ESOP and FoSSaCS do not accept tool demonstration papers.

TACAS has a page limit of 6 pages for tool demonstrations.


-- SATELLITE EVENTS (22-23 April, 29 April) --

The following satellite workshops will take place before and after the
main conferences: BX, CREST, DICE-FOPARA, FESCA, GALOP, GaM, HotSpot,
LiVe, MARS, MBT, PLACES, QAPL, SannellaFest, SNR, SynCoP-PV,
VerifyThis, VPT.


-- HOST CITY --

Uppsala city holds a rich history, having for long periods been the
political, religious and academic centre of Sweden. Uppsala
University is over 500 years old and ranked among the top 100 in the
World and has hosted many great scientists over the years, for
instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The
proximity to the capital of Sweden, Stockholm, provides additional
benefits as a potential site for arranging both pre- and post congress
tours, as well as for excursions or tourism.


-- HOST INSTITUTION --

ETAPS 2017 is hosted by the Department of Information Technology,
Uppsala University.


-- ORGANIZERS

Parosh Abdulla (General chair), Mohamed Faouzi Atig,
Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas,
Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
parosh.abdulla@it.uu.se, mohamed_faouzi.atig@it.uu.se

--
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] DL 2017, Call for Papers

-------------------------------------------------------------------------------
CALL FOR PAPERS
30th International Workshop on Description Logics, DL 2017
July 18th to July 21st, 2017 - Montpellier, France
http://dl.kr.org/dl2017/
-------------------------------------------------------------------------------

The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences. The workshop will be held in Montpellier, France from
July 18th to July 21st, 2017.

Important Dates (Firm Deadlines)
============
Paper registration deadline:
April 28, 2017
Paper submission deadline:
May 8, 2017
Notification of acceptance:
June 12, 2017
Camera-ready copies:
July 3, 2017
Workshop:
July 18-21, 2017

Since we wanted the DL submission deadlines to be after the IJCAI notification
date, the schedule is tight and NO DEADLINE EXTENSIONS will be possible.


Invited Speakers
=============
* Markus Krötzsch, Technical University of Dresden
* Andreas Pieris, University of Edinburgh
* Uli Sattler, University of Manchester


Workshop Scope
=============
We invite contributions on all aspects of description logics, including but
not limited to:
* Foundations of description logics: decidability and complexity of reasoning,
expressive power, novel inference problems, inconsistency management,
reasoning techniques, and modularity aspects
* Extensions of description logics: closed-world and nonmonotonic reasoning,
epistemic reasoning, temporal and spatial reasoning, procedural knowledge,
query answering, reasoning over dynamic information
* Integration of description logics with other formalisms: object-oriented
representation languages, database query languages, constraint-based
programming, logic programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering,
ontology languages, databases, ontology-based data access, semi-structured
data, graph structured data, linked data, document management, natural
language, learning, planning, Semantic Web, cloud computing, conceptual
modelling, web services, business processes
* Systems and tools around description logics: reasoners, software tools for
and using description logic reasoning (e.g. ontology editors, database
schema design, query optimisation, and data integration tools),
implementation and optimisation techniques, benchmarking, evaluation,
modelling


Submissions
==========
* Submissions may be of two types:
(1) Papers accepted at some conference can be submitted as accepted elsewhere
together with a 1-page abstract that also specifies where the paper has
been accepted.
(2) Other submissions consist of 11 pages LNCS plus references. There is no
page limit on the list of references. If the paper should not appear in
the proceedings, an additional 1-page abstract has to be submitted.

* For submissions with an additional 1-page abstract, only the abstract
is published in the proceedings. The abstracts might not be indexed in
dblp. This option is designed for authors who wish to announce results
that have been published elsewhere, or which the authors intend to
submit or have already submitted to a venue with an incompatible prior/
concurrent publication policy.
* All submissions may optionally include a clearly marked appendix
(e.g., with additional proofs or evaluation data). The appendix will
be read at the discretion of the reviewers and not included in the
proceedings. The appendix does not need to be in LNCS format.
* Submission page: https://easychair.org/conferences/?conf=dl2017
* Accepted papers and 1-page abstracts will be made available electronically
in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Accepted submissions, be they full papers or 1-page abstracts, will be
selected for either oral or poster presentation at the workshop. Submissions
will be judged solely based upon their content, and the type of submission
will have no bearing on the decision between oral and poster presentation.

Organisation
============
* Alessandro Artale, Free University of Bozen-Bolzano (Programme co-Chair)
* Birte Glimm, University of Ulm (Programme co-Chair)
* Meghyn Bienvenu, University of Montpellier (Workshop co-Chair)
* Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair)

Resources
=========
* Information about submission, registration, travel information, etc., will
be made available on the DL 2017 homepage: http://dl.kr.org/dl2017/
* The official description logic homepage is at http://dl.kr.org/


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