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

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


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

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:

(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

TiL 2022   Trends in Logic XXII
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
SAMC 2022   Southern African Mountain Conference
KRR@SAC 2022   Knowledge Representation and Reasoning (track of the 37th ACM/SIGAPP Symposium On Applied Computing
IJFLS 2021   International Journal of Fuzzy Logic Systems
WRLA 2022   Workshop on Rewriting Logic and Its Applications
IEEE LARS/SBR 2021   IEEE Latin American Robotics Symposium (LARS 2021) and Brazilian Symposium of Robotics (SBR 2021)
ICITE 2022   10th International Conference on Information Technology in Education
UNILOG 2022   7th World Congress and School on Universal Logic
Logic and Love 2022   Logic and Love, Workshop at UNILOG'2022