Humanist Discussion Group, Vol. 18, No. 20.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
Submit to: humanist@princeton.edu
[1] From: dws2004robot@aurora.fi.muni.cz (24)
Subject: Third International Workshop on DICTIONARY WRITING
SYSTEMS
[2] From: John Unsworth <unsworth@uiuc.edu> (22)
Subject: ACLS meeting in Evanston
[3] From: Joćo Leite (64)
<jleite@di.fct.unl.pt>
Subject: CFP: CLIMA V - 5th International Workshop on
Computational Logic in Multi-Agent Systems
[4] From: Jonathan Ginzburg <ginzburg@dcs.kcl.ac.uk> (20)
Subject: Catalog'04: call for participation, for demos and for
project notes
--[1]------------------------------------------------------------------
Date: Thu, 20 May 2004 07:18:23 +0100
From: dws2004robot@aurora.fi.muni.cz
Subject: Third International Workshop on DICTIONARY WRITING SYSTEMS
***********************************************************************
DWS 2004 - FIRST ANNOUNCEMENT AND CALL FOR ABSTRACTS
Third International Workshop on DICTIONARY WRITING SYSTEMS (DWS 2004)
Brno, Czech Republic, 6-7 September 2004
http://nlp.fi.muni.cz/dws2004/
***********************************************************************
The workshop is organised by the Faculty of Informatics, Masaryk University,
Brno, as a pre-conference workshop of TSD 2004 (Text, Speech and Dialogue -
http://nlp.fi.muni.cz/tsd2004). The workshop is supported by EURALEX
(the European Association for Lexicography).
A dictionary writing system (DWS) is a piece of software for writing and
producing a dictionary. It might include an editor, a database, a web
interface and various management tools (for allocating work etc.) It operates
with a dictionary grammar, which specifies the structure of the dictionary.
The workshop follows similar successful events in Brighton, UK in 2002
and 2003. It will include hands-on experience of a leading DWS, presentation
of research papers and demos. The deadline for abstracts of proposed research
presentations and demos is July, 31.
INTENDED AUDIENCE:
* dictionary project managers
* lexical database users and developers
* lexicographers
* students of lexicography, lexicology, computational lingusitics
[material deleted]
--[2]------------------------------------------------------------------
Date: Thu, 20 May 2004 07:18:48 +0100
From: John Unsworth <unsworth@uiuc.edu>
Subject: ACLS meeting in Evanston
ACLS Commission on Cyberinfrastructure for the Humanities and Social Sciences
PUBLIC INFORMATION-GATHERING SESSION (all are welcome)
http://www.acls.org/cyberinfrastructure/cyber.htm
Allen Center
Northwestern University
Evanston, Illinois
May 22, 2004
10 welcome and introductions
10:15-11:30 panel one
Lorcan Dempsey, head of research, OCLC
Jim Grossman, vice president for research and education, Newberry Library
Myron Gutmann, director, ICPSR
James Hilton, associate provost, University of Michigan
11:30-11:45: break
11:45-12:45 second panel
Lorna Hughes, assistant director for Humanities Computing, New York
University and president, Association for Computers and the Humanities
Martin Mueller, professor of classics and English, Northwestern University
(Chicago Homer Project)
Bill Regier, director, University of Illinois Press
12:45-1: closing discussion
1-2 lunch: All welcome; sponsored by Northwestern University
--[3]------------------------------------------------------------------
Date: Thu, 20 May 2004 07:20:33 +0100
From: Joćo Leite <jleite@di.fct.unl.pt>
Subject: CFP: CLIMA V - 5th International Workshop on
Computational Logic in Multi-Agent Systems
==========================================================================
FIRST CALL FOR PAPERS
CLIMA V
Fifth International Workshop on Computational Logic in Multi-Agent Systems
September 29 and 30, 2004, Lisbon, Portugal
http://centria.di.fct.unl.pt/~jleite/climaV/index.htm
Submission Deadline: June 25th (abstracts due June 20th)
Co-located with JELIA'04
===========================================================================
CALL FOR PAPERS
Multi-agent systems are communities of problem-solving entities
that can perceive and act upon their environments to achieve
their individual goals as well as joint goals. The work on such
systems integrates many technologies and concepts in artificial
intelligence and other areas of computing. For this reason, over
recent years, the agent paradigm gained popularity in many
sub-fields of computer science. A full spectrum of multi-agent
systems applications have been and are being developed; from
search engines to educational aids to electronic commerce and
trade, e-procurement, recommendation systems, simulation and
routing, to cite only some.
Although commonly implemented by means of imperative languages,
mainly for reasons of efficiency, the agent concept has recently
increased its influence in the research and development of
computational logic based systems.
Computational logic provides a well-defined, general, and
rigorous framework for studying syntax, semantics and procedures,
for attending implementations, environments, tools, and
standards, and for linking together specification and
verification of properties of computational systems.
The purpose of this workshop is to discuss techniques, based on
computational logic, for representing, programming and reasoning
about multi-agent systems in a formal way.
Following the workshop on Multi-Agent Systems in Logic Programming
affiliated with ICLP'99, the first CLIMA workshop took place in
London, UK, affiliated with CL'2000. The 2001 edition of CLIMA,
took place in Paphos, Cyprus, affiliated with ICLP'01. CLIMA'02
took place in Copenhagen, Denmark, and was affiliated with ICLP'02
and part of FLOC'02. The fourth edition of the workshop, CLIMA IV,
took place in Fort Lauderdale, USA, and was co-located with LPNMR-7
and SAIM'04.
We solicit unpublished papers that address formal approaches to
multi-agent systems. the approaches as well as being formal must
make a significant contribution to the practice of multi-agent
systems. relevant techniques include, but are not limited to, the
following:
* logical foundations of multi-agent systems
* knowledge and belief representation and updates in multi-agent systems
* agent and multi-agent hypothetical reasoning and learning
* extensions of logic programming for multi-agent systems
* nonmonotonic reasoning in multi-agent systems
* theory and practice of argumentation for agent reasoning and interaction
* operational semantics and execution agent models
* model checking algorithms, tools, and applications for multi-agent logics
* semantics of interaction and agent communication languages
* distributed constraint satisfaction in multi-agent systems
* temporal reasoning for multi-agent systems
* modal logic approaches to multi-agent systems
* logic based programming languages for multi-agent systems
* distributed theorem proving for multi-agent systems
* logic based implementations of multi-agent systems
* decision theory for multi-agent systems
* specification and verification of formal properties of agent systems
[material deleted]
--[4]------------------------------------------------------------------
Date: Thu, 20 May 2004 07:19:27 +0100
From: Jonathan Ginzburg <ginzburg@dcs.kcl.ac.uk>
Subject: Catalog'04: call for participation, for demos and for
project notes
Call for Participation
Call for Demos and Project Descriptions
Catalog '04
EIGHTH WORKSHOP ON THE SEMANTICS AND PRAGMATICS OF DIALOGUE (SEMDIAL)
Universitat Pompeu Fabra
July 19-21 2004
<http://www.upf.edu/catalog04>http://www.upf.edu/catalog04
---------------------------------------------------------------------
Catalog 2004 will be the eighth in a series of workshops that aims
to bring together researchers working on the semantics and pragmatics
of dialogues in fields such as artificial intelligence, formal
semantics and pragmatics, computational linguistics, philosophy, and
psychology.
The following keynote speakers have accepted our invitation:
*Robin Cooper (Göteborgs Universitet)
*Massimo Poesio (University of Essex)
*Alex Rudnicky (Carnegie Mellon University)
*Michael Tannenhaus (University of Rochester)
For the program, see the Catalog '04 website.
[material deleted]
This archive was generated by hypermail 2b30 : Thu May 20 2004 - 03:14:45 EDT