File /Humanist.vol22.txt, message 35

Date: Fri, 23 May 2008 09:55:06 +0100
From: "Humanist Discussion Group \(by way of Willard McCarty              <>\)" <willard-AT-LISTS.VILLAGE.VIRGINIA.EDU>
Subject: 22.035 events: crossing boundaries, defining what is, being logical
To: <humanist-AT-Princeton.EDU>

                Humanist Discussion Group, Vol. 22, No. 35.
       Centre for Computing in the Humanities, King's College London
                     Submit to:

   [1]   From:    Cecile Guedon <cecile.guedon-AT-KCL.AC.UK>             (43)
         Subject: Crossing the Boundaries A Conference on
                 Interdisciplinarity and Research

   [2]   From:    Tommie Meyer <>                (37)
         Subject: KROW-AT-KR2008: Final Call for Papers

   [3]   From: (Geoff Sutcliffe)                (57)
         Subject: LPAR Call for Papers

         Date: Fri, 23 May 2008 06:30:08 +0100
         From: Cecile Guedon <cecile.guedon-AT-KCL.AC.UK>
         Subject: Crossing the Boundaries A Conference on 
Interdisciplinarity and Research

Crossing the Boundaries
A Conference on Interdisciplinarity and Research
Saturday 31st May, Birkbeck, University of London

Disciplinary boundaries can be both prisons and safety zones. We are
often tempted to transgress the boundaries of our disciplines, but at
what cost and with what consequences?

The Faculty of Lifelong Learning, Birkbeck, with Consortium Projects,
invite you  to a multifaceted conference celebrating and critiquing
interdisciplinary work.

As well as interrogations of the very concept of interdisciplinarity,
specific issues within the fields of art, architecture, film,
education, law, and literature will be examined.

Speakers include

*        Marko Daniel, Curator of Public Programmes, Tate Modern (Chair)
*        Matthew Gandy, Professor of Geography, University College
London, and co-ordinator of the UCL Urban Laboratory
*        Dr Tim Boon, Head of Collections, Science Museum

Saturday 31st May, 9.30am-5pm

Room B35, Birkbeck, Malet Street, University of London. See <>  for directions

How to register
Attendance is free, but places must be booked by emailing
<>  by 5pm on Friday 23rd
May 2008

Conference organisers
Ben Cranfield and Richard Martin

The Faculty of Lifelong Learning, Birkbeck offers over 900 modules
across academic disciplines, attracting over 13,000 adult learners to
venues across London.

Consortium Projects is a research, development and production agency
comprised of current students and alumni from the London Consortium
(Architectural Association, Birkbeck, ICA, Tate, Science Museum).

Cecile Guedon
Graduate Secretary, MA in Literature and Medicine

Dept of English Language and Literature
School of Humanities
King's College
London WC2R 2LS
Tel: 0207 848 1405

         Date: Fri, 23 May 2008 06:33:46 +0100
         From: Tommie Meyer <>
         Subject: KROW-AT-KR2008: Final Call for Papers

            Knowledge Representation Ontology Workshop (KROW 2008)
                            September 17, 2008
                           Final Call for Papers	
                          A KR 2008 Workshop
                       September 16 - 19, 2008
                          Sydney, Australia

KROW 2008 is one of two workshops forming an integral part of the
program of the 11th International Conference on Principles of
Knowledge Representation  and Reasoning (KR2008). It is a
continuation of the Australasian Ontology Workshop series:

The primary aim of the workshop is to bring together active
researchers in the broad area of ontologies. Topics of interest
include, but are not limited to:

- Ontology models and theories
- Ontologies and the Semantic Web
- Interoperability in ontologies
- Ontologies and Multi-agent systems
- Description logics for ontologies
- Reasoning with ontologies
- Ontology harvesting on the web
- Ontology of agents and actions
- Ontology visualisation
- Ontology engineering and management
- Ontology-based information extraction  and retrieval
- Ontology merging, alignment and integration
- Web ontology languages
- Formal concept analysis and ontologies

The proceedings of the three workshops in the AOW series were
published as volumes 58, 72, and 85 of the Conferences in Research
and Practice in Information Technology (CRPIT) series
(, and the KROW 2008 proceedings will be published
as volume 90 of the same series. Extended versions of selected papers
will appear in a special issue of the journal Applied Artificial Intelligence.

Submission information such as format etc. can be found on the CRPIT
website: The page limit is 10 pages.

         Date: Fri, 23 May 2008 06:34:37 +0100
         From: (Geoff Sutcliffe)
         Subject: LPAR Call for Papers

                                CALL FOR PAPERS

                   15th International Conference on Logic for
               Programming, Artificial Intelligence and Reasoning

                               November 23-27, 2008

                           Carnegie Mellon University
                                   Doha, Qatar


The series of International  Conferences on Logic for  Programming, Artificial
Intelligence and Reasoning (LPAR)  is a forum where,  year after year, some of
the most  renowned   researchers    in  the  areas  of  automated   reasoning,
computational  logic, programming  languages and  their  applications come  to
present  cutting-edge results,  to discuss advances   in these fields,  and to
exchange ideas in a  scientifically  emerging part   of  the world.  The  2008
edition will be held  in Doha, Qatar,  on the premises  of the Qatar campus of
Carnegie Mellon University.

Logic  is a fundamental organizing principle  in nearly  all areas in Computer
Science. It runs a multifaceted gamut from the foundational to the applied. At
one extreme, it  underlies computability and  complexity theory and the formal
semantics of programming languages. At the other,  it drives billions of gates
every day in   the digital circuits of  processors  of all kinds. Logic  is in
itself  a  powerful programming  paradigm  but it   is also the quintessential
specification language for anything ranging from real-time critical systems to
networked infrastructures. It is logical  techniques that link  implementation
and specification through formal methods such as automated theorem proving and
model  checking.   Logic is  also  the stuff  of knowledge  representation and
artificial intelligence. Because of its ubiquity, logic has acquired a central
role in Computer Science education.

New  results in  the   fields  of  computational  logic  and applications  are
welcome.  Also welcome are more  exploratory  presentations, which may examine
open  questions and raise  fundamental  concerns about  existing theories  and
practices. Topics of interest include, but are not limited to:

   * Automated reasoning                * Description logics
   * Interactive theorem proving        * Non-monotonic reasoning
   * Implementations of logic           * Specification using logics
   * Proof assistants                   * Logic in artificial intelligence
   * Program and system verification    * Lambda calculus
   * Model checking                     * Constructive logic and type theory
   * Rewriting and unification          * Computional interpretations of logic
   * Logic programming                  * Logical foundations of programming
   * Constraint programming             * Logical aspects of concurrency
   * Logic and databases                * Logic and computational complexity
   * Modal and temporal logics          * Knowledge representation 
and reasoning
   * Proof-carrying code                * Reasoning about actions
   * Translation validation             * Proof planning
   * Logic for the semantic web         * Effectively presented structures
   * Foundations of security            * Logic of distributed systems

Invited Speakers

It  has been a   tradition  of LPAR to  invite   some of the most  influential
researchers in   the focus areas  to discuss  their work and  their vision for
their fields. We are honored that the following members  of the community have
accepted this invitation.

   * Edmund Clarke, Carnegie Mellon University (USA)
   * Amir Pnueli, New York University (USA)
   * Michael Backes, Saarland University and MPI-SWS (Germany)
   * Thomas Eiter, Technical University of Vienna (Austria)


Humanist Main Page


Display software: ArchTracker © Malgosia Askanas, 2000-2005