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