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

Joao Marcos botocudo at gmail.com
Mon Jun 15 18:45:31 EDT 2015

NAT at Logic 2015 : Logic AT Natal, Brazil
Aug 31-Sep 4, 2015

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:

Everybody is invited to participate!  The registration page may be found here:
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:

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


More information about the FOM mailing list