========================================================
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
2017-03-08
[Caml-list] MEMOCODE-2017 (Call for Papers)
-- Call for Papers --
15th ACM/IEEE
International Conference
on
Formal Methods and Models for System Design
(MEMOCODE)
September 29 - October 2, 2017, Vienna, Austria
http://memocode.irisa.fr/2017
IMPORTANT DATES
Submission deadline (abstract): May 12, 2017
Submission deadline (paper): May 19, 2017
Notification of acceptance: July 10, 2017
Final version of papers: July 28, 2017
MEMOCODE's objective is to bring together researchers and practitioners
interested in formal methods and models for system design and development to
exchange ideas, research results, and lessons learned. System design covers the
development of hardware, firmware, middleware, and application software for
systems ranging from single embedded devices to highly networked CPS and systems
in the IoT. In particular, MEMOCODE 2017 seeks research contributions on formal
foundations, engineering methods, tools, and experimental case studies. Research
areas of interest include, but are not limited to the following:
* Modeling Languages, Methods and Tools:
Programming languages and models; software and system modeling languages;
architecture and high-level hardware description languages; timing models;
model and program synthesis methods; model transformation methods
* Formal Methods and Tools:
Correct-by-construction methods; contract-based design and verification;
static, dynamic, and type theoretic analysis; verification; validation;
probabilistic model checking; test generation; refinement-based and
compositional approaches to design and verification
* Models and Methods for Developing Critical Systems:
Fault-tolerant systems; security-critical and safety-critical systems;
cyber-physical systems; hybrid systems; autonomous systems;
self-adapting systems
* Quantitative/Qualitative Reasoning:
Power/performance/cost/latency estimation methods;
system models for quantitative design space exploration
* Formal Methods/Models in Practice:
Design case studies; empirical case studies
SUBMISSIONS
MEMOCODE 2017 calls for three kinds of submissions: regular papers, work in
progress papers, and tool presentations. All papers must be written in English
and formatted according to the following IEEE Computer Society guidelines.
Submission of papers is handled via Easychair
(https://easychair.org/conferences/?conf=memocode2017):
* Regular papers must be no longer than 10 pages and must describe original
work that does not overlap with another publication or a submission under
review or accepted for publication by any other conference or journal.
Reviewers will check regular papers for the novelty of the proposed
solution and the proofs given for the claims made. One of the authors has
to present the paper at the conference.
* Work-in-progress (WIP) papers must be no longer than 4 pages and must
describe ongoing work. Reviewers will judge the novelty of the idea, but do
not yet expect proofs for the envisioned results. WIP papers will be
presented by one of the authors during a poster presentation at the
conference.
* Tool papers must be no longer than 8 pages and should describe an existing
and publicly available tool that implements relevant methods. The methods
might have been published before, but the tool should not have been
described in a tool paper previously. In addition to reviewing the paper,
reviewers will assess the tool itself using inputs and a user's manual
provided by the authors on the tool's web page. One of the authors has to
present the paper at the conference.
For questions regarding technical submissions, feel free to contact one of the
Program Committee co-chairs:
* Patricia Derler (patricia.derler@ni.com)
* Klaus Schneider (klaus.schneider@cs.uni-kl.de).
All accepted papers (regular paper, WIP papers, and tool papers) will be
published as IEEE conference proceedings in IEEE Xplore. For all three paper
categories, publication is contingent on one author registering for and
presenting the paper at the conference. Selected papers will be invited for
publication in a special issue of ACM Transactions on Embedded Computing Systems.
PROGRAM CHAIRS
Patricia Derler, National Instruments Corporation
Klaus Schneider, University of Kaiserslautern
GENERAL CHAIR
Jean-Pierre Talpin, IRISA
PUBLICATION CHAIR
Yi Deng, Virginia Tech
PROGRAM COMMITTEE
Paul Attie, American University of Beirut
Marco Bekooij, University of Twente
Jani Boutellier, Tampere University of Technology
Jens Brandt, Hochschule Niederrhein
Sudipta Chattopadhyay, Singapore University of Technology and Design
Silviu Craciunas, TTTech Computertechnik AG
Jyotirmoy Deshmukh, Toyota Technical Center
Stephen Edwards, Columbia University
Mamoun Filali-Amine, IRIT
Martin Fraenzle, Carl von Ossietzky Universitaet Oldenburg
Franco Fummi, University of Verona
Abdoulaye Gamatie, CNRS
Marc Geilen, Eindhoven University of Technology
Leonard Gerard, ENS
Gregor Goessler, INRIA
Tuba Kahveci, University of Florida
Rick Kuhn, Natl Institute of Standards & Technology
Luciano Lavagno, Politecnico di Torino
Axel Legay, IRISA/INRIA, Rennes
Elizabeth Leonard, Naval Research Laboratory
Thanhvu Nguyen, University of Nebraska, Lincoln
Pierluigi Nuzzo, University of Southern California
John O'Leary, Intel Corporation
Roberto Passerone, University of Trento
Maxime Pelcat, IETR/INSA
Doron Peled, Bar Ilan University
Andre Platzer, Carnegie Mellon University
Murali Rangarajan, The Boeing Company
Sanjai Rayadurgam, University of Minnesota
Elvinia Riccobene, University of Milan
Partha Roop, University of Auckland
Neda Saeedloei, University of Texas at Dallas
Aviral Shrivastava, Arizona State University
Sandeep Shukla, IIT Kanpur
Marjan Sirjani, Reykjavik University
Juergen Teich, University of Erlangen-Nuremberg
Stavros Tripakis, University of California, Berkeley
Muralidaran Vijayaraghavan, MIT
Reinhard von Hanxleden, Christian-Albrechts-Universitaet zu Kiel
Qi Zhu, UC Riverside
Damian Zufferey, MPI Software Systems
--
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-06
[Caml-list] LPAR-21 Short Presentation Papers - Call for Papers
******************************************************************************
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 SHORT PRESENTATION PAPERS
In keeping with the tradition of LPAR, researchers and practitioners are
invited to submit short presentation papers (the papers can be full length, the
presentation slots will be short), reporting on interesting work in progress,
system and tool descriptions, experimental results, etc. They need not be
original, and extended or revised versions of the papers may be submitted
concurrently with or after LPAR to another conference or a journal. Authors of
accepted papers are required to ensure that at least one of them will be
present at the conference. Papers that do not adhere to this policy will not
be published.
The short presentation papers will be published electronically as a volume in
the Kalpa series, see http://www.easychair.org/publications/Kalpa. The LaTeX
and Microsoft Word templates for the Kalpa series can be downloaded from
http://www.easychair.org/publications/for_authors. Papers may be up to 15
pages long, and must be submitted through the EasyChair system using the web
page https://www.easychair.org/conferences/?conf=lpar21.
Paper submission deadline: 18th March 2017
Notification of acceptance: 1st April 2017
Final version: 8th April 2017
... however, in order to facilitate authors making travel arrangements, papers
submitted before the deadline will be reviewed immediately, and a decision
made in approximately one week. Submit early, and submit often!
******************************************************************************
--
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 SHORT PRESENTATION PAPERS
In keeping with the tradition of LPAR, researchers and practitioners are
invited to submit short presentation papers (the papers can be full length, the
presentation slots will be short), reporting on interesting work in progress,
system and tool descriptions, experimental results, etc. They need not be
original, and extended or revised versions of the papers may be submitted
concurrently with or after LPAR to another conference or a journal. Authors of
accepted papers are required to ensure that at least one of them will be
present at the conference. Papers that do not adhere to this policy will not
be published.
The short presentation papers will be published electronically as a volume in
the Kalpa series, see http://www.easychair.org/publications/Kalpa. The LaTeX
and Microsoft Word templates for the Kalpa series can be downloaded from
http://www.easychair.org/publications/for_authors. Papers may be up to 15
pages long, and must be submitted through the EasyChair system using the web
page https://www.easychair.org/conferences/?conf=lpar21.
Paper submission deadline: 18th March 2017
Notification of acceptance: 1st April 2017
Final version: 8th April 2017
... however, in order to facilitate authors making travel arrangements, papers
submitted before the deadline will be reviewed immediately, and a decision
made in approximately one week. Submit early, and submit often!
******************************************************************************
--
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] FSCD 2017 - Second Call for Papers
*** Apologies for multiple copies, please redistribute ***
CALL FOR PAPERS
Second International Conference on
Formal Structures for Computation and Deduction (FSCD'17)
4 -- 7 September 2017, Oxford, UK
(in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2017)
http://www.cs.ox.ac.uk/conferences/fscd2017/
FSCD (http://fscdconference.org/) covers all aspects of formal
structures for computation and deduction from theoretical foundations
to applications. Building on two communities, RTA (Rewriting
Techniques and Applications) and TLCA (Typed Lambda Calculi and
Applications), FSCD embraces their core topics and broadens their
scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing or homotopy
type theory.
IMPORTANT DATES All deadlines are midnight anywhere-on-earth (AoE) and
are firm; late submissions will not be considered.
Abstract Deadline: 7 April 2017
Submission Deadline: 14 April 2017
Rebuttal: 29--31 May 2017
Notification: 14 June 2017
Camera-Ready: 7 July 2017
Suggested, but not exclusive, list of topics for submission are:
1. Calculi: Lambda calculus * Concurrent calculi * Logics * Rewriting
systems * Proof theory * Type theory and logical frameworks
2. Methods in Computation and Deduction: Type systems * Induction and
coinduction * Matching, unification, completion, and orderings *
Strategies * Tree automata * Model checking * Proof search and
theorem proving * Constraint solving and decision procedures
3. Semantics: Operational semantics * Abstract machines * Game
Semantics * Domain theory and categorical models * Quantitative
models
4. Algorithmic Analysis and Transformations of Formal Systems: Type
Inference and type checking * Abstract Interpretation * Complexity
analysis and implicit computational complexity * Checking
termination, confluence, derivational complexity and related
properties * Symbolic computation
5. Tools and Applications: Programming and proof environments *
Verification tools * Libraries for proof assistants and interactive
theorem provers * Case studies in proof assistants and interactive
theorem provers * Certification
PUBLICATION The proceedings will be published as an electronic volume
in the Leibniz International Proceedings in Informatics (LIPIcs) of
Schloss Dagstuhl. All LIPIcs proceedings are open access.
SUBMISSION GUIDELINES Submissions can be made in two categories.
Regular research papers are limited to 15 pages and must present
original research which is unpublished and not submitted
elsewhere. System descriptions are limited to 10 pages and must
describe a working system which has not been published or submitted
elsewhere. Submissions must be formatted using the LIPIcs style files
and submitted via EasyChair. Complete instructions on submitting a
paper can be found on the conference web site.
SPECIAL ISSUES Full versions of several accepted papers, to be
selected by the program committee, will be invited for submission to a
special issue of Logical Methods in Computer Science.
BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will
consider declaring this award to a paper in which all authors are
junior researchers: a junior researcher is a person who is either a
student or whose PhD award date is less than three years from the
first day of the meeting.
PROGRAM COMMITTEE CHAIR
Dale Miller, Inria Saclay & LIX <fscd17@easychair.org>
PROGRAM COMMITTEE
Andreas Abel, Gothenburg Univ.
Elvira Albert, Complutense Madrid
Maria Alpuente, TU Valencia
Takahito Aoto, Niigata Univ.
Zena Ariola, Univ. Oregon
Federico Aschieri, TU Wien
Stefano Berardi, Univ. Turin
Lars Birkedal, Aarhus Univ.
Filippo Bonchi, CNRS, ENS Lyon
Pierre Clairambault, CNRS, ENS Lyon
Ugo Dal Lago, Univ. Bologna
Herman Geuvers, Radboud Univ.
Silvia Ghilezan, Univ. Novi Sad
Juergen Giesl, RWTH Aachen
Hugo Herbelin, Inria Paris
Jan Hoffmann, Carnegie Mellon
Deepak Kapur, Univ. New Mexico
Paul Blain Levy, Univ. Birmingham
Paulo Oliva, QMUL, London
Vincent van Oostrom, Univ. Innsbruck
Daniela Petrisan, LIAFA, Paris
Femke van Raamsdonk, VU Univ. Amsterdam
Grigore Rosu, Univ. Illinois
Albert Rubio, UPC-BarcelonaTech
Paula Severi, Univ. Leicester
Bas Spitters, Aarhus Univ.
Aaron Stump, Univ. Iowa
Kazushige Terui, Kyoto Univ.
Rene Thiemann, Univ. Innsbruck
Sophie Tison, Lille Univ.
CONFERENCE CHAIR
Sam Staton, Univ. of Oxford
WORKSHOP CHAIR
Jamie Vicary, Univ. of Oxford
PUBLICITY CHAIR
Sandra Alves, Univ. of Porto
FSCD STEERING COMMITTEE T. Altenkirch (Univ. Nottingham), S. Alves
(Univ. Porto), G. Dowek, (Inria), S. Escobar (Univ. Politecnica de
Valencia), M. Fernandez (King's College London), H. Herbelin (Inria),
D. Kesner (Univ. Paris), N. Kobayashi (Univ. Tokyo), L. Ong (Chair,
Univ. Oxford), B. Pientka (McGill Univ.), R. Thiemann (Univ. Innsbruck).
--
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
Second International Conference on
Formal Structures for Computation and Deduction (FSCD'17)
4 -- 7 September 2017, Oxford, UK
(in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with ICFP 2017)
http://www.cs.ox.ac.uk/conferences/fscd2017/
FSCD (http://fscdconference.org/) covers all aspects of formal
structures for computation and deduction from theoretical foundations
to applications. Building on two communities, RTA (Rewriting
Techniques and Applications) and TLCA (Typed Lambda Calculi and
Applications), FSCD embraces their core topics and broadens their
scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing or homotopy
type theory.
IMPORTANT DATES All deadlines are midnight anywhere-on-earth (AoE) and
are firm; late submissions will not be considered.
Abstract Deadline: 7 April 2017
Submission Deadline: 14 April 2017
Rebuttal: 29--31 May 2017
Notification: 14 June 2017
Camera-Ready: 7 July 2017
Suggested, but not exclusive, list of topics for submission are:
1. Calculi: Lambda calculus * Concurrent calculi * Logics * Rewriting
systems * Proof theory * Type theory and logical frameworks
2. Methods in Computation and Deduction: Type systems * Induction and
coinduction * Matching, unification, completion, and orderings *
Strategies * Tree automata * Model checking * Proof search and
theorem proving * Constraint solving and decision procedures
3. Semantics: Operational semantics * Abstract machines * Game
Semantics * Domain theory and categorical models * Quantitative
models
4. Algorithmic Analysis and Transformations of Formal Systems: Type
Inference and type checking * Abstract Interpretation * Complexity
analysis and implicit computational complexity * Checking
termination, confluence, derivational complexity and related
properties * Symbolic computation
5. Tools and Applications: Programming and proof environments *
Verification tools * Libraries for proof assistants and interactive
theorem provers * Case studies in proof assistants and interactive
theorem provers * Certification
PUBLICATION The proceedings will be published as an electronic volume
in the Leibniz International Proceedings in Informatics (LIPIcs) of
Schloss Dagstuhl. All LIPIcs proceedings are open access.
SUBMISSION GUIDELINES Submissions can be made in two categories.
Regular research papers are limited to 15 pages and must present
original research which is unpublished and not submitted
elsewhere. System descriptions are limited to 10 pages and must
describe a working system which has not been published or submitted
elsewhere. Submissions must be formatted using the LIPIcs style files
and submitted via EasyChair. Complete instructions on submitting a
paper can be found on the conference web site.
SPECIAL ISSUES Full versions of several accepted papers, to be
selected by the program committee, will be invited for submission to a
special issue of Logical Methods in Computer Science.
BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will
consider declaring this award to a paper in which all authors are
junior researchers: a junior researcher is a person who is either a
student or whose PhD award date is less than three years from the
first day of the meeting.
PROGRAM COMMITTEE CHAIR
Dale Miller, Inria Saclay & LIX <fscd17@easychair.org>
PROGRAM COMMITTEE
Andreas Abel, Gothenburg Univ.
Elvira Albert, Complutense Madrid
Maria Alpuente, TU Valencia
Takahito Aoto, Niigata Univ.
Zena Ariola, Univ. Oregon
Federico Aschieri, TU Wien
Stefano Berardi, Univ. Turin
Lars Birkedal, Aarhus Univ.
Filippo Bonchi, CNRS, ENS Lyon
Pierre Clairambault, CNRS, ENS Lyon
Ugo Dal Lago, Univ. Bologna
Herman Geuvers, Radboud Univ.
Silvia Ghilezan, Univ. Novi Sad
Juergen Giesl, RWTH Aachen
Hugo Herbelin, Inria Paris
Jan Hoffmann, Carnegie Mellon
Deepak Kapur, Univ. New Mexico
Paul Blain Levy, Univ. Birmingham
Paulo Oliva, QMUL, London
Vincent van Oostrom, Univ. Innsbruck
Daniela Petrisan, LIAFA, Paris
Femke van Raamsdonk, VU Univ. Amsterdam
Grigore Rosu, Univ. Illinois
Albert Rubio, UPC-BarcelonaTech
Paula Severi, Univ. Leicester
Bas Spitters, Aarhus Univ.
Aaron Stump, Univ. Iowa
Kazushige Terui, Kyoto Univ.
Rene Thiemann, Univ. Innsbruck
Sophie Tison, Lille Univ.
CONFERENCE CHAIR
Sam Staton, Univ. of Oxford
WORKSHOP CHAIR
Jamie Vicary, Univ. of Oxford
PUBLICITY CHAIR
Sandra Alves, Univ. of Porto
FSCD STEERING COMMITTEE T. Altenkirch (Univ. Nottingham), S. Alves
(Univ. Porto), G. Dowek, (Inria), S. Escobar (Univ. Politecnica de
Valencia), M. Fernandez (King's College London), H. Herbelin (Inria),
D. Kesner (Univ. Paris), N. Kobayashi (Univ. Tokyo), L. Ong (Chair,
Univ. Oxford), B. Pientka (McGill Univ.), R. Thiemann (Univ. Innsbruck).
--
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] TABLEAUX 2017 - Final Call for Papers
************************************************************************
FINAL CALL FOR PAPERS
TABLEAUX 2017
26th International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods
University of Brasilia, Brazil
September 25-28, 2017
Deadlines: 18 Apr 2017 (abstract), 25 Apr 2017 (paper)
http://tableaux2017.cic.unb.br/
GENERAL INFORMATION
TABLEAUX is the main international conference at which research
on all aspects, theoretical foundations, implementation techniques,
systems development and applications, of the mechanization of
tableau-based reasoning and related methods is presented. As
the first TABLEAUX workshop was held in Lautenbach in 1992, this
year's conference will include special events celebrating 25 years
of TABLEAUX.
The conference will be held in Brasilia from 25-28 September 2017.
It will be co-located with both the 11th International Symposium
on Frontiers of Combining Systems (FroCoS 2017) and the 8th
International Conference on Interactive Theorem Proving (ITP
2017).
TOPICS
Tableau methods offer a convenient and flexible set of tools for
automated reasoning in classical logic, extensions of classical
logic, and a large number of non-classical logics. For large groups
of logics, tableau methods can be generated automatically. Areas
of application include verification of software and computer
systems, deductive databases, knowledge representation and its
required inference engines, teaching, and system diagnosis.
Topics of interest include but are not limited to:
* tableau methods for classical and non-classical logics
(including first-order, higher-order, modal, temporal,
description, hybrid, intuitionistic, substructural,
relevance, non-monotonic logics) and their proof-theoretic
foundations;
* related methods (SMT, model elimination, model checking,
connection methods, resolution, BDDs, translation approaches);
* sequent calculi and natural deduction calculi for classical
and non-classical logics, as tools for proof search and proof
representation;
* flexible, easily extendable, light weight methods for theorem
proving;
* novel types of calculi for theorem proving and verification
in classical and non-classical logics;
* systems, tools, implementations, empirical evaluations and
applications (provers, logical frameworks, model checkers, ...);
* implementation techniques (data structures, efficient
algorithms, performance measurement, extensibility, ...);
* extensions of tableau procedures with conflict-driven
learning, generation of proofs; compact (or humanly readable)
representation of proofs;
* decision procedures, theoretically optimal procedures;
* applications of automated deduction to mathematics, software
development, verification, deductive and temporal
databases, knowledge representation, ontologies, fault
diagnosis or teaching.
We also welcome papers describing applications of tableau
procedures to real world examples. Such papers should be tailored
to the tableau community and should focus on the role of
reasoning, and logical aspects of the solution.
CELEBRATING 25 YEARS
To celebrate 25 years TABLEAUX the conference will include a
special session of invited talks by:
Reiner Haehnle Technische Universitaet Darmstadt, Germany
Wolfgang Bibel Technische Universitaet Darmstadt, Germany
INVITED SPEAKERS:
Carlos Areces FaMAF - Universidad Nacional de Cordoba, Argentina
Katalin Bimbo University of Alberta, Canada (with FroCoS and
ITP)
Jasmin Blanchette Inria and LORIA, Nancy, France (with FroCoS and
ITP)
Cezary Kaliszyk Universitaet Innsbruck, Austria (with FroCoS and
ITP)
WORKSHOPS AND TUTORIALS
There will be a three-day programme of four workshops and four
tutorials from 23-25 September.
Workshops:
12th Logical and Semantic Frameworks with Applications (LSFA 2017)
Sandra Alves, Renata Wassermann, Flavio L. C. de Moura
23 and 24 September 2017
Proof eXchange for Theorem Proving (PxTP)
Catherine Dubois, Bruno Woltzenlogel Paleo
23 and 24 September 2017
EPS - Encyclopedia of Proof Systems
Giselle Reis, Bruno Woltzenlogel Paleo
24 and 25 September 2017
DaLi - Dynamic Logic: new trends and applications
Mario Benevides, Alexandre Madeira
24 September 2017
Tutorials:
General methods in proof theory for modal and substructural logics
Bjoern Lellmann, Revantha Ramanayake
23 September 2017
From proof systems to complexity bounds
Anupam Das
24 September 2017
Proof Compressions and the conjecture NP = PSPACE
Lew Gordeev, Edward Hermann Haeusler
25 September 2017
PVS for Computer Scientists
Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato
25 September 2017
Details will be published in separate calls and on the conference
website.
POSTER SESSION
There will be a joint poster session for TABLEAUX 2017, FroCos 2017,
and
ITP 2017. The session is intended for descriptions of work in
progress,
student projects and relevant research being published elsewhere.
The deadline for posters submission is June 15, 2017. More details can
be found at http://tableaux2017.cic.unb.br/#postersession.
PUBLICATION DETAILS
The conference proceedings will published in the Springer
LNAI/LNCS series, as in previous editions.
SUBMISSIONS
Submissions are invited in two categories:
A Research papers, which describe original theoretical
research, original algorithms, or applications, with length
up to 15 pages.
B System descriptions, with length up to 9 pages.
Submissions will be reviewed by the PC, possibly with the help of
external reviewers, taking into account readability, relevance
and originality.
For category A, theoretical results and algorithms must be
original, and not submitted for publication elsewhere. Submissions
will be reviewed taking into account correctness, theoretical
elegance, and possible implementability.
For category B submissions, a working implementation must be
accessible via the internet, which includes sources. The aim of a
system description is to make the system available in such a way
that users can use it, understand it, and build on it.
Accepted papers in both categories will be published in the
conference proceedings. Papers must be edited in LaTeX using the
llncs style and must be submitted electronically as PDF files via
the EasyChair system:
https://easychair.org/conferences/?conf=tableaux2017.
For all accepted papers at least one author is required to attend
the conference and present the paper. A paper title and a short
abstract of about 100 words must be submitted before the paper
submission deadline. Further information about paper submissions
will be made available at the conference website. Be aware that
neither plagiarism, nor self-plagiarism, nor duplicate publication
is acceptable. Formatting instructions and the LNCS style files
can be obtained via
http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines
BEST PAPER AWARD
The TABLEAUX 2017 Best Paper Award will be presented to the best
submission nominated and chosen by the Program Committee among
the accepted papers. The eligibility criteria will place emphasis
on the originality and significance of the contribution, but
readability and the overall technical quality, including correctness
and completeness of results, will also be considered. The TABLEAUX
Best Paper Award was established in 2015 and is a permanent
initiative of TABLEAUX.
IMPORTANT DATES
18 Apr 2017 Abstract submission
25 Apr 2017 Paper submission
8 Jun 2017 Notification of paper decisions
3 Jul 2017 Camera-ready papers due
23-25 Sep 2017 Workshops & Tutorials
25-28 Sep 2017 TABLEAUX Conference
PROGRAM COMMITTEE
Peter Baumgartner National ICT Australia, Canberra
Maria Paola Bonacina Universita degli Studi di Verona
Laura Bozzelli Universidad Politecnica de Madrid
Torben Brauener Roskilde University
Serenella Cerrito Ibisc, Universite d'Evry Val d'Essonne
Agata Ciabattoni Technische Universitaet Wien
Clare Dixon University of Liverpool
Pascal Fontaine LORIA, INRIA, Universite de Lorraine
Didier Galmiche LORIA, Universite de Lorraine
Martin Giese Universitetet i Oslo
Laura Giordano DISIT, Universita del Piemonte Orientale
Rajeev Gore The Australian National University
Volker Haarslev Concordia University
George Metcalfe Universitaet Bern
Angelo Montanari Universita degli Studi di Udine
Barbara Morawska Technische Universitaet Dresden
Boris Motik University of Oxford
Leonardo de Moura Microsoft Research
Neil Murray SUNY at Albany
Claudia Nalon Universidade de Brasilia
Linh Anh Nguyen Uniwersytet Warszawski
Hans de Nivelle Uniwersytet Wroclawski
Nicola Olivetti LSIS, Aix-Marseille Universite
Jens Otten Universitetet i Oslo
Valeria de Paiva Nuance Communications
Nicolas Peltier Centre National de la Recherche Scientifique,
Laboratoire d'Informatique de Grenoble
Elaine Pimentel Universidade Federal do Rio Grande do Norte
Giselle Reis Carnegie Mellon University-Qatar
Philipp Ruemmer Uppsala Universitet
Katsuhiko Sano Hokkaido University
Renate Schmidt The University of Manchester
Cesare Tinelli The University of Iowa
Alwen Tiu Nanyang Technological University
David Toman University of Waterloo
Josef Urban Ceske vysoke uceni technicke v Praze
LOCAL CONFERENCE ORGANIZATION COMMITTEE
Claudia Nalon, Universidade de Brasilia, Brazil
Daniele Nantes Sobrinho, Universidade de Brasilia, Brazil
Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil
Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil
CONFERENCE CHAIR
Claudia Nalon, University of Brasilia, Brazil
PC CHAIRS
Claudia Nalon, University of Brasilia, Brazil
Renate Schmidt, The University of Manchester, UK
--
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
FINAL CALL FOR PAPERS
TABLEAUX 2017
26th International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods
University of Brasilia, Brazil
September 25-28, 2017
Deadlines: 18 Apr 2017 (abstract), 25 Apr 2017 (paper)
http://tableaux2017.cic.unb.br/
GENERAL INFORMATION
TABLEAUX is the main international conference at which research
on all aspects, theoretical foundations, implementation techniques,
systems development and applications, of the mechanization of
tableau-based reasoning and related methods is presented. As
the first TABLEAUX workshop was held in Lautenbach in 1992, this
year's conference will include special events celebrating 25 years
of TABLEAUX.
The conference will be held in Brasilia from 25-28 September 2017.
It will be co-located with both the 11th International Symposium
on Frontiers of Combining Systems (FroCoS 2017) and the 8th
International Conference on Interactive Theorem Proving (ITP
2017).
TOPICS
Tableau methods offer a convenient and flexible set of tools for
automated reasoning in classical logic, extensions of classical
logic, and a large number of non-classical logics. For large groups
of logics, tableau methods can be generated automatically. Areas
of application include verification of software and computer
systems, deductive databases, knowledge representation and its
required inference engines, teaching, and system diagnosis.
Topics of interest include but are not limited to:
* tableau methods for classical and non-classical logics
(including first-order, higher-order, modal, temporal,
description, hybrid, intuitionistic, substructural,
relevance, non-monotonic logics) and their proof-theoretic
foundations;
* related methods (SMT, model elimination, model checking,
connection methods, resolution, BDDs, translation approaches);
* sequent calculi and natural deduction calculi for classical
and non-classical logics, as tools for proof search and proof
representation;
* flexible, easily extendable, light weight methods for theorem
proving;
* novel types of calculi for theorem proving and verification
in classical and non-classical logics;
* systems, tools, implementations, empirical evaluations and
applications (provers, logical frameworks, model checkers, ...);
* implementation techniques (data structures, efficient
algorithms, performance measurement, extensibility, ...);
* extensions of tableau procedures with conflict-driven
learning, generation of proofs; compact (or humanly readable)
representation of proofs;
* decision procedures, theoretically optimal procedures;
* applications of automated deduction to mathematics, software
development, verification, deductive and temporal
databases, knowledge representation, ontologies, fault
diagnosis or teaching.
We also welcome papers describing applications of tableau
procedures to real world examples. Such papers should be tailored
to the tableau community and should focus on the role of
reasoning, and logical aspects of the solution.
CELEBRATING 25 YEARS
To celebrate 25 years TABLEAUX the conference will include a
special session of invited talks by:
Reiner Haehnle Technische Universitaet Darmstadt, Germany
Wolfgang Bibel Technische Universitaet Darmstadt, Germany
INVITED SPEAKERS:
Carlos Areces FaMAF - Universidad Nacional de Cordoba, Argentina
Katalin Bimbo University of Alberta, Canada (with FroCoS and
ITP)
Jasmin Blanchette Inria and LORIA, Nancy, France (with FroCoS and
ITP)
Cezary Kaliszyk Universitaet Innsbruck, Austria (with FroCoS and
ITP)
WORKSHOPS AND TUTORIALS
There will be a three-day programme of four workshops and four
tutorials from 23-25 September.
Workshops:
12th Logical and Semantic Frameworks with Applications (LSFA 2017)
Sandra Alves, Renata Wassermann, Flavio L. C. de Moura
23 and 24 September 2017
Proof eXchange for Theorem Proving (PxTP)
Catherine Dubois, Bruno Woltzenlogel Paleo
23 and 24 September 2017
EPS - Encyclopedia of Proof Systems
Giselle Reis, Bruno Woltzenlogel Paleo
24 and 25 September 2017
DaLi - Dynamic Logic: new trends and applications
Mario Benevides, Alexandre Madeira
24 September 2017
Tutorials:
General methods in proof theory for modal and substructural logics
Bjoern Lellmann, Revantha Ramanayake
23 September 2017
From proof systems to complexity bounds
Anupam Das
24 September 2017
Proof Compressions and the conjecture NP = PSPACE
Lew Gordeev, Edward Hermann Haeusler
25 September 2017
PVS for Computer Scientists
Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato
25 September 2017
Details will be published in separate calls and on the conference
website.
POSTER SESSION
There will be a joint poster session for TABLEAUX 2017, FroCos 2017,
and
ITP 2017. The session is intended for descriptions of work in
progress,
student projects and relevant research being published elsewhere.
The deadline for posters submission is June 15, 2017. More details can
be found at http://tableaux2017.cic.unb.br/#postersession.
PUBLICATION DETAILS
The conference proceedings will published in the Springer
LNAI/LNCS series, as in previous editions.
SUBMISSIONS
Submissions are invited in two categories:
A Research papers, which describe original theoretical
research, original algorithms, or applications, with length
up to 15 pages.
B System descriptions, with length up to 9 pages.
Submissions will be reviewed by the PC, possibly with the help of
external reviewers, taking into account readability, relevance
and originality.
For category A, theoretical results and algorithms must be
original, and not submitted for publication elsewhere. Submissions
will be reviewed taking into account correctness, theoretical
elegance, and possible implementability.
For category B submissions, a working implementation must be
accessible via the internet, which includes sources. The aim of a
system description is to make the system available in such a way
that users can use it, understand it, and build on it.
Accepted papers in both categories will be published in the
conference proceedings. Papers must be edited in LaTeX using the
llncs style and must be submitted electronically as PDF files via
the EasyChair system:
https://easychair.org/conferences/?conf=tableaux2017.
For all accepted papers at least one author is required to attend
the conference and present the paper. A paper title and a short
abstract of about 100 words must be submitted before the paper
submission deadline. Further information about paper submissions
will be made available at the conference website. Be aware that
neither plagiarism, nor self-plagiarism, nor duplicate publication
is acceptable. Formatting instructions and the LNCS style files
can be obtained via
http://www.springer.com/br/computer-science/lncs/conference-proceedings-guidelines
BEST PAPER AWARD
The TABLEAUX 2017 Best Paper Award will be presented to the best
submission nominated and chosen by the Program Committee among
the accepted papers. The eligibility criteria will place emphasis
on the originality and significance of the contribution, but
readability and the overall technical quality, including correctness
and completeness of results, will also be considered. The TABLEAUX
Best Paper Award was established in 2015 and is a permanent
initiative of TABLEAUX.
IMPORTANT DATES
18 Apr 2017 Abstract submission
25 Apr 2017 Paper submission
8 Jun 2017 Notification of paper decisions
3 Jul 2017 Camera-ready papers due
23-25 Sep 2017 Workshops & Tutorials
25-28 Sep 2017 TABLEAUX Conference
PROGRAM COMMITTEE
Peter Baumgartner National ICT Australia, Canberra
Maria Paola Bonacina Universita degli Studi di Verona
Laura Bozzelli Universidad Politecnica de Madrid
Torben Brauener Roskilde University
Serenella Cerrito Ibisc, Universite d'Evry Val d'Essonne
Agata Ciabattoni Technische Universitaet Wien
Clare Dixon University of Liverpool
Pascal Fontaine LORIA, INRIA, Universite de Lorraine
Didier Galmiche LORIA, Universite de Lorraine
Martin Giese Universitetet i Oslo
Laura Giordano DISIT, Universita del Piemonte Orientale
Rajeev Gore The Australian National University
Volker Haarslev Concordia University
George Metcalfe Universitaet Bern
Angelo Montanari Universita degli Studi di Udine
Barbara Morawska Technische Universitaet Dresden
Boris Motik University of Oxford
Leonardo de Moura Microsoft Research
Neil Murray SUNY at Albany
Claudia Nalon Universidade de Brasilia
Linh Anh Nguyen Uniwersytet Warszawski
Hans de Nivelle Uniwersytet Wroclawski
Nicola Olivetti LSIS, Aix-Marseille Universite
Jens Otten Universitetet i Oslo
Valeria de Paiva Nuance Communications
Nicolas Peltier Centre National de la Recherche Scientifique,
Laboratoire d'Informatique de Grenoble
Elaine Pimentel Universidade Federal do Rio Grande do Norte
Giselle Reis Carnegie Mellon University-Qatar
Philipp Ruemmer Uppsala Universitet
Katsuhiko Sano Hokkaido University
Renate Schmidt The University of Manchester
Cesare Tinelli The University of Iowa
Alwen Tiu Nanyang Technological University
David Toman University of Waterloo
Josef Urban Ceske vysoke uceni technicke v Praze
LOCAL CONFERENCE ORGANIZATION COMMITTEE
Claudia Nalon, Universidade de Brasilia, Brazil
Daniele Nantes Sobrinho, Universidade de Brasilia, Brazil
Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil
Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil
CONFERENCE CHAIR
Claudia Nalon, University of Brasilia, Brazil
PC CHAIRS
Claudia Nalon, University of Brasilia, Brazil
Renate Schmidt, The University of Manchester, UK
--
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] CSL2017: Final Call for Papers
26th EACSL Annual Conference on Computer Science Logic CSL2017
August 20 -- 24, 2017, Stockholm, Sweden
AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an interdisciplinary
conference, spanning across both basic and application oriented research
in mathematical logic and computer science and is intended for computer
scientists whose research involves logic, as well as for logicians working
on issues essential for computer science.
CSL2017 is the 26th EACSL annual conference. It will be co-organised by
Stockholm University and KTH Royal Institute of Technology, and hosted by
Stockholm University. CSL2017 will be co-located with, and immediately
preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint
session of CSL2017 and LC2017 in the morning of August 20, as well as
CSL-affiliated workshops during August 25-26.
IMPORTANT DATES:
---------------------------------------------------------------------------
Abstract submission for contributed papers: March 24, 2017
Paper submission: March 31, 2017
Notification: May 31, 2017
Abstract submission for short presentations: June 4, 2017
Notification on short presentations: June 14, 2017
---------------------------------------------------------------------------
TOPICS OF INTEREST for CSL2017 include (but are not limited to):
---------------------------------------------------------------------------
• automata and games, game semantics
• automated deduction and interactive theorem proving
• bounded arithmetic and propositional proof complexity
• categorical logic and topological semantics
• computational proof theory
• constructive mathematics and type theory
• decision procedures
• domain theory
• equational logic and rewriting
• finite model theory
• higher-order logic
• lambda calculus and combinatory logic
• linear logic and other substructural logics
• logic programming and constraints
• logical aspects of computational complexity
• logical aspects of quantum computing
• logic in database theory
• logical foundations of programming paradigms
• logical foundations of cryptography and information hiding
• logics for multi-agent systems
• modal and temporal logic
• model checking and logic-based verification
• nonmonotonic reasoning
• SAT solving and automated induction
• satisfiability modulo theories
• specification, extraction and transformation of programs
• verification and program analysis
---------------------------------------------------------------------------
INVITED SPEAKERS
------------------------------
CSL invited highlight speakers for the LC-CSL joint session on August 20:
Phokion Kolaitis, University of California Santa Cruz and IBM Research -Almaden
Wolfgang Thomas, RWTH Aachen
CSL plenary speakers:
Laura Kovács, Vienna University of Technology
Stephan Kreutzer, Technische Universität Berlin
Meena Mahajan, Institute of Mathematical Sciences, Chennai
Margus Veanes, Microsoft Research
SPECIAL AND AFFILIATED EVENTS
--------------------------------------------------
In addition to the plenary and contributed talks CSL2017, the conference will also include the following events:
• Joint session of CSL2017 and LC2017 in the morning of August 20, consisting of four plenary highlight talks, offered by speakers from both conferences.
• Presentation of the Alonzo Church award for Outstanding Contributions to Logic and Computation,
• Presentation of the EACSL Ackermann award for Outstanding Dissertation on Logic in Computer Science,
• CSL-affiliated workshops, to be held as CSL co-located events:
— Workshop on Logic and Algorithms in Computational Linguistics LACompLing'17 (August 18-19)
— Workshop on Logical Aspects of Multi-Agent Systems LAMAS2017 (August 25)
— Workshop on Logic and Automata Theory (in memory of Zoltan Ezik) (August 25)
SUBMISSIONS
---------------------
The CSL2017 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs).
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (including references), presenting not previously
published work, fitting the scope of the conference. The LIPIcs style files and instructions for authors can be found here: https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors
The submission of contributed papers will be in two stages:
* abstracts, due by March 24, 2017 (AoE);
* full papers, due by March 31, 2017 (AoE).
The submissions must be done via the EasyChair page for the conference:
Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed.
In addition, there will be an opportunity for short oral presentations at the conference. Abstracts for such oral presentations must be submitted through the Easychair submission webpage, under the category ``short presentations'', by June 4, 2017. They will not be included in the proceedings.
PROGRAMME COMMITTEE
-------------------
• Parosh Aziz Abdulla (University of Uppsala),
• Lars Birkedal (University of Aarhus),
• Nikolaj Bjorner (Microsoft Research),
• Maria Paola Bonacina (Università degli Studi di Verona),
• Patricia Bouyer-Decitre (LSV, ENS Cachan),
• Agata Ciabattoni (University of Viena),
• Thierry Coquand (University of Gothenburg),
• Mads Dam (KTH, Stockholm), PC co-chair
• Ugo Dal Lago (University of Bologna),
• Anuj Dawar (Cambridge University),
• Valentin Goranko (Stockholm University), PC co-chair
• Maribel Fernandez (King's College London),
• Martin Grohe (RWTH Aachen),
• Lauri Hella (University of Tampere),
• Joost-Pieter Katoen (RWTH Aachen),
• Orna Kupferman (University of Jerusalem),
• Leonid Libkin (University of Edinburgh),
• Angelo Montanari (University of Udine),
• Catuscia Palamidessi (Paris, INRIA),
• Frank Pfenning (Carnegie Mellon University, Pittsburgh)
• Ram Ramanujam (Institute of Mathematical Sciences, Chennai),
• Jean-Francois Raskin (University of Bruxelles),
• Thomas Schwentick (TU Dortmund University),
• Viorica Sofronie-Stokkermans (University of Koblenz-Landau),
• Thomas Streicher (University of Darmstadt),
• Jean-Marc Talbot (University of Aix-Marseille),
• Luca Viganò (King's College London),
• Ron van der Meyden (UNSW Australia),
• Lijun Zhang (Chinese Academy of Sciences, Beijing).
ORGANISING COMMITTEE
--------------------
• Mads Dam (OC co-chair), Department of Theoretical Computer Science, KTH
• Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University
• Dilian Gurov (Workshops chair), Department of Theoretical Computer Science, KTH
• Roussanka Loukanova, Department of Mathematics, Stockholm University
• Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University
• Anders Lundstedt, Department of Philosophy, Stockholm University
• Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University
• Henning Strandin, Department of Philosophy, Stockholm University
CONTACTS AND ENQUIRIES:
--------------------
With enquiries on organising matters, send email to: csl2017<at>philosophy.su.se
With enquiries on scientific and programme issues, send email to: csl2017<at>easychair.org
2017-03-01
[Caml-list] Marktoberdorf Summer School: Call for Participation
MARKTOBERDORF SUMMER SCHOOL
Logical Methods for Safety and Security of Software Systems
August 2-11 2017
https://asimod.in.tum.de/2017/
Apply online: https://asimod.in.tum.de/2017/participation.shtml
Deadline: April 9
The "Marktoberdorf Summer School" is an 10-day event for young computer
scientists and mathematicians, typically doctoral and post-doctoral researchers.
It provides mini-courses on state-of-the-art topics in "Logical Methods for
Safety and Security of Software Systems" and leaves ample room for interaction
between participants and speakers.
Speakers and courses:
CHRISTEL BAIER:
Probabilistic Model Checking
GILLES BARTHE:
Relational Verification for Differential Privacy and Cryptography
NICOLAJ BJØRNER:
Satisfiability Modulo Theories
CÉDRIC FOURNET:
Security Verification in F*
ORNA GRUMBERG:
Program Repair
JOOST-PIETER KATOEN:
Foundations of Probabilistic Programming
DANIEL KROENING:
Static Analysers for Black Hats and White Hats
ORNA KUPFERMANN:
Automated Synthesis of Temporal-Logic Specifications
MAGNUS MYREEN:
Verification of an ML Compiler
TOBIAS NIPKOW:
Verified Analysis of Functional Data Structures
LARRY PAULSON:
Proof Support for Hybrid System Analysis
ANDRE PLATZER:
Dynamic Logic for Dynamical Systems
We look forward to seeing you in Marktoberdorf in August!
Orna Grumberg
Tobias Nipkow
Logical Methods for Safety and Security of Software Systems
August 2-11 2017
https://asimod.in.tum.de/2017/
Apply online: https://asimod.in.tum.de/2017/participation.shtml
Deadline: April 9
The "Marktoberdorf Summer School" is an 10-day event for young computer
scientists and mathematicians, typically doctoral and post-doctoral researchers.
It provides mini-courses on state-of-the-art topics in "Logical Methods for
Safety and Security of Software Systems" and leaves ample room for interaction
between participants and speakers.
Speakers and courses:
CHRISTEL BAIER:
Probabilistic Model Checking
GILLES BARTHE:
Relational Verification for Differential Privacy and Cryptography
NICOLAJ BJØRNER:
Satisfiability Modulo Theories
CÉDRIC FOURNET:
Security Verification in F*
ORNA GRUMBERG:
Program Repair
JOOST-PIETER KATOEN:
Foundations of Probabilistic Programming
DANIEL KROENING:
Static Analysers for Black Hats and White Hats
ORNA KUPFERMANN:
Automated Synthesis of Temporal-Logic Specifications
MAGNUS MYREEN:
Verification of an ML Compiler
TOBIAS NIPKOW:
Verified Analysis of Functional Data Structures
LARRY PAULSON:
Proof Support for Hybrid System Analysis
ANDRE PLATZER:
Dynamic Logic for Dynamical Systems
We look forward to seeing you in Marktoberdorf in August!
Orna Grumberg
Tobias Nipkow
[Caml-list] GPCE 2017 - 1st Call for Papers
--------------------------------------------------------------------------
CALL FOR PAPERS
16th International Conference on
Generative Programming: Concepts & Experiences (GPCE 2017)
October 23-24, 2017
Vancouver, Canada
(co-located with SPLASH 2017)
IMPORTANT DATES
* Submission of abstracts: June 25, 2017
* Submission of papers: July 2, 2017
* Paper notification: August 17, 2017
Submission site: https://gpce17.hotcrp.com/
--------------------------------------------------------------------------
SCOPE
GPCE is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to:
* program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems
* domain-specific languages, language embedding, language design, and language workbenches
* feature-oriented programming, domain engineering, and feature interactions
* applications and properties of code generation, language implementation, and product-line development.
Authors are welcome to check with the PC chair whether their planned papers are in scope.
PAPER SELECTION
The GPCE program committee will evaluate each submission according to the following selection criteria:
* Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field.
* Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways.
* Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies.
* Clarity. The paper must present its contributions and results clearly.
PAPER SUBMISSION
GPCE solicits three kinds of submissions. All submissions must use the ACM SIGPLAN Conference Format "sigplanconf" and 10 point font.
* Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full
paper submissions must not exceed 12 pages excluding bibliography.
* Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results
as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short
papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference.
Short paper submissions must not exceed 6 pages excluding bibliography.
* Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords "Tool Demo" or "Tool Demonstration" in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission.
For additional information, clarification, or answers to questions please contact the program chair.
ORGANIZATION
Chairs (chairs@gpce.org)
General Chair: Matthew Flatt (University of Utah, US)
Program Chair: Sebastian Erdweg (TU Delft, Netherlands)
Publicity Chair: Cyrus Omar (Carnegie Mellon University, US)
Program Committee
Nada Amin (EPFL, Switzerland)
Casper Bach Poulsen (TU Delft, Netherlands)
Sandrine Blazy (University of Rennes 1, France)
Eugene Burmako (Twitter, United States)
Shigeru Chiba (University of Tokyo, Japan)
Camil Demetrescu (Sapienza University Rome, Italy)
Philipp Haller (KTH Royal Institute of Technology, Sweden)
Matthew Hammer (University of Colorado, Boulder, US)
Jaakko Järvi (University of Bergen, Norway)
Lennart Kats (Amazon Web Services)
Sarah Nadi (University of Alberta, Canada)
Bruno C. d. S. Oliveira (The University of Hong Kong, Hong Kong)
Cyrus Omar (Carnegie Mellon University, US)
Markus Püschel (ETH Zurich, Switzerland)
Márcio Ribeiro (Federal University of Alagoas (UFAL), Brazil)
Tiark Rompf (Purdue University, US)
Ina Schaefer (Technische Universität Braunschweig, Germany)
Sandro Schulze (TU Hamburg, Germany)
Tony Sloane (Macquarie University, Australia)
Vincent St-Amour (Northwestern University, US)
Thomas Thüm (TU Braunschweig, Germany)
Markus Völter (itemis/independent)
Philip Wadler (University of Edinburgh, UK)
Eric Walkingshaw (Oregon State University, US)
Adam Welc (Oracle Labs)
Tijs van der Storm (CWI, Netherlands)
Subscribe to:
Posts (Atom)