[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] CfP: Refinement Workshop: Turku (submissions 21 March)
- To: Eerke Boiten <E.A.Boiten@xxxxxxxxxx>
- Subject: [PVS] CfP: Refinement Workshop: Turku (submissions 21 March)
- From: Eerke Boiten <e.a.boiten@xxxxxxxxxx>
- Date: Wed, 30 Jan 2013 12:37:10 +0000
- Cc: eapls@xxxxxxxxxxxxxx, agents@xxxxxxxxxxx, cemartin@xxxxxxxxxxxxx, fmnet-request@xxxxxxxxxxxxxx, Concurrency mailing list <concurrency@xxxxxxxxxxxxxxxxx>, concurrency@xxxxxx, events@xxxxxxxxxxxx, IPA list <ipalist@xxxxxxxxxxxxxxxxx>, categories@xxxxxx, oose@xxxxxxxxxxxxxxxx, Precise UML <puml-list@xxxxxxxxxxxxx>, lotos-world@xxxxxxxxxxxxxxx, prog-lang@xxxxxxx, relmics-l@xxxxxxxxxxx, appsem@xxxxxxxxxx, acl2@xxxxxxxxxxxxx, SE world <seworld@xxxxxxxxxxxxxxx>, pvs@xxxxxxxxxxx, members@xxxxxxxxxxxx, Industrial Critical Systems <fmics@xxxxxxxxxxxx>, isabelle-users@xxxxxxxxxxxx, algprog@xxxxxxxxxxxxxxx, procos-request@xxxxxxxxxxxxxx, alloy@xxxxxxx, coq-club@xxxxxxxxxxxxxxxxx, alp-request@xxxxxxxxxxxxxx, Vereniging voor Theoretische Informatici <nvti-list@xxxxxx>, caml-announce@xxxxxxxx, theorem-provers@xxxxxxxxxx
- In-reply-to: <alpine.GSO.email@example.com>
- List-archive: <http://mls.csl.sri.com/cgi-bin/mailman/private/pvs>
- List-help: <mailto:firstname.lastname@example.org?subject=help>
- List-id: PVS <pvs.csl.sri.com>
- List-post: <mailto:email@example.com>
- List-subscribe: <http://mls.csl.sri.com/cgi-bin/mailman/listinfo/pvs>, <mailto:firstname.lastname@example.org?subject=subscribe>
- List-unsubscribe: <http://mls.csl.sri.com/cgi-bin/mailman/options/pvs>, <mailto:email@example.com?subject=unsubscribe>
- References: <alpine.GSO.firstname.lastname@example.org>
- Sender: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx
- User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130107 Thunderbird/17.0.2
Please find attached the Call for Papers for the 2013 Refinement
Workshop, co-located with IFM 2013, Turku, Finland, 11 June 2013.
Key info: submissions 21 March, EPTCS proceedings, Formal Aspects of
Computing special issue afterwards; website:
Apologies for duplicates of this email.
The organisers: Eerke Boiten, John Derrick, Steve Reeves
CFP: 2013 Refinement Workshop at IFM'13, Turku
Call for Papers: 2013 Refinement Workshop at
IFM 2013 in Turku
11 June 2013, colocated with IFM 2013 at Turku
Refinement is one of the cornerstones of a formal approach to software
engineering: the process of developing a more detailed design or
implementation from an abstract specification through a sequence of
mathematically-based steps that maintain correctness with respect to the
The aim of this BCS FACS Refinement Workshop,
is to bring together
people who are interested in the development of more concrete designs or
executable programs from abstract specifications using formal notations,
tool support for formal software development, and practical experience
with formal refinement methodologies.
The purpose of the workshop is to provide a forum for the exchange of
ideas, and discussion of common ground and key differences.
Topics of interest include (but are not limited to):
- Simulation techniques
- Foundations and semantics
- Case studies (specification and verification)
- Compositional and modular reasoning
- Time, Probability, Hybrid Systems
- Specification notations
- Programming models
- Verification and tool support
Submissions will be reviewed, workshop proceedings will
be published in
Electronic Proceedings in Theoretical Computer Science, like
the 2011 edition.
A special issue of Formal Aspects
of Computing, consisting of developments and
extensions of the 2013 workshop papers, has been agreed.
Papers will be invited for a later submission deadline (tentatively: 15 Sep 2013).
These will be refereed in the
usual fashion prior to acceptance by the journal.
- Submission: 21 March 2013
- Notification: 18 April 2013
- Workshop: 11 June 2013
- Formal Aspects of Computing submissions: 15 September 2013
Submissions can be made via EasyChair.
There is no prescribed format for submissions but accepted papers will need to use the EPTCS LaTeX macro package, see EPTCS info for authors. Papers should be no more than 16 pages.
History of the workshop
This 16th Refinement Workshop continues a long tradition in refinement workshops run under the
auspices of the British Computer Society (BCS) FACS special interest
group. Running since 1988, previous refinement workshops have been held at
Cambridge, London, Bath etc.
In 1998 the BCS refinement workshop was combined with the Australasian
Refinement Workshop to form the International Refinement Workshop, hosted
alongside Formal Methods Pacific 1998 at The Australian National University.
In 2002, the Refinement Workshop was held as an FME workshop in
Copenhagen. This and six subsequent editions (Surrey, Macau, Oxford,
Turku, Eindhoven, Limerick) have had proceedings in ENTCS or EPTCS
and a subsequent
journal special issue (most in Formal Aspects of Computing, one in
Science of Computer Programming). For more details, see
The Workshop Webpage is available from
- Eerke Boiten, University of Kent, UK (co-chair)
- John Derrick, University of Sheffield, UK (co-chair)
- Steve Reeves,
University of Waikato, NZ (co-chair)
- Richard Banach,
University of Manchester, UK
- Luis Barbosa, University
of Minho, PT
Cavalcanti, University of York, UK
- Stefan Hallerstede, Aarhus University, DK
- Stephan Merz, Inria Nancy
and LORIA, France
- Marcel Oliveira,
Universidade Federal do Rio Grande do Norte, Brazil
- Gerhard Schellhorn, Augsburg University, Germany
- Emil Sekerinski,
McMaster University, Canada
- Graeme Smith,
University of Queensland, Australia
University of Surrey, UK
- Heike Wehrheim, University of Paderborn, Germany
- (and others still to confirm)
Web pages maintained by
RefineNet webmaster and
hosted at School of Computing,
University of Kent.