[ecoop-info] UTP 2012 - NEW SCHEDULE

[Announcements of FME events]

**********************************************************************

NEW DEADLINE EXTENSION

The UTP symposium goes to a post-proceedings
scheme (with publications in LNCS after the symposium). 

This leads to
the new following schedule: 

- submission deadline of full papers: May
31 
- review in June with notification on June 30
- revised papers for
the pre-proceedings due for July 16

The authors who already submitted
can revise their paper until the postponed deadline.

The authors will
have some time to improve their paper between the conference and the
composition
of the LNCS proceedings.

A few papers will be selected
after the conference for possible publication in FACJ.


**********************************************************************

4th International Symposium on Unifying Theories of Programming

co-located with FM2012
 August 27 - 28, 2012
 Paris, France

http://utp12.lri.fr/ [1]

**********************************************************************


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,
 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
one
 of the most significant such unification approaches to have emerged
in
 the last 15 years.

 Based on their pioneering work, the aims of the
UTP Symposium
 series are to continue reaffirming the significance of
the ongoing UTP
 project and to stimulate efforts to advance it by
providing a focus for the
 sharing of results by those already actively
contributing, and to raise
 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
[2]. Submissions should be made
 through the UTP 2012 easyChair [3].


PUBLICATION
 Symposium Proceedings will appear in Springer's Lectures
Notes in 
 Computer Science. 

 IMPORTANT DATES
 Paper submission: May
31, 2012
 Notification: June 30, 2012
 Camera-ready: July 16, 2012

Symposium: August 27-28, 2012

 INVITED SPEAKERS
 Jim Woodcock, The
University of York, United Kingdom
 Jeremy Gibbons, University of
Oxford, UK.

 CHAIRS
 Marie-Claude Gaudel (mcg at lri.fr [4])
 Burkhart
Wolff (wolff at lri.fr [5])

 ORGANISATION CHAIR
 Abderrahmane Feliachi
(feliachi at lri.fr [6])

 JOINT EVENT
 FM 2012, the 18th International
Symposium on Formal Methods
 http://fm2012.cnam.fr/ [7]


**********************************************************************

This call for papers and additional information about the symposium
 can
be found at http://utp12.lri.fr/ [8]
 For more information you can
contact: utp12 at lri.fr [9] 

-- 

 

Links:
------
[1]
http://utp12.lri.fr/
[2]
http://www.springer.de/comp/lncs/authors.html
[3]
http://www.easychair.org/conferences/?conf=utp2012
[4]
mailto:mcg at lri.fr
[5] mailto:wolff at lri.fr
[6] mailto:feliachi at lri.fr
[7]
http://fm2012.cnam.fr/
[8] http://utp12.lri.fr/
[9] mailto:utp12 at lri.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120330/a18ae59a/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: UTP12CFP.pdf
Type: 0/unknown
Size: 220068 bytes
Desc: not available
Url : http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120330/a18ae59a/attachment.bin 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Part_3.plain
Url: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120330/a18ae59a/attachment.pl 
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events