Description:
Discussion about the formal specification notation Z.
|
|
|
Memocode 2010 First Call for Papers
|
| |
MEMOCODE 2010 First Call for Papers The eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) will be held on July 26-28, 2010 in Grenoble, France. [link] ------------------------------ ---------------------- IMPORTANT DATES: Abstract submission deadline: February 26, 2010... more »
|
|
|
IJCAR 2010 - first call for papers
|
| |
IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning Edinburgh, UK, July 16-19, 2010 as part of FLoC 2010 - Federated Logic Conference [link] Call for Papers ---------------... more »
|
|
|
DAIS'2010: Call for papers
|
| |
****************************** ****************************** ****************** CALL FOR PAPERS 10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems DAIS 2010... more »
|
|
|
DiScoTec 2010: Call for Workshop Proposals
|
| |
[We apologize for multiple copies] DisCoTec 2010 5th International Federated Conferences on Distributed Computing Techniques Amsterdam, Netherlands, 7-9 June 2010 Call for Workshop Proposals A workshop is intended to provide a forum for members of a focused research... more »
|
|
|
SETP-10 Call for papers
|
| |
SETP-10 Call for papers The 2010 International Conference on Software Engineering Theory and Practice (SETP-10) (website: [link]) will be held during 12-14 of July 2010 in Orlando, FL, USA. SETP is an important event in the areas of Software development, maintenance, and other areas of software engineering and related topics.... more »
|
|
|
SBMF 2010 - First Call for Papers
|
| |
SBMF 2010 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS Natal, Rio Grande do Norte, Brazil November 8-12, 2010 SBMF 2010 is the thirteenth of a series of events devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems. It is now a well-established event, with a very good national and international reputation. SBMF is the main event on formal methods in Brazil, qualified as one of the high quality national events by Brazilian research agencies. Besides technical sessions, the symposium presents invited speakers from the international communi... more »
|
|
|
Reminder: last week to submit to CAL'2010
|
| |
Call for papers CAL'2010: 4th Conference on Software Architectures, Pau, March 9-11, 2010 [link] After Nantes in 2006, Montreal in 2008 and Nancy 2009, the fourth edition of the Conference on Software Architectures will be held in Pau in March 2010. CAL 2010 proposes to again bring together the... more »
|
|
|
|
