posted by user: wimmer || 4662 views || tracked by 13 users: [display]

CADE 2011 : 23rd International Conference on Automated Deduction

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Automated Deduction
 
Link: http://cade23.ii.uni.wroc.pl/call-for-papers/
 
When Jul 31, 2011 - Aug 5, 2011
Where Wroclaw, Poland
Abstract Registration Due Feb 1, 2011
Submission Deadline Feb 7, 2011
Notification Due Mar 20, 2011
Final Version Due Apr 20, 2011
Categories    deduction   verification   formal methods
 

Call For Papers

General Information

CADE is the major forum for the presentation of research in all
aspects of automated deduction. The conference programme will
include invited talks, paper presentations, system
descriptions, workshops, tutorials, and system competitions.
Scope

We invite high-quality submissions on the general topic of
automated deduction, including foundations, applications,
implementations and practical experiences.

Logics of interest include, but are not limited to:

* propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, intuitionistic, other non-classical, meta-logics, logical frameworks, type theory and set theory.

Methods of interest include, but are not limited to

* saturation, resolution, instance-based, tableaux, sequent calculi, natural deduction, term rewriting, decision procedures, model generation, model checking, constraint solving, induction, unification, proof planning, proof checking, proof presentation and explanation.

Applications of interest include, but are not limited to

* program analysis and verification, hardware verification,synthesis, systematic software and hardware testing, (computer-aided) mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, functional and logic programming, robotics, planning and other areas of AI.

Conference Proceedings

The proceedings of the conference will be published by Springer Verlag in the LNCS/LNAI series.
Submission Details

Submissions must be in English, they must be prepared with Springer LNCS Style, and submitted in pdf format. Submission will be through EasyChair. The page length of a paper must not exceed the page length given below. It is allowed to provide additional material beyond the page limit, in a clearly marked appendix or a reference to a website. It is at the descretion of the reviewers whether such supplements will be taken into account.
Submission Categories

Submitted papers must fall into one of the following two categories:

* Regular papers have a maximum page length of 15 pages. They will be reviewed on originality, significance, technical quality and readability.
* Short system descriptions have a maximum page length of 5 pages. System descriptions that provide an in-depth presentation of original ideas in the implemented system can be submitted as regular papers.

Submission Deadline

* Abstracts: 1 February 2011
* Full Papers: 7 February 2011

Other Dates

* Notification: 20 March 2011
* Final Version: 20 April 2011
* Workshops/Tutorials: 31 July-1 August 2011
* Conference: 2-5 August 2011

Related Resources

ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
CAV 2021   33rd International Conference on Computer-Aided Verification
20th ICTEL October, Dubai 2021   20th ICTEL 2021 – International Conference on Teaching, Education & Learning, 23-24 October, Dubai
FM 2021   Formal Methods 2021
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ICEIS 2021   23rd International Conference on Enterprise Information Systems
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
QEST 2021   International Conference on Quantitative Evaluation of SysTems
SPECOM 2021   23rd International Conference on Speech and Computer