Meetings/Workshops on Embedded Systems & Ubiquitous Computing, RFIDs in Vietnam
Select a location
ATVA 2020 — The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
26 Oct 2020 - 30 Oct 2020 • Hanoi, Vietnam
University of Engineering and Technology – VNU Hanoi
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.
Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events.
Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!
Last updated: 27 November 2019