Social computing, behavioral-cultural modeling and prediction : 5th international conference, SBP 2012, College Park, MD, USA, April 3-5, 2012 : proceedings

Implementation and application of functional languages : 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers

Practical aspects of declarative languages: 14th international symposium, PADL 2012 Philadelphia, PA, USA, January 23-24, 2012 : proceedings

Bioinformatics research and applications : 8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings

FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings