AiML 2012 (Advances in Modal Logic) http://hylocore.ruc.dk/aiml2012/

...

From the point of view of the categories community, the following special session may be of particular interest:

SPECIAL SESSION ON MODALITES FOR TYPES with Lars Birkedal as invited speaker. Recent years have witnessed significant growth of interest in constructive type-theoretical modalities, inparticular modalities ensuring productivity and type safety of (co-)recursive definitions in reactive programming. Some earlier examples include the use of modalities for staged computation, metaprogramming or in computational lambda-calculus. In order to boost interaction between programming, type-theoretical and modal communities, AiML 2012 will host a special session on these topics. Deadline for submission of papers: 30 March 2012 Best regards on behalf of the AiML PC, Alexander Kurz, Tadeusz Litak [For admin and other information see: http://www.mta.ca/~cat-dist/ ]