Description:
Formal specification methods in general.
|
|
|
Call for Papers: 15th International Conference on Formal Engineering Methods (ICFEM 2013)
|
| |
ICFEM 2013 CALL FOR PAPERS
15th International Conference on Formal Engineering Methods (ICFEM 2013)
Queenstown, New Zealand, 29 October - 1 November 2013
[link]
The 15th International Conference on Formal Engineering Methods (ICFEM 2013) will be held at the Crowne Plaza Hotel in Queenstown, New Zealand from 29 October to 1 November 2013. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit.... more »
|
|
|
FM 2012 Call for Participation
|
| |
============================== ==================
CALL FOR PARTICIPATION
FM 2012: 18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
August 27-31, 2012
CNAM, Paris, France
[link]
============================== ==================
CONFERENCE SCOPE
FM 2012 is the eighteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers.... more »
|
|
|
Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
| |
Turing`s Worlds event to celebrate the centenary of Alan Turing
[link]
Location:
Rewley House
1 Wellington Square
Oxford
Dates: Sat 23 to Sun 24 Jun 2012
Subject area: Mathematics
Fees: From £100.00
Applications being accepted (online booking available)
Course code: O11P222MAR... more »
|
|
|
