|
|
|
| |||||||||||||||
NAT@Logic 2015 : NAT@Logic 2015 - Logic AT Natal | |||||||||||||||
| Link: http://natalogic-2015.dimap.ufrn.br/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
|
Event: NAT@Logic 2015
Period: Aug 31-Sep 4, 2015 Place: Natal, Brazil http://natalogic-2015.dimap.ufrn.br/ As it is widely known, the beautiful city of Natal is probably the best place to do Logic in Brazil! From Aug 31 to Sep 4, 2015, it will be even more so, as we are preparing for you a fascinating programme for the NAT@Logic 2015, boasting a number of striking attractions, including 10 keynote speakers, plus at least 60 contributed talks and 15 tutorials, distributed into several workshops related to Logic in Computer Science, in Philosophy, and in Mathematics. Collocated events constituting NAT@Logic 2015: - 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) |
|
