[FOM] Fwd: NAT at Logic - early registration is open!

[Joao Marcos]

NAT at Logic 2015 : Logic AT Natal, Brazil
Aug 31-Sep 4, 2015
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 at Logic 2015, boasting a number of striking attractions,
including 10 keynote speakers, 17 tutorials, and 63 contributed talks,
distributed into several workshops related to Logic in Computer
Science, in Philosophy, and in Mathematics, namely:

  + 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)

The (provisional) detailed programme of NAT at Logic 2015 is available in
the following link:
http://tinyurl.com/NATALogic-slots

Everybody is invited to participate!  The registration page may be found here:
https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/practicalities/registration
Note that you have about a month for completing your early
registration.  Please disseminate this information with those you
think might be interested on our event.

If you are a student looking for grants to come to Natal, please check:
https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/practicalities/grants

Joao Marcos
on behalf of the Local Organization of NAT at Logic 2015

--
http://sequiturquodlibet.googlepages.com/