computer conference
1Conference on Implementation and Application of Automata — Abbreviation CIAA (formerly WIA) Discipline Automata theory and formal languages Publication details Publisher Springer LNCS (International) History …
2Conference on Human Factors in Computing Systems — Logo of the 2011 conference Abbreviation CHI Discipline Human computer interaction Publication details P …
3Conference on Computer Vision and Pattern Recognition — Abbreviation CVPR Discipline Computer Vision Publication details Publisher IEEE (International) History 1985 Frequency a …
4Computer user satisfaction — (and closely related concepts such as System Satisfaction, User Satisfaction, Computer System Satisfaction, End User Computing Satisfaction) is the attitude of a user to the computer system (s)he employs in the context of his/her work… …
5Computer Aided Verification — (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer reviewed research papers and system descriptions. The proceedings are published… …
6Conference on Email and Anti-Spam — The Conference on Email and Anti Spam (CEAS) is an annual scientific conference sponsored by Microsoft on subjects relating to email use and abuse (the latter being commonly known as spam ). The CEAS hosts a concurrent open competition for spam… …
7Conference on Innovative Data Systems Research — The Conference on Innovative Data Systems Research (CIDR) is a biennial computer science conference focused on research into new techniques for data management. It was started in 2002 by Michael Stonebraker, Jim Gray, and David DeWitt, and is… …
8Conference on Embedded Networked Sensor Systems — SenSys, the ACM Conference on Embedded Networked Sensor Systems, is an annual academic conference in the area of embedded networked sensors. Contents 1 About SenSys 2 Ranking 3 SenSys Events 4 Sponsors …
9Computer architecture — In computer science and engineering, computer architecture is the practical art of selecting and interconnecting hardware components to create computers that meet functional, performance and cost goals and the formal modelling of those systems.… …
10Conference on Automated Deduction — The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in… …
