19.515 summer school courses; conference

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Tue, 20 Dec 2005 07:12:07 +0000

               Humanist Discussion Group, Vol. 19, No. 515.
       Centre for Computing in the Humanities, King's College London
                     Submit to: humanist_at_princeton.edu

   [1] From: Carlos Areces <Carlos.Areces_at_loria.fr> (139)
         Subject: ESSLLI 2006: List of Courses

   [2] From: Carlos Areces <Carlos.Areces_at_loria.fr> (44)
         Subject: CFP: International Workshop on Hybrid Logic 2005 (HyLo

         Date: Tue, 20 Dec 2005 07:02:15 +0000
         From: Carlos Areces <Carlos.Areces_at_loria.fr>
         Subject: ESSLLI 2006: List of Courses

    18th European Summer School in Logic, Language and Information
                             ESSLLI 2006
              31 July - 11 August, 2006, Malaga, Spain


The European Summer School in Logic, Language and Information (ESSLLI)
is organized every year by the Association for Logic, Language and
Information (FoLLI, http://www.folli.org) in different sites around

The main focus of ESSLLI is on the interface between linguistics,
logic and computation. ESSLLI offers foundational, introductory and
advanced courses, as well as workshops, covering a wide variety of
topics within the three areas of interest: Language and Computation,
Language and Logic, and Logic and Computation.

Previous summer schools have been highly successful, attracting up to
500 students from Europe and elsewhere. The school has developed into
an important meeting place and forum for discussion for students and
researchers interested in the interdisciplinary study of Logic,
Language and Information.


Language and Computation:

Week 1

* Resource-Scarce Language Engineering, by Edward Garrett (Workshop)
* Introduction to Corpus Resources, Annotation and Access, by Sabine Schulte
    im Walde and Heike Zinsmeister (Foundational Course)
* Introduction to Symbolic and Statistical NLP in Scheme, by Damir
    Cavar (Introductory Course)
* Data-Driven Methods for Acquiring Linguistic Information, by Timothy
    Baldwin and Aline Villavicencio (Introductory Course)
* An Empirical View on Semantic Roles Within and Across Languages, by
    Katrin Erk and Sebastian Pado (Introductory Course)
* Treebank-Based Acquisition of LFG, HPSG and CCG Resources, by Josef
    van Genabith, Julia Hockenmaier and Yusuke Miyao (Advanced
* Semantic Domains in Natural Language Processing, by Alfio
    Gliozzo and Carlo Strapparava (Advanced Course)

Week 2

* Modelling Coherence for Generation and Dialogue Systems, by Rodger
    Kibble, Paul Piwek and Ielka van der Sluis (Workshop)
* Computational Morphology, by Kemal Oflazer (Foundational Course)
* Counting Words: An Introduction to Lexical Statistics, by Marco
    Baroni and Stefan Evert (Introductory Course)
* Computational Semantics: Linking Language Processing to Applications,
    by Ann Copestake and Dan Flickinger (Introductory Course)
* Word Sense Disambiguation, by Rada Mihalcea (Introductory Course)
* Implementing Argument Alternations, by Miriam Butt and Tracy Holloway
    King (Advanced Course)
* Argument Structure, by Markus Egg and Valia Kordoni (Advanced
* Probabilistic Methods in Computational Psycholinguistics, by Roger
    Levy (Advanced Course)
* Machine Learning and Dialogue, by James Henderson and Oliver Lemon
    (Advanced Course)

Logic and Computation:

Week 1

* Proof Theory and Deep Inference, by Alessio Guglielmi (Foundational
* Introduction to Automated Reasoning, by Hans De Nivelle and
    Peter Baumgartner (Foundational Course)
* Specifying and Proving in Maude, by Manuel Clavel and Narciso
    Marti-Oliet (Introductory Course)
* Modal Logics for Multi-Agent Systems, by Valentin Goranko and
    Wojciech Jamroga (Introductory Course)
* Expressiveness of Temporal Logics, by Fran=E7ois Laroussinie and
    Nicolas Markey (Introductory Course)
* The Modal Mu-Calculus, by Yde Venema (Introductory Course)
* Logics for Quantum Information Flow, by Alexandru Baltag and Sonja
    Smets (Advanced Course)
* Approximate Reasoning for the Semantic Web, by Pascal Hitzler, Frank
    van Harmelen and Holger Wache (Advanced Course)
* Coalgebras, Modal Logic, Stone Duality, by Alexander Kurz (Advanced

Week 2

* Workshop on Logics for Resource Bounded Agents, by Natasha Alechina
    and Thomas =C5gotnes (Workshp)
* Rationality and Knowledge, by Sergei Artemov and Rohit Parikh
* Verification of Infinite State Systems, by Angelo Montanari and
    Gabriele Puppis (Introductory Course)
* Proof Nets and the Identity of Proofs, by Lutz Strassburger
    (Introductory Course)
* Semantics of Higher-Order Logic, by Chad Brown and Chris
    Benzmueller (Advanced Course)
* Logical and Meta-Logical Frameworks, by Carsten Schuermann (Advanced
* Logic and Computation in Finitely Presentable Infinite Structures, by
    Valentin Goranko and Sasha Rubin (Advanced Course)

Language and Logic:

Week 1

* Formal Ontologies for Communicating Agents, by Roberta Ferrario
    and Nicola Guarino (Workshop)
* On Logic and Language, by Raffaella Bernardi and Patrick Blackburn
    (Foundational Course)
* Natural Language Quantifiers, by Nouwen, Rick (Introductory Course)
* Working with Discourse Representation Theory, by Patrick Blackburn
    and Johan Bos (Introductory Course)
* Mereology for Linguists, by Christopher Pi=F1=F3n (Introductory Course)
* From Syntactic Structures to Logical Semantics, by Christian Retor=E9 and
    Alexandre Dikovsky (Advanced Course)
* Temporal Anaphora in Tenseless Languages, by Maria Bittner (Advanced
* Linear Logic, Linguistic Resource Sensitivity and Resumption, by
    Ash Asudeh (Advanced Course)

Week 2

* Ambiguity in Anaphora, by Ron Artstein and Massimo Poesio
* Concord Phenomena and the Syntax Semantics Interface, by Paul Dekker
    and Hedde Zeijlstra (Workshop)
* Parsing, by Eric de la Clergerie (Foundational Course)
* Proofs, Evidence, Knowledge, by Sergei Artemov (Introductory Course)
* Signalling Games and Pragmatics, by Anton Benz (Introductory Course)
* Higher Order Grammar, by Carl Pollard (Introductory Course)
* Anaphora resolution: Theory and Practice, by Annie Zaenen (Advanced
* Applications and Extensions of Dynamic Semantics, by Nicholas Asher
    (Advanced Course)


     Carlos Areces
     INRIA Lorraine. 615, rue du Jardin Botanique
     54602 Villers les Nancy Cedex, France
     phone : +33 (0)3 83 58 17 90
     fax : +33 (0)3 83 41 30 79
     e-mail : carlos.areces (at) loria.fr
     www : http://www.loria.fr/~areces

Local co-chair:
     Manuel Diaz

Area Specialists:
     Larry Moss and Gerhard Jaeger (Logic and Language)
     Valeria de Paiva and Juan Jose Moreno Navarro (Logic and Computation)
     Philip Miller and Anette Frank (Language and Computation)

     Ernesto Pimentel (chair)

FURTHER INFORMATION: To obtain further information, visit the ESSLLI
site at http://esslli2006.lcc.uma.es/. For this year's summer school,
please see the web site at http://www.macs.hw.ac.uk/esslli05.

         Date: Tue, 20 Dec 2005 07:03:20 +0000
         From: Carlos Areces <Carlos.Areces_at_loria.fr>
         Subject: CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006)

                         FIRST CALL FOR PAPERS
        International Workshop on Hybrid Logic 2006 (HyLo 2006)
                        Affiliated with LICS 2006
                     August 11, 2006, Seattle, USA


Hybrid logic is a branch of modal logic in which it is possible to
directly refer to worlds/times/states or whatever the elements of
the (Kripke) model are meant to represent. Although they date back
to the late 1960s, and have been sporadically investigated ever
since, it is only in the 1990s that work on them really got into
its stride.

It is easy to justify interest in hybrid logic on applied grounds,
because of the usefulness of the additional expressive power.
For example, when reasoning about time one often wants to build
up a series of assertions about what happens at a particular
instant,and standard modal formalisms do not allow this. What is
less obvious is that the route hybrid logic takes to overcome
this problem (the basic mechanism being to add nominals ---
atomic symbols true at a unique point --- together with extra
modalities to exploit them) often actually improves the behavior
of the underlying modal formalism. For example, it becomes far
simpler to formulate modal tableau, resolution, and natural
deduction in hybrid logic, and completeness and interpolation
results can be proved of a generality that is not available in
orthodox modal logic.

Hybrid logic is now a mature field, therefore a theme of special
interest at this HyLo workshop will be the combination of hybrid
logic with other logics, the basic methodological question being
"what is the best way of hybridizing a given logic?" However,
submissions in all areas of hybrid logic are welcome.

The workshop HyLo 2006 is likely to be relevant to a wide range of
people, including those interested in description logic, feature
logic, applied modal logics, temporal logic, and labelled
deduction. The workshop continues a series of previous workshops
on hybrid logic, for example the LICS-affiliated HyLo 2002
(http://floc02.diku.dk/HYLO) which was held as part of FLoC 2002,
Copenhagen, Denmark. If you are unsure whether your work is of
relevance to the workshop, please do not hesitate to contact the
workshop organizers for more information. Contact details are
given below.

For more general background on hybrid logic, and many of the key
papers, see the Hybrid Logics homepage (http://hylo.loria.fr/).

Received on Tue Dec 20 2005 - 02:41:56 EST

This archive was generated by hypermail 2.2.0 : Tue Dec 20 2005 - 02:41:56 EST