--------------------------------------------------------------------- CALL FOR PARTICIPATION, EARLY REGISTRATION DEADLINE APPROACHING TYPES 2011, 8-11 September, http://www.types.name/ CSL 2011, 12-15 September, http://www.eacsl.org/csl11 Bergen, Norway 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 ---------------------------------------------------------------------- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]