From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p51E3u9i022833 for ; Wed, 1 Jun 2011 16:03:56 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQAABNG5k2BsR4TkWdsb2JhbABTmBGOExQBAQEBCQsLBxQFIKkCjmKQDYYgBJUKing X-IronPort-AV: E=Sophos;i="4.65,303,1304287200"; d="scan'208";a="100299300" Received: from rolf.uib.no ([129.177.30.19]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Jun 2011 16:03:50 +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 1QRm1W-0002Av-8K; Wed, 01 Jun 2011 16:03:50 +0200 Received: from ii122127.klientdrift.uib.no [129.177.122.127]:55156 by smtp.uib.no for caml-list@inria.fr with esmtps (Exim 4.69) id 1QRm1W-0001Z6-7i; Wed, 01 Jun 2011 16:03:50 +0200 Received: from nmimb by ii122127.klientdrift.uib.no for caml-list@inria.fr with local (Exim 4.76) id 1QRm1U-0007tp-NE; Wed, 01 Jun 2011 16:03:48 +0200 Date: Wed, 01 Jun 2011 16:03:48 +0200 To: caml-list@inria.fr User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-Id: From: Marcus Aloysius Bezem X-checked-clean: by exiscan on rolf X-Scanner: 56e11306872b7445d40ea52f813701a4 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 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June Types Meeting 2011 Bergen, 8 - 11 September 2011 http://www.types.name The 18-th Workshop "Types for Proofs and Programs" will take place in Bergen, Norway from 8 to 11 September 2011. CSL'11 will take place in Bergen from 12 to 15 September: http://www.eacsl.org/csl11 The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. Invited speakers: * Georges Gonthier, Cambridge * Dag Normann, Oslo * Vladimir Voevodsky, Princeton We encourage all researchers to contribute talks on subjects related to the Types area of interest. These include, but are not limited to: - Foundations of type theory and constructive mathematics; - Applications of type theory; - Dependently typed programming; - Industrial uses of type theory technology; - Meta-theoretic studies of type systems; -Proof-assistants and proof technology; - Automation in computer-assisted reasoning; - Links between type theory and functional programming; - Formalizing mathematics using type theory. The talks may be based on newly published papers, work submitted for publication, but also work-in-progress. There are no formal pre-proceedings. More details on http://www.types.name Deadline for abstracts: June 19 Submission site: https://www.easychair.org/conferences/?conf=typespre2011 Marc Bezem, University of Bergen Bengt Nordström, Chalmers _________________________________________________________________________