interesting courses I just missed at ESSLLI2004

[gusl]

interesting courses I just missed at ESSLLI2004

Cognitive modeling and verbal semantics

In this course, advanced students of natural language semantics are
exposed to a new approach towards verbal semantics. The approach is
a cognitive linguistics one, allowing one to model semantic structures in
a promising way. Moreover, it is formal and open to computational issues
in virtue of being based on the Unified Modeling Language (UML), the
lingua franca for object-oriented systems in computer science.

The calculus of structures

The Calculus of Structures is a proof-theoretical formalism motivated by
computation. Its most direct analogue is Gentzen's Sequent Calculus.
We know that systems in the Sequent Calculus can be interpreted
computationally, in the proof-normalisation-as-computation and
proof-search-as-computation paradigms. Many aspects of computation are
not managed satisfactorily by the Sequent Calculus, especially some
important for distributed computation, like locality, atomicity and
several kinds of modularity. This holds for all logics expressed in the
Sequent Calculus, including, e.g., Linear Logic.

The Calculus of Structures addresses these problems in a radically new,
purely proof-theoretical foundation, based on the principles of deep
inference and top-down symmetry. We express classical, linear, modal
logics, and several variants thereof, and their deductive systems are as
simple as those in the Sequent Calculus, but possess the desired
computational properties. This new proof theory is richer than the old
one, e.g., there are new interesting notions of normalisation.