LINGUIST List 7.1248

Sun Sep 8 1996

Confs: Adult literacy, Logic & ling (with correction)

Editor for this issue: Ann Dizdar <dizdartam2000.tamu.edu>

Directory

1. Peter White, Adult Literacy Conference
2. Christian RETORE, Logic & Linguistics, 23-25 Sept, Nancy, France

19TH NATIONAL CONFERENCE OF THE AUSTRALIAN COUNCIL FOR ADULT LITERACY

19th National Conference of the Australian Council for Adult Literacy
will be held from 7-9 November 1996 at the Surfers Paradise Travelodge
on the Gold Coast. The conference has been titled: The Literacy
Equation: Competence = Capability?

This theme has been chosen to challenge and debate current national
and state policies, review and preview global influences on local
research and practice and to consider the place of literacy in future
community, vocational and workplace education.

Keynote speakers:
Dr Bill Hall (NCVER):
CHALLENGES FACING TRAINING
Bill was chairperson of UNESCO Non-government Organisations for five
years and is the author of 25 books, 250 research articles and over
100 research papers. He has worked in business, higher education and
research.

Prof Linda Brodkey (UCSD):
I SITE
Linda is a Professor in the Department of Literature,
and Director of the Warren College Writing Program at the University of
 California, San Diego,
where she teaches graduate and undergraduate composition courses and
 ethnographic
research. She is the author of two books as well as a number of scholarly
 articles
on writing and literacy.

Ms Kath White:
CHOOSING CHANGE THROUGH LITERACY
Kath was the founding coordinator of the NSW Adult Literacy
Information Office and a founding member of ACAL and the NSW Adult
Literacy Council. She has also been a consultant in Nepal.

Clive Chappell (UTS):
COMPETENCE AND QUALITY IN EDUCATION AND TRAINING
Clive is Senior Lecturer, School of Adult Education, University of
technology, Sydney. He has researched and published in the area of
competency standards development and has particular interest in the
human services sector. He has recently completed a major research
project to develop a professional competence profile for teachers
working in TAFE NSW.

Dr Ralph Catts (USQ):
USING KEY COMPETENCIES TO 'SOLVE' THE EQUATION
Ralph is Director of the Vocational Education and Training Research
Institute at the University of Southern Queensland. He has previously
been a researcher and manager in NSW TAFE and a policy adviser in
post-compulsory education and training. His current research interests
are effective workplace learning and the role of generic and specific
industry competencies.

The conference will be structured around four strands to cater for the
diverse needs of participants. These strands are:

Practice Information, Research and Critique and Special Interest
Groups Day 2, Friday 8 November, will have a workplace literacy focus,
including a plenary session in which Associate Professor Brendan
Bartlett, Vince O'Rourke and Elaine Roberts will examine Workplace
Literacy at Queensland Rail

For Registration forms or further information contact:
Jean Searle
e.mail: J.Searleedn.gu.edu.au

Please address all inquiries to the email address above. I'm merely
posting the details on Jean's behalf.

Peter White

Dear Colleague,

It is time to register if you are interested in attending "Logical
Ascpects of Computational Linguistics" 23-25 September, Nancy. 

 ---http:www.loria.fr/~retore/LACL.html --- 

With respect to the previous announcement, we have to correct a
mistake: for the registration fees, we are not able to charge your
credit card unless you are here: so you have to bring your card here,
where it will be charged. The 800F registration fees cover * the
collection volume of the 4 pages abstracts, * the three lunches, * the
breaks (cofee, tea, cakes), * the conference dinner on Tuesday 24.

Here is the revised announcement:

***********************************************
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
Nancy, France, 23-25 September 96
Co-organized by INRIA-Lorraine and CRIN-C.N.R.S.
with the financial support of Rank Xerox, France-Telecom CNET
***********************************************

You may prefer to look at this via WWW at URL:

http://www.loria.fr/~retore/LACL.html
Inquiry: calligrammeloria.fr
or tel C. Retore +33 83 59 20 17

Program committee:
- ----------------
M. Abrusci (U. di Bari & U. di Roma) P. Blackburn (U. Sarrebruecken)
M. Dymetman(Rank-Xerox, Grenoble) M. Johnson (Brown U. , Providence)
A. Lecomte (U. Grenoble 2 & INRIA-Lorraine) M. Moortgat (OTS, Utrecht)
G. Morrill (UPC, Barcelona) A. Ranta(U. Helsinki & U. Tampere)
C. Retore (INRIA-Lorraine & CRIN-CNRS) E. Villemonte de la Clergerie
(INRIA-Rocq.)

