coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CICM 2015 Doctoral Programme [2nd Call for Applications]

From: Muhammad Umair Siddique <muh_sidd AT encs.concordia.ca>
To: acl2 AT utlists.utexas.edu, agbkb AT informatik.uni-bremen.de, agda AT lists.chalmers.se, appsem AT lists.tcs.ifi.lmu.de, asl AT vassar.edu, cade AT itu.dk, caml-list AT inria.fr, clp AT comp.nus.edu.sg, comlab AT comlab.ox.ac.uk, complog AT cs.nmsu.edu, conferences AT computer.org, coq-club AT inria.fr, CSCW-SIG AT jiscmail.ac.uk, diglib AT infoserv.inist.fr, dl AT dl.kr.org, dml-eu AT listy.icm.edu.pl, eapls AT eapls.org, elsnet-list AT let.uu.nl, EOD AT bsb-muenchen.de, ERECS-L-request AT LISTSERV.ALBANY.EDU, event AT in.tu-clausthal.de, events AT jisc.ac.uk, gambit-users AT lists.sourceforge.net, ifla-l AT infoserv.inist.fr, info AT jisc.ac.uk, infodir_sigir AT acm.org, irlist-editor AT acm.org, kbcsl AT uni-paderborn.de, ki-inf AT uni-koblenz.de, knowwedev AT lists.uni-wuerzburg.de, kr AT kr.org, lfcs-interest AT dcs.ed.ac.uk, lics AT informatik.hu-berlin.de, lics AT research.bell-labs.com, mathgroup AT smc.vnet.net, metaprl-users AT metaprl.org, mizar-forum AT mizar.uwb.edu.pl, nqthm-users AT cs.utexas.edu, nuprl AT cs.cornell.edu, om-announce AT openmath.org, om AT openmath.org, poplmark AT lists.seas.upenn.edu, project-dml AT jacobs-university.de, project-jomdoc AT jacobs-university.de, project-kwarc-alumni AT jacobs-university.de, project-kwarc AT jacobs-university.de, project-lamapun AT jacobs-university.de, project-latexml AT lysander.jacobs-university.de, project-mathsearch AT jacobs-university.de, project-mathweb-announce AT jacobs-university.de, project-mathweb AT jacobs-university.de, project-mathwebsearch-dev AT jacobs-university.de, project-msc-lod-users AT jacobs-university.de, project-omdoc AT lysander.jacobs-university.de, project-physml AT jacobs-university.de, project-stex-announce AT jacobs-university.de, project-stex AT jacobs-university.de, proofpower AT lemma-one.com, ProofTheory.List AT gmail.com, publicity AT risc.jku.at, public-owl-dev AT w3.org, public-rif-wg AT w3.org, public-semweb-ui AT w3.org, public-sparql-dev AT w3.org, pvs AT csl.sri.com, ruleml-all AT ruleml.org, sicsa-modabs AT inf.ed.ac.uk, SIGSAM-MEMBERS AT LISTSERV.ACM.ORG, siksleden AT cs.uu.nl, spls AT mailhost.dcs.gla.ac.uk, stp AT macs.hw.ac.uk, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, twelf-list AT itu.dk, types-announce AT lists.seas.upenn.edu, users AT activemath.org, vki-list AT dfki.de, w3c-math-wg AT w3.org, webmath AT camel.math.ca, wiki-research-l AT lists.wikimedia.org, www-math AT w3.org, www-rdf-rules AT w3.org, umair_quaidian AT yahoo.com, umair.siddique AT rcms.nust.edu.pk, muh_sidd AT encs.concordia.ca
Subject: [Coq-Club] CICM 2015 Doctoral Programme [2nd Call for Applications]
Date: Fri, 17 Apr 2015 01:38:24 -0400

CALL FOR APPLICATIONS

CICM 2015 Doctoral Programme
13-17 July 2015
Washington DC, USA

http://www.cicm-conference.org/2015/cicm.php

The CICM conferences Calculemus, DML, and MKM bring together
researchers from the areas of Artificial Intelligence, computer
algebra, automated deduction, and mathematical publishing who are
interested in intelligent mathematical computation. It provides
students an excellent opportunity to get an overview of ongoing
research, challenges and meet established researchers.

The Doctoral Programme provides a dedicated forum for PhD students to
present and discuss their ideas, ongoing or planned research, and
achieved results in an open atmosphere. It will consist of
presentations by the PhD students to get constructive feedback,
advice, and suggestions from the research advisory board, researchers,
and other PhD students. Each PhD student will be assigned to an
experienced researcher from the research advisory board who will act
as a mentor and who will provide detailed feedback and advice on their
intended and ongoing research.

APPLICATIONS

Students at any stage of their PhD can apply and should submit the
following documents:

* A two-page abstract of your thesis describing your research
questions, research plans, completed and remaining research,
evaluation plans and publication plans;

* A two-page CV that includes background information (name,
university, supervisor), education (degree sought, year/status of
degree, previous degrees), employments, relevant research experience
(publications, presentations, attended conferences or workshops,
etc.)

Acceptance of applications will be based on relevance with respect to
the topics of the CICM conference.

A limited number of student grants will be available for the
conference. To apply, please indicate this when submitting your
proposal including a short explanation why you need a grant. The
decision for the grants will be based on necessity and merit.

IMPORTANT DATES

Submission of applications: May 4, 2015
Notification of acceptance: May 25, 2015

For any further questions please contact Umair Siddique
(muh_sidd AT ece.concordia.ca)

----- End forwarded message -----

[Coq-Club] CICM 2015 Doctoral Programme [2nd Call for Applications], Muhammad Umair Siddique, 04/17/2015