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 is launching 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
-----------------------------------
----
[[ 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] ]]
