Submitted by Anonymous on Wed, 10/05/2016 - 12:42pm
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Submitted by Anonymous on Wed, 10/05/2016 - 12:42pm
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Submitted by Anonymous on Wed, 10/05/2016 - 12:35pm
The Rigorous System Design team at Verimag Laboratory (http://www-verimag.imag.fr/rsd.html), Grenoble, France, is offering 4 Post-doc positions. We are looking for responsible and mature post-doc who can contribute to the group activities including tool development, handling industrial case-studies and developing the underlying theoretical foundations. In particular, the candidate should be able to help in the following projects and topics:
1 - 3 December 2016 | Lebanese University, Lebanon | http://osscom2016.osscom.org/ Partially funded by EC - Tempus and technically sponsored by IEEE Objectives.
1 - 3 December 2016 | Lebanese University, Lebanon | http://osscom2016.osscom.org/ Partially funded by EC - Tempus and technically sponsored by IEEE Objectives.