Organizing committee:
- -------------------
B. Lang (Atoll, INRIA, Rocquencourt)
D. Bechet, Ph. de Groote, F. Lamarche, G. Perrier and C. Retore
(Calligramme, INRIA-Lorraine & CRIN-CNRS, Nancy)
************************
LACL PRELIMINARY PROGRAM
************************
MONDAY 23 SEPTEMBER
8:45 Begining of registration
9:10 Greeting message by Alain Quere, head of INRIA-Lorraine
9:15 - 9:30 Opening address of LACL by Jean-Marie Pierrel, head of
CRIN-C.N.R.S.
- --------------------------------------------------------------------------
9:30 - 10:20 Invited lecture:
Jean-Yves GIRARD (C.N.R.S. , Marseille)
Introduction to linear logic
- --------------------------------------------------------------------------
10:35 - 11:00
Denis BECHET & Philippe DE GROOTE (INRIA & CRIN, Nancy)
Constructing different phonological bracketings from a proof net
11:00 - 11:25
Irene SCHENA (Universita di Bologna)
Pomset logic and discontinuity in natural languages
11:25 - 11:50
Michele ABRUSCI & Christophe FOUQUERE & Jacqueline VAUZEILLES
(Univerita di Bari & Universite Paris Nord & Universite Paris Nord)
Tree adjoining grammar and non-commutative linear logic.
- --------------------------------------------------------------------------
12:05 - 12:55 Discussion
"New syntaxes for linguistic theories"
- --------------------------------------------------------------------------
14:15 15:05 Invited lecture:
Edward STABLER
University of California at Los Angeles
Derivational minimalism
- --------------------------------------------------------------------------
15:20 - 15:45
Frieder STOLZENBURG & Stephan HOHNE & Ulrich KROCH & Martin VOLK
(Universtitaet: Koblenz, Frankfurt, Koblenz, Zuerich)
Constraint logic programming for computational linguistics
15:45 - 16:10
Stefan RIEZLER (Universitaet Tuebingen)
Quantitative extensions of constraint logic grammars
16:10 - 16:35
Claire GARDENT (Universitaet des Saarlandes, Sarrebruecken)
Ellipsis pronouns and parallelism
- --------------------------------------------------------------------------
16:50 - 17:15
James ROGERS (University of Pennsylvania, Philadelphia)
Strict LT2: regular -- Local: recognizable
17:15 - 17:40
Jens MICHAELIS & Marcus KRACHT (Univertitaet Potsdam)
Semilinearity as a syntactic invariant
- --------------------------------------------------------------------------
TUESDAY 24 SEPTEMBER
- --------------------------------------------------------------------------
9:30 - 10:20 Invited lecture:
Aravind JOSHI (University of Pennsylvania, Philadelphia)
Partial proof trees, resource conscious logics, and syntactic
constraints
- --------------------------------------------------------------------------
10:35 - 11:00 Crit CREMERS and Maartens HIJZELENDOORN
(Rijksuniversiteit Leiden) An effective categorial count invariant for
free coordination 11:00 - 11:25 Martin EMMS (Universitaet Muenchen) A
completeness result for polymorphic Lambek calculus 11:25 - 11:50
Marek SZCZERBA (Uniwersytet Adama Mickiewicza, Poznan) Representation
theorems for residuated groups
- --------------------------------------------------------------------------
12:05 - 12:55 Discussion "Logical aspects of the minimalist program"
- --------------------------------------------------------------------------
14:15 - 15:05 Invited lecture: Dale MILLER (University of
Pennsylvania, Philadelphia) Linear logic as logic programming
- --------------------------------------------------------------------------
15:20 - 15:45 Lucia H. B. MANARA & Anne DE ROECK University of Essex,
Colchester Pragmatic presupposition and agent belief 15:45 - 16:10
Ruth KEMPSON & Wilfried MEYER-VIOL University of London & Imperial
College, London Language understanding --- a procedural perspective
16:10 - 16:35 Ralf NAUMANN (Universitaet Duesseldorf) The problem of
present perfect in the setting of dynamic semantics
- --------------------------------------------------------------------------
16:50 - 17:15 Jacek MARCINIEC (Uniwersytet Adama Mickiewicza, Poznan)
Infinite set unification and rigid categorial grammar 17:15 - 17:40
Josep Maria MERENCIANO (Universitat Politecnica de Catalunya)
Generation as deduction 17:40 - 18:05 Kiril SIMOV & Paul John KING
(Bulgarian Academy of Sciences & Universitaet Tuebingen) Indexing of
linguistic knowledge
- --------------------------------------------------------------------------
WEDNESDAY 25 SEPTEMBER
- --------------------------------------------------------------------------
9:30 - 10:20 Invited Lecture: Marcus KRACHT (Universitaet Potsdam)
Inessential Features
- --------------------------------------------------------------------------
10:35 - 11:00 Pascal BOLDINI (ENST-Bretagne, Brest) Vagueness and
constructivism 11:00 - 11:25 Michael KOHLHASE & Susanna KUSCHERT
(Universitaet des Saarlandes, Sarrebruecken) Towards a dynamic type
theory 11:25 - 11:50 Yann COSCOY (INRIA, Sophia-Antipolis) A natural
language explanation for formal proofs
- --------------------------------------------------------------------------
12:05 - 12:55 Discussion "Logical semantics"
- --------------------------------------------------------------------------
14:15 - 14:45 Stephen J. HEGNER (University of Vermont, Burlington) A
family of decidable feature logics which support HPSG style set and
list construction
- --------------------------------------------------------------------------
**************** How to register? **************** Warning: you must
independently and quickly book a room, see below. To register please
either
 * send an e-mail to REloria.fr
 * a FAX to Service des Relations Exterieures FAX: +33 83 27 83 19
 * or a letter to

 INRIA-Lorraine
 Service des Relations Exterieures - LACL
 615, rue du jardin botanique
 B.P. 101
 F-54 602 Villers les Nancy
 FRANCE

