Logic AT Natal
UFRN
jmarcos@dimap.ufrn.br

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.

The general preliminary submission date for contributions is *April
12*. Further details on abstract/paper submission are to be found in
the CFP for each particular workshop. A limited number of grants
covering partial funding for participant students will be available.


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)


31 Ago 2015 > Ocorrido há 1923 dias
31 Ago 2015 - 01 Set 2015 - 02 Set 2015 - 03 Set 2015 - 04 Set 2015
12 Abr 2015
Natal

NAT@Logic 2015
Joao Marcos
FaLang translation system by Faboba