File /Humanist.vol22.txt, message 254


Date:         Sat, 11 Oct 2008 09:55:06 +0100
From: Humanist Discussion Group <willard.mccarty-AT-MCCARTY.ORG.UK>
Subject: 22.263 event: automated deduction
To: humanist-AT-Princeton.EDU


               Humanist Discussion Group, Vol. 22, No. 263.
       Centre for Computing in the Humanities, King's College London
  www.kcl.ac.uk/schools/humanities/cch/research/publications/humanist.html
                        www.princeton.edu/humanist/
                     Submit to: humanist-AT-princeton.edu



         Date: Sat, 11 Oct 2008 09:50:52 +0100
         From: Humanist Discussion Group <willard.mccarty-AT-mccarty.org.uk>
         Subject: CADE-22 call for workshop and tutorial proposals

                                CADE 2009
         The 22nd International Conference on Automated Deduction
                   Montreal, Canada, August 2 - 7, 2009

                  http://complogic.cs.mcgill.ca/cade22/

                 Call for Workshop and Tutorial Proposals
           ----------------------------------------------------

CADE 2009 is the 22nd International Conference on Automated Deduction,
the premier conference on all aspects of automated deduction.  Topics
covered range from theoretical foundations to high-performance
implementations in a wide variety of logics and logical theories, with
applications in areas like verification and artificial intelligence.

Workshop and tutorial proposals for CADE 2009 are solicited.  Both
well-established workshops and newer or brand new ones are encouraged.
Similarly, proposals for workshops with a tight focus on a core
automated reasoning specialization, as well as those with a broader,
more applied focus, are very welcome.

1. Workshop Proposals

     Please provide the following information:

     + Workshop title.
     + Names and affiliations of organizers.
     + Brief description of workshop goals and/or topics.
     + Proposed workshop duration
          (from half a day to two days is possible).
     + If the workshop has met previously, please include the conference
       affiliation for the previous meeting. If the workshop is new,
       please indicate so.

     The CADE organizers plan to make available a small amount towards
     partial reimbursement for travel expenses of invited speakers.
     Also, CADE will take care of printing and distributing informal
     proceedings for workshops that would like this service.

2. Tutorial Proposals

     Tutorials are expected to be half-day events.  Tutorial proposals
     should provide the following information:

     + Tutorial title.
     + Names and affiliations of organizers.
     + Brief description of the tutorial's goals and topics to be
         covered.
     + Whether or not a version of the tutorial has been given
         previously.

     CADE will take care of printing and distributing notes for
     tutorials that would like this service.

All proposals should be sent via email in plain text to the Workshop
and Tutorial Chair (astump-AT-cs.uiowa.edu), for consideration by the
CADE 2009 organizers:

    Brigitte Pientka (McGill University), General Chair
    Renate Schmidt (University of Manchester), Program Chair
    Carsten Schuermann (IT University of Copenhagen), Publicity Chair
    Aaron Stump (The University of Iowa), Workshop and Tutorial Chair

Important dates:
    Deadline for proposal submissions:            December 7, 2008
    Acceptance/rejection notification:            January 7, 2009
    Workshop dates:                               August 2-3, 2009
-------------------------------------------------------------------

From - Sat Oct 11 10:13:10 2008
X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
   

Humanist Main Page

 

Display software: ArchTracker © Malgosia Askanas, 2000-2005