==
CALL FOR PAPERS
CADE-23
23nd International Conference on Automated Deduction
Wroclaw, Poland
July 31- August 5, 2011
2nd Call for Papers for WRiSE 2011
First International Workshop of Rigorous Systems Engineering
April 10, Salzburg, Austria
http://fmv.jku.at/wrise11
Important Dates
---
Submission February 6
NotificationMarch 6
WorkshopApril 10
Invited Talks
-
George
==
We apologize if you receive multiple copies of this CFP.
Please distribute to anyone who may be interested.
==
Call for Papers
*** Apologies for multiple copies ***
We are glad to announce the publication of the following book:
Design and Safety Assessment of Critical Systems
by Marco Bozzano and Adolfo Villafiorita
CRC Press (Taylor and Francis Group), November 2010.
An introduction to the area of design and
[We apologize for multiple copies]
Final Call for Papers
DisCoTec 2011
6th International Federated Conferences on
Distributed Computing