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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id D960CBC57 for ; Mon, 21 Jun 2010 16:45:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AksEAI8XH0zRVaE2kGdsb2JhbACSbYwcCBUBAQEBCQkMBxEDH7JbggsBBYUsiH4BBIJfgjyLbIJh X-IronPort-AV: E=Sophos;i="4.53,453,1272837600"; d="asc'?scan'208";a="65033042" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Jun 2010 16:45:29 +0200 Received: by fxm7 with SMTP id 7so2201168fxm.27 for ; Mon, 21 Jun 2010 07:45:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:sender:to:subject:from :organization:date:mime-version:content-type :content-transfer-encoding:message-id; bh=RV2L/qemBb+fpHkYYIh/3Q4VY+JoNSiDd/9SAs3Q+GU=; b=FhmOg/me0W69G4wFnuZ3GGV1w/sNA6xijgeJLJHeMnr+f9KZs30u19ZhgybP66M3LP 0kXzjXNI8ql/2ZmG15PI+Q41BGvo2FzqACnjd7f+baXo38Sy0vUwJ+UDc3tlH7vuPSgs 405iC39r+mXHsWLz5rbJ1uzB84ZhqvLC79SeA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=sender:to:subject:from:organization:date:mime-version:content-type :content-transfer-encoding:message-id; b=nQKQ0Ub1rlrR2NisYRQ4cyKjVrUGWs/RI51zHpB3xCbhY1YJ8dMZyS6hAkmafakNvV lO9aO9KZegUMjnI+c2WybG6wwus15hxMzERNBXFdRya3mL8lGoRorcMv7A/EHs7lY2Z2 UF3pqqXJ93V59/mOau69mMLaFzwUd+XgJOHos= Received: by 10.223.68.13 with SMTP id t13mr5013036fai.69.1277131529096; Mon, 21 Jun 2010 07:45:29 -0700 (PDT) Received: from thinkpad.localnet (p5798CB9E.dip.t-dialin.net [87.152.203.158]) by mx.google.com with ESMTPS id e16sm33191249fak.8.2010.06.21.07.45.28 (version=SSLv3 cipher=RC4-MD5); Mon, 21 Jun 2010 07:45:28 -0700 (PDT) Sender: Christoph Lange To: caml-list@inria.fr Subject: Call for Participation: Content Math Training Camp at CICM (July 5 to 9, Paris) From: Christoph LANGE Organization: Jacobs University Bremen Date: Mon, 21 Jun 2010 16:46:18 +0200 MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart8950219.J2abfMNXjd"; protocol="application/pgp-signature"; micalg=pgp-sha1 Content-Transfer-Encoding: 7bit Message-Id: <201006211646.18746.ch.lange@jacobs-university.de> X-Spam: no; 0.00; semantically:01 versioned:01 skype:01 lange:98 lange:98 disseminate:98 authoring:98 symbolic:01 computation:01 tex:01 short:01 api:02 latex:02 module:03 programming:03 X-Attachments: type="application/pgp-signature" name="signature.asc" --nextPart8950219.J2abfMNXjd Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable CONTENT MATH TRAINING CAMP and DOCTORAL PROGRAMME at Conferences on Intelligent Computer Mathematics (CICM 2010) CNAM, Paris, France 5th-9th July (note change) http://cicm2010.cnam.fr/cmtc CALL FOR PARTICIPATION CONTENT MATH TRAINING CAMP (5th-9th July): This is a training school comprising tutorial sessions and practical labs w= ith an integrated Doctoral Programme (see homepage for that). Its aim is to disseminate the latest developments and emerging trends in intelligent computational mathematics as well as to familiarise, in particular young researchers, with the leading state of the art technologies for authoring, presenting, conserving and accessing mathematical knowledge and their applications. List of topics (links, details and updates: http://cicm2010.cnam.fr/cmtc) * Gemse, a visual editor for Content and Presentation MathML 3 * OMDoc import/export of Hets (Heterogeneous Tool Set) * jEditOQMath, an editor for OMDoc documents targetting ActiveMath * JOBAD, a framework for integrating interactive mathematical services = into web documents * JOMDoc, a Java API for OMDoc * MathDox formula editor, LaTeX to MathDox translator, possibly a text+= formula editor * MMT, a module system for mathematical theories * an OpenMath Content Dictionary Editor * SCIEnce libraries for symbolic computation with OpenMath: o the SCSCP C Library (for C and C++) o possibly POPCORN and the Java libraries * sTeX, a semantically enhanced (La)TeX input language for OMDoc * TNTBase, a versioned database for XML documents (with some special OM= Doc support) If you are interested in a particular topic or have anything particular to offer, please let us know (mail to Christoph Lange ). There will be short presentations introducing most of these topics, followed by individual programming sessions. Content Math Training Camp Organisers: * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) =2D-=20 Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4= 701 --nextPart8950219.J2abfMNXjd Content-Type: application/pgp-signature; name=signature.asc Content-Description: This is a digitally signed message part. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.15 (GNU/Linux) iEYEABECAAYFAkwfezoACgkQvqg+op3jsjObeQCgmFwPNQFUMnrs8DHWsihib8Y1 oS4AoOGm5cwWvG8K2FhanDtp1CPX9zFU =MBTj -----END PGP SIGNATURE----- --nextPart8950219.J2abfMNXjd--