🚀 go-pugleaf

--------------------------------------------------------------------------
=09This announcement has been posted at several lists. Our
=09apologies if you receive this announcement more than once.
--------------------------------------------------------------------------

          *** Please Distribute Among Your Colleagues ***


  =09=09=09   ANNOUNCEMENT OF

=09=09the Eighth European Summer School in=20
=09=09  Logic, Language, and Information=20

=09=09=09     ESSLLI'96

=09=09to be held in Prague, Czech Republic
=09=09from August 12 until August 23, 1996

=09=09Organized under auspices of FoLLI,
=09 the European Association for Logic, Language and Information

=09=09  URL: http://ufal.ms.mff.cuni.cz


INTRODUCTION

After summerschools in Groningen (1989), Saarbruecken (1990), Leuven (1991)=
,
Colchester (1992), Lisbon (1993), Copenhagen (1994), and Barcelona (1995),
the eighth European Summer School in Logic, Language, and Information will =
be
held in Prague, Czech Republic, from August 12 until August 23, 1996.=20

Alike the other summerschools, the main focus will be the intersection of t=
he
areas of between logic, linguistics, and computation, particularly where it
concerns the modelling of human linguistic and cognitive abilities. As such=
,
the programme includes courses, workshops and symposia covering a variety o=
f
topics within six areas of interest: Logic, Language, Computation, Logic &
Computation, Computation & Language, and Language & Logic.=20

Courses are 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 are chaired by an expert in the 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 intend=
ed
to encourage collaboration and cross-fertilization of ideas by stimulating
in-depth discussion of issues which are in the forefront of current researc=
h
in the field.=20

Besides courses, workshops and symposia, there will also be evening
lecturers, in which highly actual topics in research in Logic, Language and
Information will be addressed.=20

A novelty at ESSLLI'96 is the student session. Students are encouraged to
submit short papers describing WORK IN PROGRESS on topics in the areas
covered by the summer school. See section 2 for more information on the
student session.=20

Below, more detailed information is given about:=20
1. The programme of ESSLLI'96, given for each of the six areas pointed out
   above;=20
2. The ESSLLI'96 Student Session
3. Local information: ESSLLI'96 site, accommodation, social events;=20
4. "For More Information": The ESSLLI'96-WebSite, local organization
   committee.=20

Also, more information can be found at the ESSLLI'96 Website,
=09=09=09http://ufal.ms.mff.cuni.cz

The Local Organization Committee hopes to welcome you at ESSLLI'96 in Pragu=
e,=20
in August this year!

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
1. The Programme of ESSLLI'96

The programme of ESSLLI'96 is presented here for each of the areas or
'sections', providing for each the courses, workshop(s) and symposium,
together with lecturers (courses) respectively organizers (workshops,
symposia).=20

