From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 4D307BC57 for ; Fri, 2 Apr 2010 20:27:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUCANLTtUvBqiXenGdsb2JhbACPT4t6FQEBAQEBCAsICREitEeFBQQ X-IronPort-AV: E=Sophos;i="4.51,354,1267398000"; d="scan'208";a="48293975" Received: from bullfinch.risc.uni-linz.ac.at ([193.170.37.222]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 02 Apr 2010 20:27:13 +0200 Received: from buffalo.risc.uni-linz.ac.at (root@buffalo.risc.uni-linz.ac.at [193.170.37.92]) by bullfinch.risc.uni-linz.ac.at (8.13.8/8.13.8/Debian-3+etch1) with ESMTP id o32IRCRT030628 for ; Fri, 2 Apr 2010 20:27:13 +0200 Received: from buffalo.risc.uni-linz.ac.at (tkutsia@localhost [127.0.0.1]) by buffalo.risc.uni-linz.ac.at (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id o32IRCFN022811 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Fri, 2 Apr 2010 20:27:12 +0200 Received: (from tkutsia@localhost) by buffalo.risc.uni-linz.ac.at (8.14.3/8.14.3/Submit) id o32IRCJj022810 for caml-list@inria.fr; Fri, 2 Apr 2010 20:27:12 +0200 Date: Fri, 2 Apr 2010 20:27:12 +0200 From: Temur Kutsia To: caml-list@inria.fr Subject: LOPSTR'10: New deadline for extended abstract submission Message-ID: <20100402182712.GA22804@risc.uni-linz.ac.at> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; logic-based:01 synthesis:01 co-located:01 ppdp:01 abstract:01 abstract:01 deadline:05 deadline:05 submission:05 submission:05 conferences:08 symposium:09 extended:11 extended:11 www:84 ========================================================================= 20th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2010 http://www.risc.uni-linz.ac.at/conferences/lopstr2010/ Hagenberg, Austria, July 23-25, 2010 (co-located with PPDP 2010) ========================================================================= New deadline for extended abstract submission: April 7, 2010