[Prev][Next][Index][Thread]

CADE-14 CFP: 2nd Call




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

----------------------------------------------------------------------------

                                   CADE-14

          The 14th International Conference on Automated Deduction

                  July 13-17, 1997, Townsville, Australia

                                            CALL FOR PAPERS

 Program Committee           CADE  is the  major  forum  for  presentation  of
 L. Bachmair (Stony Brook)   research  in all aspects of automated  deduction.
 H. Comon (Orsay)            Original  research  papers  and  descriptions  of
 W. Farmer (Bedford)         working automated deduction systems are solicited
 M. Fujita (Tokyo)           for the 14th CADE.
 H. Ganzinger (Saarbruecken)
 F. Giunchiglia (Trento)                         Topics
 J. Harrison (Turku)
 R. Hasegawa (Kyushu)        Logics of interest  include propositional,  first
 S. Hoelldobler (Dresden)    order,   equational,  higher  order,   classical,
 J. Hsiang (Taipei)          intuitionistic,    constructive,   type   theory,
 D. Kapur (Albany)           nonstandard, and meta-logics. Methods of interest
 C. Kirchner (Nancy)         include resolution,  paramodulation, unification,
 C. Kreitz (Darmstadt)       term rewriting,  tableaux, constraints,  decision
 A. Leitsch (Vienna)         procedures, induction,  interactive systems,  and
 R. Letz (Munich)            frameworks.  Applications  of  interest   include
 E. Lusk (Argonne)           hardware   and  software   development,   systems
 U. Martin (St. Andrews)     verification, artificial intelligence, logic, set
 D. McAllester (Murray Hill) theory, mathematics, applicative programming, and
 W. McCune (Argonne)         logic  programming.  Special  topics of  interest
 L. Paulson (Cambridge)      include   proof    translation,    human-computer
 F. Pfenning (Pittsburgh)    interfaces,  distributed  deduction,  and  search
 M. Rusinowitch (Nancy)      heuristics.  Papers on applications of  automated
 J. Schumann (Munich)        deduction are especially encouraged.
 N. Shankar (Menlo Park)     
 J. Slaney (Canberra)                          Submissions
 M. Stickel (Menlo Park)  
 G. Sutcliffe (Townsville)   Papers  must  be original  and not submitted  for
 T. Tammet (Goeteborg)       publication elsewhere.  Research papers can be up
 A. Voronkov (Uppsala)       to 15 proceedings pages,  and system descriptions
 L. Wallen (Oxford)          can be up to 4 pages.  The proceedings of CADE-14
 C. Walther (Darmstadt)      will be published  by Springer-Verlag in the LNAI
 D. Wang (Grenoble)          series.  Authors are strongly  encouraged to  use 
 H. Zhang (Iowa City)        LaTeX and the Springer style files available from 
                             the  CADE-14  Web  site.  The  primary  means  of
                             submission  will  be  electronic,  in  PostScript 
                             format.   Papers  should   be  compressed,   then 
                             uuencoded,  then e-mailed to  the program  chair.
                             Details on the procedure  and alternatives can be 
                             found  at the  CADE-14 Web  site.  If  electronic 
                             submission is not possible,  5 hard copies should 
                             be  sent to  the  program  chair  at  the  postal 
                             address given below. Regardless of the submission 
                             method, the letter or e-mail message accompanying 
                             the paper must contain a  plain text  abstract of 
                             about 200 words and the names,  e-mail addresses, 
                             and   postal  addresses  of   all  authors.   All 
                             submissions must be received by December 4, 1996. 
                             Submissions that are late  or too long or require 
                             substantial revision will not be considered.

               Submission deadline:        December 4, 1996
               Notification of acceptance: February 12, 1997
               Camera-ready copy due:      March 19, 1997

      Program Chair:                    Local Arrangements Chair:

      William McCune                    Geoff Sutcliffe
      Mathematics and Computer Science  Department of Computer Science
      Argonne National Laboratory       James Cook University
      Argonne, IL 60439-4844            Townsville, 4811
      U.S.A.                            AUSTRALIA

      Phone: +1 630 252 3065            Phone: +61 77 815085
      FAX: +1 630 252 5986              FAX: +61 77 814029
      E-mail: cade14-chair@mcs.anl.gov  E-mail: cade-14@cs.jcu.edu.au

           CADE-14 Web Site - http://www.cs.jcu.edu.au/~cade-14/

