From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8553 Path: news.gmane.org!not-for-mail From: Michael Winter Newsgroups: gmane.science.mathematics.categories Subject: CALL FOR PhD/MSc Contributions (RAMiCS 2015) Date: Mon, 16 Mar 2015 09:07:54 -0400 Message-ID: Reply-To: Michael Winter NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1426516337 8923 80.91.229.3 (16 Mar 2015 14:32:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 16 Mar 2015 14:32:17 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Mar 16 15:31:57 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 1YXW3a-00075w-4m for gsmc-categories@m.gmane.org; Mon, 16 Mar 2015 15:31:50 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:40976) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YXW2x-00048y-6A; Mon, 16 Mar 2015 11:31:11 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YXW2u-0006uL-7n for categories-list@mlist.mta.ca; Mon, 16 Mar 2015 11:31:08 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8553 Archived-At: 4th CALL FOR PAPERS (with deadline extension) 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 PDF: http://ramics2015.di.uminho.pt/RAMiCS15-CFP.pdf Scope ----- We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Particular topics of interest for the conference cover, but are not limited to: * Algebraic approaches to - specification, development, verification, and analysis of programs and algorithms - computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics - semantics of programming languages * Applications in fields such as - relational formal methods such as B, Alloy or Z, tabular methods - information systems - graph theory and combinatorial optimisation - games, automata and language theory - spatio-temporal reasoning, knowledge acquisition - preference and scaling methods, computational social choice, social software * Theoretical foundations and supporting tools, including - mechanised and automated reasoning, decision procedures - process algebras, fixed point calculi, idempotent semirings, quantales, allegories - dynamic algebras, cylindric algebras and their applications in computing History ------- Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA. The predecessors of this conference were held in Dagstuhl (January 1994), Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998), Qu?bec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2001), Malente (April 2003), St. Catharines (January 2005), Manchester (September 2006), Frauenw?rth (April 2008), Doha (November 2009), Rotterdam (June 2011), Cambridge UK (September 2012) and Marienstatt im Westerwald (April 2014). Student Program --------------- If you are doing a PhD or an MSc in the research areas of the RAMiCS conference please consider submitting an extended abstract of your ongoing work for presentation at the conference. See http://ramics2015.di.uminho.pt/student for details. Proceedings and Submission -------------------------- All papers will be formally reviewed. We plan to publish the proceedings in the series Lecture Notes in Computer Science ready at the conference. Submissions must be in English, in Postscript or PDF format, and provide sufficient information to judge their merits. They must be unpublished and not submitted for publication elsewhere. They should not exceed 16 pages in Springer LNCS style (accepted papers must be produced with LaTeX). Additional material may be provided by a clearly marked appendix or a reference to a manuscript on a website. This may be considered at the discretion of the PC. Deviation from these requirements may cause immediate rejection. One author of each accepted paper is expected to present the paper at the conference. Submission is via EasyChair at the following address: https://www.easychair.org/conferences/?conf=ramics15 Formatting instructions and the LNCS styled files can be obtained via: http://springer.de/comp/lncs/authors.html As for the earlier conferences of this series, it is also intended to publish a selection of the best papers in revised and extended form in a special issue of the Journal of Logic and Algebraic Methods in Programming (JLAMP). Important Dates --------------- Full papers: Title and abstract submission: April 01 2015 Submission of full papers: April 09 2015 Notification: June 05 2015 Final versions due (firm deadline): July 10 2015 Student track: Submission of PhD/MSc extended abstracts: July 03 2015 Notification: July 17 2015 Conference: September 28 - October 01 2015 Invited Speakers ---------------- Ernst-Erich Doberkat (Technische Universit?t Dortmund, Germany) Gheorghe Stefanescu (Universitatea din Bucuresti, Romania) Ian Hodkinson (Imperial College, UK) Programme Committee ------------------- Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Marcelo Frias (Buenos Aires, Argentina) Steven Givant (Mills College, USA) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK) Walter Guttmann (Canterbury, New Zealand) Robin Hirsch (London, UK) Peter H?fner (NICTA, Australia) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Wolfram Kahl (McMaster U., Canada) Rodger Maddux (Iowa State U., USA) Ali Mili (NJIT, U. Heights, USA) Bernhard M?ller (U. Augsburg, Germany) Martin E. M?ller (U. Augsburg, Germany) Jos? N. Oliveira (U. Minho, Portugal; General chair) Ewa Or?owska (Warsaw, Poland) Agnieszka Rusinowska (Univ. Paris 1, France) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Isar Stubbe (U. Littoral-C?te-d'Opale, France) Michael Winter (Brock U., Canada; PC chair) Steering Committee ------------------ Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Bernhard M?ller (U. Augsburg, Germany) Jos? N. Oliveira (U. Minho, Portugal) Ewa Or?owska (Warsaw, Poland) Gunther Schmidt (Munich, Germany) Michael Winter (Brock U., Canada) Organising Committee -------------------- Jos? N. Oliveira (U. Minho, Portugal; General chair) Michael Winter (Brock U., Canada; PC chair) Lu?s S. Barbosa (U. Minho, Portugal) Manuel A. Cunha (U. Minho, Portugal) Ant?nio N. Ribeiro (U. Minho, Portugal) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]