[TYPES/announce] CfPs: Visions of Computer Science

[Vladimiro Sassone]

	      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