Some conferences related to Logic in CS : Aug 2012