15.1397, FYI: Surrey Suppletion Database; ICCL Summer School

Tue May 4 15:58:15 UTC 2004

LINGUIST List:  Vol-15-1397. Tue May 4 2004. ISSN: 1068-4875.

Subject: 15.1397, FYI: Surrey Suppletion Database; ICCL Summer School

Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>

Reviews (reviews at linguistlist.org):
	Sheila Collberg, U. of Arizona
	Terence Langendoen, U. of Arizona

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.

Editor for this issue: Anne Clarke <anne at linguistlist.org>
 ==========================================================================
To post to LINGUIST, use our convenient web form at
http://linguistlist.org/LL/posttolinguist.html.
=================================Directory=================================

1)
Date:  Mon, 3 May 2004 09:33:13 -0400 (EDT)
From:  Greville Corbett <g.corbett at surrey.ac.uk>
Subject:  The Surrey Suppletion Database

2)
Date:  Mon, 3 May 2004 22:07:26 +0200
From:  Int. Center for Computational Logic <cladv at iccl.tu-dresden.de>
Subject:  International Center for Computational Logic Summer School

-------------------------------- Message 1 -------------------------------

Date:  Mon, 3 May 2004 09:33:13 -0400 (EDT)
From:  Greville Corbett <g.corbett at surrey.ac.uk>
Subject:  The Surrey Suppletion Database

The Surrey Morphology Group announces the availability of a new
typological database, searchable online at
http://www.smg.surrey.ac.uk.

The Surrey Suppletion Database gives detailed information on
suppletion in thirty genetically diverse languages. For each language,
suppletion is described in terms of the features involved and the
semantic category of the lexical item. The database contains pointers
to examples, and there are language reports describing the languages
in the database, giving sources and enabling the user to see how
decisions were made. There are readme files to help users get started.

Those primarily involved were Dunstan Brown, Marina Chumakina,
Greville Corbett and Andrew Hippisley. Several colleagues contributed
their time and expertise on particular languages, and we are extremely
grateful to them: Willem Adelaar, Nicholas Evans, George Hewitt,
Paulette Levy, Marianne Mithun and Larry Trask.

The construction of the database was funded by the Arts and Humanities
Research Board (U.K.) under grant number B/RG/AN4375/APN10619; this
support is gratefully acknowledged.

In addition, an annotated bibliography of suppletion is available at
http://www.surrey.ac.uk/LIS/SMG/Suppletion_BIB/WebBibliography.htm

-------------------------------- Message 2 -------------------------------

Date:  Mon, 3 May 2004 22:07:26 +0200
From:  Int. Center for Computational Logic <cladv at iccl.tu-dresden.de>
Subject:  International Center for Computational Logic Summer School

                        ICCL Summer School 2004
               Proof Theory and Automated Theorem Proving

                           PCC Workshop 2004

                    Technische Universitaet Dresden
                            June 14-25, 2004

              http://www.iccl.tu-dresden.de/events/SA-2004

			Call for Participation

This two-week meeting consists of two integrated parts, a summer
school and a workshop, aimed at graduate students and researchers.
The themes for the summer school are proof theory and automated
theorem proving; the workshop is about proof, computation and
complexity.  As in the summer schools at TU Dresden in 2002 and 2003
and in the previous editions of the PCC workshop, people from distinct
but communicating communities will gather in an informal and friendly
atmosphere.

We ask for a participation fee of 200 EUR. We request registration
before May 10, 2004; please send an email to
PTEvent at ICCL.TU-Dresden.DE, making sure you include a very brief bio
(5-10 lines) stating your experience, interests, home page (if
available), etc.  It will be possible for some students to present
their work: please indicate in your application if you would like to
do so and give us some information about your proposed talk.

We will select applicants in case of excessive demand.  A limited
number of grants covering all expenses is available, please indicate
in your application if the only possibility for you to participate is
via a grant.  Applications for grants must include an estimate of
travel costs and they should be sent together with the registration.
We will provide assistance in finding an accommodation in Dresden.

Week 1, June 14-17: courses on

   Term Rewriting Systems
   Franz Baader (TU Dresden)

   Deep Inference and the Calculus of Structures
   Alessio Guglielmi (TU Dresden)

   Game Semantics and Its Applications
   C.-H. L. Ong (Oxford)

   On June 14 Prof Wolfgang Bibel will give an invited lecture

June 17-19: workshop

   For more details, please consult the workshop web page
   http://www1.informatik.unibw-muenchen.de/Birgit/pcc04.html

Week 2, June 21-25: courses on

   Deduction Modulo
   Claude Kirchner (Loria & INRIA, Nancy)

   Logic Considered as a Branch of Geometry
   Francois Lamarche (Loria & INRIA, Nancy)

   Proofs as Programs
   Michel Parigot (CNRS - Université Paris 7)

   Automated Reasoning for Substructural Logics
   John Slaney (NICTA, Canberra and Australian National University)

   Automated Theorem Proving for Classical Logics
   Andrei Voronkov (Manchester)

Venue

Dresden, on the river Elbe, is one of the most important art cities of
Germany.  You can find world-class museums and wonderful architecture
and surroundings.  We will organize trips and social events.

Organization

This event is organized by the International Center for Computational
Logic (ICCL), Paola Bruscoli, Birgit Elbl, Sylvia Epp, Bertram
Fronhoefer, Axel Grossmann, Alessio Guglielmi, Steffen Hoelldobler,
Reinhard Kahle and Mariana Stantcheva; it is sponsored by Deutscher
Akademischer Austausch Dienst (DAAD), under the program `Deutsche
Sommer-Akademie', and CoLogNet.

---------------------------------------------------------------------------
LINGUIST List: Vol-15-1397