LINGUIST List 6.187

Fri 10 Feb 1995

FYI: 7th summer school in logic, lg, and information

Editor for this issue: <>


Directory

  1. kathrine Wenham, esslli

Message 1: esslli

Date: Tue, 7 Feb 95 09:50:58 GMTesslli
From: kathrine Wenham <kathrinegilcub.es>
Subject: esslli


SEVENTH EUROPEAN SUMMER SCHOOL IN LOGIC LANGUAGE AND INFORMATION
Barcelona, August 14-25 1995

For More Information Contact:
ESSLLI95
GILCUB
Avda. Vallvidrera 25
08017 Barcelona

Fax +43 3 2054656
Tlf +43 3 2033597
E-mail esslli95gilcub.es

GENERAL INFORMATION
The Summer School
The Seventh European Summer School in Logic, Language and Information will be
held at the Biology Faculty of Barcelona University from August 14th to 25th.
The School is organized under the auspices of the European Foundation of Logic,
Language and Information (Folli), jointly by Universitat de Barcelona,
Universitat Rovira i Virgili, Universitat Autonoma de Barcelona, and
Universitat Politecnica de Catalunya.

The previous Summer Schools took place at Rijks universiteit Groningen in the
Netherlands in1989, at the Katholieke Universiteit Leuven in Belgium in 1990,
at the Universitat Saarlandes, Saarbrucken in Germany in 1991, at the
University of Essex Colchester in the United Kingdomin 1992, at the Faculdade
de Letras da Universidade de Lisboa in Portugal in 1993, and at the Copenhagen
Business School in Denmark in 1994. For these Schools financial support was
derived from a variety of sources, including the Commision of the European
Community, through the ERASMUS programme and the DG XIII, Research Networks,
National Research Councils, and industrial sponsors.
The same kind of support is expected for the 1995 School.

The main focus of the Summer School is the interface between logic, linguistics
and computation, where it concerns the modelling of human linguistic and
cognitive abilities. The 1995 School programme will include courses, workshops,
and symposia covering a variety of topics within six areas of interest: Logic,
Language, Computation, Logic and Computation, Computation and Language,
Language and Logic.

Courses will be cast at both introductory and advanced levels. Introductory
courses are designed to familiarize students with new fields and do not
presuppose any background knowledge, while advanced courses are designed to
allow participants to acquire more specialized expertise in areas they are
already familiar with. Workshops will be chaired by an expert in ther field and
will provide an opportunity for PhD students and other young researchers to
present their work and gain informed feedback and useful contacts.
Symposia will typically consist of a series of presentations on a timely topic
by people active in the relevant areas. Both workshops and symposia are
intended to encourage collaboration and cross fertilization of ideas by
stimulatingin-depth discussion of issues which are at the forefront of current
research in the field. There will also be a series of
invited evening lecturers by well-known experts in their field.

ACCOMODATION
There will be accomodation available. More information will appear in following
anouncements.

COURSE PROGRAMME

SECTION: LOGIC AND LANGUAGE
Algebraic Semantics for Natural Language
Name of Lecturer(s)/Organizer(s): Godehard Link
Affiliation(s): Institut fur Philosophie,
Logik und Wissenschaftstheorie (IPLW)
Universitat Munchen
E-mail: glinkcis.uni-muenchen.de
Type: Introductory

Formal Forays into Language
Name of Lecturers: Jan van Eijck and Jan Jaspars
Affiliation(s): CWI, Amsterdam and OTS, Utrecht
E-mail: jvecwi.nl /jasparscwi.nl
Type: Introductory

The Dynamics of Structure
Name of Lecturer(s): C. Vermeulen, A. Visser
Affiliation(s): Department of Philosophy
E-mail: Albert.Visserphil.ruu.nl, Kees.Vermeulenphil.ruu.nl
Type: Advanced

