Call for Work-in-Progress Papers
Conference on Intelligent Computer Mathematics
CICM 2015
13-17 July 2015
Washington DC, USA
Digital and computational solutions are becoming the
Dear all,
I'd like to draw your attention to the fact that applications for the
European Master's Program in Computational Logic are still possible
UNTIL 31 May 2015.
More details are given below.
Please spread this information as wide as possible among friends and
colleagues, at your old
The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy
is happy to announce the availability of
xSAP 1.0.0
xSAP is a tool for safety assessment of synchronous finite-state and
infinite-state systems, based on symbolic model checking techniques.
xSAP provides the following main
(Our apologies if you receive multiple copies of this CFP)
Soft Computing Methods for the Design, Deployment,
and Reliability of Networks and Network Applications
(SOFTNET 2015)
in conjunction with IFIP NTMS 2015
27-29
(Our apologies if you receive multiple copies of this CFP)
Workshop on Wireless Sensor Networks
Architectures, Deployments, and Trends (WSN-ADT)
in conjunction with IFIP NTMS 2015
27-29 July 2015, Paris, France
[Apologies if you receive multiple copies]
Mathematics in Computer Science
Special Issue on Geometric Computation
CALL FOR PAPERS
This special issue of Mathematics in Computer Science, organized in