CADE-14 - Call for Workshops and Tutorials



          The 14th International Conference on Automated Deduction

                  July 13-17, 1997, Townsville, Australia

                                  FINAL 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 (Cornell)         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/