Nearness and Syntactic Influence Spheres
Name of Lecturer: Marcus Kracht
Affiliation: Department of Mathematics, FU Berlin
E-mail: krachtmath.fu-berlin.de
Type: Advanced

Feature Logics and Infinitary Descriptions
Name of Lecturer(s)/Organizer(s): Bill Keller
Affiliation(s): School of Cognitive and Computing Sciences, University of
 Sussex
E-mail: billkcogs.susx.ac.uk
Type: Advanced

A Mathematical Theory of Language Learnability
Name of Lecturer(s)/Organizer(s): Dick de Jongh and Makoto Kanazawa
Affiliation(s):Department of Mathematics and Computer Science,University of
Amsterdam Department of Cognitive and Information Sciences, Faculty of Letters,
Chiba University
E-mail: dickdjfwi.uva.nl and kanazawaCogSci.L.chiba-u.ac.jp
Type: Advanced

Complex Part Structures and Natural Language
Name of Lecturer: Friederike Moltman
Affiliation: Dept of Philosophy, City University of New York (CUNY)
E-Mail: ISAGCCUNYVM.bitnet
Type: Advanced

Properties and Types
Name of Organizer: Chris Fox
Affiliation: Department of Computer Science University of Essex
E-mail: foxcjessex.ac.uk
Type: Workshop

Formal epistemology
Name of Organizer: Hans Rott
Affiliation(s): University of Konstanz
E-mail: pirottnyx.uni-konstanz.de
Type: Workshop

Underspecification in computational semantics
Name of Organizer: Robin Cooper and Massimo Poesio (FraCaS)
Affiliation(s): University of Edinburgh
E-mail: {cooper,poesio}cogsci.ed.ac.uk
Type: Symposium

SECTION: LOGIC
Introduction to Modal Logic
Name of Lecturer: Ramon Jansana
Affiliation: Department of Logic, History and Philosophy of Science,
Universitat de Barcelona, Spain.
E-mail:jansanacerber.ub.es
Type: Introductory

Temporal Logic
Name of Lecturer(s)/Organizer(s): Ian Hodkinson
Affiliation(s): Imperial College London
E-mail: imhdoc.ic.ac.uk
Type: Advanced

Descriptive Complexity Theory
Name of Lecturer(s)/Organizer(s): Flum, Joerg
Affiliation(s): Mathematisches Institut, Universitaet Freiburg,
E-mail: flumsun1.ruf.uni-freiburg.de
Type: Advanced

Algebraizations of sentential logics
Name of Lecturer: Josep Maria Font
Affiliation: Faculty of Mathematics, University of Barcelona
E-mail: fontcerber.mat.ub.es
Type: Advanced

Some new trends in Algebraic Logic
Name of Organizer: Josep Maria Font
Affiliation: Faculty of Mathematics, University of Barcelona
E-mail: fontcerber.mat.ub.es
Type: Workshop

Advanced Modal Logic
Name of Lecturers: Patrick Blackburn, Maarten de Rijke and Y de Venema.
Affiliation: Patrick Blackburn, (Universitat des Saarlandes, Saarbrucken),
Maarten de Rijke (CWI, Amsterdam), and Yde Venema (Vrije Universiteit,
Amsterdam).
E-mail: patrickcoli.uni-sb.de, Maarten.de.Rijkecwi.nl and ydecs.vu.nl
Type:Advanced

Situation Theory with Applications
Name of Organizer: Keith Devlin
Affiliations: Saint Mary's College of California, Moraga, and CSLI, Stanford.
E-mail: devlinstmarys-ca.edu
Type: Symposium

SECTION: COMPUTATION AND LOGIC
Logical Frameworks
Name: D. Basin, S. Mathews (Saarbruecken)
E-mail: basinmpi-sb.mpg.de and seanmpi-sb.mpg.de
Type: Introductory

Knowledge Representation and Logic
Name of Lecturer(s)/Organizer(s): Franz Baader
Affiliation(s): LuFG Theoretische Informatik RWTH Aachen
E-mail: baaderinformatik.rwth-aachen.de
Type: Introductory

Deductive Database
Name of Lecturer(s)/Organizer(s): Gerhard Koestler
Affiliation(s): Universitaet Augsburg
E-mail: koestleruni-augsburg.de
Type: Introductory

Programming with Temporal Logic
Name: Howard Barringer and Dov Gabbay
Affiliation(s):The University of Manchester Imperial College of Science,
Technology and Medicine
E-mail:howardman.cs.ac.uk and dgdoc.ic.ac.uk
Type: Advanced

Power Structures and Program Semantics
Name of Lecturer: Chris Brink.
Affiliation: Mathematics Department, University of Cape Town.
Email: cbrinkmaths.uct.ac.za.
Type: Advanced.

Automated Deduction in Non-Classical Logics
Name of Lecturer(s)/Organizer(s): Lincoln A. Wallen
Affiliation(s): Oxford University
E-mail: lincoln.wallencomlab.ox.ac.uk
Type: Advanced

How to tame you logic?
Maarten Marx:
University of Amsterdam
E-mail: marxccsom.uva.nl
Szabolcs Mikulas
Logic Graduate School
E-mail: mikulasfwi.uva.nl
E-mail: h3762mikella.hu
Type: Advanced

Expressive Nonmonotonic Reasoning (NMR)
Name: Franz Baader
Affiliation(s): LuFG Theoretische Informatik, RWTH Aachen
E-mail: baaderinformatik.rwth-aachen.de
Name: Karl Schlechta
Affiliation(s): Laboratoire d'Informatique de Marseille, URA CNRS 178 Universite
 de Provence.
E-mail: ksgyptis.univ-mrs.fr
Type: workshop

Logical Formalisms for Planning, Plan Recognition, and Plan Modification
Dr. Susanne Biundo
German Research Center for Artificial Intelligence
email: biundodfki.uni-sb.de
Type: Workshop

Methods for Constructing and Manipulating Logical Systems
Prof. Dov M GABBAY
Imperial College of Science, Technology and Medicine
EMAIL: dgdoc.ic.ac.uk
SUBJECT Logic Engineering : Labelled Deductive Systems,and computer support for
studying logics
Type: Symposium

SECTION: COMPUTATION
Partial evaluation
Name of Lecturer(s): Neil Jones
Affiliation(s): DIKU, University of Copenhagen
E-Mail: neildiku.dk
Type: Introductory

Interactive development of proofs and programs
Name of Lecturer(s): Christine Paulin-Mohring
Affiliation(s): LIP-CNRS URA 1398-Ecole Normale Superieure de Lyon
E-mail: Christine.Paulinlip.ens-lyon.fr
Type: Advanced

Implementation of functional programming languages
Name of Lecturer(s): Simon Peyton Jones
Affiliation(s): Department of Computing Science, University of Glasgow
E-mail: simonpjdcs.gla.ac.uk
Type: Advanced

SECTION: LANGUAGE AND COMPUTATION
Formalizing and implementing syntactic theories
Name of Lecturer(s)/Organizer(s): Edward Stabler and Mark Johnson
Affiliation(s): Edward Stabler, UCLA and Mark Johnson, Brown University
E-mail: stablercognet.ucla.edu and mjcs.brown.edu
Type: Introductory

Corpus-Based Models of Language Processing
Name of Lecturer(s)/Organizer(s): Rens Bod and Remko Scha
Affiliation(s): University of Amsterdam Institute for Logic, Language and
 Computation
Department of Computational Linguistics
E-mail: rensalf.let.uva.nl
 schaalf.let.uva.nl
Type: Introductory

Automated deduction for logics of linguistic resources
Name of Lecturer(s)/Organizer(s): Michael Moortgat
Affiliation(s): Research Institute for Language and Speech (OTS)
E-mail: moortgatlet.ruu.nl
Type: Advanced

