6. FOAL 2007: Vancouver, British Columbia, Canada

• Harold Ossher:
  Fundamentals of concern manipulation. 1-4
  
• Douglas R. Smith:
  Requirement enforcement by transformation automata. 5-14
  
• Peter Hui, James Riely:
  Typing for a minimal aspect language: preliminary report. 15-22
  
• Tomoyuki Aotani, Hidehiko Masuhara:
  Towards a type system for detecting never-matching pointcut compositions. 23-26
  
• Christian Hofer, Klaus Ostermann:
  On the relation of aspects and monads. 27-33
  
• Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga:
  On bytecode slicing and aspectJ interferences. 35-43
  
• Christopher Dutchyn:
  Specializing continuations a model for dynamic join points. 45-57
  
• Klaus Ostermann:
  Aspects and modular reasoning in nonmonotonic logic. 59-64
  
• Martin Sulzmann, Meng Wang:
  Aspect-oriented programming with type classes. 65-74