Open Science Research Excellence

ICCAV 2020 : International Conference on Computer Aided Verification

Melbourne, Australia
February 3 - 4, 2020

Conference Code: 20AU02ICCAV

Conference Proceedings

All submitted conference papers will be blind peer reviewed by three competent reviewers. The peer-reviewed conference proceedings are indexed in the Open Science Index, Google Scholar, Semantic Scholar, Zenedo, OpenAIRE, BASE, WorldCAT, Sherpa/RoMEO, and other index databases. Impact Factor Indicators.

Special Journal Issues

ICCAV 2020 has teamed up with the Special Journal Issue on Computer Aided Verification. A number of selected high-impact full text papers will also be considered for the special journal issues. All submitted papers will have the opportunity to be considered for this Special Journal Issue. The paper selection will be carried out during the peer review process as well as at the conference presentation stage. Submitted papers must not be under consideration by any other journal or publication. The final decision for paper selection will be made based on peer review reports by the Guest Editors and the Editor-in-Chief jointly. Selected full-text papers will be published online free of charge.

Conference Sponsor and Exhibitor Opportunities

The Conference offers the opportunity to become a conference sponsor or exhibitor. To participate as a sponsor or exhibitor, please download and complete the Conference Sponsorship Request Form.

Important Dates

Abstracts/Full-Text Paper Submission Deadline   October 1, 2019
Notification of Acceptance/Rejection   October 21, 2019
Final Paper (Camera Ready) Submission & Early Bird Registration Deadline   January 4, 2020
Conference Dates   February 3 - 4, 2020

Important Notes

Please ensure your submission meets the conference's strict guidelines for accepting scholarly papers. Downloadable versions of the check list for Full-Text Papers and Abstract Papers.

Please refer to the Paper Submission GUIDE before submitting your paper.

Selected Conference Papers

1) A Mean–Variance–Skewness Portfolio Optimization Model
Kostas Metaxiotis
2) A Topology for High Voltage Gain Half-Bridge Z-Source Inverter with Low Voltage Stress on Capacitors
M. Nageswara Rao
3) Predictive Analysis for Big Data: Extension of Classification and Regression Trees Algorithm
Ameur Abdelkader, Abed Bouarfa Hafida
4) The Whale Optimization Algorithm and Its Implementation in MATLAB
S. Adhirai, R. P. Mahapatra, Paramjit Singh
5) Relay Node Placement for Connectivity Restoration in Wireless Sensor Networks Using Genetic Algorithms
Hanieh Tarbiat Khosrowshahi, Mojtaba Shakeri
6) Automated Heart Sound Classification from Unsegmented Phonocardiogram Signals Using Time Frequency Features
Nadia Masood Khan, Muhammad Salman Khan, Gul Muhammad Khan
7) A Numerical Description of a Fibre Reinforced Concrete Using a Genetic Algorithm
Henrik L. Funke, Lars Ulke-Winter, Sandra Gelbrich, Lothar Kroll
8) Application of Data Mining Techniques for Tourism Knowledge Discovery
Teklu Urgessa, Wookjae Maeng, Joong Seek Lee
9) A Study on the Impacts of Computer Aided Design on the Architectural Design Process
Halleh Nejadriahi, Kamyar Arab
10) Sensitivity Analysis during the Optimization Process Using Genetic Algorithms
M. A. Rubio, A. Urquia
11) Computer Aided Assembly Attributes Retrieval Methods for Automated Assembly Sequence Generation
M. V. A. Raju Bahubalendruni, Bibhuti Bhusan Biswal, B. B. V. L. Deepak
12) Influence of the Line Parameters in Transmission Line Fault Location
Marian Dragomir, Alin Dragomir
13) Summarizing Data Sets for Data Mining by Using Statistical Methods in Coastal Engineering
Yunus Doğan, Ahmet Durap
14) Hybrid Adaptive Modeling to Enhance Robustness of Real-Time Optimization
Hussain Syed Asad, Richard Kwok Kit Yuen, Gongsheng Huang
15) Non-Population Search Algorithms for Capacitated Material Requirement Planning in Multi-Stage Assembly Flow Shop with Alternative Machines
Watcharapan Sukkerd, Teeradej Wuttipornpun

Similar conferences about Computer and Information Engineering