International Academic Research Conference
                     Visions of Computer Science
                      http://www.bcs.org/visions

       PDF version: http://www.bcs.org/upload/pdf/iarc-flyer.pdf

                       Imperial College London,
                        September 22-24, 2008

                  Submissions deadline May 13, 2008
              www.easychair.org/conferences/?conf=bcs08

The British Computer Society (BCS) is launching its first International
Academic Conference, BCS08, intended as a major international venue to
take place yearly in the United Kingdom. This year's theme is `Visions
of Computer Science.'


KEYNOTE SPEAKERS                    INVITED SPEAKERS
  Fran Allen (IBM)                    A. Campbell (Dartmouth)
  Vint Cerf (Google)                  S. Furber (Manchester)
  Tony Hoare (Microsoft)              L. Hendren (McGill)
  Richard Karp (Berkeley)             N. Jennings (Southampton)
  Robin Milner (Cambridge)            S. Muggleton (Imperial)
  Michael Rabin (Harvard)             B. Plateau (IMAG)
  Joseph Sifakis (Verimag)            M. Vardi (Rice)


PROGRAMME COMMITTEE
  S. Abramsky (Oxford, co-chair)      C. Beckmann (Hammersmith)
  P. Buneman (Edinburgh)              M. Calder (Glasgow)
  G. Constantinides (Imperial)        Y. Demiris (Imperial)
  A. Finkelstein (UCL)                E. Gelenbe (Imperial)
  W. Hall (Southampton)               J. Hallinan (Newcastle)
  D. Hutchison (Lancaster)            M. Pantic (Twente & Imperial)
  A. Rogers (Southampton)             V. Sassone (Southampton, co-chair)
  I. Stewart (Durham)                 M. Thomas (M. Thomas)
  F. Turkheimer (Hammersmith)         M. Wooldridge (Liverpool)



TOPICS
The list of topics called for is deliberately broad to reflect the rich
texture and intellectual vigor of the discipline. They include but are
not limited to:
  Computer Architectures and Digital Systems;
  Theoretical Computer Science: Algorithms & Complexity, Logic &  
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;
  Distributed and Pervasive Systems;
  Grid Computing and E-Science;
  Databases, Information Retrieval and Data Mining, Web Based  
Computation;
  Human Computer Interaction;
  Robotics and Computer

IMPORTANT DATES
   - submission: 13 May 2008
   - notification: 13 July 2008
   - camera-ready: 31 July 2008

SUBMISSION WEBSITE
   www.easychair.org/conferences/?conf=bcs08

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

Reply via email to