Call for Papers (***Deadline Extension***)
formal papers - informal papers - doctoral programme
13th Conference on Intelligent Computer Mathematics
- CICM 2020 -
July 26-31, 2020
Bertinoro, Italy
http://www.cicm-conference.org/2020
--------------------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.
CICM 2020 Invited Speakers:
Kevin Buzzard (Imperial College, London, UK)
Catherine Dubois (ENSIIE, CNRS, Evry, France)
Christian Szegedy (Google Research, Mountain View, CA, USA)
CICM 2020 Programme committee:
see https://www.cicm-conference.org/2020/cicm.php?event=&menu=pc
CICM 2020 invites submissions in all topics relating to intelligent
computer mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM appreciates the varying nature of the relevant research in this
area and invites submissions of different forms:
1) Formal submissions will be reviewed rigorously and accepted papers
will be published in a volume of Springer LNCS:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existent tool
2) Informal submissions will be reviewed with a positive bias and
selected for presentation based on their relevance for the community.
* informal papers may present work-in-progress, project
announcements, position statements, etc.
* posters and system demos will be presented in parallel in special
sessions
3) The doctoral programme provides PhD students with a forum to
present early results and receive constructive feedback and mentoring.
*** Important Dates ***
Formal submissions (***extended deadlines***)
- Abstract deadline: March 16
- Full paper deadline: March 22
- Reviews sent to authors: April 24
- Rebuttals due: April 28
- Notification of acceptance: May 1
- Camera-ready copies due: May 10
- Conference: July 26-31
Informal submissions and doctoral programme
Two separate submission rounds are offered so that some authors can
make early travel plans while other authors submit spontaneously.
- First round submission deadline: April 15
- Notification of acceptance: May 1
- Second round submission deadline: June 15
- Notification of acceptance: July 1
All submissions should be made via easychair at https://easychair.org/conferences/?conf=cicm13
As in previous years, we will publish the CICM 2020 proceedings with Springer LNCS.
2020-03-03
[Caml-list] PPDP 2020 Call For Papers (corrected link)
PPDP 2020 Call For Papers
=========================
The 22nd International Symposium on
Principles and Practice of Declarative Programming,
[PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), (**corrected**)
held 8-10 September 2020 at the University of Bologna, Italy.
TL;DR Abstract deadline: 11 May; paper deadline: 15 May.
Scope
-----
The PPDP 2020 symposium brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint handling 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 related to declarative
programming, 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; functional
languages; reactive languages; languages with objects; languages for
quantum computing; languages inspired by biological and chemical
computation; metaprogramming.
- Declarative languages in artificial intelligence: logic programming;
database languages; knowledge representation languages;
probabilistic languages; differentiable languages.
- Implementations: abstract machines; interpreters; compilation;
compile-time and run-time optimization; memory management.
- Foundations: types; logical frameworks; monads and 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.
The PC chair will be happy to advise on the appropriateness of a topic.
PPDP will take place 8-10 September 2020 at the University of Bologna,
Italy, co-located with the 29th Int'l Symp. on Logic-Based Program
Synthesis and Transformation (LOPSTR 2020) and the
International conference on [Microservices
2020](https://www.conf-micro.services/2020/).
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, but excluding bibliography).
Work that already appeared in unpublished or informally
published workshop proceedings may be submitted (please contact the PC
chair in case of questions). 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 5 pages **including references**.
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.
Supplementary material may be provided via a link to an extended
version of the submission (recommended), or in a clearly marked appendix
beyond the above-mentioned page limits. Reviewers are not required to
study extended versions or any material beyond the respective page
limit. Material beyond the page limit will not be included in the
final published version.
Format of a submission
----------------------
For each paper category, you must use the most recent version of the
"Current ACM Master Template" which is available at
<https://www.acm.org/publications/proceedings-template>. The most
recent version at the time of writing is 1.70. You must use the LaTeX
sigconf proceedings template as the conference organizers are unable
to process final submissions in other formats. In case of problems with
the templates, contact
[ACM's TeX support team at Aptara](mailto:acmtexsupport@aptaracorp.com).
Authors should note [ACM's statement on author's
rights](http://authors.acm.org/) which apply to final papers.
Submitted papers should meet the requirements of [ACM's plagiarism
policy](http://www.acm.org/publications/policies/plagiarism_policy).
Requirements for publication
----------------------------
At least one author of each accepted submission will be expected to
attend and present the work at the conference. The PC chair may
retract a paper that is not presented. The PC chair may also retract a
paper if complaints about the paper's correctness are raised which
cannot be resolved by the final paper deadline.
Important dates
---------------
-------------------------------- ----- ---- ----------
Title and abstract registration: 11 May 2020 (AoE)
Paper submission: 15 May 2020 (AoE)
Rebuttal period (48 hours): 22-23 June 2020 (AoE)
Author notification: 3 July 2020
Final paper version: 24 July 2020
Conference: 8-10 Sept 2020
-------------------------------- ----- ---- ----------
Organization
------------
------------------------- -------------------- ---------------------
Program committee chair: Andreas Abel, Gothenburg University
General chair: Maurizio Gabbrielli, University of Bologna
Steering committee chair: James Cheney, Edinburgh University
------------------------- -------------------- ---------------------
--
Andreas Abel
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel@gu.se
http://www.cse.chalmers.se/~abela/
=========================
The 22nd International Symposium on
Principles and Practice of Declarative Programming,
[PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), (**corrected**)
held 8-10 September 2020 at the University of Bologna, Italy.
TL;DR Abstract deadline: 11 May; paper deadline: 15 May.
Scope
-----
The PPDP 2020 symposium brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint handling 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 related to declarative
programming, 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; functional
languages; reactive languages; languages with objects; languages for
quantum computing; languages inspired by biological and chemical
computation; metaprogramming.
- Declarative languages in artificial intelligence: logic programming;
database languages; knowledge representation languages;
probabilistic languages; differentiable languages.
- Implementations: abstract machines; interpreters; compilation;
compile-time and run-time optimization; memory management.
- Foundations: types; logical frameworks; monads and 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.
The PC chair will be happy to advise on the appropriateness of a topic.
PPDP will take place 8-10 September 2020 at the University of Bologna,
Italy, co-located with the 29th Int'l Symp. on Logic-Based Program
Synthesis and Transformation (LOPSTR 2020) and the
International conference on [Microservices
2020](https://www.conf-micro.services/2020/).
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, but excluding bibliography).
Work that already appeared in unpublished or informally
published workshop proceedings may be submitted (please contact the PC
chair in case of questions). 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 5 pages **including references**.
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.
Supplementary material may be provided via a link to an extended
version of the submission (recommended), or in a clearly marked appendix
beyond the above-mentioned page limits. Reviewers are not required to
study extended versions or any material beyond the respective page
limit. Material beyond the page limit will not be included in the
final published version.
Format of a submission
----------------------
For each paper category, you must use the most recent version of the
"Current ACM Master Template" which is available at
<https://www.acm.org/publications/proceedings-template>. The most
recent version at the time of writing is 1.70. You must use the LaTeX
sigconf proceedings template as the conference organizers are unable
to process final submissions in other formats. In case of problems with
the templates, contact
[ACM's TeX support team at Aptara](mailto:acmtexsupport@aptaracorp.com).
Authors should note [ACM's statement on author's
rights](http://authors.acm.org/) which apply to final papers.
Submitted papers should meet the requirements of [ACM's plagiarism
policy](http://www.acm.org/publications/policies/plagiarism_policy).
Requirements for publication
----------------------------
At least one author of each accepted submission will be expected to
attend and present the work at the conference. The PC chair may
retract a paper that is not presented. The PC chair may also retract a
paper if complaints about the paper's correctness are raised which
cannot be resolved by the final paper deadline.
Important dates
---------------
-------------------------------- ----- ---- ----------
Title and abstract registration: 11 May 2020 (AoE)
Paper submission: 15 May 2020 (AoE)
Rebuttal period (48 hours): 22-23 June 2020 (AoE)
Author notification: 3 July 2020
Final paper version: 24 July 2020
Conference: 8-10 Sept 2020
-------------------------------- ----- ---- ----------
Organization
------------
------------------------- -------------------- ---------------------
Program committee chair: Andreas Abel, Gothenburg University
General chair: Maurizio Gabbrielli, University of Bologna
Steering committee chair: James Cheney, Edinburgh University
------------------------- -------------------- ---------------------
--
Andreas Abel
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel@gu.se
http://www.cse.chalmers.se/~abela/
2020-03-02
[Caml-list] PPDP 2020 Call For Papers
PPDP 2020 Call For Papers
=========================
The 22nd International Symposium on
Principles and Practice of Declarative Programming,
[PPDP 2020](http://www.cse.chalmers.se/~abel/ppdp20/),
held 8-10 September 2020 at the University of Bologna, Italy.
TL;DR Abstract deadline: 11 May; paper deadline: 15 May.
Scope
-----
The PPDP 2020 symposium brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint handling 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 related to declarative
programming, 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; functional
languages; reactive languages; languages with objects; languages for
quantum computing; languages inspired by biological and chemical
computation; metaprogramming.
- Declarative languages in artificial intelligence: logic programming;
database languages; knowledge representation languages;
probabilistic languages; differentiable languages.
- Implementations: abstract machines; interpreters; compilation;
compile-time and run-time optimization; memory management.
- Foundations: types; logical frameworks; monads and 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.
The PC chair will be happy to advise on the appropriateness of a topic.
PPDP will take place 8-10 September 2020 at the University of Bologna,
Italy, co-located with the 29th Int'l Symp. on Logic-Based Program
Synthesis and Transformation (LOPSTR 2020) and the
International conference on [Microservices
2020](https://www.conf-micro.services/2020/).
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, but excluding bibliography).
Work that already appeared in unpublished or informally
published workshop proceedings may be submitted (please contact the PC
chair in case of questions). 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 5 pages **including references**.
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.
Supplementary material may be provided via a link to an extended
version of the submission (recommended), or in a clearly marked appendix
beyond the above-mentioned page limits. Reviewers are not required to
study extended versions or any material beyond the respective page
limit. Material beyond the page limit will not be included in the
final published version.
Format of a submission
----------------------
For each paper category, you must use the most recent version of the
"Current ACM Master Template" which is available at
<https://www.acm.org/publications/proceedings-template>. The most
recent version at the time of writing is 1.70. You must use the LaTeX
sigconf proceedings template as the conference organizers are unable
to process final submissions in other formats. In case of problems with
the templates, contact
[ACM's TeX support team at Aptara](mailto:acmtexsupport@aptaracorp.com).
Authors should note [ACM's statement on author's
rights](http://authors.acm.org/) which apply to final papers.
Submitted papers should meet the requirements of [ACM's plagiarism
policy](http://www.acm.org/publications/policies/plagiarism_policy).
Requirements for publication
----------------------------
At least one author of each accepted submission will be expected to
attend and present the work at the conference. The PC chair may
retract a paper that is not presented. The PC chair may also retract a
paper if complaints about the paper's correctness are raised which
cannot be resolved by the final paper deadline.
Important dates
---------------
-------------------------------- ----- ---- ----------
Title and abstract registration: 11 May 2020 (AoE)
Paper submission: 15 May 2020 (AoE)
Rebuttal period (48 hours): 22-23 June 2020 (AoE)
Author notification: 3 July 2020
Final paper version: 24 July 2020
Conference: 8-10 Sept 2020
-------------------------------- ----- ---- ----------
Organization
------------
------------------------- -------------------- ---------------------
Program committee chair: Andreas Abel, Gothenburg University
General chair: Maurizio Gabbrielli, University of Bologna
Steering committee chair: James Cheney, Edinburgh University
------------------------- -------------------- ---------------------
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel@gu.se
http://www.cse.chalmers.se/~abela/
=========================
The 22nd International Symposium on
Principles and Practice of Declarative Programming,
[PPDP 2020](http://www.cse.chalmers.se/~abel/ppdp20/),
held 8-10 September 2020 at the University of Bologna, Italy.
TL;DR Abstract deadline: 11 May; paper deadline: 15 May.
Scope
-----
The PPDP 2020 symposium brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint handling 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 related to declarative
programming, 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; functional
languages; reactive languages; languages with objects; languages for
quantum computing; languages inspired by biological and chemical
computation; metaprogramming.
- Declarative languages in artificial intelligence: logic programming;
database languages; knowledge representation languages;
probabilistic languages; differentiable languages.
- Implementations: abstract machines; interpreters; compilation;
compile-time and run-time optimization; memory management.
- Foundations: types; logical frameworks; monads and 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.
The PC chair will be happy to advise on the appropriateness of a topic.
PPDP will take place 8-10 September 2020 at the University of Bologna,
Italy, co-located with the 29th Int'l Symp. on Logic-Based Program
Synthesis and Transformation (LOPSTR 2020) and the
International conference on [Microservices
2020](https://www.conf-micro.services/2020/).
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, but excluding bibliography).
Work that already appeared in unpublished or informally
published workshop proceedings may be submitted (please contact the PC
chair in case of questions). 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 5 pages **including references**.
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.
Supplementary material may be provided via a link to an extended
version of the submission (recommended), or in a clearly marked appendix
beyond the above-mentioned page limits. Reviewers are not required to
study extended versions or any material beyond the respective page
limit. Material beyond the page limit will not be included in the
final published version.
Format of a submission
----------------------
For each paper category, you must use the most recent version of the
"Current ACM Master Template" which is available at
<https://www.acm.org/publications/proceedings-template>. The most
recent version at the time of writing is 1.70. You must use the LaTeX
sigconf proceedings template as the conference organizers are unable
to process final submissions in other formats. In case of problems with
the templates, contact
[ACM's TeX support team at Aptara](mailto:acmtexsupport@aptaracorp.com).
Authors should note [ACM's statement on author's
rights](http://authors.acm.org/) which apply to final papers.
Submitted papers should meet the requirements of [ACM's plagiarism
policy](http://www.acm.org/publications/policies/plagiarism_policy).
Requirements for publication
----------------------------
At least one author of each accepted submission will be expected to
attend and present the work at the conference. The PC chair may
retract a paper that is not presented. The PC chair may also retract a
paper if complaints about the paper's correctness are raised which
cannot be resolved by the final paper deadline.
Important dates
---------------
-------------------------------- ----- ---- ----------
Title and abstract registration: 11 May 2020 (AoE)
Paper submission: 15 May 2020 (AoE)
Rebuttal period (48 hours): 22-23 June 2020 (AoE)
Author notification: 3 July 2020
Final paper version: 24 July 2020
Conference: 8-10 Sept 2020
-------------------------------- ----- ---- ----------
Organization
------------
------------------------- -------------------- ---------------------
Program committee chair: Andreas Abel, Gothenburg University
General chair: Maurizio Gabbrielli, University of Bologna
Steering committee chair: James Cheney, Edinburgh University
------------------------- -------------------- ---------------------
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel@gu.se
http://www.cse.chalmers.se/~abela/
2020-02-25
[Caml-list] IWIL-14 at LPAR-23 - Call for Papers
14th International Workshop on the Implementation of Logics
http://www.eprover.org/EVENTS/IWIL-2020.html
CALL FOR PAPERS
Deadline: April 12th, 2020.
The 14th International Workshop on the Implementation of Logics will be held on
22nd May 2020, in conjunction with the 23rd International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning, in Alicante, Spain.
We are looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies. Topics of interest
include, but are not limited to:
+ Propositional logic and decision procedures, including SMT
+ First-order and higher order logics
+ Non-classical logics, including modal, temporal, description, non-monotonic
reasoning
+ Formal foundations for efficient implementation of logics
+ Data structures and algorithms for the efficient representation and
processing of logical concepts
+ Proof/model search organization and heuristics for logical reasoning systems
+ Data analysis and machine learning approaches to search control
+ Techniques for proof/model search visualization and analysis
+ Reasoning with ontologies and other large theories
+ Implementation of efficient theorem provers and model finders for different
logics
+ System descriptions of logical reasoning systems
+ Issues of reliability, witness generation, and witness verification
+ Evaluation and benchmarking of provers and other logic-based systems
+ I/O standards and communication between reasoning systems
We are particularly interested in contributions that help the community to
understand how to build useful and powerful reasoning systems, and how to apply
them in practice.
Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15
pages) via the EasyChair page for IWIL2020.
https://easychair.org/conferences/?conf=iwil2020
Submissions will be refereed by the program committee, which will select a
balanced program of high-quality contributions.
Submissions should be in standard-conforming PDF. Final versions will be
required to be submitted in LaTeX using the easychair.cls class file. The
proceedings will be published as a volume of Kalpa Publications in Computing.
Important Dates:
+ Submission of papers/abstracts: April 12th, 2020
+ Notification of acceptance: April 30th, 2020
+ Camera ready versions due: May 15th, 2020
+ Workshop: May 22nd, 2020
Program committee (so far - more coming):
Konstantin Korovin (Co-Chair) University of Manchester
Stephan Schulz (Co-Chair) DHBW Stuttgart
Martin Suda (Co-Chair) Czech Technical University in Prague
Armin Biere Johannes Kepler University Linz
Franz Brausse University of Manchester
Pascal Fontaine Université de Liège, Belgium
Thibault Gauthier Czech Technical University in Prague
John Hester University of Florida
Jan Jakubuv Czech Technical University
Yevgeny Kazakov The University of Ulm
Jens Otten University of Oslo
Giles Reger University of Manchester
Andrew Reynolds University of Iowa
Martina Seidl Johannes Kepler University Linz
Alexander Steen University of Luxembourg
Geoff Sutcliffe University of Miami
Josef Urban Czech Technical University in Prague
Petar Vukmirovic Vrije Universiteit Amsterdam
to be completed
http://www.eprover.org/EVENTS/IWIL-2020.html
CALL FOR PAPERS
Deadline: April 12th, 2020.
The 14th International Workshop on the Implementation of Logics will be held on
22nd May 2020, in conjunction with the 23rd International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning, in Alicante, Spain.
We are looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies. Topics of interest
include, but are not limited to:
+ Propositional logic and decision procedures, including SMT
+ First-order and higher order logics
+ Non-classical logics, including modal, temporal, description, non-monotonic
reasoning
+ Formal foundations for efficient implementation of logics
+ Data structures and algorithms for the efficient representation and
processing of logical concepts
+ Proof/model search organization and heuristics for logical reasoning systems
+ Data analysis and machine learning approaches to search control
+ Techniques for proof/model search visualization and analysis
+ Reasoning with ontologies and other large theories
+ Implementation of efficient theorem provers and model finders for different
logics
+ System descriptions of logical reasoning systems
+ Issues of reliability, witness generation, and witness verification
+ Evaluation and benchmarking of provers and other logic-based systems
+ I/O standards and communication between reasoning systems
We are particularly interested in contributions that help the community to
understand how to build useful and powerful reasoning systems, and how to apply
them in practice.
Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15
pages) via the EasyChair page for IWIL2020.
https://easychair.org/conferences/?conf=iwil2020
Submissions will be refereed by the program committee, which will select a
balanced program of high-quality contributions.
Submissions should be in standard-conforming PDF. Final versions will be
required to be submitted in LaTeX using the easychair.cls class file. The
proceedings will be published as a volume of Kalpa Publications in Computing.
Important Dates:
+ Submission of papers/abstracts: April 12th, 2020
+ Notification of acceptance: April 30th, 2020
+ Camera ready versions due: May 15th, 2020
+ Workshop: May 22nd, 2020
Program committee (so far - more coming):
Konstantin Korovin (Co-Chair) University of Manchester
Stephan Schulz (Co-Chair) DHBW Stuttgart
Martin Suda (Co-Chair) Czech Technical University in Prague
Armin Biere Johannes Kepler University Linz
Franz Brausse University of Manchester
Pascal Fontaine Université de Liège, Belgium
Thibault Gauthier Czech Technical University in Prague
John Hester University of Florida
Jan Jakubuv Czech Technical University
Yevgeny Kazakov The University of Ulm
Jens Otten University of Oslo
Giles Reger University of Manchester
Andrew Reynolds University of Iowa
Martina Seidl Johannes Kepler University Linz
Alexander Steen University of Luxembourg
Geoff Sutcliffe University of Miami
Josef Urban Czech Technical University in Prague
Petar Vukmirovic Vrije Universiteit Amsterdam
to be completed
2020-02-21
[Caml-list] UNIF 2020 - Call for Papers
====================================================
Call for Papers
UNIF 2020
The 34th International Workshop on Unification
June 29, 2020, Paris, France
http://unif2020.org/
====================================================
UNIF 2020 is the 34th event in a series of international meetings devoted to
unification theory and its applications. Unification is concerned with the
problem of making two terms equal, finding solutions for equations or making
formulas equivalent. It is a fundamental process used in a number of fields
of computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.
Traditionally, the scope of the UNIF workshops has covered the topic of
unification in a broad sense. Topics of interest to this forum include, but
are not limited to:
- Unification algorithms, calculi and implementations
- Equational unification and unification modulo theories
- Admissibility of Inference Rules
- Unification in modal, fuzzy, temporal and description logics
- Anti-unification/generalization
- Semi-unification
- Narrowing
- Formalization of unification
- Matching Problems
- Applications
- Unification in Special Theories
- Higher-Order Unification
- Combination problems
- Constraint Solving
- Disunification
- Complexity Issues
- Type Checking and reconstruction
The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas and trends. It is also a good opportunity for young researchers and
scientists working in related areas to get an overview of the state of the
art in unification theory.
The 34th International Workshop on Unification is part of "Paris Nord Summer
of LoVe 2020", a joint event on LOgic and VErification at Université Paris 1,
made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.
UNIF 2020 will be a satellite workshop of The International Joint Conference
on Automated Reasoning (IJCAR 2020).
------------------------------------------
** Submission Instructions
-------------------------------------------
Following the tradition of UNIF, we call for submissions of abstracts (5 pages)
in EasyChair style, to be submitted electronically as PDF through the EasyChair
submission site:
https://easychair.org/conferences/?conf=unif2020
Abstracts will be evaluated by the Programme Committee (if necessary with
support from external reviewers) regarding their significance for the workshop.
We will allow work presented/submitted in/to another conference.
Accepted abstracts will be presented at the workshop and included in the
informal proceedings of the workshop, available in electronic form as a
technical report in the RISC-Linz Report Series from the Research Institute
for Symbolic Computation, Johannes Kepler University.
Based on the number and quality of submissions we will decide whether to
organize a special journal issue.
-----------------------------
** Important Dates
------------------------------
Submission of titles and abstracts: April 13, 2020
Submission of full paper: April 20, 2020
Author notification: May 25, 2020
Camera-ready papers: June 8, 2020
UNIF 2020: June 29, 2020
-----------------------------
** Invited Speakers
------------------------------
Stéphanie Delaune (CNRS, IRISA)
Manfred Schmidt-Schauß (Goethe-University Frankfurt)
-----------------------------
** Program Committee
-----------------------------
Mauricio Ayala-Rincon (Universidade de BrasilÃa)
Franz Baader (TU Dresden)
Alexander Baumgartner (University of Chile)
Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay)
Daniel Dougherty (Worcester Polytechnic Institute)
Besik Dundua (Ivane Javakhishvili Tbilisi State University)
Serdar Erbatur (University of Texas at Dallas)
Santiago Escobar (Universitat Politècnica de València)
Maribel Fernandez (King's College London)
Silvio Ghilardi (Università degli Studi di Milano)
Pascual Julian-Iranzo (University of Castilla-La Mancha)
Temur Kutsia (RISC, Johannes Kepler University Linz) co-chair
Jordi Levy (IIIA - CSIC)
Christopher Lynch (Clarkson University)
Andrew M. Marshall (University of Mary Washington) co-chair
Barbara Morawska (Ahmedabad University)
Daniele Nantes-Sobrinho (Universidade de BrasÃlia)
Paliath Narendran (University at Albany--SUNY)
Veena Ravishankar (University of Mary Washington)
Christophe Ringeissen (INRIA)
Call for Papers
UNIF 2020
The 34th International Workshop on Unification
June 29, 2020, Paris, France
http://unif2020.org/
====================================================
UNIF 2020 is the 34th event in a series of international meetings devoted to
unification theory and its applications. Unification is concerned with the
problem of making two terms equal, finding solutions for equations or making
formulas equivalent. It is a fundamental process used in a number of fields
of computer science, including automated reasoning, term rewriting, logic
programming, natural language processing, program analysis, types, etc.
Traditionally, the scope of the UNIF workshops has covered the topic of
unification in a broad sense. Topics of interest to this forum include, but
are not limited to:
- Unification algorithms, calculi and implementations
- Equational unification and unification modulo theories
- Admissibility of Inference Rules
- Unification in modal, fuzzy, temporal and description logics
- Anti-unification/generalization
- Semi-unification
- Narrowing
- Formalization of unification
- Matching Problems
- Applications
- Unification in Special Theories
- Higher-Order Unification
- Combination problems
- Constraint Solving
- Disunification
- Complexity Issues
- Type Checking and reconstruction
The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas and trends. It is also a good opportunity for young researchers and
scientists working in related areas to get an overview of the state of the
art in unification theory.
The 34th International Workshop on Unification is part of "Paris Nord Summer
of LoVe 2020", a joint event on LOgic and VErification at Université Paris 1,
made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.
UNIF 2020 will be a satellite workshop of The International Joint Conference
on Automated Reasoning (IJCAR 2020).
------------------------------------------
** Submission Instructions
-------------------------------------------
Following the tradition of UNIF, we call for submissions of abstracts (5 pages)
in EasyChair style, to be submitted electronically as PDF through the EasyChair
submission site:
https://easychair.org/conferences/?conf=unif2020
Abstracts will be evaluated by the Programme Committee (if necessary with
support from external reviewers) regarding their significance for the workshop.
We will allow work presented/submitted in/to another conference.
Accepted abstracts will be presented at the workshop and included in the
informal proceedings of the workshop, available in electronic form as a
technical report in the RISC-Linz Report Series from the Research Institute
for Symbolic Computation, Johannes Kepler University.
Based on the number and quality of submissions we will decide whether to
organize a special journal issue.
-----------------------------
** Important Dates
------------------------------
Submission of titles and abstracts: April 13, 2020
Submission of full paper: April 20, 2020
Author notification: May 25, 2020
Camera-ready papers: June 8, 2020
UNIF 2020: June 29, 2020
-----------------------------
** Invited Speakers
------------------------------
Stéphanie Delaune (CNRS, IRISA)
Manfred Schmidt-Schauß (Goethe-University Frankfurt)
-----------------------------
** Program Committee
-----------------------------
Mauricio Ayala-Rincon (Universidade de BrasilÃa)
Franz Baader (TU Dresden)
Alexander Baumgartner (University of Chile)
Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay)
Daniel Dougherty (Worcester Polytechnic Institute)
Besik Dundua (Ivane Javakhishvili Tbilisi State University)
Serdar Erbatur (University of Texas at Dallas)
Santiago Escobar (Universitat Politècnica de València)
Maribel Fernandez (King's College London)
Silvio Ghilardi (Università degli Studi di Milano)
Pascual Julian-Iranzo (University of Castilla-La Mancha)
Temur Kutsia (RISC, Johannes Kepler University Linz) co-chair
Jordi Levy (IIIA - CSIC)
Christopher Lynch (Clarkson University)
Andrew M. Marshall (University of Mary Washington) co-chair
Barbara Morawska (Ahmedabad University)
Daniele Nantes-Sobrinho (Universidade de BrasÃlia)
Paliath Narendran (University at Albany--SUNY)
Veena Ravishankar (University of Mary Washington)
Christophe Ringeissen (INRIA)
2020-02-15
[Caml-list] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers
2nd Call for Papers
formal papers - informal papers - doctoral programme
13th Conference on Intelligent Computer Mathematics
- CICM 2020 -
July 26-31, 2020
Bertinoro, Italy
http://www.cicm-conference.org/2020
----------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.
CICM 2020 Invited Speakers:
Kevin Buzzard (Imperial College, London, UK)
Catherine Dubois (ENSIIE, CNRS, Evry, France)
Christian Szegedy (Google Research, Mountain View, CA, USA)
CICM 2020 Programme committee:
see https://www.cicm-conference.org/2020/cicm.php?event=&menu=pc
CICM 2020 invites submissions in all topics relating to intelligent
computer mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM appreciates the varying nature of the relevant research in this
area and invites submissions of different forms:
1) Formal submissions will be reviewed rigorously and accepted papers
will be published in a volume of Springer LNCS:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existent tool
2) Informal submissions will be reviewed with a positive bias and
selected for presentation based on their relevance for the
community.
* informal papers may present work-in-progress, project
announcements, position statements, etc.
* posters and system demos will be presented in parallel in special
sessions
3) The doctoral programme provides PhD students with a forum to
present early results and receive constructive feedback and
mentoring.
*** Important Dates ***
Formal submissions
- Abstract deadline: March 01
- Full paper deadline: March 08
- Reviews sent to authors: April 17
- Rebuttals due: April 21
- Notification of acceptance: April 24
- Camera-ready copies due: May 03
- Conference: July 26-31
Informal submissions and doctoral programme
Two separate submission rounds are offered so that some authors can
make early travel plans while other authors submit spontaneously.
- First round submission deadline: April 15
- Notification of acceptance: May 1
- Second round submission deadline: June 15
- Notification of acceptance: July 1
All submissions should be made via easychair at
https://easychair.org/conferences/?conf=cicm13
As in previous years, we will publish the CICM 2020 proceedings with
Springer LNCS.
formal papers - informal papers - doctoral programme
13th Conference on Intelligent Computer Mathematics
- CICM 2020 -
July 26-31, 2020
Bertinoro, Italy
http://www.cicm-conference.org/2020
----------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.
CICM 2020 Invited Speakers:
Kevin Buzzard (Imperial College, London, UK)
Catherine Dubois (ENSIIE, CNRS, Evry, France)
Christian Szegedy (Google Research, Mountain View, CA, USA)
CICM 2020 Programme committee:
see https://www.cicm-conference.org/2020/cicm.php?event=&menu=pc
CICM 2020 invites submissions in all topics relating to intelligent
computer mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM appreciates the varying nature of the relevant research in this
area and invites submissions of different forms:
1) Formal submissions will be reviewed rigorously and accepted papers
will be published in a volume of Springer LNCS:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existent tool
2) Informal submissions will be reviewed with a positive bias and
selected for presentation based on their relevance for the
community.
* informal papers may present work-in-progress, project
announcements, position statements, etc.
* posters and system demos will be presented in parallel in special
sessions
3) The doctoral programme provides PhD students with a forum to
present early results and receive constructive feedback and
mentoring.
*** Important Dates ***
Formal submissions
- Abstract deadline: March 01
- Full paper deadline: March 08
- Reviews sent to authors: April 17
- Rebuttals due: April 21
- Notification of acceptance: April 24
- Camera-ready copies due: May 03
- Conference: July 26-31
Informal submissions and doctoral programme
Two separate submission rounds are offered so that some authors can
make early travel plans while other authors submit spontaneously.
- First round submission deadline: April 15
- Notification of acceptance: May 1
- Second round submission deadline: June 15
- Notification of acceptance: July 1
All submissions should be made via easychair at
https://easychair.org/conferences/?conf=cicm13
As in previous years, we will publish the CICM 2020 proceedings with
Springer LNCS.
2020-02-13
[Caml-list] CICM 2020 - Call for Papers
Call for Papers
formal papers - informal papers - doctoral programme
13th Conference on Intelligent Computer Mathematics
- CICM 2020 -
July 26-31, 2020
Bertinoro, Italy
http://www.cicm-conference.org/2020
--------------------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.
CICM 2020 Invited Speakers:
Kevin Buzzard (Imperial College, London, UK)
Catherine Dubois (ENSIIE, CNRS, Evry, France)
Christian Szegedy (Google Research, Mountain View, CA, USA)
CICM 2020 Programme committee:
see https://www.cicm-conference.org/2020/cicm.php?event=&menu=pc
CICM 2020 invites submissions in all topics relating to intelligent
computer mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM appreciates the varying nature of the relevant research in this
area and invites submissions of different forms:
1) Formal submissions will be reviewed rigorously and accepted papers
will be published in a volume of Springer LNCS:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existent tool
2) Informal submissions will be reviewed with a positive bias and
selected for presentation based on their relevance for the community.
* informal papers may present work-in-progress, project
announcements, position statements, etc.
* posters and system demos will be presented in parallel in special
sessions
3) The doctoral programme provides PhD students with a forum to
present early results and receive constructive feedback and mentoring.
*** Important Dates ***
Formal submissions
- Abstract deadline: March 01
- Full paper deadline: March 08
- Reviews sent to authors: April 17
- Rebuttals due: April 21
- Notification of acceptance: April 24
- Camera-ready copies due: May 03
- Conference: July 26-31
Informal submissions and doctoral programme
Two separate submission rounds are offered so that some authors can
make early travel plans while other authors submit spontaneously.
- First round submission deadline: April 15
- Notification of acceptance: May 1
- Second round submission deadline: June 15
- Notification of acceptance: July 1
All submissions should be made via easychair at
https://easychair.org/conferences/?conf=cicm13
As in previous years, we will publish the CICM 2020 proceedings with
Springer LNCS.
formal papers - informal papers - doctoral programme
13th Conference on Intelligent Computer Mathematics
- CICM 2020 -
July 26-31, 2020
Bertinoro, Italy
http://www.cicm-conference.org/2020
--------------------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such
as computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of
these areas and their integration.
CICM 2020 Invited Speakers:
Kevin Buzzard (Imperial College, London, UK)
Catherine Dubois (ENSIIE, CNRS, Evry, France)
Christian Szegedy (Google Research, Mountain View, CA, USA)
CICM 2020 Programme committee:
see https://www.cicm-conference.org/2020/cicm.php?event=&menu=pc
CICM 2020 invites submissions in all topics relating to intelligent
computer mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM appreciates the varying nature of the relevant research in this
area and invites submissions of different forms:
1) Formal submissions will be reviewed rigorously and accepted papers
will be published in a volume of Springer LNCS:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existent tool
2) Informal submissions will be reviewed with a positive bias and
selected for presentation based on their relevance for the community.
* informal papers may present work-in-progress, project
announcements, position statements, etc.
* posters and system demos will be presented in parallel in special
sessions
3) The doctoral programme provides PhD students with a forum to
present early results and receive constructive feedback and mentoring.
*** Important Dates ***
Formal submissions
- Abstract deadline: March 01
- Full paper deadline: March 08
- Reviews sent to authors: April 17
- Rebuttals due: April 21
- Notification of acceptance: April 24
- Camera-ready copies due: May 03
- Conference: July 26-31
Informal submissions and doctoral programme
Two separate submission rounds are offered so that some authors can
make early travel plans while other authors submit spontaneously.
- First round submission deadline: April 15
- Notification of acceptance: May 1
- Second round submission deadline: June 15
- Notification of acceptance: July 1
All submissions should be made via easychair at
https://easychair.org/conferences/?conf=cicm13
As in previous years, we will publish the CICM 2020 proceedings with
Springer LNCS.
Subscribe to:
Posts (Atom)