File /Humanist.vol22.txt, message 249


Date:         Thu, 9 Oct 2008 08:05:21 +0100
From: Humanist Discussion Group <willard.mccarty-AT-MCCARTY.ORG.UK>
Subject: 22.257 events: semantic knowledge; automated deduction
To: humanist-AT-Princeton.EDU


               Humanist Discussion Group, Vol. 22, No. 257.
       Centre for Computing in the Humanities, King's College London
                        www.princeton.edu/humanist/
                     Submit to: humanist-AT-princeton.edu

   [1]   From:    Humanist Discussion Group                          (13)
                 <willard.mccarty-AT-mccarty.org.uk>
         Subject: Semantic knowledge symposium

   [2]   From:    Humanist Discussion Group                          (42)
                 <willard.mccarty-AT-mccarty.org.uk>
         Subject: CADE-22 first call for papers


--[1]------------------------------------------------------------------
         Date: Thu, 09 Oct 2008 07:56:41 +0100
         From: Humanist Discussion Group <willard.mccarty-AT-mccarty.org.uk>
         Subject: Semantic knowledge symposium

FYI, there's going to be a very interesting symposium on semantic
knowledge at NYU in mid November:

_http://nlp.cs.nyu.edu/sk-symposium/_



The program is now available, and registration is still open. There are
12 invited speakers who are the leading figures in the "applied
semantics" area, in addition to 6 oral submitted presentations and ~40
posters and demos. The event seems to become a unique opportunity in
which the current state and future directions of practical semantics
research will be discussed.



Shana Tova,

Ido

<dagan-AT-cs.biu.ac.il>

--[2]------------------------------------------------------------------
         Date: Thu, 09 Oct 2008 08:01:57 +0100
         From: Humanist Discussion Group <willard.mccarty-AT-mccarty.org.uk>
         Subject: CADE-22 first call for papers

                        FIRST CALL FOR PAPERS

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


                  Submission Deadline: 23 Feb 2009
                http://complogic.cs.mcgill.ca/cade22/


GENERAL INFORMATION
    CADE is the major forum for the presentation of research in all
    aspects of automated deduction. The conference programme will
    include invited talks, paper presentations, system
    descriptions, workshops, tutorials, and system competitions.

SCOPE
    We invite high-quality submissions on the general topic of
    automated deduction, including foundations, applications,
    implementations and practical experiences.

    Logics of interest include, but are not limited to

      o propositional, first-order, equational, higher-order,
        classical, description, modal, temporal, many-valued,
        intuitionistic, other non-classical, meta-logics,
        logical frameworks, type theory and set theory.

    Methods of interest include, but are not limited to

      o saturation, resolution, instance-based, tableaux, sequent
        calculi, natural deduction, term rewriting, decision
        procedures, model generation, model checking, constraint
        solving, induction, unification, proof planning, proof
        checking, proof presentation and explanation.

    Applications of interest include, but are not limited to

      o program analysis and verification, hardware verification,
        mathematics, natural language processing, computational
        linguistics, knowledge representation, ontology reasoning,
        deductive databases, functional and logic programming,
        robotics, planning, and other areas of AI.

WORKSHOPS, TUTORIALS, SYSTEM COMPETITION:
    A two-day workshop and tutorial programme will be co-organized
    with the conference. In addition, the annual CADE ATP System
    Competition (CASC) will be held during the conference. Details
    will be published in separate calls and on the conference
    website.

PUBLICATION DETAILS:
    The proceedings of the conference will be published in the
    Springer LNAI/LNCS series.

[...]

From - Fri Oct 10 09:50:19 2008
X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
   

Humanist Main Page

 

Display software: ArchTracker © Malgosia Askanas, 2000-2005