---
Final Call for Papers
--
SYNASC 2016
18th International Symposium on
Symbolic and Numeric Algorithms for Scientific Computing
September 24-27, 2016, Timisoara, Romania
http://synasc.ro/2016
Aim
---
International Conference on
Reliability, Safety and Security of Railway Systems:
Modelling, Analysis, Verification and Certification
http://conferences.ncl.ac.uk/rssrail/
28-30 June 2016
Espace du Centenaire, Maison de la RATP, Paris, France
Call for Participation
Conference Aims:
* to bring
Te deadline for extended abstracts is approaching ...
===
ThEdu'16
Theorem Prover Components for Educational Software
http://www.uc.pt/en/congressos/thedu/thedu16
- - - - - - - - -