============================================================================ Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to: VECoS 2017, 11th International Conference on Verification and Evaluation of Computer and Communication Systems. *The submission deadline is April 24, 2017.* Authors of selected papers will be invited to submit extended article versions in a special issue of Innovations in Systems and Software Engineering : A NASA Journal <http://www.springer.com/computer/swe/journal/11334>or of International Journal of Critical Computer-Based Systems <http://www.inderscience.com/jhome.php?jcode=ijccbs> ============================================================ =================
*VECoS 2017* *Call for Papers* 11th International Conference on Verification and Evaluation of Computer and Communication Systems August 24-25, 2017 Montréal, Canada https://vecos.ensta-paristech.fr/2017/ The VECoS conference series is interested in the analysis of computer and communication systems in which functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. Topics of interest to the conference include, but are not limited to: l Abstraction techniques l Certification standards for real-time systems l Compositional verification l Correct-by-construction design l Dependability assessment techniques l Equivalence checking l Model-checking l Parameterized verification l Performance and robustness evaluation l Probabilistic verification l QoS evaluation, planning and deployment l RAMS (Reliability Availability Maintainability Safety) assessment l Rigorous system design l Security protocols verification l Simulation techniques of discrete-event and hybrid systems l Supervisory control l Verification & validation of IoT l Verification & validation of safety-critical systems l Worst-case execution time analysis Application areas of VECoS include: adaptive systems, communication protocols, computer-supported collaborative work systems, cloud computing, cyber-physical systems, high performance computing, internet of things, logistics systems, manufactory of the future, mixed criticality systems, mobile and wireless networking, operations research, programming languages, real-time and embedded operating systems, service oriented systems, telecommunication systems, ubiquitous systems, web services, wireless sensor networks and workflow systems. An overview of previous VECoS conferences can be found at: https://vecos.ensta-paristech.fr/ VECoS 2017 will be held August 24-25 in Montréal, Canada Important Dates l Abstract deadline: April 10, 2017 l Papers deadline: April 24, 2017 (Anywhere on Earth) l Paper notification: May 29, 2017 l Camera-ready deadline: June 12, 2017 l Conference: August 24-252, 2017 Invited Speakers We are very pleased to confirm the following invited speakers for VECoS 2017: l Moura Debbabi <https://users.encs.concordia.ca/~debbabi/>, Concordia University, Montreal, Canada l Michel Dagenais <http://www.polymtl.ca/recherche/rc/en/professeurs/details.php?NoProf=117>, Polytechnique Montreal, Canada l Mengchu Zhou <https://web.njit.edu/~zhou/>, NJIT, Newark, NJ, USA General Information on Submissions The conference proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science <http://www.springer.com/gp/computer-science/lncs> series. Papers must be original work and not be submitted for publication elsewhere. Papers must be submitted electronically in PDF format using easychair system <https://easychair.org/account/signin.cgi?key=50603016.qOLToNquHY75MxLI> and should not exceed 15 pages using the Lecture Notes in Computer Science (LNCS) <https://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0&token=prtst0416p> format. At least one author of each accepted paper must attend VECoS 2017 to present. Authors of selected papers will be invited to submit extended article versions in a special issue of Innovations in Systems and Software Engineering : A NASA Journal <http://www.springer.com/computer/swe/journal/11334> or of International Journal of Critical Computer-Based Systems <http://www.inderscience.com/jhome.php?jcode=ijccbs> Organization General Chairs Ali Mili <https://web.njit.edu/~mili/>, New Jersey Institute of Technology, Newark, NJ, USA Sofiene Tahar, <http://users.encs.concordia.ca/~tahar/> Concordia University, Montreal, Quebec, Canada Program Chairs Kamel Barkaoui, <http://cedric.cnam.fr/index.php/labo/membre/view?id=34> CNAM, Paris, France Hanifa Boucheneb, <http://www.polymtl.ca/recherche/rc/professeurs/details.php?NoProf=250> Polytechnique Montreal, Canada Organizing Committee Chair Otmane Ait Mohamed <https://users.encs.concordia.ca/~ait/index.html>, Concordia University, Montreal, Quebec, Canada Publicity Chairs Belgacem Ben Hedia <http://www.bbhedia.org/index.php?n=Main.HomePage?userlang=fr>, CEA-LIST, Saclay, France Vladimir-Alexandru Paun <http://www.ensta-paristech.fr/>, ENSTA ParisTech, Palaiseau, France For more information, visit the conference website: https://vecos.ensta-paristech.fr/2017/ ========================================================================
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
