BCS International Academic Conference 2008: London, UK

Session 1: AI and Semantic Web

• Subarthi Paul, Raj Jain, Jianli Pan, Mic Bowman:
  A Vision of the Next Generation Internet: A Policy Oriented Perspective. 1-14
  
• Andrzej W. Przybyszewski:
  Brain-Like Approximate Reasoning. 15-28
  
• David Corsar, Derek H. Sleeman:
  Developing Knowledge-Based Systems using the Semantic Web. 29-40
  
• Erik Wilde, Martin Gaedke:
  Web Engineering Revisited. 41-50
  
• Graham White:
  Contexts for Human Action. 51-59
  

Session 2: Automata and Algorithms

• Stefan S. Dantchev:
  Dynamic Neighbourhood Cellular Automata. 60-68
  
• Maxime Crochemore, Ely Porat:
  Computing a Longest Increasing Subsequence of Length k in Time O(n log log k). 69-74
  
• Paul Cockshott, Andreas Koltes, John O'Donnell, Patrick Prosser, Wim Vanderbauwhede:
  A Hardware Relaxation Paradigm for Solving NP-Hard Problems. 75-86
  

Session 3: Medical and Bioinformatics

• Martin Wojtczyk, Michael Marszalek, Alois Knoll, Rüdiger Heidemann, Klaus Joeris, Chun Zhang, Mark Burnett, Tom Monica:
  Automation of the Complete Sample Management in a Biotech Laboratory. 87-97
  
• Ross McFarlane, Irina V. Biktasheva:
  Beatbox - A Computer Simulation Environment for Computational Biology of the Heart. 98-110
  

Session 4: Logics and Foundations of Computation

• Glynn Winskel:
  Events, Causality and Symmetry. 111-127
  
• Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema:
  Modal Logics are Coalgebraic. 128-140
  

Session 5: Decentralised and Complex Systems

• Rocío Aldeco-Pérez, Luc Moreau:
  Provenance-Based Auditing of Private Data Use. 141-152
  
• Gulay Oke, Georgios Loukas:
  Distributed Defence Against Denial of Service Attacks: A Practical View. 153-162
  

Session 6: Computer Vision and Pattern Recognition

• Tony Hoare:
  Keynote: A Vision for the Science of Computing. 1-29
  
• Mark S. Nixon, Cem Direkoglu, Xin U. Liu, David J. Hurley:
  On Using Physical Analogies for Feature and Shape Extraction in Computer Vision. 163-177
  
• Faraj Alhwarin, Chao Wang, Dannijela Ristic-Durrant, Axel Gräser:
  Improved SIFT-Features Matching for Object Recognition. 178-190
  
• Zakia Hammal, Miriam Kunz, Martin Arguin, Frédéric Gosselin:
  Spontaneous Pain Expression Recognition in Video Sequences. 191-210
  
• Dragoljub Pokrajac, Natasa Reljin, Nebojsa Pejcic, Aleksandar Lazarevic:
  Incremental Connectivity-Based Outlier Factor Algorithm. 211-224
  
• Arnab Sinha, Sumana Gupta:
  Fast Estimation of Nonparametric Kernel Density Through PDDP, and its Application in Texture Synthesis. 225-236
  

Session 7: Foundations

• Arnold Beckmann, Faron Moller:
  On the Complexity of Parity Games. 237-248
  
• Steffen van Bakel:
  Subject Reduction vs Intersection. 249-258
  
• Kohei Honda, Nobuko Yoshida:
  A Unified Theory of Program Logics: An Approach based on the n-Calculus. 259-274
  
• Peter D. Mosses:
  Component-Based Description of Programming Languages. 275-286
  
• Peter Van Roy:
  Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. 379-390
  

Session 8: Computer Architecture and Digital Systems

• Ashish Darbari, Bashir M. Al-Hashimi:
  Hardware Dependability in the Presence of Soft Errors. 287-294
  
• Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung:
  Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation. 295-304
  
• Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi:
  On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. 305-317
  
• Andreas Fidjeland, Wayne Luk, Stephen Muggleton:
  A Customisable Multiprocessor for Application-Optimised Inductive Logic Programming. 318-330
  
• Daniel Greenfield, Simon W. Moore:
  Implications of Electronics Technology Trends to Algorithm Design. 331-342
  

Session 9: Networks

• Vinton G. Cerf:
  Keynote: Internet Evolution. 1-36
  
• Erol Gelenbe, Edith C. H. Ngai:
  Adaptive Random Re-Routing for Differentiated QoS in Sensor Networks. 343-354
  
• Abdülhakim Ünlü, Albert Levi:
  Two-Tier, Location-Aware and Highly Resilient Key Predistribution Scheme for Wireless Sensor Networks. 355-366
  

Session 10: Programming languages

• Jan Jürjens, Yijun Yu, Andreas Bauer:
  Tools for Traceable Security Verification. 367-390
  
• Eric Bodden, Patrick Lam, Laurie J. Hendren:
  Object representatives: a uniform abstraction for pointer information. 391-405
  

Session 11: Grand challenges

• Robin Milner:
  Keynote: The Space and Motion of Large Informatic Systems. 1-79
  
• Susan Stepney, Samson Abramsky, Andy Adamatzky, Colin G. Johnson, Jon Timmis:
  Grand Challenge 7: Journeys in Non-Classical Computation. 407-421