with subject LACL registration specifying
 * your name

 * your affiliation, professional address, email, phone and fax
	numbers
 * the 800 FRF registration fees (see payment information below)
 which includes the three lunches, the breaks (coffee, tea, cakes)
 the conference dinner, and the collection volume of the 4-page
	abstracts

Payment information:
The conference fees are 800 French Francs (FRF). Payments are accepted
in French Francs only. The enclosed payment may be one of the
following form:

 * bank transfer to the Agent comptable de l'INRIA , with your name
and LACL. The bank account number is: 10071-78000-00003003958-80 at
the bank "Tresorerie Generale des Yvelines".
 * credit card information: type (Visa - Master Card - American
Express - Carte Bancaire) number, expiration date, card holder's name.
 * Euro Cheque,
 Traveller's Cheque,
 or cheque drawn on a French bank,
 in French currency to the order of "Agent comptable de l'INRIA" .
*******************
How to book a room?
*******************

The sooner you book the better: Nancy seems to be unusually crowded in
September.About 40 rooms have been booked for the conference in two
dowtown hotels close to each other. In this hotel, the price will
range from 200FRF to 250FRF (single/double room).

For reservation, please send
 * an Email to calligrammeloria.fr
 with subject LACL accommodation
 * or a FAX to +33 83 27 83 19 with subject
 LACL accommodation c/o calligramme

including
 * your name
 * your affiliation, professional address, email, phone and fax number
 * your dates of arrival and departure
 * the type of room you need (single/double)
 * the name of the accompanying person (if any)
 * your credit card information: type (Visa - Master Card - American
Express - Carte Banquaire) number, expiration date, card holder's name.

Travel Information
Train Station: Nancy
Airports:
Luxembourg (and then train to Nancy, 1h30)
Paris (and then train from the railway station Paris - Gare de l'Est, 2h45)
Strasbourg (and then train to Nancy, 1h30)
Nancy-Metz (and then bus to Nancy, 30mn) --- mainly national flights

Christian RETORE

INRIA Lorraine & CRIN-C.N.R.S.
615 rue du jardin botanique
BP 101
54602 Villers les Nancy cedex
TEL: +33 83 59 20 17 (secr: +33 83 59 20 13)
FAX: +33 83 27 83 19
http://www.loria.fr/~retore/index.html

retoreloria.fr