From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <till@informatik.uni-bremen.de>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id B5A11BBAF
	for <caml-list@yquem.inria.fr>; Fri, 21 May 2010 14:31:28 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnIBAKcZ9kuGZskSiWdsb2JhbACSBgEBjC4BAQEVEREFHawmkCWFEgQ
X-IronPort-AV: E=Sophos;i="4.53,278,1272837600"; 
   d="scan'208";a="51604373"
Received: from mailhost.informatik.uni-bremen.de (HELO informatik.uni-bremen.de) ([134.102.201.18])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 May 2010 14:31:28 +0200
X-Virus-Scanned: amavisd-new at informatik.uni-bremen.de
Received: from x05.informatik.uni-bremen.de. (x05.informatik.uni-bremen.de [IPv6:2001:638:708:30c9:219:d1ff:fea4:a946])
	by informatik.uni-bremen.de (8.14.3/8.14.3) with ESMTP id o4LCUq15018235
	for <caml-list@inria.fr>; Fri, 21 May 2010 14:31:26 +0200 (CEST)
Received: from till by x05.informatik.uni-bremen.de. with local (Exim 4.69)
	(envelope-from <till@informatik.uni-bremen.de>)
	id 1OFRN1-0006uf-Rl
	for caml-list@inria.fr; Fri, 21 May 2010 14:30:31 +0200
To: caml-list@inria.fr
Subject: Call for Participation: 20th WADT, July 1-4, 2010
Message-Id: <E1OFRN1-0006uf-Rl@x05.informatik.uni-bremen.de.>
From: Till Mossakowski <till@informatik.uni-bremen.de>
Date: Fri, 21 May 2010 14:30:31 +0200
X-Spam: no; 0.00; algebraic:03 deadline:05 informatik:07 informatik:07 workshop:08 uni-bremen:13 uni-bremen:13 www:84 2010:83 2010:83 U4:82 U4:82 receive:81 germany:21 techniques:22 

             [sorry if you receive this more than once]

                   CALL FOR PARTICIPATION

                         WADT 2010
                20th International Workshop on
               Algebraic Development Techniques
               July 1-4, 2010, Etelsen, Germany

                 Program and registration at
       http://www.informatik.uni-bremen.de/WADT2010/
        Contact: wadt2010@informatik.uni-bremen.de

           Registration deadline: May 31st, 2010