From: Michael Winter <mwinter@brocku.ca>
To: categories@mta.ca
Subject: 2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)
Date: Wed, 15 Apr 2015 14:02:43 -0400 [thread overview]
Message-ID: <E1YjTFY-0003Ei-AO@mlist.mta.ca> (raw)
----------------------------------------------------------------------------------
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/ ]
reply other threads:[~2015-04-15 18:02 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1YjTFY-0003Ei-AO@mlist.mta.ca \
--to=mwinter@brocku.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).