posted by user: hossein_haeri || 1849 views || tracked by 6 users: [display]

UTP 2014 : Unifying Theories of Programming

FacebookTwitterLinkedInGoogle


Conference Series : Unifying Theories of Programming
 
Link: http://www.comp.nus.edu.sg/~pat/UTP2014
 
When May 12, 2014 - May 13, 2014
Where Singapore
Abstract Registration Due Jan 17, 2014
Submission Deadline Jan 24, 2014
Notification Due Mar 7, 2014
Final Version Due Apr 11, 2014
Categories    programming languages   theoretical computer science
 

Call For Papers

**************************************************************
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 differ ences, 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 Fe deral 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/

Related Resources

SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering
TLT 2017   15th International Workshop on Treebanks and Linguistic Theories
SETTA 2017   3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications
LearnAut 2017   Learning and Automata - LICS 2017 Workshop
VSTTE 2017   9th Working Conference on Verified Software: Theories, Tools, and Experiments
CfP - CONCUR 2017   Call for Papers - 28th International Conference on Concurrency Theory
IEEE SSCI 2017   2017 IEEE Symposium Series on Computational Intelligence
NCMA 2017   9-th International Workshop on Non-Classical Models of Automata and Applications