From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7957 Path: news.gmane.org!not-for-mail From: David Naumann Newsgroups: gmane.science.mathematics.categories Subject: UTP-2014 Unifying Theories of Programming - call for papers Date: Fri, 20 Dec 2013 16:20:53 -0500 (EST) Message-ID: Reply-To: David Naumann NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1387640813 27754 80.91.229.3 (21 Dec 2013 15:46:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 21 Dec 2013 15:46:53 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Dec 21 16:47:00 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VuOlY-0006Oe-Ht for gsmc-categories@m.gmane.org; Sat, 21 Dec 2013 16:47:00 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:60148) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1VuOkI-0003wD-6b; Sat, 21 Dec 2013 11:45:42 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1VuOkG-0007Cr-BZ for categories-list@mlist.mta.ca; Sat, 21 Dec 2013 11:45:40 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7957 Archived-At: ********************************************************************** 5th International Symposium on Unifying Theories of Programming co-located with FM2014 May 12 - 13, 2014 Singapore http://www.comp.nus.edu.sg/~pat/UTP2014/index.html ********************************************************************** CALL FOR PAPERS Interest in the fundamental problem of the combination of formal notations and theories of programming has grown consistently in recent years. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication. Despite these differences, such theories may be unified in a way which greatly facilitates their study and comparison. Moreover, such a unification offers a means of combining different languages describing various facets and artifacts of software development in a seamless, logically consistent way. Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged as one of the most significant such unification approaches. Based on their pioneering work, the aims of the UTP Symposium series are to reaffirm the significance of the ongoing UTP project and to stimulate efforts to advance. The Symposium provides a focus for the sharing of results by those already actively contributing, and raises awareness of the benefits of such unifying theoretical frameworks among the wider computer science and software engineering communities. To this end the Symposium welcomes contributions on all the themes that can be related to the Unifying Theories of Programming. SUBMISSIONS Papers may be up to 20 pages in length and should be prepared using LaTeX in Springer LNCS paper format. Submissions should be made through the UTP 2014 EasyChair site; instructions are at http://www.comp.nus.edu.sg/~pat/UTP2014 PUBLICATION Symposium post-proceedings will appear in Springer's Lectures Notes in Computer Science, as in past editions of the Symposium. (To be confirmed.) DATES Abstract due: January 17, 2014 Full paper due: January 24, 2014 Notification: March 7, 2014 Camera-ready for pre-proceedings: April 11, 2014 Symposium: May 12-13, 2014 CHAIR David Naumann (Stevens Institute of Technology) ORGANISATION CHAIR Jin Song DONG (National University of Singapore) PROGRAMME COMMITTEE Bernhard K. Aichernig (Graz University of Technology) Hugh Anderson (National University of Singapore) Jonathan P. Bowen (Birmingham City University) Ana Cavalcanti (University of York) Andrew Butterfield (Trinity College Dublin) Leo Freitas (Newcastle University) Jeremy Gibbons (University of Oxford) Lindsay Groves (Victoria University of Wellington) Walter Guttmann (University of Canterbury) Ian Hayes (University of Queensland) Jeremy Jacob (University of York) Zhiming Liu (Birmingham City University) David Naumann, chair (Stevens Institute of Technology) Marcel Oliveira (Universidade Federal do Rio Grande do Norte) Geguang Pu (East China Normal University) Shengchao Qin (Teesside University) Georg Struth (University of Sheffield) Jun Sun (Singapore University of Technology and Design) Meng Sun (Peking University) Burkhart Wolff (University of Paris-Sud) Naijun Zhan (Chinese Academy of Sciences) Huibiao Zhu (East China Normal University) JOINT EVENT FM 2014, the 19th International Symposium on Formal Methods http://www.comp.nus.edu.sg/~pat/FM2014/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]