GENERAL INFORMATION

    Types for Proofs and Programs (TYPES) is a forum to present
    new and on-going work in all aspects of type theory and its
    applications, especially in computer programming and in formalized
    and computer-assisted reasoning, see: http://www.types.name/

    Computer Science Logic (CSL) is the annual conference of the
    European Association for Computer Science Logic (EACSL).
    The conference is intended for computer scientists whose
    research activities involve logic, as well as for logicians
    working on issues significant for computer science.
    A preliminary program for CSL'11 is now available:
    http://www.eacsl.org/csl11/program.pdf

    The pre-conference workshop Epsilon Calculus and Constructivity
    on Sunday 11 September is free for TYPES/CSL'11 participants

REGISTRATION for TYPES/CSL'11: https://registrer.app.uib.no/csl
    Early registration deadline: 1 August 2011

BOOKING a hotel room at a reduced rate can be done via: booking@ght.no
    NB limited availability, and the offer expires 1 August 2011,
    see: http://www.eacsl.org/csl11/#accommodation