The first workshop will be held at the Institute for Logic and Intelligence in Southwest University on June 19, 2014. The aim of the workshop is to discuss the frontiers of pure logic study and applications of logic in various areas. The first workshop is organized by Minghui Ma (the Institute for Logic and Intelligence of Southwest University.