[Hol-info] CFP Synasc 2016, Timisoara, Romania

2016-05-25 Thread Isabela Dramnesc
--- 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 ---

[Hol-info] CfPart: Int. Conference on Reliability, Safety and Security of Railway Systems

2016-05-25 Thread Alexander Romanovsky
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

[Hol-info] ThEdu at CICM'16 deadline approaching

2016-05-25 Thread Walther Neuper
Te deadline for extended abstracts is approaching ... === ThEdu'16 Theorem Prover Components for Educational Software http://www.uc.pt/en/congressos/thedu/thedu16 - - - - - - - - -