19.651 workshop, call for submissions, conference

               Humanist Discussion Group, Vol. 19, No. 651.
       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: Monica Gavrila <gavrila_at_nats.informatik.uni- (42)
                 hamburg.de>
         Subject: Ontology Workshop Hamburg - registration is Open
                 (Online Registration from Monday)

   [2] From: Bob <cummings_at_room343.english.uga.edu> (33)
         Subject: Calls for Submissions: The Best of Technology Writing
                 2006

   [3] From: Miki Hermann <Miki.Hermann_at_lix.polytechnique.fr> (32)
         Subject: 3rd CFP LPAR 2006, Phnom Penh

--[1]------------------------------------------------------------------
         Date: Tue, 14 Mar 2006 06:45:47 +0000
         From: Monica Gavrila <gavrila_at_nats.informatik.uni-hamburg.de>
         Subject: Ontology Workshop Hamburg - registration is Open
(Online Registration from Monday)

*** apologize for multiple postings ****

International Workshop
ONTOLOGY BASED MODELLING IN THE HUMANITIES
7-9 April 2006, University of Hamburg
http://www.c-phil.uni-hamburg.de/view/Main/OntologyWorkshop

In the new area of digitalized information, researchers from the
humanities face a new problem: semantic data organization. In contrast
with the data processed by natural sciences, the material in most
fields of humanities is mostly unstructured. The structuring of such
data is a complex problem that can be solved only by formal models and
languages from computer science. However the application of formal
models from formal sciences (especially computing) is itself a
scientific problem as humanists have their own scientific culture not
only in the argumentation and meta-theories but also in their way of
communication. With the development of the Semantic Web the
ontology-concept became an important key for data-structuring. Some
ontologies were developed also in the Humanities, but there is still no
overview of what exists, which standards are used and how well the
current ontologies meet the users requirements.

The current workshop aims to fill this gap and act also as a discussion
forum Papers related to one or more of the following topics will be
presented:
- theoretical relevant models for humanities
- formal prerequisites
- specific ontologies for different fields in Humanities
- collaborative tools for ontology manipulation
- Semantic Web technologies for preserving cultural heritage
- Semi-automatic ontology extraction
- Ontology development in multilingual context
- Practical use of ontologies in Humanities

Organizers
Walther v. Hahn (University of Hamburg)
Cristina Vertan (University of Hamburg)

Invited Speakers: Marin Doerr, (FORTH-ICS, Heraklion, Crete)
     Nicola Guarino (ITC, Tento, Italy)

We welcome participation of researchers from all fields related with
the topic of the Workshop.
A registration formular can be found at:
http://www.c-phil.uni-hamburg.de/view/Main/OntologyWorkshop
Starting from Monday, 13.03.2006, an Online registration will be possible at
the same address.
In case there are problems with the online form, please use the pdf file.
Thank you for understanding

--[2]------------------------------------------------------------------
         Date: Tue, 14 Mar 2006 06:47:38 +0000
         From: Bob <cummings_at_room343.english.uga.edu>
         Subject: Calls for Submissions: The Best of Technology Writing 2006

Dear Fellow Humanists:

Please see the following announcement about a new series from
digitalculturebooks, a new imprint of U Michigan Press.

Thanks,
Bob Cummings
University of Georgia

The Best of Technology Writing 2006.

Taking a cue from the open-source movement, we're asking readers to
nominate their favorite tech-oriented articles, essays, and blog
posts from the previous year. The competition is open to any and
every technology topic--biotech, information technology, gadgetry,
tech policy, Silicon Valley, and software engineering are all fair
game. But the pieces that have the best chances of inclusion in the
anthology will conform to these three simple guidelines:

1. They'll be engagingly written for a mass audience; if the article
requires a doctorate to appreciate, it's probably not up our alley.
Preference will be given to narrative features and profiles, "Big
Think" op-eds that make sense, investigative journalism, sharp art
and design criticism, intelligent policy analysis, and heartfelt
personal essays.

2. They'll be no longer than 5,000 words.

3. They'll explore how technological progress is reshaping our world.

For more information:

http://www.digitalculture.org/

--[3]------------------------------------------------------------------
         Date: Tue, 14 Mar 2006 06:48:28 +0000
         From: Miki Hermann <Miki.Hermann_at_lix.polytechnique.fr>
         Subject: 3rd CFP LPAR 2006, Phnom Penh

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

                              2nd 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
+ software verification + hardware verification
+ software testing + logic and ontologies
+ proof assistants + network and protocol verification
+ proof planning + nonmonotonic reasoning
+ proof checking + constructive logic and type theory
+ rewriting and unification + lambda and combinatory calculi
+ logic programming + knowledge representation and reasoning
+ modal and temporal logics + 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 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.

[...]
Received on Tue Mar 14 2006 - 02:43:53 EST