e are preparing for you a fascinating programme for the NAT@Logic 2015, boasting a number of striking attractions, including 10 keynote speakers, 17 tutorials, and 67 contributed talks, distributed into several workshops related to Logic in Computer Science, in Philosophy, and in Mathematics.
The general preliminary submission date for contributions was April 12 (deadline extensions were informed at the webpages of the corresponding satellite events). More specific details on abstract/paper submission were to be found in the CFP for each particular workshop. A limited number of grants covering partial funding for participant students was distributed.
Here are the keynote speakers of NAT@Logic 2015:
Their talks were all recorded and are available here.
Here are the distinguished tutorialists of our event:
Slides of their tutorials are available here.
NAT@Logic 2015 was a great success, and had 120 participants coming from 15 different countries (including 20 institutions from Brazil, as well as others from Argentina, Austria, England, France, Germany, Israel, Italy, The Netherlands, Peru, Portugal, Russia, Sweden, Uruguay, USA). Here are some pics from our meeting.