carlos areces ghfqvbypiobaloriafr 18th european summer school logic language information esslli 2006 31 july 11 august 2006 malaga spain httpesslli2006lccumaes list accepted courses preliminary programm european summer school logic language information esslli organized every year association logic language information folli httpwwwfolliorg different sites around europe main focus esslli interface linguistics logic computation esslli offers foundational introductory advanced courses well workshops covering wide variety topics within three areas interest language computation language logic logic computation previous summer schools highly successful attracting 500 students europe elsewhere school developed important meeting place forum discussion students researchers interested interdisciplinary study logic language information list accepted courses preliminary program language computation week 1 resourcescarce language engineering edward garrett workshop introduction corpus resources annotation access sabine schulte im walde heike zinsmeister foundational course introduction symbolic statistical nlp scheme damir cavar introductory course datadriven methods acquiring linguistic information timothy baldwin aline villavicencio introductory course empirical view semantic roles within across languages katrin erk sebastian pado introductory course treebankbased acquisition lfg hpsg ccg resources josef van genabith julia hockenmaier yusuke miyao advanced course semantic domains natural language processing alfio gliozzo carlo strapparava advanced course week 2 modelling coherence generation dialogue systems rodger kibble paul piwek ielka van der sluis workshop computational morphology kemal oflazer foundational course counting words introduction lexical statistics marco baroni stefan evert introductory course computational semantics linking language processing applications ann copestake dan flickinger introductory course word sense disambiguation rada mihalcea introductory course implementing argument alternations miriam butt tracy holloway king advanced course argument structure markus egg valia kordoni advanced course probabilistic methods computational psycholinguistics roger levy advanced course machine learning dialogue james henderson oliver lemon advanced course logic computation week 1 proof theory deep inference alessio guglielmi foundational course introduction automated reasoning hans de nivelle peter baumgartner foundational course specifying proving maude manuel clavel narciso martioliet introductory course modal logics multiagent systems valentin goranko wojciech jamroga introductory course expressiveness temporal logics françois laroussinie nicolas markey introductory course modal mucalculus yde venema introductory course logics quantum information flow alexandru baltag sonja smets advanced course approximate reasoning semantic web pascal hitzler frank van harmelen holger wache advanced course coalgebras modal logic stone duality alexander kurz advanced course week 2 workshop logics resource bounded agents natasha alechina thomas ågotnes workshp rationality knowledge sergei artemov rohit parikh workshop verification infinite state systems angelo montanari gabriele puppis introductory course proof nets identity proofs lutz strassburger introductory course semantics higherorder logic chad brown chris benzmueller advanced course logical metalogical frameworks carsten schuermann advanced course logic computation finitely presentable infinite structures valentin goranko sasha rubin advanced course language logic week 1 formal ontologies communicating agents roberta ferrario nicola guarino workshop logic language raffaella bernardi patrick blackburn foundational course natural language quantifiers nouwen rick introductory course working discourse representation theory patrick blackburn johan bos introductory course mereology linguists christopher piñón introductory course syntactic structures logical semantics christian retoré alexandre dikovsky advanced course temporal anaphora tenseless languages maria bittner advanced course linear logic linguistic resource sensitivity resumption ash asudeh advanced course week 2 ambiguity anaphora ron artstein massimo poesio workshop concord phenomena syntax semantics interface paul dekker hedde zeijlstra workshop parsing eric de la clergerie foundational course proofs evidence knowledge sergei artemov introductory course signalling games pragmatics anton benz introductory course higher order grammar carl pollard introductory course anaphora resolution theory practice annie zaenen advanced course applications extensions dynamic semantics nicholas asher advanced course program committee chair carlos areces inria lorraine 615 rue du jardin botanique 54602 villers les nancy cedex france phone 33 03 83 58 17 90 fax 33 03 83 41 30 79 email carlosareces loriafr www httpwwwloriafrareces local cochair manuel diaz area specialists larry moss gerhard jaeger logic language valeria de paiva juan jose moreno navarro logic computation philip miller anette frank language computation organizing committee ernesto pimentel chair information obtain information visit esslli site httpesslli2006lccumaes years summer school please see web site httpwwwmacshwacukesslli05 _______________________________________________ uai mailing list faqengrorstedu httpssecureengroregonstateedumailmanlistinfouai sun 03 aug 2008 034747 0100 uai esslli 2006 list accepted courses preliminary program