esslli seventh european summer school logic language information barcelona august 1425 1995 information contact esslli95 gilcub avda vallvidrera 25 08017 barcelona fax 43 3 2054656 tlf 43 3 2033597 e mail esslli95 gilcub es general information summer school seventh european summer school logic language information held biology faculty barcelona university august 14th 25th school organized auspices european foundation logic language information folli jointly universitat de barcelona universitat rovira virgili universitat autonoma de barcelona universitat politecnica de catalunya previous summer schools took place rijks universiteit groningen netherlands in1989 katholieke universiteit leuven belgium 1990 universitat saarlandes saarbrucken germany 1991 university essex colchester united kingdomin 1992 faculdade de letras da universidade de lisboa portugal 1993 copenhagen business school denmark 1994 schools financial support derived variety sources including commision european community erasmus programme dg xiii research networks national research councils industrial sponsors kind support expected 1995 school main focus summer school interface logic linguistics computation concerns modelling human linguistic cognitive abilities 1995 school programme include courses workshops symposia covering variety topics within six areas interest logic language computation logic computation computation language language logic courses cast introductory advanced levels introductory courses designed familiarize students new fields presuppose background knowledge advanced courses designed allow participants acquire specialized expertise areas already familiar workshops chaired expert ther field provide opportunity phd students young researchers present work gain informed feedback useful contacts symposia typically consist series presentations timely topic people active relevant areas workshops symposia intended encourage collaboration cross fertilization ideas stimulatingindepth discussion issues forefront current research field also series invited evening lecturers wellknown experts field accomodation accomodation available information appear following anouncements course programme section logic language algebraic semantics natural language name lecturer organizer godehard link affiliation institut fur philosophie logik und wissenschaftstheorie iplw universitat munchen e mail glink cis unimuenchen de type introductory formal forays language name lecturers jan van eijck jan jaspars affiliation cwi amsterdam ots utrecht e mail jve cwi nl jaspars cwi nl type introductory dynamics structure name lecturer c vermeulen visser affiliation department philosophy e mail albert visser phil ruu nl kees vermeulen phil ruu nl type advanced nearness syntactic influence spheres name lecturer marcus kracht affiliation department mathematics fu berlin e mail kracht math fuberlin de type advanced feature logics infinitary descriptions name lecturer organizer bill keller affiliation school cognitive computing sciences university sussex e mail billk cogs susx ac uk type advanced mathematical theory language learnability name lecturer organizer dick de jongh makoto kanazawa affiliation department mathematics computer science university amsterdam department cognitive information sciences faculty letters chiba university e mail dickdj fwi uva nl kanazawa cogsci l chibau ac jp type advanced complex part structures natural language name lecturer friederike moltman affiliation dept philosophy city university new york cuny e mail isagc cunyvm bitnet type advanced properties types name organizer chris fox affiliation department computer science university essex e mail foxcj essex ac uk type workshop formal epistemology name organizer hans rott affiliation university konstanz e mail pirott nyx unikonstanz de type workshop underspecification computational semantics name organizer robin cooper massimo poesio fracas affiliation university edinburgh e mail cooper poesio cogsci ed ac uk type symposium section logic introduction modal logic name lecturer ramon jansana affiliation department logic history philosophy science universitat de barcelona spain e mail jansana cerber ub es type introductory temporal logic name lecturer organizer ian hodkinson affiliation imperial college london e mail imh doc ic ac uk type advanced descriptive complexity theory name lecturer organizer flum joerg affiliation mathematisches institut universitaet freiburg e mail flum sun1 ruf unifreiburg de type advanced algebraizations sentential logics name lecturer josep maria font affiliation faculty mathematics university barcelona e mail font cerber mat ub es type advanced new trends algebraic logic name organizer josep maria font affiliation faculty mathematics university barcelona e mail font cerber mat ub es type workshop advanced modal logic name lecturers patrick blackburn maarten de rijke de venema affiliation patrick blackburn universitat des saarlandes saarbrucken maarten de rijke cwi amsterdam yde venema vrije universiteit amsterdam e mail patrick coli unisb de maarten de rijke cwi nl yde cs vu nl type advanced situation theory applications name organizer keith devlin affiliations saint mary college california moraga csli stanford e mail devlin stmarysca edu type symposium section computation logic logical frameworks name basin mathews saarbruecken e mail basin mpisb mpg de sean mpisb mpg de type introductory knowledge representation logic name lecturer organizer franz baader affiliation lufg theoretische informatik rwth aachen e mail baader informatik rwthaachen de type introductory deductive database name lecturer organizer gerhard koestler affiliation universitaet augsburg e mail koestler uniaugsburg de type introductory programming temporal logic name howard barringer dov gabbay affiliation university manchester imperial college science technology medicine e mail howard man cs ac uk dg doc ic ac uk type advanced power structures program semantics name lecturer chris brink affiliation mathematics department university cape town email cbrink maths uct ac za type advanced automated deduction non classical logics name lecturer organizer lincoln wallen affiliation oxford university e mail lincoln wallen comlab ox ac uk type advanced tame logic maarten marx university amsterdam e mail marx ccsom uva nl szabolcs mikulas logic graduate school e mail mikulas fwi uva nl e mail h3762mik ella hu type advanced expressive nonmonotonic reasoning nmr name franz baader affiliation lufg theoretische informatik rwth aachen e mail baader informatik rwthaachen de name karl schlechta affiliation laboratoire informatique de marseille ura cnrs 178 universite de provence e mail ks gyptis univmrs fr type workshop logical formalisms planning plan recognition plan modification dr susanne biundo german research center artificial intelligence email biundo dfki unisb de type workshop methods constructing manipulating logical systems prof dov gabbay imperial college science technology medicine email dg doc ic ac uk subject logic engineering labelled deductive systems computer support studying logics type symposium section computation partial evaluation name lecturer neil jones affiliation diku university copenhagen e mail neil diku dk type introductory interactive development proofs programs name lecturer christine paulin mohring affiliation lipcnrs ura 1398 ecole normale superieure de lyon e mail christine paulin lip enslyon fr type advanced implementation functional programming languages name lecturer simon peyton jones affiliation department computing science university glasgow e mail simonpj dcs gla ac uk type advanced section language computation formalizing implementing syntactic theories name lecturer organizer edward stabler mark johnson affiliation edward stabler ucla mark johnson brown university e mail stabler cognet ucla edu mj cs brown edu type introductory corpus based models language processing name lecturer organizer rens bod remko scha affiliation university amsterdam institute logic language computation department computational linguistics e mail rens alf let uva nl scha alf let uva nl type introductory automated deduction logics linguistic resources name lecturer organizer michael moortgat affiliation research institute language speech ots e mail moortgat let ruu nl type advanced topics lexical functional grammar name lecturer organizer ronald kaplan mary dalrymple affiliation xerox parc e mail kaplan parc xerox com dalrymple parc xerox com type advanced categorial syntax semantics name lecturer organizer bob carpenter glyn morrill affiliation philosophy department carnegie mellon university department computer systems languages polytechnic university catalunya e mail carp lcl cmu edu morrill lsi upc es type advanced lambek calculus linear logic name lecturer organizer v michele abrusci affiliation universitat di roma la sapienza dipartimento di studi filosofici ed epistemologici e mail abrusci sci uniroma1 type advanced natural language generation name lecturer organizer robert dale affiliation microsoft institute advanced software technology e mail rdale microsoft com type advanced formal computational phonology name lecturer organizer mark ellison affiliation university edinburgh till january inesc lisbon e mail marke cogsci ed ac uk type workshop computational lexicon name organizer felisa verdejo affiliation universidad nacional educacion distancia e mail felisa horacio dieec uned es type workshop proof theory labelled deduction natural language name lecturer organizer professor ruth kempson affiliation school oriental african studies university london e mail kempson clus1 ulcc ac uk type symposium section language head driven phrase structure grammar name lecturer organizer philip h miller affiliation universite de lille 3 e mail pmiller ulb ac type introductory phrase structure typology lfg name lecturer organizer joan bresnan affiliation stanford university e mail bresnan csli stanford edu type advanced aspectuality event structure name lecturer organizer henk verkuyl affiliation utrecht university ots e mail verkuyl let ruu nl type introductory acquisition syntax morphology name lecturer harald clahsen affiliation department language linguistics university essex e mail harald essex ac uk type advanced prosody information grammatical architecture name lecturer organizer dick oehrle affiliation department linguistics university arizona e mail oehrle convx1 ccit arizona edu type advanced constraint based formalisms grammar writing name lecturer organizer jochen doerre suresh manandhar affiliation university stuttgart university edinburgh e mail suresh manandhar ed ac uk jochen doerre ims unistuttgart de type workshop argument structure linking theory name lecturer organizer annie zaenen louisa sadler affiliation rank xerox research centre university essex e mail annie zaenen xerox fr louisa essex ac uk type symposium