Logic List Mailing Archive

NAT@Logic 2015: Logic AT Natal, Natal (Brazil) 31 Aug - 4 Sep 2015

NAT@Logic 2015 - Logic AT Natal
   Aug 31-Sep 4, 2015, Natal, Brazil
   http://natalogic-2015.dimap.ufrn.br/
* NAT@Logic 2015 is a pool of workshops related to Logic
   in Computer Science, in Philosophy, and in Mathematics.
   These include:
   + LSFA X
   (10th Workshop on Logical and Semantic Frameworks,
   with Applications)
   + GeTFun 3.0
   (3rd Workshop on Generalizations of Truth-Functionality)
   + Filomena 2
   (2nd Workshop on Philosophy, Logic and Applied Metaphysics)
   + LFIs^15
   (Workshop commemorating the 15 years of the LFIs)
   + TRS Reasoning School
   (TRS = TRS Reasoning School)
   The full programme will boast 10 keynote speakers,
   plus at least 60 contributed talks and 15 tutorials.
* Paper submission: 12 Apr 2015.