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 p0LGjpeL023798 for ; Fri, 21 Jan 2011 17:45:51 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4BAFNHOU1KfVK2kGdsb2JhbACWSI4VCBUBAQEBCQkMBxEEIKNYiXuCF4RlLohYAQEDBYVLBIsfgyVs X-IronPort-AV: E=Sophos;i="4.60,359,1291590000"; d="scan'208";a="87679575" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 21 Jan 2011 17:45:46 +0100 Received: by mail-wy0-f182.google.com with SMTP id 19so1978540wyf.27 for ; Fri, 21 Jan 2011 08:45:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:content-type:mime-version:subject:from :in-reply-to:date:content-transfer-encoding:message-id:references:to :x-mailer; bh=GfgbNBt1sPxdDNMMeAP5OyY6/xmYIoU2SyxCULqlXyw=; b=VqxE4QGhU0Ld+/HitZ8NnFPZVKpYSOS3w1P0jYLLHLWX3l+BKlw5DhUHpoza5P+shf OFiKcUQqgG89HkP+StB0qPhpq5p/rfs+FKhU0qaaL58HEBQ0ojE7ohWsiooZCTL2MNBy 9JLOgfgcFrQN8vvbh8EhTjjR5GtW4xe3crlM0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=inaDrJgvkbt81nVhCgDKUdeSpFu76J8FDOJe48G9QzlPkseumfHoloFdgFhXFMxVTJ cI/5zRUw0oFf4py9KnNtKXM6B7btxSQS3Vm/E2/TOvADsIEtiSOenmO1OPOMdv9xQkVK dvQSChYZh/oKAs2zSdI8vWLpKtKIMNLO7fwL0= Received: by 10.216.153.147 with SMTP id f19mr5316621wek.40.1295628346515; Fri, 21 Jan 2011 08:45:46 -0800 (PST) Received: from [192.168.0.193] ([95.60.213.7]) by mx.google.com with ESMTPS id b30sm4994556wen.25.2011.01.21.08.45.44 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 21 Jan 2011 08:45:45 -0800 (PST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1082) From: Joel Reymont In-Reply-To: Date: Fri, 21 Jan 2011 16:45:44 +0000 Content-Transfer-Encoding: 7bit Message-Id: <350C32E4-615A-47B2-B762-4E8B437FD935@gmail.com> References: <42FE6528-E0B7-4924-98D3-EFB2137AFBD4@gmail.com> To: caml-list@inria.fr X-Mailer: Apple Mail (2.1082) Subject: [Caml-list] Re: Want: VSYML a symbolic simulator for integrated circuits in OCaml Thank you folks! I got both the presentation and the paper. --- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont