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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id CCC3FBBAF for ; Wed, 5 May 2010 17:26:26 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcBACIr4UvRVaE2mGdsb2JhbACdPQgVAQEBAQEICQwHESKtaIIFAQWFL4h8AQSFE4sFgk2BcQ X-IronPort-AV: E=Sophos;i="4.52,333,1270418400"; d="scan'208";a="58709368" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 May 2010 17:26:26 +0200 Received: by fxm15 with SMTP id 15so4030178fxm.27 for ; Wed, 05 May 2010 08:26:26 -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=d8NIhbz+gSVBGENNg9KTjVhLGN+RyNVPoeHHcE0E5X4=; b=NBlkYdsBD6LamniLK6hsWPEmLF6kKC69KLje6ItAiU01O5K5shuvkj6ZZVoa5DdwTs r75PFvs+tbsYp266kedr0wBGFdRF6ixYCeomvJXaC+0mIHV1vsPIp1O6isV6UK1gVJpq wKKv0XPpI6tI7c5ORiYxQr9wHWCNIIyFMctvE= 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=MeD/oPo5Mh+4kXMvaf3J/uajWCWf342Q6ACxBcX9msy/QK6BtBUbN1z3oNDKNXYP7f LISWIK0z7fQYbbSvE09ghL9MO0qjJC2g4kQ0LzERKPdk/M+E6UQQlnXzY1h7PUGAGkHA VLK2nF3zpLJGQKJqvbFZzCwCjLP2ICieIyfCc= Received: by 10.102.207.1 with SMTP id e1mr1160983mug.122.1273073185989; Wed, 05 May 2010 08:26:25 -0700 (PDT) Received: from localhost.localnet (firewallix.jacobs-university.de [212.201.44.245]) by mx.google.com with ESMTPS id 12sm30666379muq.33.2010.05.05.08.26.20 (version=SSLv3 cipher=RC4-MD5); Wed, 05 May 2010 08:26:21 -0700 (PDT) Sender: Christoph Lange To: asl@vassar.edu, CADEinc@cs.albany.edu, caml-list@inria.fr, categories@mta.ca, ccl@ps.uni-sb.de, ckbs-int@cs.keele.ac.uk, clp@comp.nus.edu.sg Subject: Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9) From: Christoph LANGE Organization: Jacobs University Bremen Date: Wed, 5 May 2010 17:26:18 +0200 MIME-Version: 1.0 Content-Type: Text/Plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-Id: <201005051726.19264.ch.lange@jacobs-university.de> X-Spam: no; 0.00; supervisor:01 dfki:01 skype:01 lange:98 lange:98 disseminate:98 authoring:98 short:01 artificial:01 preliminary:03 tutorials:03 let:03 tutorial:03 christoph:04 christoph:04 CONTENT MATH TRAINING CAMP and DOCTORAL PROGRAMME at Conferences on Intelligent Computer Mathematics (CICM 2010) CNAM, Paris, France 6th-9th July http://cicm2010.cnam.fr/cmtc CALL FOR PROPOSALS/PARTICIPATION Deadline: 1st June Some Student Grants Available! CONTENT MATH TRAINING CAMP (6th-9th July): This is a training school comprising tutorial sessions and practical labs with an integrated Doctoral Programme (see below). 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. Preliminary list of topics: http://cicm2010.cnam.fr/cmtc Please let us know what you are particularly interested in by June 1 (mail to Christoph Lange ). Deadline for your own presentation proposals: 1st June Acceptance notification: 8th June DOCTORAL PROGRAMME (7th-9th July): PhD students at any level, working on a research topic related to the CICM'10 conferences may apply for participation in the Doctoral Programme. Application documents shall be sent to Volker Sorge and they should consist of: * A brief (max. 1 page) summary of the PhD topic * A short letter of recommendation from the supervisor * A statement whether the student applies for a grant or not (Some financial support for travel and attendance is available) Application deadline: 1st June Acceptance notification: 8th June The Doctoral Programme will enable graduate students to discuss and present their research and ideas, and gain feedback from respected researchers within the areas of Mathematics, Computer Science and Artificial Intelligence. It is integrated with the Content Math Training Camp (see above). The Doctoral Programme will also promote contacts between participating students and provide information on careers opportunities in academia, research and industry. Moreover, tutorials from experienced researchers are planned as well as a social programme including some sports event. Details: http://cicm2010.cnam.fr/cmtc/doctoral.html Board of Senior Scientists: * Serge Autexier (DFKI Bremen, Germany),Chair * John Campbell (University College London, UK) * James H. Davenport (University of Bath, UK) * Michael Kohlhase (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) Content Math Training Camp Organisers: * Michael Kohlhase (Jacobs University Bremen, Germany) * Christoph Lange (Jacobs University Bremen, Germany) * Volker Sorge (University of Birmingham, UK) -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701