News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

31 August - 4 September 2015, NAT@Logic 2015: Logic AT Natal, Natal, Brazil

Date: 31 August - 4 September 2015
Location: Natal, Brazil
Deadline: 12 April 2015

NAT@Logic 2015 is a pool of workshops related to Logic in Computer Science, in Philosophy, and in Mathematics. The full programme will boast 10 keynote speakers, plus at least 60 contributed talks and 15 tutorials. The collocated events that constitute NAT@Logic 2015 are:

  • 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)

For more information, see http://natalogic-2015.dimap.ufrn.br/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 12 April 2015.

Please note that this newsitem has been archived, and may contain outdated information or links.