[Humanist] 23.102 events: automated deduction

Humanist Discussion Group willard.mccarty at mccarty.org.uk
Tue Jun 23 07:16:57 CEST 2009

                 Humanist Discussion Group, Vol. 23, No. 102.
         Centre for Computing in the Humanities, King's College London
                Submit to: humanist at lists.digitalhumanities.org

        Date: Mon, 22 Jun 2009 11:50:11 +0100
        From: Carsten Schuermann <carsten at itu.dk>
        Subject: CADE-22 - Second Call for Participation

22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2-7, 2009


PLEASE REGISTER NOW! The deadline for affordable hotel-style
university accommodation is this week Thursday and the early
registration deadline is coming Monday.

- Hotel-style University 25 June 2009 (3 days from now)
- Early Registration 30 June 2009 (8 days from now)

CADE is the major forum for the presentation of research in all
aspects of automated deduction.

PROGRAMME: The conference features
- 3 invited talks
- 32 contributed papers of which 5 are system papers
- the presentation of the Herbrand Award to Deepak Kapur
- a two-day programme of workshops, tutorials and meetings
- 2 system competitions

- Konstantin Korovin (The University of Manchester)
Instantiation-Based Automated Reasoning: From Theory to
- Martin Rinard (Massachusetts Institute of Technology)
Integrated Reasoning and Proof Choice Point Selection in
the Jahob System - Mechanisms for Program Survival
- Mark Stickel (SRI International)
Building Theorem Provers

- Automated Deduction: Decidability, Complexity,
Tractability (ADDCT) and
The International Workshop on Unification (UNIF)
- Logical Frameworks and Meta-Languages: Theory and
Practice (LFMTP)
- Modules and Libraries for Proof Assistants (MLPA)
- Proof Search in Type Theories (PSTT)
- Satisfiability Modulo Theories (SMT)

- Hierarchical and Modular Reasoning in Complex Theories
with Viorica Sofronie-Stokkermans
- Probabilistic Analysis Using a Theorem Prover
with Osman Hasan and Sofiene Tahar
- Precise, Automated and Scalable Verification of Systems
Software Using SMT Solvers
with Shuvendu K. Lahiri and Shaz Qadeer
- Logics with Undefinedness
with William M. Farmer


More information about the Humanist mailing list