Lambda the Ultimate

One of the traditions of LtU is to mention this event every year (or, to be exact, for Ken to mention this event every year).

Mostly oriented towards natural languages, the summer schools usually offers courses that are focused on computational aspects. Aside from that, we often find courses on topics that are more directly related to programing languages.

A few examples:

• Proof-theoretic methods in computational linguistics (Part I Natural deduction and sequent calculus)
• Proof-theoretic methods in computational linguistics (Part II The lambda-calculus and the Curry-Howard Isomorphism)
• Model-theoretic Syntax Foundations --- Linguistic Aspects
• GF - Grammatical Framework
• Constraint Satisfaction, Complexity, and Logic
• Inductive and coinductive types
• Concurrency Verification

I, perosnally, am very interested in the topics of the Language Evolution and Computation course. It should interest the other LtU regulars who are interested in theoretical approaches to biology.

Posted to general by Ehud Lamm on 1/22/03; 9:10:33 AM