[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CSL call for participation



---------------------------------------------------------------------

   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

----------------------------------------------------------------------