conf - lacl ' 97 - nancy ( france ) - sept 97 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * lacl ' 97 - call for participation * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * logical aspects of computational linguistics 1997 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * september 22-24 , 1997 nancy france * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * http : / / www . loria . fr / ~ bechet / lacl . html e-mail : lamarche @ loria . fr - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - the lacl conferences - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - the first edition of the lacl conference , which was held in nancy in september 1996 , was very successful . this proves that there is a growing interest in the use of logic in natural language processing , both for syntactic and semantic models . lacl ' 97 will continue to bring together linguists , logicians , philosophers and computer scientists around this theme in order to present the latest results and to discuss the different approaches . - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - programme committee - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - chairman : a . lecomte ( u . grenoble 2 ) b . carpenter ( bell labs ) m . dymetman ( rank - xerox , grenoble ) c . gardent ( u . saarbrucken ) ph . de groote ( inria & crin , nancy ) s . kulick ( u . pennsylvania ) f . lamarche ( inria & crin , nancy ) m . moortgat ( ots , utrecht ) g . morrill ( upc , barcelone ) a . ranta . ( u . helsinki & u . tampere ) p . saint - dizier ( irit , toulouse ) e . stabler ( ucla , los angeles ) e . villemonte de la clergerie ( inria , rocquencourt ) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - organising committee - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - chairman : g . perrier v . antoine , d . bechet , a . - l . charbonnier , f . lamarche and a . savary . inria - lorraine & crin-cnrs , nancy . - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - programme - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - monday , september 22 - - - - - - - - - - - - - - - - - - - 8 : 45 - 9 : 30 : welcome 9 : 30-10 : 20 : invited talk i joachim lambek ( mcgill university , montreal ) some mathematical approaches to natural language 10 : 35-11 : 35 : session 1 m . kandulski strong equivalence of generalized ajduckiewicz and lambek grammars s . shaumyan , p . hudak & m . jones type - directed natural language parsing 11 : 50-12 : 40 : discussion i logic - mathematical formalisms and grammars 12 : 40-14 : 00 : lunch 14 : 00-14 : 50 : invited talk ii denis bouchard ( universite du quebec , montreal ) ellipsis of the noun and of the determiner : recoverability , number and partitivity 15 : 05-16 : 35 : session 2 t . cornell derivational and representational views of minimalist syntactic calculi f . morawietz & t . cornell approximating principles and parameters grammars with mso tree logics j . hodas a linear logic treatment of phrase structure grammars for unbounded dependencies 16 : 45-17 : 35 : discussion ii what formalisms for minimalism ? tuesday , september 23 - - - - - - - - - - - - - - - - - - - - 9 : 30-10 : 20 : invited talk iii yves lafont ( c . n . r . s . , marseille ) applications of phase semantics 10 : 35-11 : 35 : session 3 e . kraak italian object cliticization : a deductive approach h . hendriks a proof - theoretic analysis of intonation 11 : 50-12 : 40 : discussion iii advantages of the proof - theoretic approach 12 : 40-14 : 00 : lunch 14 : 00-14 : 50 : invited talk iv mark johnson ( brown university , providence ) features and resources 15 : 05-16 : 35 : session 4 p . blackburn feature logics in hybrid languages d . heylen underspecification in subsumption - based type - logical grammars n . francez on the direction of fibring feature logics with concatenation logics 16 : 45-17 : 35 : discussion iv comparing feature logics 20 : 00 : conference dinner wednesday , september 24 - - - - - - - - - - - - - - - - - - - - - - 9 : 30-10 : 30 : session 5 m . vilares ferro , m . alonso pardo & d . cabrero souto an operational model for parsing fixed - mode dcgs d . tatar & d . zaiu unification - based and object-oriented based approaches to grammars 10 : 45-11 : 45 : session 6 z . luo & p . c . callaghan linguistic categories in mathematical vernacular and their type-theoretic semantics m . kinnunen natural language interface to regular expressions 12 : 00-12 : 50 : final discussion 12 : 50-14 : 00 : lunch - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - location - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - nancy , which is the capital of the french department meurthe et moselle , is easily accessible from paris ( gare de l ' est ) by train in about three hours . there are also direct trains from strasbourg , luxembourg and dijon . the nearest international airports are the ones of paris , strasbourg and luxembourg . the lacl conference will take place in the loria building at the address : inria - lorraine & crin-cnrs batiment loria technopole de nancy brabois campus scientifique 615 rue du jardin botanique , b . p . 101 f 54602 villers - les - nancy cedex france for more information about the location , please take a look at the www server or send a mail to francois lamarche . http : / / www . loria . fr / ~ bechet / lacl . html e-mail : lamarche @ loria . fr - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - registration - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - the registration fees for the conference are the following : before august 15 after august 15 regular 700 frf 900 frf student 500 frf 700 frf both regular and student fees include the conference proceedings , the coffee breaks , the lunches , and the conference dinner ( september 23 ) . tickets for additional conference dinners ( for accompanying persons ) can be purchased at 150 frf . you may register by surface mail , fax , or e-mail . please fill in the registration form that you can find at www address http : / / www . loria . fr / ~ bechet / lacl . html and send it to : inria - lorraine bureau des relations exterieures - lacl ' 97 615 rue du jardin botanique , b . p . 101 f 54602 villers - les - nancy cedex france fax ( internat . ) : + 33 3 83 27 83 19 ( nat . ) : 03 83 27 83 19 e - mail : re @ loria . fr - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - payments - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - payments are accepted in french francs only . the enclosed payment may be one of the following forms : o cheque in french currency , drawn on a french bank , made to the order of " agent comptable de l ' inria " ; o eurocheque in french currency , made to the order of " agent comptable de l ' inria " ; o bank transfer to the order of " agent comptable de l ' inria " ( with your name and lacl ' 97 ) ; the bank account number is : 10071-78000 - 00003003958-80 at the bank " tresorerie generale des yvelines " . please ask your bank to arrange a transfer at no cost for the recipient . you may also pay the registration fee by credit card at the moment of the conference . - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - accommodation - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - hotel rooms ranging from one to three star hotels are available . for a reser - vation , please phone to the hotel , fill in the accommodation form that you can find at www address http : / / www . loria . fr / ~ bechet / lacl . html and send it rapidly to the hotel ( preferably before september ) to confirm the reservation . hotel akena * hotel crystal * 41 rue raymond poincare 5 rue chanzy 54000 nancy 54 000 nancy tel : 03 83 28 02 13 tel : 03 83 35 41 55 fax : 03 83 90 00 45 fax : 03 83 37 84 85 price ( tarif ) : 175 frf price ( tarif ) : 200-300 frf hotel albert 1er * * hotel mercure - thiers * * * 3 rue de l ' armee patton 11 rue raymond poincare 54000 nancy 54 000 nancy tel : 03 83 40 31 24 tel : 03 83 39 75 75 fax : 03 83 28 47 78 fax : 03 83 32 78 17 price ( tarif ) : 295-310 frf price ( tarif ) : 475 frf * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * guy perrier crin-cnrs & inria lorraine campus scientifique - b . p . 239 54506 vandoeuvre - les - nancy cedex france e-mail : perrier @ loria . fr phone : 03 83 59 20 18 fax : 03 83 41 30 79 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *