The invited speakers for SOFSEM will include:

• Arne Andersson (Uppsala University, Sweden):
  A New Analysis of Expected Revenue: Combinatorial and Simultaneous Auctions
  
  
• Christian Attiogbé (University of Nantes, France):
  Can Component/Service-based Systems be Proved Correct?
  
  
• Christel Baier (University of Bonn, Germany):
  Probabilistic Acceptors for Languages over Infinite Words
  
  
• Josh Berdine (Microsoft Research, Cambridge, UK):
  Automatic Verication of Heap Manipulation using Separation Logic
  
  
• Dawson Engler (Stanford University, USA):
  A few billion lines of code later: experiences in commercializing a static checking tool
  
  
• Nicole Immorlica (Northwestern University, USA):
  Technology Diffusion in Social Networks: The Role of Compatibility
  
  
• Radovan Janeček (BTO, HP Software, Czech Rep.):
  Service Oriented Architecture Pitfalls
  
  
• Marcin Jurdzinski (University of Warwick, UK):
  Algorithms for Solving Infinite Games
  
  
• Giuseppe Longo (Ecole Normale Superieure, Paris, France):
  Randomness and Determination, from Physics and Computing towards Biology
  
  
• David Parkes (Harvard University, USA):
  When Analysis Fails: Heuristic Mechanism Design via Self-Correcting Procedures