18.020 workshops, meeting, conference

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty@kcl.ac.uk)
Date: Thu May 20 2004 - 02:53:40 EDT

  • Next message: Humanist Discussion Group (by way of Willard McCarty

                    Humanist Discussion Group, Vol. 18, No. 20.
           Centre for Computing in the Humanities, King's College London
                         Submit to: humanist@princeton.edu

       [1] From: dws2004robot@aurora.fi.muni.cz (24)
             Subject: Third International Workshop on DICTIONARY WRITING

       [2] From: John Unsworth <unsworth@uiuc.edu> (22)
             Subject: ACLS meeting in Evanston

       [3] From: Joćo Leite (64)
             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

             Date: Thu, 20 May 2004 07:18:23 +0100
             From: dws2004robot@aurora.fi.muni.cz
             Subject: Third International Workshop on DICTIONARY WRITING SYSTEMS


       Third International Workshop on DICTIONARY WRITING SYSTEMS (DWS 2004)
                    Brno, Czech Republic, 6-7 September 2004


    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.

       * dictionary project managers
       * lexical database users and developers
       * lexicographers
       * students of lexicography, lexicology, computational lingusitics

    [material deleted]

             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

    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

             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

           Submission Deadline: June 25th (abstracts due June 20th)
                          Co-located with JELIA'04


    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

    * 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]

             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


                                 Universitat Pompeu Fabra
                                  July 19-21 2004



    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

    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