ATVA 2020 — The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis

Expired
Dates : 26 October 2020 » 30 October 2020
Place : Hanoi
Vietnam

Book your hotel

Organizer : University of Engineering and Technology – VNU Hanoi
Topic : Computer science; Embedded Systems & Ubiquitous Computing, RFIDs
Mathematics and Statistics; Engineering and Technology; Computer science;
Keywords: Analysis, Technology, Computing
Description :

The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field.

University of Engineering and Technology – VNU Hanoi organises its event entitled ATVA 2020 — The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis to be held from 26 October 2020 to 30 October 2020 in Hanoi, Vietnam. It covers various areas of Computer science including Embedded Systems & Ubiquitous Computing, RFIDs. For more information, visit the website of the conference or contact the organizer.
Add to calendar 2020-10-26 2020-10-30 Europe/London ATVA 2020 — The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis https://www.sciencedz.net/en/conference/68751-atva-2020-the-18-international-symposium-on-automated-technology-for-verification-and-analysis Hanoi - Vietnam University of Engineering and Technology – VNU Hanoi
Share
Add to Favorites
Embed
Info Cheap flights Best hotel deals
Cheap flights, train and bus tickets

Related sections :

Conferences and seminars in Vietnam
Conferences and seminars in Vietnam in 2020
Conferences and seminars in Computer science
Conferences and seminars in Computer science in 2020
Conferences and seminars in Computer science in Vietnam
Conferences and seminars in Computer science in Vietnam in 2020
All events
Events by country

Submit a conference (FREE)

Stay informed



Disclaimer : We aim to provide correct and reliable information about upcoming events, but cannot accept responsibility for the text of announcements or for the bona fides of event organizers. Please feel free to contact us if you notice incorrect or misleading information and we will attempt to correct it.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.