----------------------------------------------------------------------------

                                   CADE-14

          The 14th International Conference on Automated Deduction

                  July 13-17, 1997, Townsville, Australia

                                    CALL FOR WORKSHOPS AND TUTORIALS

 Program Committee           CADE  is the  major  forum  for  presentation  of
 L. Bachmair (Stony Brook)   research  in all aspects  of automated deduction.
 H. Comon (Orsay)            Proposals for  workshops and tutorials, which are
 W. Farmer (Bedford)         to be held Sunday, July 13, are solicited for the
 M. Fujita (Tokyo)           14th CADE.  Workshops will run the whole day, and
 H. Ganzinger (Saarbruecken) tutorials for half a day.
 F. Giunchiglia (Trento)     
 J. Harrison (Turku)                             Topics
 R. Hasegawa (Kyushu)
 S. Hoelldobler (Dresden)    Recent   CADE   workshops   have   included  term
 J. Hsiang (Taipei)          schematizations  and their  applications,  visual
 D. Kapur (Albany)           reasoning,  automation of proofs by  mathematical
 C. Kirchner (Nancy)         induction, empirical studies in logic algorithms,
 C. Kreitz (Darmstadt)       mechanization of partial functions,  proof search
 A. Leitsch (Vienna)         in  type-theoretic   languages,  automated  model
 R. Letz (Munich)            building,  and evaluation  of automated  theorem-
 E. Lusk (Argonne)           proving  systems.  Workshops  frequently have the
 U. Martin (St. Andrews)     same  topic as those  of previous workshops,  and
 D. McAllester (Murray Hill) this  practice   is   encouraged.   Recent   CADE 
 W. McCune (Argonne)         tutorials  have  included  equality  reasoning in 
 L. Paulson (Cambridge)      semantic tableaux, proof systems for nonmonotonic 
 F. Pfenning (Pittsburgh)    logics,  rewrite techniques  in  theorem proving, 
 M. Rusinowitch (Nancy)      parallelization    of   deduction     strategies, 
 J. Schumann (Munich)        resolution  decision  methods,  constructive type 
 N. Shankar (Menlo Park)     theory,  the use  of semantics in  Herbrand-based 
 J. Slaney (Canberra)        proof procedures, logical frameworks, and theorem
 M. Stickel (Menlo Park)     proving by  the inverse method.  Tutorials may be
 G. Sutcliffe (Townsville)   introductory, intermediate, or advanced.
 T. Tammet (Goeteborg)       
 A. Voronkov (Uppsala)                          Proposals
 L. Wallen (Oxford)     
 C. Walther (Darmstadt)      Anyone wishing to organize a workshop or tutorial
 D. Wang (Grenoble)          in conjunction  with CADE-14 should send  (e-mail 
 H. Zhang (Iowa City)        preferred) a proposal no longer than two pages to 
                             the  program  chair  by  January  15,  1997.  The 
                             proposal  should  describe   the  topic  of   the 
                             proposed workshop or tutorial and explain why the 
                             topic  is  relevant to  CADE.  Proposals will  be 
                             evaluated by the program committee, and decisions 
                             will  be  made  by  February  12,  1997.  Further 
                             information  about the arrangements for workshops 
                             and  tutorials can  be obtained from  the CADE-14 
                             Web site.

               Proposal deadline:          January 15, 1997
               Notification of acceptance: February 12, 1997

      Program Chair:                    Local Arrangements Chair:

      William McCune                    Geoff Sutcliffe
      Mathematics and Computer Science  Department of Computer Science
      Argonne National Laboratory       James Cook University
      Argonne, IL 60439-4844            Townsville, 4811
      U.S.A.                            AUSTRALIA

      Phone: +1 630 252 3065            Phone: +61 77 815085
      FAX: +1 630 252 5986              FAX: +61 77 814029
      E-mail: cade14-chair@mcs.anl.gov  E-mail: cade-14@cs.jcu.edu.au

           CADE-14 Web Site - http://www.cs.jcu.edu.au/~cade-14/

----------------------------------------------------------------------------