Alexander Kurz | 2 Mar 16:14 2012
Picon
Picon

AiML 2012: final CfP, with a special session "Modalities for Types"

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/ ]


Gmane