posted by organizer: sological || 4115 views || tracked by 3 users: [display]

NAT@Logic 2015 : NAT@Logic 2015 - Logic AT Natal

FacebookTwitterLinkedInGoogle

Link: http://natalogic-2015.dimap.ufrn.br/
 
When Aug 31, 2015 - Sep 4, 2015
Where Natal, Brazil
Submission Deadline Apr 12, 2015
Notification Due May 31, 2015
Final Version Due Jun 14, 2015
Categories    logic   computational logic   formal philosophy   mathematical logic
 

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)

Related Resources

COMIT 2024   8th International Conference on Computer Science and Information Technology
CONCUR 2024   International Conference on Concurrency Theory
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
CIBCB 2024   21st IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology
AIFU 2024   10th International Conference on Artificial Intelligence and Applications
ICAISC 2024   International Conference on Artificial Intelligence and Soft Computing
LPNMR 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
JARES 2024   International Journal of Advance Robotics & Expert Systems
TIME 2024   The 31st International Symposium on Temporal Representation and Reasoning
NCWMC 2024   9th International Conference on Networks, Communications, Wireless and Mobile Computing