2010. Paris-Amsterdam Logic Meetings of Young Researchers, 28–29 June. The Reasoner. 4, 8 (Aug. 2010).