10-11 Sep 2011
New York NY, U.S.A.
Progic 2011 at Columbia University The Progic conference series is intended to promote interactions between probability and logic. The fifth installment of the series will be held at Columbia University in New York on September 10th and 11th of 2011. While several of the earlier Progic meetings included a special focus, Progic 2011 will honor Haim Gaifman??s contributions to the intersection of probability and logic. Progic 2011 will consist of 11 talks, 6 invited and 5 contributed. The following distinguished speakers have been confirmed: Horacio Arlo-Costa (Carnegie Mellon) Haim Gaifman (Columbia) Rohit Parikh (CUNY) Jeff Paris (Manchester) Dana Scott (Carnegie Mellon) Call for Papers: The five contributed papers will be selected from among the submissions that we receive. Submissions may be on any topic that is relevant to the interaction between probability and logic. Preference will be given to papers that make contact with at least one of the relevant themes in Haim Gaifman??s work. All submissions should be sent to progicconference2011@gmail.com by May 1 of 2011. Decision notices will be sent by June 1 of 2011. Special Issue: We have made arrangements to publish all 11 papers from the conference in a special issue of the Journal of Applied Logic. Local organizer: Jeff Helzner Progic Steering Committee: Rolf Haenni Jan-Willem Romeijn Gregory Wheeler Jon Willamson For more information, see https://sites.google.com/site/progicconference2011/