19.589 conference matters: LPAR 2006; intelligence in the IEEE workshop

               Humanist Discussion Group, Vol. 19, No. 589.
       Centre for Computing in the Humanities, King's College London
                   www.kcl.ac.uk/humanities/cch/humanist/
                        www.princeton.edu/humanist/
                     Submit to: humanist_at_princeton.edu

   [1] From: Miki Hermann <Miki.Hermann_at_lix.polytechnique.fr> (32)
         Subject: LPAR 2006 call for papers

   [2] From: DrWender_at_aol.com (9)
         Subject: Re: 19.587 IEEE workshop on distributed intelligence
                 systems

--[1]------------------------------------------------------------------
         Date: Thu, 02 Feb 2006 09:45:47 +0000
         From: Miki Hermann <Miki.Hermann_at_lix.polytechnique.fr>
         Subject: LPAR 2006 call for papers

--------------------------------------------------------------------------
LPAR-13 Phnom Penh, Cambodia
http://www.lix.polytechnique.fr/~hermann/LPAR2006 13th-17th November 2006

                              Call For Papers

The 13th International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR-13) will be held 13th-17th November 2006,
at the Hotel Cambodiana, Phnom Penh, Cambodia. Submission of papers for
presentation at the conference is now invited. Topics of interest include:

+ automated reasoning + propositional reasoning
+ interactive theorem proving + description logics
+ proof assistants + modal and temporal logics
+ proof planning + nonmonotonic reasoning
+ proof checking + constructive logic and type theory
+ rewriting and unification + lambda and combinatory calculi
+ software and hardware verification + logic programming
+ network and protocol verification + constraint programming
+ systems specification and synthesis + logical foundations of programming
+ model checking + computational interpretations of logic
+ proof-carrying code + logic and computational complexity
+ logic and databases + logic in artificial intelligence
+ reasoning over ontologies + knowledge representation and reasoning
+ reasoning for the semantic web + reasoning about actions

Full and short papers are welcome. Full papers may be either regular
papers containing new results, or experimental papers describing
implementations or evaluations of systems. Short papers may describe work
in progress or provide system descriptions. Submitted papers must be
original, and not submitted concurrently to a journal or another
conference.

The full paper proceedings of LPAR-13 will be published by Springer-Verlag
in the LNAI series. Authors of accepted full papers will be required to
sign a form transferring copyright of their contribution to Springer-Verlag.
The short paper proceedings of LPAR-13 will be published by the conference.

[...]

--[2]------------------------------------------------------------------
         Date: Thu, 02 Feb 2006 10:00:14 +0000
         From: DrWender_at_aol.com
         Subject: Re: 19.587 IEEE workshop on distributed intelligence systems

In einer eMail vom 01.02.06 09:50:53 (MEZ)=20
Mitteleurop=E4ische Zeit schreibt willard_at_LISTS.VILLAGE.VIRGINIA.EDU:

> Date: Wed, 01 Feb 2006 07:08:15 +0000
> From: dis_at_labe.felk.cvut.cz
>

Nice correction in the subject line of 19.587.
Or is there no difference between, say,=20
intelligence agencies and intelligent agencies?

;-)
hw
Received on Thu Feb 02 2006 - 05:25:08 EST