From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jmpoure@gooze.eu>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id BD2B27EFCD
	for <caml-list@sympa.inria.fr>; Mon, 13 Oct 2014 16:32:43 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jmpoure@gooze.eu) identity=pra; client-ip=91.121.202.220;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jmpoure@gooze.eu";
  x-sender="jmpoure@gooze.eu"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  jmpoure@gooze.eu designates 91.121.202.220 as permitted
  sender) identity=mailfrom; client-ip=91.121.202.220;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jmpoure@gooze.eu";
  x-sender="jmpoure@gooze.eu"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mx5.gooze.eu) identity=helo;
  client-ip=91.121.202.220;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jmpoure@gooze.eu";
  x-sender="postmaster@mx5.gooze.eu";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AggFAHvhO1Rbecrc/2dsb2JhbABbgw6BK4MG0QwWAX2ELA8BDQEBLAw0AiYCIWWILq5jeIUCAQWQKAaBLI82gmGBVI9kgh2LT5YRgVOCJmqCSgEBAQ
X-IPAS-Result: AggFAHvhO1Rbecrc/2dsb2JhbABbgw6BK4MG0QwWAX2ELA8BDQEBLAw0AiYCIWWILq5jeIUCAQWQKAaBLI82gmGBVI9kgh2LT5YRgVOCJmqCSgEBAQ
X-IronPort-AV: E=Sophos;i="5.04,711,1406584800"; 
   d="scan'208";a="83075982"
Received: from mx5.gooze.eu ([91.121.202.220])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Oct 2014 16:32:43 +0200
Received: from mx5.gooze.eu (localhost.localdomain [127.0.0.1])
	by mx5.gooze.eu (Postfix) with ESMTP id D894E60308
	for <caml-list@inria.fr>; Mon, 13 Oct 2014 16:32:40 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gooze.eu; s=mail;
	t=1413210760; bh=qzcxXRNV+LJGLLVxgzBpd8WiEc9FuyFaXwMC9bCap/8=;
	h=Subject:From:To:Date:From;
	b=XoYPlj6o22GAXiy8AK8azhUy5hs8klYgJfQZYBM2OgOpp3IW9MRlEEAmkJtZTVrvR
	 Hycmjmm+fCPFkVGRIXW9R3BBu8SnttcUdPxFAvssZ6pWp7gF5jqOD6SJuNVVCRivd+
	 W6bmePiLX2fC6hH6ofpIE6TXNkCdZe5Oc4Wmf/1A=
Received: from sony-vaio (soy95-2-82-236-103-229.fbx.proxad.net [82.236.103.229])
	(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
	(No client certificate requested)
	by mx5.gooze.eu (Postfix) with ESMTPSA id 71C00602BA
	for <caml-list@inria.fr>; Mon, 13 Oct 2014 16:32:40 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gooze.eu; s=mail;
	t=1413210760; bh=qzcxXRNV+LJGLLVxgzBpd8WiEc9FuyFaXwMC9bCap/8=;
	h=Subject:From:To:Date:From;
	b=XoYPlj6o22GAXiy8AK8azhUy5hs8klYgJfQZYBM2OgOpp3IW9MRlEEAmkJtZTVrvR
	 Hycmjmm+fCPFkVGRIXW9R3BBu8SnttcUdPxFAvssZ6pWp7gF5jqOD6SJuNVVCRivd+
	 W6bmePiLX2fC6hH6ofpIE6TXNkCdZe5Oc4Wmf/1A=
Message-ID: <1413210757.16678.5.camel@gooze.eu>
From: Jean-Michel =?ISO-8859-1?Q?Pour=E9?= - GOOZE <jmpoure@gooze.eu>
To: caml-list@inria.fr
Date: Mon, 13 Oct 2014 16:32:37 +0200
Content-Type: text/plain; charset="UTF-8"
X-Mailer: Evolution 3.12.5-1+b1 
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Virus-Scanned: ClamAV using ClamSMTP
Subject: [Caml-list] =?ISO-8859-1?Q?CAML_resources_for_mathematicians_/_Fr?=
 =?ISO-8859-1?Q?ench_agr=E9gation?=

Dear friends,

First, I would like to congratulate the community and the INRIA for
their hard work around CAML

I am a French student preparing for competitive examination (agrégation
in Mathematics) alone (that's the trick) and I am looking for resources
around algorithm, automata, calculus and logic with examples in CAML.

As some of you ARE mathematicians, I prefer to ask on the mailing list
whether you are aware of CALM resources for French
licence/maîtrise/classe préparatoire: any book, exercice or software
that I could study in deep.

It's a pity that I missed the CAML meeting in Paris in July, too bad, I
would have loved a discussion with you. So now let's go and play with
CAML and make it at the exam.

Any information are welcome.

Kind regards,
Kellogs