From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6PCM52r005007 for ; Mon, 25 Jul 2011 14:22:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArMHAGRfLU7AH1kG/2dsb2JhbAA5JCMvTzwCBx1SDZg3AQGQCIkAoGiWFIh+hWBfBJxahxI X-IronPort-AV: E=Sophos;i="4.67,260,1309730400"; d="scan'208";a="113955292" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail1-smtp-roc.national.inria.fr with SMTP; 25 Jul 2011 14:21:59 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id CF8561217B3; Mon, 25 Jul 2011 08:21:58 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20110725122158.CF8561217B3@mcclellan.cs.miami.edu> Date: Mon, 25 Jul 2011 08:21:58 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 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 ----------------------------------------------------------------------