{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:23:15Z","timestamp":1746264195109},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>EasyChair is the most commonly used conference management system. Currently about twelve conferences or workshops per day register for using EasyChair. There are about 1,200 papers submitted to EasyChair every day. The number of users of EasyChair at the time of writing this abstract is over 300,000, which is greater than the population of Linz.<\/jats:p><jats:p>In this talk we give an overview of EasyChair and describe its philosophy, design, implementation, evolution and future. We will also discuss issues related to formal analysis and verification of Web services.<\/jats:p>","DOI":"10.29007\/n94r","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T16:46:53Z","timestamp":1516726013000},"page":"2-0","source":"Crossref","is-referenced-by-count":1,"title":["EasyChair"],"prefix":"10.29007","volume":"18","author":[{"given":"Andrei","family":"Voronkov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T16:46:55Z","timestamp":1516726015000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/3X1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/n94r","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}