posted by organizer: sological || 3798 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

SYNASC 2022   24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
ICAISC 2023   International Conference on Artificial Intelligence and Soft Computing
ICLA 2022   10th Indian Conference on Logic and its Applications
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
Linearity & TLLA - 2022   Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications
CSL 2022   Computer Science Logic 2023
STRL 2022   1st International Workshop on Spatio-Temporal Reasoning and Learning
TIME 2022   29th International Symposium on Temporal Representation and Reasoning
EBL 2022   20th EBL: XX Encontro Brasileiro de L√≥gica - XX Brazilian Logic Conference
RP 2022   Reachability Problems