Difference between revisions of "ATVA 2019"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 1: Line 1:
 
{{Event
 
{{Event
|Acronym=ATVA 2019
 
|Title=17th International Symposium on Automated Technology for Verification and Analysis
 
|Series=ATVA
 
|Type=Conference
 
|Start date=2019/10/27
 
|End date=2019/10/31
 
 
|Submission deadline=2019/05/03
 
|Submission deadline=2019/05/03
|Homepage=http://atva2019.iis.sinica.edu.tw/
 
|City=Taipei
 
|Country=Taiwan
 
 
|Abstract deadline=2019/04/26
 
|Abstract deadline=2019/04/26
 
|Paper deadline=2019/05/03
 
|Paper deadline=2019/05/03
Line 17: Line 8:
 
|has program chair=Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
 
|has program chair=Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
 
|Has PC member=Erika Abraham, Mohamed Faouzi Atig, Christel Baier, Saddek Bensalem, Udi Boker
 
|Has PC member=Erika Abraham, Mohamed Faouzi Atig, Christel Baier, Saddek Bensalem, Udi Boker
|Submitted papers=65
+
|Acronym=ATVA 2019
 +
|End date=2019/10/31
 +
|Series =ATVA
 +
|Type  =Conference
 +
|Country=TW
 +
|State  =TW/TPE
 +
|City  =TW/TPE/Taipei
 +
|Homepage=http://atva2019.iis.sinica.edu.tw/
 +
|Start date=2019/10/27
 +
|Title  =17th International Symposium on Automated Technology for Verification and Analysis
 
|Accepted papers=24
 
|Accepted papers=24
|State=TW/TPE}}
+
|Submitted papers=65}}

Revision as of 20:52, 3 November 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at ATVA 2019/rating

ATVA 2019
17th International Symposium on Automated Technology for Verification and Analysis
Event in series ATVA
Dates 2019/10/27 (iCal) - 2019/10/31
Homepage: http://atva2019.iis.sinica.edu.tw/
Submitting link: https://easychair.org/conferences/?conf=atva2019
Location
Location: TW/TPE/Taipei, TW/TPE, TW
Loading map...

Important dates
Abstracts: 2019/04/26
Papers: 2019/05/03
Submissions: 2019/05/03
Notification: 2019/06/16
Camera ready due: 2019/07/26
Papers: Submitted 65 / Accepted 24 (36.9 %)
Committees
PC chairs: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
PC members: Erika Abraham, Mohamed Faouzi Atig, Christel Baier, Saddek Bensalem, Udi Boker
Table of Contents