Announcement and Call for Papers The British Computer Society International Academic Research Conference Visions of Computer Science www.bcs.org/visions Imperial College London September 22-24, 2008 Paper Submission Deadline May 13, 2008 The British Computer Society launches its first International Academic Conference Full paper submissions are being solicited in all areas of research covering the broad field of Computer Science and Engineering (CSE). Keynote Speakers Include the Turing Award Winners Fran Allen, Vint Cerf, Tony Hoare, Dick Karp, Robin Milner, Michael Rabin, Joseph Sifakis The conference will be organized in sessions and mini-tracks, each devoted to a theme or area, and include invited presentations. The areas are deliberately broad to reflect the rich texture and intellectual vigor of 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, * Networks, Distributed and Pervasive Systems * Grid Computing and E-Science, * Databases, Information Retrieval and Data Mining, Web Based Computation * Human Computer Interaction * Robotics and Computer Vision, * Bioinformatics, Synthetic Biology and Synthetic Chemistry, * Medical Applications * Papers related to the current UKCRC Grand Challenges are especially solicited CONFERENCE CHAIR: Erol Gelenbe, Imperial College PROGRAM CO-CHAIRS: Samson Abramsky, Oxford University, and Vladimiro Sassone, University of Southampton LOCAL ARRANGEMENTS CHAIR: Moez Draief, Imperial College PROGRAM COMMITTEE: * Christian Beckmann, Hammersmith Hospital, Machine Learning and Medical Applications * Peter Buneman, Edinburgh University, Database Theory and Systems * Muffy Calder, University of Glasgow, Automated Reasoning, Systems Biology * George Constantinides, Imperial College, Digital Systems, Architectures * Yiannis Demiris, Imperial College, Robotics, Machine Learning * Anthony Finkelstein, University College London, Software Systems Engineering * Erol Gelenbe, Imperial College (Chair), System Performance Evaluation, Computer Networks * Wendy Hall, University of Southampton, Liaison with Grand Challenge Projects * Jennifer Hallinan, University of Newcastle, Bioinformatics, Synthetic Biology * David Hutchison, University of Lancaster, Computer Networks and Communications * Maja Pantic, Univ. of Twente and Imperial College, Human Computer Interaction * Alex Rogers, University of Southampton, Agent Systems, Artificial Intelligence * Vladimiro Sassone, Formal Methods, Models of Computation * Iain Stewart, University of Durham, Algorithms and Complexity * Martyn Thomas, Martyn Thomas Associates, Software Engineering, Reliable Systems * Federico Turkheimer, Hammersmith Hospital, Medical Applications * Michael Wooldrige, University of Liverpool, Agent Technologies and Software Engineering Sarah Townsend Secretariat Support to UKCRC Tel: 01793 417 429 Fax: 01793 417444 Email: [EMAIL PROTECTED] Web: www.ukcrc.org.uk ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
