CALL FOR PARTICIPATION
The British Computer Society International Academic Research Conference
Visions of Computer Science & Engineering
www.bcs.org/visions
September 22-24, 2008
Imperial College, Exhibition Road, SW7 London UK
Conference Chair: Erol Gelenbe
Programme Chairs: Samson Abramsky & Vladimiro Sassone
------------------------------------
You are cordially invited to join us in London at Imperial College on
September 22-24, 2008 for the first International Academic Conference of The
British Computer Society will bring together seven Turing Award Winners and
seven other invited speakers together with researchers and academics from all
over the world to present and discuss the broad frontiers of Computer Science
and Engineering . The technical program of 'Visions of Computer Science' also
comprises 34 contributed papers. The keynote speakers areTuring Award winners:
Fran Allen, Vint Cerf, Tony Hoare, Dick Karp, Robin Milner, Michael Rabin and
Joseph Sifakis.
Technical Programme
-------------------------------------
=== MONDAY MORNING ==
8:00 -- 9:00 Registration
9:00 -- Conference Welcome and Opening
Remarks by Dr David Delpy, CEO UK Engineering and Physical Sciences Council
KEYNOTE SPEAKER (Mon 9:30 -- 10:30)
Michael Rabin, Practically Efficient Zero Knowledge Proofs of Correctness of
Computations and Financial Cryptography
KEYNOTE SPEAKER (Mon 11:00 -- 12:00)
Joseph Sifakis, Component-based Construction of Heterogeneous Real-time
Systems in BIP
GRAND CHALLENGES REPORT (Mon 12:00 -- 12:30)
Wendy Hall
=== MONDAY AFTERNOON ===
KEYNOTE SPEAKER (Mon 14:00 -- 15:00)
Richard Karp, TBA
SESSION: AI and SEMANTIC WEB (Mon 15:30 -- 18:00)
Subharthi Paul, Raj Jain, Jianli Pan and Mic Bowman. A Vision of the Next
Generation Internet: A Policy Oriented Perspective
Andrzej Przybyszewski. Brain-like Approximate Reasoning
David Corsar and Derek Sleeman. Developing Knowledge-Based Systems using the
Semantic Web
Erik Wilde and Martin Gaedke. Web Engineering Redefined
Graham White. Contexts for Human Action
SESSION: AUTOMATA AND ALGORITHMS (Mon 15:30 -- 18:00)
Invited: Brigitte Plateau, Stochastic Automata Networks
Stefan Dantchev. Dynamic Neighbourhood Cellular Automata
Maxime Crochemore and Ely Porat. Computing a longest increasing subsequence
of length $k$ in time O(nloglogk)
Paul Cockshott, Andreas Koltes, John O'Donnell, Patrick Prosser and Wim
Vanderbauwhede. A hardware relaxation paradigm for solving NP-hard problems
18:30 -- Welcome Reception
=== TUE MORNING ===
KEYNOTE SPEAKER (Tue 9:00 -- 10:00)
Fran Allen, Languages and Compilers for the New Parallel Systems
SESSION: MEDICAL and BIOINFORMATICS (Tue 10:30 -- 12:30)
Invited: S. Muggleton, TBA.
Martin Wojtczyk. Automation of the complete Sample Management in a Biotech
Laboratory.
Ross McFarlane and Irina V. Biktasheva. Beatbox-A Computer Simulation
Environment for Computational Biology of the Heart
LOGICS and FOUNDATIONS OF COMPUTATION (Tue 10:30 -- 12:30)
Invited: Moshe Vardi, From Verification to Synthesis
Glynn Winskel. Events, Causality and Symmetry
Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schrφder and Yde Venema.
Modal Logics are Coalgebraic
DECENTRALISED COMPLEX SYSTEMS (Tue 10:30 -- 12:30)
Invited: Nick Jennings, Computational Service Economies: Design and
Applications
Rocio Aldeco and Luc Moreau. Provenance-based Auditing of Private Data
Gulay Oke and Georgios Loukas. Distributed Defence Against Denial of Service
Attacks: A Practical View
=== TUE AFTERNOON ===
KEYNOTE SPEAKER (Tue 14:00 -- 15:00)
Tony Hoare, A Vision for the Science of Computing
SESSION: COMPUTER VISION AND PATTERN RECOGNITION (Tue 15:30 -- 18:00)
Mark Nixon, Cem Direkoglu and Xin U. Liu. On Using Physical Analogies for
Feature and Shape Extraction in Computer Vision
Faraj Alhwarin. Improved SIFT- Features Matching for Object Recognition
Zakia Hammal, Miriam Kenz, Martin Arguin and Frιdιric Gosselin. Spontaneous
Pain Expression Recognition in Video Sequences
Dragoljub Pokrajac, Natasa Reljin, Nebojsa Pejcic and Aleksandar Lazarevic.
Incremental Connectivity-Based Outlier Factor Algorithm
Arnab Sinha Sinha and Sumana Gupta. Fast Estimation of Nonparametric Kernel
Density Through PDDP, and its Application in Texture Synthesis
SESSION: FOUNDATIONS (Tue 15:30 -- 17:30)
Arnold Beckmann and Faron Moller. On the complexity of parity games
Steffen van Bakel. Subject Reduction vs Intersection/Union Types in
lambda-bar-mu-mu-tilde
Kohei Honda and Nobuko Yoshida. A Unified Theory of Program Logics: an
approach based on the pi-calculus
Peter Mosses. Component-Based Descriptions of Programming Languages
Peter Van Roy. Overcoming Software Fragility with Interacting Feedback Loops
and Reversible Phase Transitions
SESSION: COMPUTER ARCHITECTURE AND DIGITAL SYSTEMS (Tue 15:30 -- 18:00)
Ashish Darbari and Bashir Al-Hashimi. Hardware Dependability in the Presence
of Soft Errors
Qiang Liu, George Constantinides, Konstantinos Masselos and Peter Y.K.
Cheung. Compiling C-like Languages to FPGA Hardware: Some Novel Approaches
Targeting Data Memory Organisation
Kamel Barkaoui, Chadlia Jerad and Amel Grissa Touzi. On the Use of Real-Time
Maude for Architecture Description and Verification : A Case Study
Andreas Fidjeland and Wayne Luk. A Customisable Multiprocessor for
Application-Optimised Inductive Logic Programming
Simon Moore and Daniel Greenfield. Implications of electronics technology
trends to algorithm design
18:30 Conference Dinner
=== WED MORNING ===
KEYNOTE SPEAKER (Wed 9:00 -- 10:00)
Vint Cerf, Research Issues and the Internet
SESSION: NETWORKS (Wed 10:30 -- 12:30)
Invited: A. Campbell, The Rise of People-Centric Sensing.
Erol Gelenbe and Edith Ngai. Adaptive Random Re-Routing for Differentiated
QoS in Sensor Networks
Albert Levi and Abdulhakim Unlu. Two-Tier, Location-Aware and Highly
Resilient Key Predistribution Scheme for Wireless Sensor Networks
SESSION: PROGRAMMING LANGUAGES (Wed 10:30 -- 12:30)
Invited: L. Hendren, TBA
Jan Jurjens, Yijun Yu and Andreas Bauer. Tools for Traceable Security
Verification
Eric Bodden, Patrick Lam and Laurie Hendren. Object representatives: a
uniform abstraction for pointer information
=== WED AFTERNOON ===
KEYNOTE SPEAKER (Wed 14:00 -- 15:00)
Robin Milner, TBA
GRAND CHALLENGES SESSION (Wed 15:30 -- 18:00)
Invited: S. Furber, Computing beyond a Million Processors - bio-inspired
massively-parallel architectures
Susan Stepney, Samson Abramsky, Andy Adamatzky, Colin G. Johnson and
Jonathan Timmis. Grand Challenge 7 : Journeys in Non-Classical Computation
DISCUSSION
Aaron Sloman. Understanding brains and minds: A truly grand challenge for
information science
============
----
[[ 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] ]]
