posted by user: jpbowen || 6439 views || tracked by 9 users: [display]

UTP 2016 : The 6th International Symposium on Unifying Theories of Programming

FacebookTwitterLinkedInGoogle


Conference Series : Unifying Theories of Programming
 
Link: http://utp2016.ecnu.edu.cn/
 
When Jun 4, 2016 - Jun 5, 2016
Where Reykjavík, Iceland
Submission Deadline Mar 20, 2016
Notification Due Apr 15, 2016
Final Version Due Apr 29, 2016
Categories    computer science   programming   formal methods   theoretical computer science
 

Call For Papers

Call for Papers
UTP 2016
6th International Symposium on Unifying Theories of Programming
June 4–5, 2016, Reykjavík, Iceland, Co-located with iFM 2016
http://utp2016.ecnu.edu.cn

Overview
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.

Venue and Event
UTP 2016 will be held at Reykjavík, Iceland on 4 - 5 June 2016, co-located with iFM 2016.

Important Dates
Abstracts due: 18 March, 2016 (extended)
Papers due: 20 March, 2016 (extended)
Author notification: 15 April, 2016
Camera-ready for pre-proceedings: 29 April, 2016
Symposium: 4-5 June, 2016

Invited Speakers
Tony Hoare (Microsoft Research, Cambridge, UK)
Jifeng He (East China Normal University, China)

PC Chairs
Jonathan Bowen (London South Bank University, UK)
Huibiao Zhu (East China Normal University, China)

Programme Committee:
Ana Cavalcanti, University of York, United Kingdom.
Yifeng Chen, Peking University, China.
Andrew Butterfield, Trinity College Dublin, Ireland.
Jeremy Gibbons, University of Oxford, United Kingdom.
Lindsay Groves, Victoria University of Wellington, New Zealand.
Walter Guttmann, University of Canterbury, New Zealand.
Ian Hayes, University of Queensland, Austria.
Jeremy Jacob, University of York, United Kingdom.
Zhiming Liu, Birmingham City University, United Kingdom.
David Naumann, Stevens Institute of Technology, USA.
Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil.
Shengchao Qin, Teesside University, United Kingdom.
Georg Struth, University of Sheffield, United Kingdom.
Jun Sun, Singapore University of Technology and Design, Singapore.
Meng Sun, Peking University, China.
Burkhart Wolff, University of Paris-Sud, France.
Naijun Zhan, Chinese Academy of Sciences, China.
Yongxin Zhao, East China Normal University, China.
Frank Zeyda, Teesside University, United Kingdom.

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 2016 EasyChair site.

https://www.easychair.org/conferences/?conf=utp2016

Publication
Symposium post-proceedings will appear in Springer's Lectures Notes in Computer Science, as in past editions of the Symposium. (To be confirmed.)

Previous UTP Symposia
UTP 2016 is the 6th symposium in the UTP series. The past UTP symposia were successfully held in Durham ('06), Dublin ('08), Shanghai ('10), Paris ('12), Singapore ('14).

Related Resources

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
LAK 2024   14th International Conference on Learning Analytics and Knowledge
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
Critical Plant Theories and Cultures: Ex 2024   Call For Papers - Critical Plant Theories and Cultures: Exploring Human and More-than-human World Entanglements
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)