From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA32332; Mon, 19 Jan 2004 20:16:40 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA32654; Mon, 19 Jan 2004 20:16:34 +0100 (MET) Received: from mailhost.cs.man.ac.uk (mailhost.cs.man.ac.uk [130.88.192.14]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id i0JJGXv27593; Mon, 19 Jan 2004 20:16:33 +0100 (MET) Received: from ulipc ([130.88.192.16] helo=ulipc.cs.man.ac.uk) by mailhost with esmtp (Exim 4.14) id 1AiesV-0001xs-LI; Mon, 19 Jan 2004 19:16:03 +0000 Received: by ulipc.cs.man.ac.uk (Postfix, from userid 1698) id 4D3011C1EE; Mon, 19 Jan 2004 19:15:58 +0000 (GMT) From: Ulrike Sattler To: ftp-ws-community@mpi-sb.mpg.de, rewriting@ens-lyon.fr, kgs@logic.tuwien.ac.at, theorynt@listserv.nodak.edu, qed@mcs.anl.gov, aisb@cogs.sussex.ac.uk, behavior@cs.ucsd.edu, caml-list@pauillac.inria.fr, categories@mta.ca, ccl@ps.uni-sb.de, clp@comp.nus.edu.sg, comlab@comlab.ox.ac.uk, complog@cs.nmsu.edu, compulognet-parimp@dia.fi.upm.es, coq-club@pauillac.inria.fr, dbworld@cs.wisc.edu, facs@lboro.ac.uk, formal-methods@cs.uidaho.edu, info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, it-announce@cs.usyd.edu.au Subject: [Caml-list] Doctoral Programme, IJCAR 2004 Message-Id: <20040119191558.4D3011C1EE@ulipc.cs.man.ac.uk> Date: Mon, 19 Jan 2004 19:15:58 +0000 (GMT) X-Spam-Score: -4.8 (----) X-Scanner: exiscan for exim4 (http://duncanthrax.net/exiscan/) *1AiesV-0001xs-LI*beGCpIM/0Go* X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ijcar:01 2004:99 ijcar:01 2004:99 thesis:01 allowance:99 housing:99 lncs:01 advisor:99 thesis:01 contacts:98 reasoning:02 reasoning:02 ian:02 slide:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear all, sorry for multiple postings: please distribute the call for papers for the Doctoral Programme of IJCAR 2004 attached below to your graduate students. Best regards, Ulrike Sattler ====================================================================== IJCAR 2004 Doctoral Programme The IJCAR 2004 Doctoral Programme will provide a forum for graduate students to discuss and explore their research interests and career objectives with each other and with established researchers in Automated Reasoning. The aims of the Doctoral Programme are the following: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in the same area; * to support students with information and advice on academic, research, and industrial careers; * to financially support students by covering the conference registration fee and by partially contributing to travel expenses. The programme will consist of students' presentations and tutorials given by senior researchers in the field. In addition, a mentoring programme will be organized to help partizipants to meet and talk to researchers working in related fields. ====================================================================== Doctoral Programme tutorials We will have the following short tutorials (this list is not complete, tenative, and might be subject to change): * Sebastian Brandt: How to prepare the perfect slide show * Alan Bundy: How to get a PhD in Informatics * Ian Horrocks: How to realise experimental implementations * Toby Walsh: How to write a PhD thesis ====================================================================== Partizipation and Submissions: We encourage submissions from Ph.D. students at any level, and from any topic area and methodology within automated reasoning. On the basis of the submissions, the Programme Committee will select a group of students that will be invited to present their work during the Doctoral Programme, and also to present a poster at the IJCAR 2004 poster session. We expect a commitment from all participating students to attend the entire Doctoral Programme. Moreover, for the accepted students, we will provide free IJCAR conference registration and a fixed allowance for travel/housing. The students' abstracts will be made available on the web and included in the conference proceedings. Partizipation is by invitation only, and invitations will be based on submissions. Applicants should submit by e-mail to Ulrike Sattler at sattler@cs.man.ac.uk an extended abstract of max. 5 pages in length following the usual LNCS style format. The extended abstract should be sent either as a PostScript or as a Pdf file. It should describe original work, completed or in progress, that is part of the doctoral work of the student. If an extended version of the paper is also submitted to the technical programme, please indicate it in the submission. Double submission is acceptable, but if the paper is accepted for the technical programme, the student will present the work only in the technical programme sessions and not during the Doctoral Programme. In addition, the dissertation advisor should send a letter of recommendation by e-mail to sattler@cs.man.ac.uk. The letter should include the expected date for thesis submission, and the motivation/expected benefit for the student to attend the Doctoral Programme. This letter can be sent in as either a text or a PostScript or a Pdf file. ====================================================================== Important Dates: * February 6, 2004: Deadline for application submissions * March 19, 2004: Acceptance Notification * April 14, 2004: Final version due * July 4 - 8, 2003: IJCAR 2004 with Doctoral Programme For more information, see the IJCAR-DP 2004 web page at http://www.cs.man.ac.uk/~sattler/IJCAR-04-DP.html ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners