[TYPES/announce] ACM-BCS Visions of Computer Science 2010

Philip Wadler wadler at inf.ed.ac.uk
Wed Oct 21 03:45:50 EDT 2009


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.



More information about the Types-announce mailing list