CFP: ESSLI96 Workshop on LP systems

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

[This summer school includes a few workshops on matter of interest
to Types Forum readers.  -- Philip Wadler, moderator.]

I am sending this to several mailing lists. Please apologise if you receive
several messages.

			   Call for Papers
		     Workshop on High Performance
		      Logic Programming Systems
      European Summer School on Logic, Language, and Information

			Prague, Czech Republic
			   August, 1996

The 1996 section on Computation of the European Summer School on Logic
Language and Information will include a workshop on the implementation
of Logic Programming Systems. ESSLI'96 main focus will be the
interface 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 of topics within six areas of interest:
Logic, Language, Computation, Logic and Computation, Computation and
Language, and Language and Logic.  Workshops will provide an
opportunity for PhD students and other young researchers to present
their work and gain informed feedback and useful contacts.

The ESSLI'96 workshop on High Performance Logic Programming Systems
will be a broad forum on the current research on the sequential and parallel
implementation of the languages based on the logic programming paradigm. In
more detail, the areas of interest to the workshop will be:

o techniques for the fast execution of logic programs, including
native code execution

o support for extensions to traditional logic programming, such as
constraints, or concurrency.

o compilation technology, including global analysis of logic programs,
for instance, based on abstract interpretation.

o implementation of parallelism in logic programming, both implicit
and explicit.

o performance evaluation of logic programs, not only based on toy
applications, but also based on actual applications.

The workshop will particularly welcome practical evaluation of the new
advances in logic programming implementation, and especially applications
to the area of Computational Linguistics.

The workshop is part of the section on Computation that also includes
an introductory course by P. Cousot on Abstract Interpretation,
advanced courses by P. Van Roy on the "High Performance Implementation
of Logic Programming Systems", by Alan Mycroft on "Static Analysis and
Functional Languages", by Manuel Hermenegildo on "Static Analysis of
Constraint Systems", by Faron Moller on "Algorithms for Equivalence
and Model Checking", and a Symposium on "Concurrent Systems" organised
by Seif Haridi. ESSLI'96 will take place in Prague, Czech Republic,
from August 12 until August 23.

Authors willing to present their work are invited to submit an
extended abstract, or preferably a full paper, to the workshop
organizers by May 1, 1996. Authors will be notified of the acceptance
or rejection of their papers by June 1, 1996. Final versions of
accepted papers are due on July 1, 1995.

Electronic submission of the LaTeX document and related postscript
figures is strongly encouraged. The workshop organisation plans to make
the accepted papers and the workshop proceedings available on the
WWW. Authors using LaTeX are encouraged to use the llncs.sty style
file and any postscript figures that appear in the text should be
imported using the epsf.sty style file. Hopefully, this will enable
the organisation to produce a coherently formatted proceedings.

Relevant Info:

 Submission deadline: 	  15th May.
 Notification of authors: 15th June
 Electronic submissions:  vitor@cos.ufrj.br, vsc@ncc.up.pt
 Address for mail submissions: 
	V\'{\i}tor Santos Costa
	Visiting Researcher
	Centro de Tecnologia, Bloco H-319
	Universidade federal do Rio de Janeiro
	Cidade Universit\'aria, Ilha do Fund\~ao
	C.P.: 68511
	Rio de Janeiro
	Tel. +55-21-5902552
	Fax. +55-21-5902552
 Web Page for the Workshop: http://www.cos.ufrj.br/vitor/
 Web Page for ILSS: http://ufal.ms.mff.cuni.cz/


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

          *** Please Distribute Among Your Colleagues ***


		the Eighth European Summer School in
		  Logic, Language, and Information


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

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

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


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.

Alike the other summerschools, the main focus will be the intersection of the
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 of
topics within six areas of interest: Logic, Language, Computation, Logic &
Computation, Computation & Language, and Language & Logic.

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 intended
to encourage collaboration and cross-fertilization of ideas by stimulating
in-depth discussion of issues which are in the forefront of current research
in the field.

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.

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.

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

Also, more information can be found at the ESSLLI'96 Website,

The Local Organization Committee hopes to welcome you at ESSLLI'96 in Prague,
in August this year!

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,

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.


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

- Advanced Courses:

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

	S. Gottwald (Leipzig): Many Valued and Fuzzy Logics

	J. van den Does (Utrecht), D. Westerstahl (Stockholm): Quantification

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

- Workshop:

 	Philippe Smets (Bruxelles): Quantitative and Symbolic Approaches to

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

* SECTION Language

- Introductory Courses:

	Eva HajicovA, Vladimor Petkevic, Petr Sgall (Prague):
	Dependency Grammar: Linguistic Motivation and Formal Specification

- Advanced Courses:

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

	Jean Lowenstamm (Paris): The Syntax of Phonological Expressions

	Klaus Netter (Saarbruecken): Unification Grammars

	Igor Mel'cuk (Montreal): Morphology and Meaning

- Workshop:

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

- Symposium:

	Ivan Sag (Stanford): Syntax and Semantics of Coordination

* SECTION Computation

- Introductory Courses:

	Patrick Cousot (Paris): Abstract Interpretation

- Advanced Courses:

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

	Alan Mycroft (Cambridge): Static Analysis and Functional Languages

	Manuel Hermenegildo (Madrid): Static Analysis of Constraint Systems

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

- Workshop:

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

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

* SECTION Logic & Computation

- Introductory Courses:

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

	Rajeev GorO (Australian National University):
		Tableau Methods for Modal and Temporal Logics

- Advanced Courses:

	Thorsten Altenkirch (Edingburgh):Integrated Verification in Type Theory

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

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

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

- Workshop:

	Maarten de Rijke (Warwick): Observational Equivalence and Logical

- Symposium:

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

* SECTION Computation & Language

- Introductory Courses:

	Gerald Gazdar (Sussex): Introduction to Natural Language Processing

	Mats Rooth (Stuttgart): Statistical Techniques for NLP

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

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

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

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

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

	John Carroll (with Ted Briscoe): Robust Parsing

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

* SECTION Language & Logic

- Introductory Courses:

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

	Werner Saurer (Saarbruecken): Representation and Inference in DRT

- Advanced Courses:

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

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

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

	Jerry Seligman (Bloomington): Information Systems

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

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

- Symposium:
	Ruth Kempson (London) and Wilfried Meyer-Viol: Dependency in Logic
		and 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

To that end, students are encouraged to submit papers of 4-5 pages (including
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.

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

At the moment, we are in the process of putting together the Student Session
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.

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

3. Local Information on ESSLLI'96:

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 minutes
walking distance, and will take you to virtually any place in the city.

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

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

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.

Furthermore, there will of course be the ESSLLI-party, as well as a


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 (local
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.

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.

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

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

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

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

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

	Malostranske nam. 25,
	118 00 Praha 1, Czech Republic

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