logical aspects of computational linguistics ( lacl ' 98 ) logical aspects of computational linguistics ( lacl ' 98 ) = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = aspects logiques de la linguistique informatique = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = coorganisateurs : loria ( nancy ) , universite pierre mendes - france ( grenoble ) , avec l ' appui de : inria rhone - alpes , xerox research centre europe , cnet , mairie de grenoble lieu : grenoble ( domaine universitaire , amphitheatre de la maison alpes des sciences de l ' homme ) dates : du 14 au 16 decembre site web : http : / / www-bshm . upmf-grenoble . fr / lacl98 / programme : = = = = = = = = = = = = monday , december 14 ( lundi 14 decembre ) 8 : 45 - 9 : 30 : welcome 9 : 30-10 : 20 : invited talk i maarten de rijke : inference and natural language semantics 10 : 20-10 : 35 : break 10 : 35-11 : 35 : session 1 : feature structures and constraints stephen j . hegner . ` computational management of partially specified type hierarchies for typed feature logics ' . christian wartena . ` grammars with composite storages ' . 11 : 35-11 : 50 : break 11 : 50-12 : 50 : session 2 : categorial grammar i marcelo finger . ` structurally free theorem proving and structure learning in categorial grammar ' . nissim francez . ` hypothetical reasoning and radical non-constituent coordination in categorial logic ' . 12 : 50-14 : 30 : lunch 14 : 30-15 : 30 : session 3 : semantics and logical forms joachim niehren , alexander koller . ` dominance constraints in context unification ' . wilfried meyer viol , ruth kempson . ` sequential construction of logical forms ' . 15 : 30-15 : 45 : break 15 : 45-16 : 45 : norihiro ogata . ` a revision system of circular objects and its applications to dynamic semantics of dialogues ' . zhaohui luo , paul callaghan . ` coercive subtyping and lexical semantics ' . 16 : 45-17 : 00 : break 17 : 00-17 : 30 : discussion tuesday , december 15 ( mardi 15 decembre ) 9 : 30-10 : 20 : invited talk ii makoto kanazawa title : not yet communicated 10 : 20-10 : 35 : break 10 : 35-11 : 35 : session 4 : constraints and semantics manuel bodirsky , alexander koller , joachim niehren . ` dominance constraints : complexity , algorithms , implementation ' . patrick blackburn , claire gardent . ` a description language for discourse semantics ' . 11 : 35-11 : 50 : break 11 : 50-12 : 50 : session 5 : categorial grammar ii gerhard jaeger . ` anaphora and scope in categorial grammar ' . hans - joerg tiede . ` lambek calculus proofs and tree automata ' . 12 : 50-14 : 30 : lunch 14 : 30-15 : 30 : session 6 : minimalism and computation jens michaelis . ` derivational minimalism is mildly context-sensitive ' . marcus kracht . ` strictness and literal movement grammars ' . 15 : 30-15 : 45 : break 15 : 45-16 : 45 : alain lecomte . ` categorial minimalism ' . dirk heylen . ` aspects of a logical reconstruction of the computational system for human language ' . 16 : 45-17 : 00 : break 17 : 00-17 : 30 : discussion 20 : 00 : conference dinner wednesday , december 16 ( mercredi 16 decembre ) 9 : 30-10 : 20 : invited talk iii fernando pereira title : not yet communicated 10 : 20-10 : 35 : break 10 : 35-12 : 05 : session 7 : trees and tags aravind joshi , seth kulick , natasha kurtonina . ` lexicalized tree adjoining grammar : logical modelling ' . sylvain pogodalla . ` lexicalized proof-nets in pomset logic and tag ' . emiel krahmer , reinhard muskens . ` talking about trees and truth-conditions ' . 12 : 05-12 : 20 : break 12 : 20-12 : 50 : final discussion inscription - registration : = = = = = = = = = = = = = = = = = = = = = = = = = = = the registration fees for the conference are the following : before november 10 regular : 700 ff , student : 500 ff after november 10 regular : 900 ff , student : 700 ff both regular and student fees include the conference proceedings , the coffee breaks , the lunches , and the conference dinner ( december 15 ) . tickets for additional conference dinners ( for accompanying persons ) can be purchased at 150 ff . you may register by surface mail , fax , or e-mail . please fill in the enclosed registration form and send it to : ufr sciences de l ' homme et de la societe service comptabilite - lacl ' 98 1251 , avenue centrale , b . p . 47 f 38040 grenoble cedex9 france fax ( internat . ) : + 33 4 76 82 56 65 ( nat . ) : 04 76 82 56 65 e - mail : amelie . depaoli @ upmf-grenoble . fr payments payments are accepted in french francs only . the enclosed payment may be one of the following forms : order form from your institution ; cheque in french currency , drawn on a french bank , made to the order of " agent comptable de l ' upmf " eurocheque in french currency , made to the order of " agent comptable de l ' upmf " ( add 50 frf for fees ) ; bank transfer to the order of " agent comptable de l ' upmf " ( with your name and lacl ' 98 ) at the bank " tresorerie generale de l ' isere " . the bank account number is 10071-38000 - 00003000140-46 . registration form - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - please print name : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . affiliation : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . address : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . zip code : . . . . . . . . . . . . . . . . . . . . country : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . telephone : . . . . . . . . . . . . . . . . . . . fax : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e - mail : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . please check the appropriate box : o regular fee 700 frf o student rate ( * ) 500 frf o late registration fee 900 frf o student ( * ) , late registration 700 frf o one additional ticket for the conference dinner 150 frf total amount : . . . frf ( * ) enclose a copy of your student card mode of payment : o order form o enclosed cheque ( if eurocheque , please add 50 frf ) o bank transfer ( * * ) ( * * ) enclose a copy of the transfer order . booking chose a category of hotel : o single room o double room o 2 stars ( around 300 frf ) o 3 stars ( around 500 frf ) date of arrival in grenoble : . . . . . . . . . . . date of departure : . . . . . . . . . . . . . . . . . . number of nights : . . . . . . . . . . . . . . . . if you are a vegetarian , please check the box o