Topics in Lexical-Functional Grammar
Name of Lecturer(s)/Organizer(s): Ronald Kaplan and Mary Dalrymple
Affiliation(s): Xerox PARC
E-mail: kaplanparc.xerox.com ; dalrympleparc.xerox.com
Type: Advanced

Categorial Syntax and Semantics
Name of Lecturer(s)/Organizer(s): Bob Carpenter* and Glyn Morrill**
Affiliation(s): Philosophy Department, Carnegie Mellon University*
Department of Computer Systems and Languages, Polytechnic University of
 Catalunya**
E-mail: carplcl.cmu.edu* and morrilllsi.upc.es**
Type: Advanced

Lambek Calculus and Linear Logic
Name of Lecturer(s)/Organizer(s): V. Michele ABRUSCI
Affiliation(s): Universitat di Roma La Sapienza
 Dipartimento di Studi Filosofici ed Epistemologici
E-mail: abruscisci.uniroma1.it
Type: Advanced

Natural Language Generation
Name of Lecturer(s)/Organizer(s): Robert Dale
Affiliation(s): Microsoft Institute of Advanced Software Technology
E-mail: rdalemicrosoft.com
Type: Advanced

Formal and Computational Phonology
Name of Lecturer(s)/Organizer(s): T. Mark Ellison
Affiliation(s): University of Edinburgh
(till January, then INESC, Lisbon)
E-mail: markecogsci.ed.ac.uk
Type: Workshop

The Computational Lexicon
Name Organizer: M.Felisa Verdejo
Affiliation(s): Universidad Nacional Educacion a Distancia
E-mail: felisahoracio.dieec.uned.es
Type: Workshop

Proof Theory, Labelled Deduction and Natural Language
Name of Lecturer(s)/Organizer(s): Professor Ruth Kempson
Affiliation(s): School of Oriental & African Studies, University of London
E-mail:kempsonclus1.ulcc.ac.uk
Type: Symposium

SECTION: LANGUAGE
Head-Driven Phrase Structure Grammar
Name of Lecturer(s)/Organizer(s): Philip H. Miller
Affiliation(s): Universite' de Lille 3
E-mail: pmillerulb.ac.be
Type: Introductory

Phrase Structure Typology and LFG
Name of Lecturer(s)/Organizer(s): Joan Bresnan
Affiliation(s): Stanford University
E-mail: bresnancsli.stanford.edu
Type: Advanced

Aspectuality and Event Structure
Name of Lecturer(s)/Organizer(s): Henk Verkuyl
Affiliation(s): Utrecht University OTS
E-mail: verkuyllet.ruu.nl
Type: Introductory

The Acquisition of Syntax and Morphology
Name of Lecturer: Harald Clahsen
Affiliation: Department of Language and Linguistics, University of Essex
E-mail: haraldessex.ac.uk
Type: Advanced

Prosody, information, and grammatical architecture
Name of Lecturer(s)/Organizer(s): Dick Oehrle
Affiliation(s): Department of Linguistics, University of Arizona
E-mail: oehrleconvx1.ccit.arizona.edu
Type: Advanced

Constraint Based Formalisms and Grammar Writing
Name of Lecturer(s)/Organizer(s): Jochen Doerre and Suresh Manandhar
Affiliation(s): University of Stuttgart and University of Edinburgh
E-mail: Suresh.Manandhared.ac.uk
 Jochen.Doerreims.uni-stuttgart.de
Type: WORKSHOP

Argument Structure and Linking Theory
Name of Lecturer(s)/Organizer(s): Annie Zaenen (*) and Louisa Sadler (**)
Affiliation(s):(*) Rank Xerox Research Centre and (**) University of Essex
E-mail:(*) Annie.Zaenenxerox.fr and (**) louisaessex.ac.uk
Type: Symposium
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue