========================================================
CALL FOR PAPERS
19th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2017
Namur, Belgium, October 9-11, 2017
(co-located with LOPSTR'17)
http://complogic.cs.mcgill.ca/ppdp2017
========================================================
SUBMISSION DEADLINE: 12 May (abstracts) / 19 MAY (papers)
========================================================
PPDP 2017 is a forum that brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint programming
paradigms. The goal is to stimulate research in the use of logical formalisms
and methods for analyzing, performing, specifying, and reasoning about
computations, including mechanisms for concurrency, security, static
analysis, and verification.
Submissions are invited on all topics from principles to practice,
from foundations to applications. Topics of interest include, but are
not limited to
** Language Design: domain-specific languages; interoperability;
concurrency, parallelism, and distribution; modules;
probabilistic languages; reactive languages; database
languages; knowledge representation languages; languages
with objects; language extensions for tabulation;
metaprogramming.
** Implementations: abstract machines; interpreters; compilation;
compile-time and run-time optimization; garbage collection; memory
management.
** Foundations: type systems; type classes; dependent types; logical
frameworks; monads; resource analysis; cost models;
continuations; control; state; effects; semantics.
** Analysis and Transformation: partial evaluation; abstract
interpretation; control flow; data flow; information flow;
termination analysis; resource analysis; type inference and
type checking; verification; validation; debugging; testing.
** Tools and Applications: programming and proof
environments; verification tools; case studies in proof assistants
or interactive theorem provers; certification; novel applications
of declarative programming inside and outside of CS;
declarative programming pearls; practical experience reports
and industrial application; education.
This year the conference will be co-located with the 27th Int'l Symp.
on Logic-Based Program Synthesis and Transformation (LOPSTR 2017).
IMPORTANT DATES:
Abstract Submission: 12 May 2017
Paper Submission: 19 May 2017
Paper Rebuttal: 10 July 2017
Notification: 20 July 2017
Final Version: 15 Aug 2017
SUBMISSION CATEGORIES:
Submissions can be made in three categories: regular Research Papers,
System Descriptions, and Experience Reports.
Submissions of Research Papers must present original research which is
unpublished and not submitted elsewhere. They must not exceed 12 pages
ACM style 2-column (including figures and bibliography). Work that
already appeared in unpublished or informally published workshop
proceedings may be submitted (please contact the PC chair in case of
questions). Submissions of research papers will be judged on
originality, significance, correctness, clarity, and readability.
Submission of System Descriptions must describe a working system whose
description has not been published or submitted elsewhere. They must
not exceed 10 pages and should contain a link to a working system. System
Descriptions must be marked as such at the time of submission and will
be judged on originality, significance, usefulness, clarity, and readability.
Submissions of Experience Reports are meant to
help create a body of published, refereed, citable evidence where
declarative programming such as functional, logic, answer-set,
constraint programming, etc., is used in practice. They must not
exceed 6 pages. Experience Reports must be marked as such at the time
of submission and need not report original research results. They
will be judged on significance, usefulness, clarity, and readability.
Possible topics for an Experience Report include, but are not limited to:
* insights gained from real-world projects using declarative
programming
* comparison of declarative programming with conventional
programming in the context of an industrial project or a
university curriculum
* curricular issues encountered when using declarative programming
in education
* real-world constraints that created special challenges for an
implementation of a declarative language or for declarative
programming in general
* novel use of declarative programming in the classroom
* programming pearl that illustrates a nifty new data structure or
programming technique.
SUBMISSION GUIDELINES:
Submissions must be formatted using ACM style files (latest release
December 2016) using the instructions at
https://www.acm.org/publications/proceedings-template
To prepare your submission using LaTex:
* Download acmart.zip from https://www.ctan.org/pkg/acmart
* Unzip acmart.zip
* Run latex acmart.ins to produce an acmart.cls file
* Run pdflatex sample-sigconf.tex to check that your installation
works correctly
* Write your paper using sample-sigconf.tex as a template
Proofs of theoretical results that do not fit within the page limit,
executables of systems, code of case studies, benchmarks used to
evaluate a given system, etc., should be made available, via a reference to
a website or in an appendix of the paper. Reviewers will be encouraged
to consider this additional material, but are not obliged
to. 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.
At least one author of each accepted submission will be expected to
attend and present their paper at the conference.
Papers must be submitted via easychair. The submission site is at
https://easychair.org/conferences/?conf=ppdp2017
PROCEEDING
Accepted papers will be published in the ACM International Conference
Proceedings Series.
PROGRAM CHAIR
Brigitte Pientka (McGill University)
PROGRAM COMMITTEE
Andreas Abel (Gothenburg University)
Nadia Amin (EPFL)
Zena M. Ariola (University of Oregon)
Kenichi Asai (Ochanomizu University)
James Cheney (University of Edinburgh)
Mariangiola Dezani-Ciancaglini (University of Torino)
Santiago Escobar (Universitat Politècnica de València)
Amy Felty (University of Ottawa)
Thom Frühwirth (University of Ulm)
Patricia Johann (Appalachian State University)
Neel Krishnaswami (University of Cambridge)
Michaël Leuschel (Universität Düsseldorf)
Yanhong Annie Liu (Stony Brook University)
Andres Loeh (Well-Typed)
Vivek Nigam (Federal University of Paraiba / fortiss)
Naoki Nishida (Nagoya University)
Catuscia Palamidessi (INRIA)
Brigitte Pientka (McGill University) (PC Chair)
Ulrich Schoepp (Ludwig Maximilian University)
Chung-chieh Shan (Indiana University)
Bernardo Toninho (Imperial College London)
LOCAL ORGANIZER (joint with LOPSTR):
Wim Vanhoff (University of Namur)
----------------------------------------------------------------------
--
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
2017-03-31
[Caml-list] FHPC'17 Call For Papers (papers due 26th of May)
We would deeply appreciate if you disseminate the
FHPC'17 Call For Papers to your colleagues and contacts.
We apologize if you receive multiple copies of this CFP.
With Best Regards,
Cosmin and Phil
======================================================================
CALL FOR PAPERS
FHPC 2017
The 6th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Oxford, UK
September 7, 2017
http://icfp17.sigplan.org/track/FHPC-2017-papers
Co-located with the International Conference on Functional Programming
(ICFP 2017)
Submission Deadline: 26th of May 2017 (anywhere on earth)
======================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where high performance
is essential. The aim of the meeting is to enable sharing of results,
experiences, and novel ideas about how high-level, declarative
specifications of computationally challenging problems can serve as
maintainable and portable code that approaches (or even exceeds) the
performance of machine-oriented (low-level) imperative implementations.
All aspects of performance critical programming and parallel
programming are in-scope for the workshop, irrespective of hardware
target. This includes both traditional large-scale scientific
computing (HPC), as well as work targeting single node systems with
SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
Experience reports are also welcome.
Proceedings:
============
FHPC 2017 seeks to encourage a range of submissions, focusing on work
in progress and facilitating early exchange of ideas and open discussion
on innovative and/or emerging results. To this end submissions should
take the form of short (maximum 6 page) papers. Accepted papers will
be published by the ACM and will appear in the ACM Digital Library.
This year FHPC will introduce an (optional) artifact-evaluation session,
with the intent that selected artifacts will receive additional
presentation
time in a dedicated slot during the workshop.
* Paper submissions due: 26th of May, 2017 (anywhere on earth)
* Artifact submissions due: 9th of June, 2017 (optional)
* Author notification: 23rd of June, 2017
* Final copy due: 15th of July, 2017
Submitted papers must be in portable document format (PDF), formatted
according to the ACM SIGPLAN style guidelines (2 column, 9pt format).
See http://www.sigplan.org/authorInformation.htm for more information
and style files. Papers should be no longer than 6 pages.
Contributions to FHPC 2017 should be submitted via Easychair, at the
following URL:
* https://easychair.org/conferences/?conf=fhpc17
The FHPC workshops adhere to the ACM SIGPLAN policies regarding
programme committee contributions and republication. Any paper
submitted must adhere to ACM SIGPLAN's republication policy. PC member
submissions are welcome, but will be reviewed to a higher standard.
http://www.sigplan.org/Resources/Policies/Review
http://www.sigplan.org/Resources/Policies/Republication
------
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.
------
Travel Support:
===============
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses. 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 (http://www.sigplan.org/PAC.htm).
Program Committee:
==================
Phil Trinder (co-chair) Glasgow University, UK
Cosmin Oancea (co-chair) University of Copenhagen, Denmark
Jost Berthold Commonwealth Bank of Australia, Australia
Kei Davis Los Alamos National Laboratory, USA
Zhenjiang Hu National Institute of Informatics, Japan
Gabriele Keller The University of New South Wales,
Australia
Rita Loogen Philipps-University Marburg, Germany
Patrick Maier Glasgow University, UK
Geoffrey Mainland Drexel University, USA
Gihan Mudalige University of Warwick, UK
Louis-Noel Pouchet Colorado State University, USA
Mary Sheeran Chalmers University of Technology, Sweden
--
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
FHPC'17 Call For Papers to your colleagues and contacts.
We apologize if you receive multiple copies of this CFP.
With Best Regards,
Cosmin and Phil
======================================================================
CALL FOR PAPERS
FHPC 2017
The 6th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Oxford, UK
September 7, 2017
http://icfp17.sigplan.org/track/FHPC-2017-papers
Co-located with the International Conference on Functional Programming
(ICFP 2017)
Submission Deadline: 26th of May 2017 (anywhere on earth)
======================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where high performance
is essential. The aim of the meeting is to enable sharing of results,
experiences, and novel ideas about how high-level, declarative
specifications of computationally challenging problems can serve as
maintainable and portable code that approaches (or even exceeds) the
performance of machine-oriented (low-level) imperative implementations.
All aspects of performance critical programming and parallel
programming are in-scope for the workshop, irrespective of hardware
target. This includes both traditional large-scale scientific
computing (HPC), as well as work targeting single node systems with
SMPs, GPUs, FPGAs, or embedded processors. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.
Experience reports are also welcome.
Proceedings:
============
FHPC 2017 seeks to encourage a range of submissions, focusing on work
in progress and facilitating early exchange of ideas and open discussion
on innovative and/or emerging results. To this end submissions should
take the form of short (maximum 6 page) papers. Accepted papers will
be published by the ACM and will appear in the ACM Digital Library.
This year FHPC will introduce an (optional) artifact-evaluation session,
with the intent that selected artifacts will receive additional
presentation
time in a dedicated slot during the workshop.
* Paper submissions due: 26th of May, 2017 (anywhere on earth)
* Artifact submissions due: 9th of June, 2017 (optional)
* Author notification: 23rd of June, 2017
* Final copy due: 15th of July, 2017
Submitted papers must be in portable document format (PDF), formatted
according to the ACM SIGPLAN style guidelines (2 column, 9pt format).
See http://www.sigplan.org/authorInformation.htm for more information
and style files. Papers should be no longer than 6 pages.
Contributions to FHPC 2017 should be submitted via Easychair, at the
following URL:
* https://easychair.org/conferences/?conf=fhpc17
The FHPC workshops adhere to the ACM SIGPLAN policies regarding
programme committee contributions and republication. Any paper
submitted must adhere to ACM SIGPLAN's republication policy. PC member
submissions are welcome, but will be reviewed to a higher standard.
http://www.sigplan.org/Resources/Policies/Review
http://www.sigplan.org/Resources/Policies/Republication
------
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.
------
Travel Support:
===============
Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses. 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 (http://www.sigplan.org/PAC.htm).
Program Committee:
==================
Phil Trinder (co-chair) Glasgow University, UK
Cosmin Oancea (co-chair) University of Copenhagen, Denmark
Jost Berthold Commonwealth Bank of Australia, Australia
Kei Davis Los Alamos National Laboratory, USA
Zhenjiang Hu National Institute of Informatics, Japan
Gabriele Keller The University of New South Wales,
Australia
Rita Loogen Philipps-University Marburg, Germany
Patrick Maier Glasgow University, UK
Geoffrey Mainland Drexel University, USA
Gihan Mudalige University of Warwick, UK
Louis-Noel Pouchet Colorado State University, USA
Mary Sheeran Chalmers University of Technology, Sweden
--
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
2017-03-28
[Caml-list] Encyclopedia of Proof Systems - Call for Contributions
== EPS ==
Encyclopedia of Proof Systems
--- call for contributions ---
September 24-25, 2017, Brasilia, Brazil
Affiliated to:
TABLEAUX, FroCoS and ITP 2017
http://tableaux2017.cic.unb.br/
http://frocos2017.cic.unb.br/
http://itp2017.cic.unb.br/
Aims and Scope
==============
The Encyclopedia of Proof Systems was created in 2014 with the goal of being a
quick reference for the various proof systems used by logicians. Since then, it
has collected 64 entries on the most various logics and calculi. This was only
possible due to the collaboration of many members of the logic community.
This event aims to promote the encyclopedia and attract more contributions and
collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during which
submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th, 2017, for
those who would like to contribute to the continuous improvement of the
encyclopedia.
The activities planned for this meeting will be announced closer to the event.
Submission Instructions
=======================
Please visit the task-force's website for instructions:
http://proofsystem.github.io/Encyclopedia
Participation in TABLEAUX, FroCoS or ITP is not required for submission, but
is strongly encouraged.
Important Dates
===============
- Submission Deadline: 1st of August 2017
- Notification: 15th of August 2017
Publication Plans
=================
We have an agreement with College Publications to publish the encyclopedia as
a book. The first edition, containing the entries submitted until 2016, was
published on January 2017 (http://www.collegepublications.co.uk/other/?00028).
Future editions will contain the entries submitted for this EPS event.
The encyclopedia is also available in Github
(https://github.com/ProofSystem/Encyclopedia).
Organization
============
Bruno Woltzenlogel Paleo (bruno.wp@gmail.com)
Giselle Reis (giselle@cmu.edu)
--
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
Encyclopedia of Proof Systems
--- call for contributions ---
September 24-25, 2017, Brasilia, Brazil
Affiliated to:
TABLEAUX, FroCoS and ITP 2017
http://tableaux2017.cic.unb.br/
http://frocos2017.cic.unb.br/
http://itp2017.cic.unb.br/
Aims and Scope
==============
The Encyclopedia of Proof Systems was created in 2014 with the goal of being a
quick reference for the various proof systems used by logicians. Since then, it
has collected 64 entries on the most various logics and calculi. This was only
possible due to the collaboration of many members of the logic community.
This event aims to promote the encyclopedia and attract more contributions and
collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during which
submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th, 2017, for
those who would like to contribute to the continuous improvement of the
encyclopedia.
The activities planned for this meeting will be announced closer to the event.
Submission Instructions
=======================
Please visit the task-force's website for instructions:
http://proofsystem.github.io/Encyclopedia
Participation in TABLEAUX, FroCoS or ITP is not required for submission, but
is strongly encouraged.
Important Dates
===============
- Submission Deadline: 1st of August 2017
- Notification: 15th of August 2017
Publication Plans
=================
We have an agreement with College Publications to publish the encyclopedia as
a book. The first edition, containing the entries submitted until 2016, was
published on January 2017 (http://www.collegepublications.co.uk/other/?00028).
Future editions will contain the entries submitted for this EPS event.
The encyclopedia is also available in Github
(https://github.com/ProofSystem/Encyclopedia).
Organization
============
Bruno Woltzenlogel Paleo (bruno.wp@gmail.com)
Giselle Reis (giselle@cmu.edu)
--
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
2017-03-24
[Caml-list] LPAR-21 in Botswana - Come join us!
****************************************************************************
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 PARTICIPATION
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 conference features:
+ Over 30 high quality technical papers
+ Three invited talks:
- Rupak Majumdar, Max Planck Institute for Software Systems, Germany
- Stephen Muggleton, Imperial College London, United Kingdom
- Willem Visser, Stellenbosch University, South Africa
+ An LPAR quality social program
- Reception braai
- Full day excursion for game viewing
- African theme farewell dinner
+ The 12th International Workshop on the Implementation of Logics
Come join us in Africa!
****************************************************************************
--
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
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 PARTICIPATION
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 conference features:
+ Over 30 high quality technical papers
+ Three invited talks:
- Rupak Majumdar, Max Planck Institute for Software Systems, Germany
- Stephen Muggleton, Imperial College London, United Kingdom
- Willem Visser, Stellenbosch University, South Africa
+ An LPAR quality social program
- Reception braai
- Full day excursion for game viewing
- African theme farewell dinner
+ The 12th International Workshop on the Implementation of Logics
Come join us in Africa!
****************************************************************************
--
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] 30th International Workshop on Description Logics - 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/
-------------------------------------------------------------------------------
Call for Papers
====================
DL 2017: the 30th International Workshop on Description Logics
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.
Distinguished Student Paper Award
==========
As in recent years, the program committee may choose to award a Distinguished
Student Paper Award to the authors of a student paper, i.e., a paper that was
authored independently by researchers who have not received a doctoral degree
yet.
Student Grants
==========
A limited number of student grants will be available for participation in
DL 2017. Each grant will cover the student registration fee and may
additionally include a contribution towards travel costs. For details please
check https://project.inria.fr/dl2017/students/
Accommodation
==========
There are many tourists visiting Montpellier in July, so please make sure to
book your accommodation well in advance to ensure the best choice of options.
Even if you are not sure to attend the workshop, you may nonetheless want to
book a room in a hotel offering free cancellation.
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., is
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
CALL FOR PAPERS
30th International Workshop on Description Logics, DL 2017
July 18th to July 21st, 2017 - Montpellier, France
http://dl.kr.org/dl2017/
-------------------------------------------------------------------------------
Call for Papers
====================
DL 2017: the 30th International Workshop on Description Logics
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.
Distinguished Student Paper Award
==========
As in recent years, the program committee may choose to award a Distinguished
Student Paper Award to the authors of a student paper, i.e., a paper that was
authored independently by researchers who have not received a doctoral degree
yet.
Student Grants
==========
A limited number of student grants will be available for participation in
DL 2017. Each grant will cover the student registration fee and may
additionally include a contribution towards travel costs. For details please
check https://project.inria.fr/dl2017/students/
Accommodation
==========
There are many tourists visiting Montpellier in July, so please make sure to
book your accommodation well in advance to ensure the best choice of options.
Even if you are not sure to attend the workshop, you may nonetheless want to
book a room in a hotel offering free cancellation.
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., is
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
2017-03-10
[Caml-list] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017
Second Call for Papers
10th Conference on Intelligent Computer Mathematics
- CICM 2017 -
July 17-21, 2017
University of Edinburgh, Scotland
http://www.cicm-conference.org/2017
----------------------------------------------------------------------
NEW * Invited Speakers: Alan Bundy (University of Edinburgh) and
Grant Olney Passmore (University of Cambridge)
----------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.
CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014),
Washington DC (USA 2015) and Bialystok (Poland 2016).
This is a call for papers for CICM 2017, which will be held in
Edinburgh, Scotland, July 17-21, 2017. CICM 2017 also invites work-in-
progress papers.
The principal tracks of the conference will be:
* Track: Calculemus (chair: Matthew England)
All topics in the intersection of computer algebra systems and
automated reasoning systems including:
- Automated theorem proving in computer algebra systems.
- Computer algebra and symbolic computation in theorem proving
systems.
- Theory, design and implementation of interdisciplinary systems for
computer mathematics.
- Case studies and applications that involve a mix of computation
and reasoning.
- Case studies in formalization of mathematical theories that include
non-trivial computations.
- Representation of mathematics in computer algebra systems.
- Input languages, programming languages, types and constraint
languages, and modeling languages for mathematical assistant systems.
* Track: Digital Mathematical Libraries (DML) (chair: Olaf Teschke)
All topics related to the formation of a Global Digital Mathematics
Library (GDML) network, ranging from experiences from existing DMLs,
policies and standards facilitating interoperability, to development
and integration of new techniques for content creation,
preservation, enhancement and retrieval of the corpus, including:
- DML creation and maintenance (content aggregation, validation,
curation, enhancement).
- DML architecture and representations (organization, workflows,
policies, standards).
- DML access and applications (retrieval, interfaces, interoperability).
- DML collections and systems (experiences from various existing DMLs).
* Track: Mathematical Knowledge Management (MKM) (chair: Florian Rabe)
- Knowledge representation using, e.g., formal logics, computational
systems, narrative document formats, or databases
- Solutions to create, store, disseminate, discover, or manipulate
mathematical knowledge
- Corpora of knowledge inlcuding documents, theories, theorems, proofs,
models, algorithms, exercises, or examples
- Methods, systems, frameworks, case studies, challenges, benchmarks,
or applications for mathematical knowledge
- Comparisons, evaluations, or integrations of MKM solutions
* Track: Systems & Projects (chair: Osman Hasan)
- Systems: Stand-alone; plugins, libraries, or extensions of
existing systems; or integrations of existing systems
- Data: Formalizations; harvests or new processing of existing data;
or case studies, test cases, or benchmark suites for systems
- Projects: finished, ongoing or new
- Survey papers
* Track: Doctoral Programme (chair: TBD)
The overall programme is organized by the General Program Chair Herman
Geuvers. The local arrangements will be coordinated by Jacques
Fleuriot. The publicity chair is Serge Autexier.
We plan to have proceedings of the conference as in previous years
with Springer Verlag as a volume in Lecture Notes in Artificial
Intelligence (LNAI).
*Important Dates*
Conference submissions
- Abstract submission deadline: 15. March 2017
- Submission deadline: 22. March 2017
- Reviews sent to authors: 26. April 2017
- Rebuttals due: 30. April 2017
- Notification of acceptance: 12. May 2017
- Camera ready copies due: 26. May 2017
- Conference: 17.-21. July 2017
Workshop Proposals
- Submission deadline: 10. February 2017
- Notification of acceptance: 15. February 2017
More details on the conference are available from
http://www.cicm-conference.org/2017
--
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
10th Conference on Intelligent Computer Mathematics
- CICM 2017 -
July 17-21, 2017
University of Edinburgh, Scotland
http://www.cicm-conference.org/2017
----------------------------------------------------------------------
NEW * Invited Speakers: Alan Bundy (University of Edinburgh) and
Grant Olney Passmore (University of Cambridge)
----------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information. Separate communities have developed to
investigate and build computer based systems for computer algebra,
automated deduction, and mathematical publishing as well as novel user
interfaces. While all of these systems excel in their own right, their
integration can lead to synergies offering significant added
value. The Conference on Intelligent Computer Mathematics (CICM)
offers a venue for discussing and developing solutions to the great
challenges posed by the integration of these diverse areas.
CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014),
Washington DC (USA 2015) and Bialystok (Poland 2016).
This is a call for papers for CICM 2017, which will be held in
Edinburgh, Scotland, July 17-21, 2017. CICM 2017 also invites work-in-
progress papers.
The principal tracks of the conference will be:
* Track: Calculemus (chair: Matthew England)
All topics in the intersection of computer algebra systems and
automated reasoning systems including:
- Automated theorem proving in computer algebra systems.
- Computer algebra and symbolic computation in theorem proving
systems.
- Theory, design and implementation of interdisciplinary systems for
computer mathematics.
- Case studies and applications that involve a mix of computation
and reasoning.
- Case studies in formalization of mathematical theories that include
non-trivial computations.
- Representation of mathematics in computer algebra systems.
- Input languages, programming languages, types and constraint
languages, and modeling languages for mathematical assistant systems.
* Track: Digital Mathematical Libraries (DML) (chair: Olaf Teschke)
All topics related to the formation of a Global Digital Mathematics
Library (GDML) network, ranging from experiences from existing DMLs,
policies and standards facilitating interoperability, to development
and integration of new techniques for content creation,
preservation, enhancement and retrieval of the corpus, including:
- DML creation and maintenance (content aggregation, validation,
curation, enhancement).
- DML architecture and representations (organization, workflows,
policies, standards).
- DML access and applications (retrieval, interfaces, interoperability).
- DML collections and systems (experiences from various existing DMLs).
* Track: Mathematical Knowledge Management (MKM) (chair: Florian Rabe)
- Knowledge representation using, e.g., formal logics, computational
systems, narrative document formats, or databases
- Solutions to create, store, disseminate, discover, or manipulate
mathematical knowledge
- Corpora of knowledge inlcuding documents, theories, theorems, proofs,
models, algorithms, exercises, or examples
- Methods, systems, frameworks, case studies, challenges, benchmarks,
or applications for mathematical knowledge
- Comparisons, evaluations, or integrations of MKM solutions
* Track: Systems & Projects (chair: Osman Hasan)
- Systems: Stand-alone; plugins, libraries, or extensions of
existing systems; or integrations of existing systems
- Data: Formalizations; harvests or new processing of existing data;
or case studies, test cases, or benchmark suites for systems
- Projects: finished, ongoing or new
- Survey papers
* Track: Doctoral Programme (chair: TBD)
The overall programme is organized by the General Program Chair Herman
Geuvers. The local arrangements will be coordinated by Jacques
Fleuriot. The publicity chair is Serge Autexier.
We plan to have proceedings of the conference as in previous years
with Springer Verlag as a volume in Lecture Notes in Artificial
Intelligence (LNAI).
*Important Dates*
Conference submissions
- Abstract submission deadline: 15. March 2017
- Submission deadline: 22. March 2017
- Reviews sent to authors: 26. April 2017
- Rebuttals due: 30. April 2017
- Notification of acceptance: 12. May 2017
- Camera ready copies due: 26. May 2017
- Conference: 17.-21. July 2017
Workshop Proposals
- Submission deadline: 10. February 2017
- Notification of acceptance: 15. February 2017
More details on the conference are available from
http://www.cicm-conference.org/2017
--
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
2017-03-09
[Caml-list] 2017: Call for participation
-----------------------------------------------------------------------
<Programming> 2017 : The Art, Science, and Engineering of Programming
April 3-6, 2017, Brussels, Belgium
http://2017.programming-conference.org
-----------------------------------------------------------------------
We are excited to welcome you to <Programming> 2017, a new conference
focused on everything to do with programming. It takes place at the
Vrije Universiteit Brussel, Belgium on April 3-6. The <Programming>
conference is closely associated with the open-access journal "The Art,
Science, and Engineering of Programming". The journal's first two
issues form the conference's research track, which means you can freely
access all papers presented at the conference before it even starts!
Along with the research track, <Programming> 2017 features a program
with two main keynotes, two symposia, eight workshops, a coding dojo, a
demo track, and a student research competition.
To catch a glimpse of what <Programming> 2017 has to offer, feel free to
have a look at our overview video:
https://www.youtube.com/watch?v=GM_hLNW4ioE
***********************************************************************
Program highlights
***********************************************************************
Main conference:
- Keynote: "Live Literate Programming" by Gilad Bracha
- Keynote: "How Racket Went Meta" by Matthew Flatt
- Research track: 18 full papers
- Demonstrations: 10 tool demos
- ACM Student Research Competition: 8 entries
Co-located events:
- 10th European Lisp Symposium: 2 keynotes by Hans Hübner and Bohdan
Khomtchouk, ~18 papers (not final yet)
- Modularity 2017: 8 invited talks by Jörg Kienzle, Shmuel Katz, Mira
Mezini, Bedir Tekinerdogan, Stéphane Ducasse, Uwe Aßmann, Lodewijk
Bergmans and Mario Südholt
- CoCoDo - RainCode Labs Compiler Coding Dojo: code together with
experts Adrian Johnstone, Elizabeth Scott, Robby Findler, and more to come!
- LASSY - Workshop on Live Adaptation of Software SYstems
- MiniPLoP - Mini Pattern Languages of Programs writers' workshop
- MOMO - Workshop on Modularity in Modeling
- MoreVMs - Workshop on Modern Language Runtimes, Ecosystems, and VMs
- PASS - Workshop on Programming Across the System Stack
- PX - Workshop on Programming Experience
- ProWeb - Programming Technology for the Future Web
- Salon des Refusés workshop
Social events:
- Beer reception at the conference venue (April 3rd)
- Reception at the Musical Instruments Museum (April 4th)
- Banquet at the Natural Sciences Museum (April 5th)
***********************************************************************
Registration, attendance and accommodation
***********************************************************************
- You can register for <Programming> 2017 at:
http://2017.programming-conference.org/attending/registration
- Early registration ends soon! Please register before March 13th to
obtain the early-bird discount.
- More information on attending the conference is available at:
http://2017.programming-conference.org/attending/reaching-the-conference
- More information on accommodation is available at:
http://2017.programming-conference.org/attending/accomodation
***********************************************************************
About Brussels
***********************************************************************
Brussels is the capital of Belgium, and home to the headquarters of the
European Union. Despite its European nature and all the different
languages spoken on every street corner, Brussels still has a very
"village-like" character. It's well known for its Grand-Place, its
Atomium, its Manneken-Pis, its Gueuze and its Kriek, its waffles and its
chocolates. Be sure to take some time off to soak up the special
atmosphere of its many different districts: Take a stroll to Rue
Dansaert, Halles Saint-Géry, and Place Sainte-Catherine. Head for
Saint-Boniface, Châtelain, or Flagey. In other words, go ahead and
relish Brussels, a fine and beautiful city to explore and discover.
-----------------------------------------------------------------------
For more information, please visit http://2017.programming-conference.org
You can also find us on Twitter (twitter.com/programmingconf) and
Facebook (facebook.com/programmingconf)
Looking forward to see you in Brussels,
Theo D'Hondt (General chair), Wolfgang De Meuter (Organizing chair),
Crista Lopes (Program chair), Jörg Kienzle, Ralf Lämmel, Hidehiko
Masuhara, Tim Molderez, Tobias Pape, and Jennifer Sartor
--
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
<Programming> 2017 : The Art, Science, and Engineering of Programming
April 3-6, 2017, Brussels, Belgium
http://2017.programming-conference.org
-----------------------------------------------------------------------
We are excited to welcome you to <Programming> 2017, a new conference
focused on everything to do with programming. It takes place at the
Vrije Universiteit Brussel, Belgium on April 3-6. The <Programming>
conference is closely associated with the open-access journal "The Art,
Science, and Engineering of Programming". The journal's first two
issues form the conference's research track, which means you can freely
access all papers presented at the conference before it even starts!
Along with the research track, <Programming> 2017 features a program
with two main keynotes, two symposia, eight workshops, a coding dojo, a
demo track, and a student research competition.
To catch a glimpse of what <Programming> 2017 has to offer, feel free to
have a look at our overview video:
https://www.youtube.com/watch?v=GM_hLNW4ioE
***********************************************************************
Program highlights
***********************************************************************
Main conference:
- Keynote: "Live Literate Programming" by Gilad Bracha
- Keynote: "How Racket Went Meta" by Matthew Flatt
- Research track: 18 full papers
- Demonstrations: 10 tool demos
- ACM Student Research Competition: 8 entries
Co-located events:
- 10th European Lisp Symposium: 2 keynotes by Hans Hübner and Bohdan
Khomtchouk, ~18 papers (not final yet)
- Modularity 2017: 8 invited talks by Jörg Kienzle, Shmuel Katz, Mira
Mezini, Bedir Tekinerdogan, Stéphane Ducasse, Uwe Aßmann, Lodewijk
Bergmans and Mario Südholt
- CoCoDo - RainCode Labs Compiler Coding Dojo: code together with
experts Adrian Johnstone, Elizabeth Scott, Robby Findler, and more to come!
- LASSY - Workshop on Live Adaptation of Software SYstems
- MiniPLoP - Mini Pattern Languages of Programs writers' workshop
- MOMO - Workshop on Modularity in Modeling
- MoreVMs - Workshop on Modern Language Runtimes, Ecosystems, and VMs
- PASS - Workshop on Programming Across the System Stack
- PX - Workshop on Programming Experience
- ProWeb - Programming Technology for the Future Web
- Salon des Refusés workshop
Social events:
- Beer reception at the conference venue (April 3rd)
- Reception at the Musical Instruments Museum (April 4th)
- Banquet at the Natural Sciences Museum (April 5th)
***********************************************************************
Registration, attendance and accommodation
***********************************************************************
- You can register for <Programming> 2017 at:
http://2017.programming-conference.org/attending/registration
- Early registration ends soon! Please register before March 13th to
obtain the early-bird discount.
- More information on attending the conference is available at:
http://2017.programming-conference.org/attending/reaching-the-conference
- More information on accommodation is available at:
http://2017.programming-conference.org/attending/accomodation
***********************************************************************
About Brussels
***********************************************************************
Brussels is the capital of Belgium, and home to the headquarters of the
European Union. Despite its European nature and all the different
languages spoken on every street corner, Brussels still has a very
"village-like" character. It's well known for its Grand-Place, its
Atomium, its Manneken-Pis, its Gueuze and its Kriek, its waffles and its
chocolates. Be sure to take some time off to soak up the special
atmosphere of its many different districts: Take a stroll to Rue
Dansaert, Halles Saint-Géry, and Place Sainte-Catherine. Head for
Saint-Boniface, Châtelain, or Flagey. In other words, go ahead and
relish Brussels, a fine and beautiful city to explore and discover.
-----------------------------------------------------------------------
For more information, please visit http://2017.programming-conference.org
You can also find us on Twitter (twitter.com/programmingconf) and
Facebook (facebook.com/programmingconf)
Looking forward to see you in Brussels,
Theo D'Hondt (General chair), Wolfgang De Meuter (Organizing chair),
Crista Lopes (Program chair), Jörg Kienzle, Ralf Lämmel, Hidehiko
Masuhara, Tim Molderez, Tobias Pape, and Jennifer Sartor
--
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
Subscribe to:
Posts (Atom)