Note that this information can also be obtained from the ESSLLI'96 Website
(http://ufal.ms.mff.cuni.cz), together with more detailed information as
abstracts, a preliminary schedule, and addresses of teachers.=20

* SECTION LOGIC

- Introductory Course:
=09
=09D. de Jongh (Amsterdam), A. Visser (Utrecht): Intuitionistic Logic

- Advanced Courses:

=09J. Krajicek (Prague): Classical Propositional Logic and Its Complexity

=09S. Gottwald (Leipzig): Many Valued and Fuzzy Logics
=20
=09J. van den Does (Utrecht), D. Westerstahl (Stockholm): Quantification
=09=09Logic

=09V. de Paiva (Cambridge): Categorial Proof Theory and Linear Logic

- Workshop:

 =09Philippe Smets (Bruxelles): Quantitative and Symbolic Approaches to
=09=09Uncertainty

- Symposium:
=09
=09Matthias Baaz (Vienna): Proof Theory and Computational Aspects of
=09=09Many-Valued Logics


* SECTION Language

- Introductory Courses:=20

=09Eva Hajicov=E1, Vladim=EDr Petkevic, Petr Sgall (Prague):=20
=09Dependency Grammar: Linguistic Motivation and Formal Specification

- Advanced Courses:

=09Regine Eckhardt=09(Tuebingen):=20
=09What Do Events Look Like, and What Are They Good for?

=09Jean Lowenstamm (Paris): The Syntax of Phonological Expressions

=09Klaus Netter (Saarbruecken): Unification Grammars

=09Igor Mel'cuk (Montreal): Morphology and Meaning

- Workshop:

=09Anne Abeille (Paris) and Paola Monachesi (Tilburg):=20
=09Surface-Based Syntax and Romance Languages

- Symposium:

=09Ivan Sag (Stanford): Syntax and Semantics of Coordination


* SECTION Computation

- Introductory Courses:

=09Patrick Cousot (Paris): Abstract Interpretation

- Advanced Courses:

=09P. Van Roy (Saarbruecken):=20
=09High Performance Implementation of Logic Programming Systems

=09Alan Mycroft (Cambridge): Static Analysis and Functional Languages

=09Manuel Hermenegildo (Madrid): Static Analysis of Constraint Systems

=09Faron Moller (Sweden): Algorithms for Equivalence and Model Checking

- Workshop:

=09V. Santos Costa (Porto): High Performance Logic Programming Systems

- Symposium:
=09Seif Haridi (SICS Sweden): Concurrent Systems


* SECTION Logic & Computation

- Introductory Courses:

=09Antonia Huertas and Maria Manzano (Barcelona): Extensions of First
=09=09Order Logic

=09Rajeev Gor=E9 (Australian National University):=20
=09=09Tableau Methods for Modal and Temporal Logics

- Advanced Courses:

=09Thorsten Altenkirch (Edingburgh):Integrated Verification in Type Theory

=09Johan van Benthem (Amsterdam): Dynamic Logic and Information Flow

=09Wiebe van der Hoek and Cees Witteveen (Utrecht): Principles of
=09=09Nonmonotonic Reasoning

=09David Basin and Sean Matthews (Saarbruecken):=20
=09=09Logical Frameworks and Philosophical Logics
=09
=09Peter Gardenfors (Lund): Conceptual Spaces and Cognitive Semantics


- Workshop:

=09Maarten de Rijke (Warwick): Observational Equivalence and Logical
=09=09Equivalence

- Symposium:

=09Hans van Ditmarsch (Groningen): Logic, Education and Computation


* SECTION Computation & Language=20

- Introductory Courses:

=09Gerald Gazdar (Sussex): Introduction to Natural Language Processing

=09Mats Rooth (Stuttgart): Statistical Techniques for NLP

- Advanced Courses:
=09
=09Julie Carson-Berndsen and Dafydd Gibbon (Bielefeld): The Logic of
=09=09Speech Recognition

=09Ann Copestake (Stanford) and Alex Lascarides (Edinburgh):=20
=09=09Integrating the Lexicon and Pragmatics

=09Richard Crouch (Cambridge) and Massimo Poesio (Edinburgh):=20
=09=09Discourse Interpretation with Underspecified Representations

=09James Pustejovsky and Michael Johnston (Brandeis):=20
=09=09Generative Lexicon Theory and The Computational Lexicon
=09
=09K. Vijay-Shanker (Delaware) and David Weir (Sussex):=20
=09=09Formal and Computational Aspects of Tree Adjoining Grammars and=20
=09=09Related Constrained Grammar Formalisms

- Workshops:
=09
=09Walter Daelemans (with Ted Briscoe): Machine Learning of Natural
=09=09Language

=09John Carroll (with Ted Briscoe): Robust Parsing

- Symposium:
=09
=09Antonion Sanfilippo (England): Current Issues in Lexicalist MT


* SECTION Language & Logic

- Introductory Courses:

=09Paul King (Tuebingen): From Unification to Constraint: An Evolving
=09=09Formalism for Head-driven Phrase Structure Grammar

=09Werner Saurer (Saarbruecken): Representation and Inference in DRT

- Advanced Courses:

=09Steven Abney and Fritz Hamm (Tuebingen):=20
=09=09Syntax and Semantics of=09Nominalization

=09Jaap van der Does and Michiel van Lambalgen (Amsterdam):=20
=09=09Substructural Quantification

=09Pavel Materna (Prague): Transparent Intensional Logic -- a Fine
=09=09Grained Analysis of Natural Language

=09Jerry Seligman (Bloomington): Information Systems

=09James Rogers (Pennsylvania): Topics in Model-Theoretic Syntax

- Workshops:
=09
=09Uwe Moennich and Hans Peter Kolb (Tuebingen): The Mathematics of
=09=09Syntactic Structure
=09
=09Barbara Partee (UMass) and Jaroslav Peregrin (Prague):=20
=09=09Discourse Kinematics, Topic-Focus Structure, and Logics

- Symposium:
=09
=09Ruth Kempson (London) and Wilfried Meyer-Viol: Dependency in Logic
=09=09and Natural Language

---------------------------------------------------------------------------=
------------

2. A Novelty at ESSLLI'96: The Student Session

A novelty at ESSLLI'96 is the student session. The purpose of the student
session is to provide students with an opportunity to present their work in
progress and get valuable feedback by senior researchers and
"colleague-students".=20

To that end, students are encouraged to submit papers of 4-5 pages (includi=
ng
references), describing work in progress (so as to benefit most from
feedback). The areas of interest are essentially the areas of the summer
school: Logic, Language, Computation, Logic & Language, Logic & Computation=
,
and Language & Computation. Papers will be reviewed by a committee of
students with expertize in the respective areas.=20

The student session has been designated its own timeslot in the schedule of
ESSLLI'96. Such basically means that there will be a 90-minutes student
session EVERY DAY, in parallell with maximally five courses. Depending on t=
he
number and quality of submitted papers, either only in the first week or in
both weeks. The session will not be a poster session! Students will be
presenting their work in a 20+10 minutes talk.=20

At the moment, we are in the process of putting together the Student Sessio=
n
Program Committee. The deadline for submissions will be the end of April.
Electronic submissions are highly encouraged. Submission formats that will =
be
accepted are PostScript (A4-pages), standard Tex/Latex, RTF, and plain text=
,
or laser-quality hardcopies (3) sent to the secretariat. Please, inquire at
the ESSLLI'96 WebSite or at the ESSLLI'96 secretariat for more information.=
=20

Note that, in order to present a paper at the ESSLLI'96 Student Session,=20
you have to register as a participant to ESSLLI'96.=20

---------------------------------------------------------------
3. Local Information on ESSLLI'96:=20

ESSLLI'96 will be hosted by the Faculty of Electronical Engineering, Czech
Technical University, in Dejvice, Prague. The site is easily accessible by
all means of public transportation: Tram, metro, and bus are in 5-10 minute=
s
walking distance, and will take you to virtually any place in the city.=20

We arrange for accommodation in student dormitories conveniently located in
the faculty's surroundings. All the dormitories are located in side streets=
,
so the rooms are quiet. The neighbourhood is nice, without much local
traffic.=20

The dormitories provide double or single rooms and differ with respect to t=
he
rooms having their own bathroom or there being shared showers and toilets o=
n
each floor.  More detailed descriptions can be found at the ESSLLI'96
WebSite.=20

Prague is a city of wonders, as you will -undoubtly- have heard of, and you
will have the possibility to explore our city during the summerschool. For
those who would appreciate some assistance on their voyage of discovery we
are organizing several guided tours in the evenings or during the weekend.=
=20

Furthermore, there will of course be the ESSLLI-party, as well as a
welcome-reception.=20

---------------------------------------------------------------------------=
-------------

3. The ESSLLI'96 WebSite, Local organization

Detailed information about ESSLLI'96 is provided at the ESSLLI'96 Website.
The site contains information about the programme (courses, lecturers,
abstracts, schedule), registration, accommodation, the ESSLLI'96 site (loca=
l
maps, travel information, etc.), the social programme, and all further
information relevant to the summer school. Important information can be
downloaded in the form of postscript-files.=20

The Website allows for dynamically switching between the graphical and
text-version of a page, and is updated every week, week and a half so as to
provide always the most up-to-date information.=20

The ESSLLI'96 Local Organization Committee is composed from people from=20
- The Institute of Formal and Applied Linguistics,=20
  Department of Mathematics and Physics, Charles University, Prague.

- The Institute of Theoretical and Computational Linguistics,=20
  Department of Philosophy, Charles University, Prague.=20

- Department of Computers,=20
  Faculty of Electrical Engineering, Czech Technical University, Prague;

- FoLLI, the European Association for Logic, Language and Information.=20

The committee can be reached at the ESSLLI'96-secretariat:=20
- Normal Mail:

=09ESSLLI'96, UFAL MFF UK,=20
=09Malostranske nam. 25,=20
=09118 00 Praha 1, Czech Republic

- Telephone: ++42-2-245.10.286 (ask our operator for "linguistics")=20
- Fax: ++42-2-53.27.42=20
- EMail: esslli@ufal.mff.cuni.cz=20
- WWW: http://ufal.ms.mff.cuni.cz/