DReaM Links Database:
Conferences open for submissons,
Forthcoming conferences,
Old conferences,
Special Issues,
Journals,
Mailing lists
Journals - Special Issues
Key:
Submission Deadline
Old special issues
- 15 Jun 2011Journal of Web Semantics: Reasoning with context in the Semantic Web
* Call for Papers: Special Issue of the Journal of Web Semantics on "Reasoning with context in the Semantic Web" * Topics of interest: This special issue aims at bringing together work on reasoning with context in the Semantic Web from an integration, development and evolutionary perspectives. Submitted articles, which may describe either theoretical results or applications, must clearly pertain to the Semantic Web and/or to semantic technologies. They should present either Semantic Web specific approaches to reasoning with context, or approaches that have characteristics that are interesting for the Semantic Web (e.g., scalability, bounded reasoning), or approaches that are of value to a larger community containing a non-trivial Semantic Web sub-community (e.g. revision/update techniques and error pin-pointing). Submissions are welcome on topics relevant to reasoning with context in the Semantic Web and that include but are not limited to: - Named graphs - Provenance - Knowledge representation languages for semantic technologies - Planning and reasoning about action and change in the Semantic Web - Ontology fault diagnosis and repair - Pinpointing of logical errors in contexts and ontologies - Explanation and justifications in DL ontologies - Ontology and context evolution, debugging, update and merging - Inconsistency handling in contexts and ontologies - Uncertainty handling, defeasible reasoning and argumentation in ontologies - Non-classical belief revision - Context revision and theory change in DL ontologies - Ontology and context versioning - Semantic difference in ontologies and in contexts - Information and knowledge integration - The role of context and ontology in distributed reasoning and knowledge management - Heuristic and approximate reasoning - Bounded reasoning and bounded rationality in the Semantic Web - Adaptive systems and reconfiguration - Ontology-based data access - Querying - Multi-Agent systems in the Semantic Web - Temporal and spatial reasoning - Normative reasoning in the Semantic Web - General problem solving for semantic technologies - Machine learning for the Semantic Web - Philosophical foundations of reasoning about context and ontology evolution - Comparison of uses of contexts and ontologies * How to submit: Maximal length of submissions is 25 pages. Authors should upload submissions on Elsevier's Electronic Submission System at http://ees.elsevier.com/jws - Choose "Reasoning with context in SW" as article type. See the link "Guide for Authors" on the above url for instructions. * Submission deadline: 15 June 2011 * Guest editors: Alan Bundy (University of Edinburgh, United Kingdom) - Jos Lehmann (University of Edinburgh, United Kingdom) - Ivan Varzinczak (CSIR Meraka Institute, South Africa) * Send enquiries and communications to: organization [at] arcoe [dot] org * Visit http://www.arcoe.org/specialissue.html for complete call for papers. - 31 May 2010Journal of Web Semantics: Special Issue on Semantic Web Dynamics
This general issue of Semantic Web Dynamics includes difficulties from both practical and theoretical points of view, raising a variety of research questions and development challenges, such as how to support the ontology and data publishers in maintaining up-to-date, adequate
representations; how to detect the need for evolution and changes; how to facilitate the integration of new, dynamic sources in existing datasets and ontologies; how to validate and evaluate the impact of the changes on semantic information; how to handle changes triggered from multiple
sources and collaborative updates; and how to keep track of (possibly concurrent) versions of and ensure the delivery of up-to-date and valid knowledge. - 19 May 2010Post-Proceedings of TYPES 2009 (published in EPTCS)
The aim of Types is to develop the technology of formal reasoning and computer programming based on Type Theory. This is done by improving the languages and computerised tools for reasoning, and by applying the technology in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education. - 30 Nov 2009Cognitive Systems Research
Abstract due 30/11/09; paper 29/03/10.
Research which contributes to the topic of complex cognition is done in the context of cognitive architectures, automated planning and reasoning, decision support, and assistance systems. The special issue addresses basic mechanisms of complex cognitive systems as well as applications in arbitrary complex domains. It is open but not restricted to work in reasoning in complex domains;
learning from problem solving experience;
planning and problem solving in dynamic environments;
automated decision making and cognitive assistance systems. - 23 Nov 2009Journal of Symbolic Computation
We solicit original papers on symbolic methods and techniques applied to Web sites, Web services or Web-based applications. - 1 Oct 2009 Special issue on Binding, Substitution and Naming (in Journal of Automated Reasoning)
Mathematical treatments of concrete syntax have always been a central concern in symbolic computation, programming language implementation and computer-aided reasoning. Theories of abstract syntax have proved harder to find, especially those addressing properties related to substituting structures for variables, binding of names and fresh name generation. This special issue is devoted to papers describing recent advances in this area. Submissions are encouraged, but not limited to, the following topics:
* logical frameworks, meta-languages and tools that aid reasoning about substitution and binding
* new formalisation techniques for languages involving binders
* applications in programming languages that support binding * mechanised meta-theory of calculi involving binding and fresh name generation
* logic-based, categorical or set-based theories of names and binding
* unification for languages involving binders
Manuscripts should be unpublished works and not submitted elsewhere. Revised and enhanced versions of papers published in conference proceedings that have not appeared in archival journals are eligible for submission. All submissions will be reviewed according to the high standards of scholarship and originality characteristic of the Journal of Automated Reasoning.
Submissions are due October 1, 2009. Papers should be in pdf format following the JAR guidelines for authors, see
http://www.springer.com/computer/foundations/journal/10817
We encourage authors to keep their submissions below 25 pages. Authors should submit their papers electronically via Easychair, see
http://www.easychair.org/conferences/?conf=taasnjar09 - 6 Sep 2009JOURNAL OF SYMBOLIC COMPUTATION
INVARIANT GENERATION and ADVANCED TECHNIQUES FOR REASONING ABOUT LOOPS.
- 31 May 2009Information and Computation
Intuitionistic Modal Logics and Applications - 30 Apr 2009Journal of Automated Reasoning
Computer Security: Foundations and Automated Reasoning
In connection with the Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS'08).
- 23 Mar 2009 JOURNAL OF SYMBOLIC COMPUTATION: Special Issue on Symbolic Computation in Software Science
- 10 Nov 2008JAR: Special issue on Programming Languages and Mechanized Mathematics Systems
Dedicated input languages for MMS; Mathematical modeling languages used for programming; Programming languages with mathematical specifications; Language elements for program verification; see plmms workshops: http://events.cs.bham.ac.uk/cicm08/workshops/plmms/ - 15 Oct 2008TYPES post proceedings
We encourage you to submit research papers on the subject of the Types Project (http://www.cs.chalmers.se/Cs/Research/Logic/Types/). Topics include, but are not limited to: - foundations of type theory and constructive mathematics - applications of type theory - programming with type theory - industrial uses of type theory technology - meta-theoretic studies of type systems - theory and implementation of proof-assistants - automation in computer-assisted reasoning - links between type theory and functional programming - formalizing mathematics using type theory. Submissions are not restricted to works presented at the workshop, nor the authors are expected to be formally involved in the Types project. - 30 Sep 2008JAR: TESTS AND PROOFS
Topics of interest include the following:
* Generation of test data, oracles, or preambles by deductive
techniques such as
- theorem proving,
- model checking,
- symbolic execution,
- constraint logic programming,
etc.
* Generation of specifications by deduction
* Verification techniques combining proofs and tests
* Program proving with the aid of testing techniques
* Transfer of concepts from testing to proving
(e.g., coverage criteria)
* Automatic bug finding
* Formal frameworks
* Tool descriptions and experience reports
* Case studies - 24 Sep 2007TYPES'07 Post-Proceedings (LNCS)
- foundations of type theory and constructive mathematics
- applications of type theory
- dependently typed programming
- industrial uses of type theory technology
- meta-theoretic studies of type systems
- implementation of proof-assistants
- automation in computer-assisted reasoning
- links between type theory and functional programming
- formalizing mathematics using type theory.
Work within the scope of TYPES that was not presented at the workshop or whose authors are not formally involved in the Coordination Action may also be submitted for the proceedings. - 1 Sep 2007FOUNDATIONS OF SCIENCE
MATHEMATICS AND ARGUMENTATION
Announcing a special issue of the journal Foundations of Science on the
emerging intersection between philosophy of mathematics and
argumentation theory.
Foundational questions and the status of proof have long been central
to philosophy of mathematics, although mathematicians do a lot more
than just prove results. However, most mathematical practice may still
be understood in terms of argument.
Thus philosophy of mathematics needs an account of argument.
Argumentation theory seems like a good place to look. The intersection
of the two, although largely unexplored, has the potential to be hugely
fruitful.
Some philosophers of mathematics, such as Imre Lakatos, are sensitive
to the structure of argument, despite seldom citing argumentation
research. A few recent authors have linked the two fields explicitly.
These researchers come from a diverse range of disciplines: psychology,
education and computer science, as well as philosophy.
We invite authors to submit original contributions furthering research
explicitly related to mathematics and argumentation.
