[om-a] CALL for WORKSHOPS and TUTORIALS at CADE-18
M.Jamnik at cs.bham.ac.uk
Fri Aug 24 18:20:11 CEST 2001
CALL FOR WORKSHOPS AND TUTORIALS
The 18th International Conference on Automated Deduction
July 27-30, 2002 (CADE-18)
July 25, 26 and July 31, August 1 2002 (workshops/tutorials)
CADE is the major forum for the presentation of new research in all
aspects of automated deduction. Proposals for workshops and for
tutorials are solicited. Pre-CADE workshops and tutorials will run
Thursday July 25 - Friday July 26, 2002, and post-CADE ones will run
Wednesday July 31 - Thursday August 1, 2002. Workshops and tutorials
will ordinarily run for one or two days, but half a day ones may be
possible as well.
Recent CADE workshops have included term schematisations and their
applications, reasoning, automation of proofs by induction, empirical
studies in logic algorithms, mechanisations of partial functions,
proof search in type-theoretic languages, automated model building,
evaluation of automated theorem-proving systems, strategies in
automated deduction, automated theorem proving in software engineering
and in mathematics, integration of symbolic computation and
We would like to encourage workshops which build on previous events as
well as new ones in novel research areas broadly related to automation
Recent CADE tutorials have included equality reasoning in semantic
tableaux, proof systems for nonmonotonic logics, rewrite techniques in
theorem proving, proof planning, parallelisation of deduction
strategies, resolution decision methods, constructive type theory, the
use of semantics in Herbrand-based proof procedures, logical
frameworks, theorem proving by the inverse method, deduction methods
based on boolean rings, higher-order equational logic, and term
indexing in automated reasoning.
Tutorials may be introductory, intermediate, or advanced. Tutorials on
novel research are also encouraged.
Anyone wishing to organise a workshop or tutorial in conjunction with
CADE-18 should send (e-mail preferred) a proposal (in ASCII text
format) no longer than two pages to the workshop/tutorial chair and
the organising committee chair by October 12, 2001. The proposal
- The title of the workshop or tutorial.
- The names and affiliations of person or persons who will chair the
workshop or present the tutorial.
- A brief technical description of the topic of the workshop or
- An explanation of why the topic is relevant to CADE.
- Contact details (email, web page, phone, fax, etc.)
- A list of workshops or tutorials previously organised or given in
this or related areas.
- The preferred date for the workshop or tutorial (pre-CADE, post-CADE
- The proposed duration of workshop or tutorial (1 day, 2 days).
- Any equipment that may be needed for the workshop or tutorial
(transparency projector, computer projector, ...).
- Will there be invited speakers at the workshop or tutorial, and how
- Are there plans to have proceeding or other publications of the
workshop or tutorial?
Proposals will be evaluated, and decisions will be communicated by
October 26, 2001. Further information about the arrangements for
workshops and tutorials can be obtained from the CADE-18 Web site.
Proposal deadline: October 12, 2001
Notification of acceptance: October 26, 2001
Organising Committee Chair:
Andrei Voronkov <voronkov at cs.man.ac.uk>
Department of Computer Science
University of Manchester
Oxford Road, Manchester M13 9PL, ENGLAND, UK
Reiner Hähnle <reiner at cs.chalmers.se>
Chalmers University of Technology
Department of Computing Science
412 96 Gothenburg, SWEDEN
Mateja Jamnik <M.Jamnik at cs.bham.ac.uk>
School of Computer Science
The University of Birmingham
Birmingham, B15 2TT, ENGLAND, UK
[NB: Apologies if you receive this call more than once.]
om-announce at openmath.org - public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems
More information about the Om-announce