From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5EEQI1Q016446 for ; Tue, 14 Jun 2011 16:26:18 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AicBACBv902BsR4TlGdsb2JhbABSmA2ONBQBAQEBCQsJCRQFIKowjwOQY4YkBJYRiyA X-IronPort-AV: E=Sophos;i="4.65,364,1304287200"; d="scan'208";a="96736076" Received: from rolf.uib.no ([129.177.30.19]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Jun 2011 16:26:13 +0200 Received: from thoralf.uib.no (smtp.uib.no) [129.177.13.16] by rolf.uib.no for caml-list@inria.fr with esmtp (Exim 4.69) id 1QWUZI-00028E-FG; Tue, 14 Jun 2011 16:26:12 +0200 Received: from ii122127.klientdrift.uib.no [129.177.122.127]:54800 by smtp.uib.no for caml-list@inria.fr with esmtps (Exim 4.69) id 1QWUZI-0006QV-D2; Tue, 14 Jun 2011 16:26:12 +0200 Received: from nmimb by ii122127.klientdrift.uib.no for caml-list@inria.fr with local (Exim 4.76) id 1QWUZH-0000RS-In; Tue, 14 Jun 2011 16:26:11 +0200 Date: Tue, 14 Jun 2011 16:26:11 +0200 To: caml-list@inria.fr User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: From: Marcus Aloysius Bezem X-checked-clean: by exiscan on rolf X-Scanner: d50a7c1858142489e407542fe74d4370 http://tjinfo.uib.no/virus.html X-UiB-SpamFlag: NO UIB: -24 hits, 8.0 required X-UiB-SpamReport: spamassassin found; -15 From is listed in 'whitelist_SA' -9.0 Message received from UIB X-Validation-by: marc.bezem@ii.uib.no Subject: [Caml-list] TYPES/CSL'11: registration open, TYPES deadline approaching TYPES (8-11 September) and CSL'11 (12-15 September) 2011 in Bergen, Norway. NEWS: - Registration for TYPES/CSL'11 is now open: https://registrer.app.uib.no/csl - Booking a hotel room at a reduced rate can be done via: booking@ght.no See also: http://www.eacsl.org/csl11/#accommodation - Deadline for submitting a talk to TYPES is approaching: https://www.easychair.org/conferences/?conf=typespre2011 For more information on TYPES, see http://www.types.name/ - Pre-conference workshop "Epsilon Calculus and Constructivity": Sunday 11 September, 11h00-16h00 Invited speakers: Richard Zach, Daniel Weller and Rosalie Iemhoff Organizer: Matthias Baaz Free admission for TYPES/CSL'11 participants - A preliminary program for CSL'11 is now available: http://www.eacsl.org/csl11/program.pdf