From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8594 Path: news.gmane.org!not-for-mail From: Michael Winter Newsgroups: gmane.science.mathematics.categories Subject: 2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015) Date: Wed, 15 Apr 2015 14:02:43 -0400 Message-ID: Reply-To: Michael Winter NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1429365545 13721 80.91.229.3 (18 Apr 2015 13:59:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 18 Apr 2015 13:59:05 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Apr 18 15:58:55 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YjTGo-0004PD-Cw for gsmc-categories@m.gmane.org; Sat, 18 Apr 2015 15:58:54 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:47417) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YjTFZ-0004kw-Sa; Sat, 18 Apr 2015 10:57:37 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YjTFY-0003Ei-AO for categories-list@mlist.mta.ca; Sat, 18 Apr 2015 10:57:36 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8594 Archived-At: ---------------------------------------------------------------------------------- 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015) 28 September to 1 October 2015, Braga, Portugal URL: http://ramics2015.di.uminho.pt ======= Student Track (PhD / MSc) ======= The RAMiCS Conference is the main forum for Relational and Algebraic Methods in Computer Science. Special focus lies on formal methods for software engineering, logics of programs and links with neighbouring disciplines. If you are currently doing a PhD or an MSc in the research areas of the RAMiCS conference, then please consider submitting a short description of your ongoing work for presentation at the conference (if accepted). This is an excellent opportunity to discuss your work with leading experts in this field. Submissions for the student session should take the form of extended abstracts. They must be unpublished and not submitted for publication elsewhere. They need to be in English, in postscript or pdf format, not exceeding 6 pages produced with LaTeX in Springer LNCS style to be found under http://www.springer.de/comp/lncs/authors.html. Student papers will not be published in the conference proceedings - they will be bound into a technical report to become available from RepositoriUM, the University of Minho's central on-line repository. Send submissions to: mwinter.ca or jno.uminho.pt Submission deadline: 03 July 2015 Author Notification: 17 July 2015 ---------------------------------------------------------------------------------- ? ? ? ? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]