LINGUIST List 15.1397

Tue May 4 2004

FYI: Surrey Suppletion Database; ICCL Summer School

Editor for this issue: Anne Clarke <annelinguistlist.org>

Directory

1. Greville Corbett, The Surrey Suppletion Database
2. Int. Center for Computational Logic, International Center for Computational Logic Summer School

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

 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
PTEventICCL.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.