[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The ACM-BCS Visions of Computer Science welcomes submissions across all areas of computing, including logic and semantics. Several members of the pc will be familiar to readers of the Types Forum. Yours, -- P Call for Papers ACM-BCS Visions of Computer Science 2010 13-16 April 2010, Edinburgh University www.bcs.org/visions2010 The Association for Computing Machinery (ACM) and British Computer Society (BCS) are delighted to invite you to the joint ACM-BCS 2010 "Visions of Computer Science" conference, to be held at the Informatics Forum, Edinburgh University, between April 13-16 2010. This flagship event aims to energize the computing community and bring it together around some positive and inspiring visions of our discipline and follows the highly successful "Visions of Computer Science" conference in 2008. Topics The proceedings will be published on the BCS electronic proceedings series (www.bcs.org/ewic) and the ACM Digital Library. Some of the best papers will appear in The Computer Journal, the archival research publication of the BCS. Submissions are being solicited in all areas of research covering the broad field of Computer Science and Engineering (CSE). They include but are not limited to: - Computer Architectures and Digital Systems - Theoretical Computer Science: Algorithms and Complexity - Logic and Semantics - Non-standard Models of Computation - Programming Methods and Languages - Software Engineering, and System Design Tools - Quantitative Evaluation of Algorithms, Systems, and Networks - Artificial Intelligence, Agents, and Machine Learning - Computer Networks - Distributed and Pervasive Systems - Grid Computing and eScience - Digital Economy - Databases, Information Retrieval and Data Mining, Web based Computation - Human Computer Interaction - Robotics and Computer Vision - Bioinformatics, Synthetic Biology and Synthetic Chemistry - Medical Applications Call for Papers Submissions are being solicited in all areas of research covering the broad field of Computer Science and Engineering. The relevant dates for authors are: - submission: 18 December 2009 - notification: 19 February 2010 - camera-ready: 5 March 2010 The strict limit for submissions is 12 A4-pages in 10pt two-column style including figures and references. Authors may include a clearly marked appendix, which referees may or may not take into account. For more information see: www.bcs.org/visions2010 Technical Program Committee: Programme Chairs Derek McAuley (Nottingham) Simon Peyton-Jones (Microsoft) Programme Committee Michel Beaudouin-Lafon (LRI) Mic Bowman (Intel) Matthew Chalmers (Glasgow) Fabrizio Gagliardi (Microsoft) Carole Goble (Manchester) Matt Grossglauser (Nokia) David Hutchinson (Lancaster) Jane Hillston (Edinburgh) Marina Jirotka (Oxford) Matt Jones (Swansea) Ross King (Aberystwyth) Mounia Lalmas (Glasgow) Michael Luck (Kings College) Julie McCann (Imperial) Ursula Martin (Queen Mary) Tom Melham (Oxford) Simon Moore (Cambridge) Colin Runciman (York) Nigel Shadbolt (Southampton) Susan Stepney (York) Alexander Wolf (Imperial) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.