Seja bem-vindo!

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, 17 tutorials, and 67 contributed talks, distributed into several workshops related to Logic in Computer Science, in Philosophy, and in Mathematics.

The general preliminary submission date for contributions was April 12 (deadline extensions were informed at the webpages of the corresponding satellite events). More specific details on abstract/paper submission were to be found in the CFP for each particular workshop. A limited number of grants covering partial funding for participant students was distributed.

Here are the keynote speakers of NAT@Logic 2015:

  • Alessandra Palmigiano, TU Delft

  • Arnon Avron, Tel Aviv University

  • Dale Miller, INRIA Saclay & LIX

  • Guillaume Hoffmann, CONICET - Universidad Blas Pascal

  • Heinrich Wansing, Ruhr-Universität Bochum

  • João Marcos, UFRN

  • Luiz Carlos Pereira, PUC-Rio

  • Ofer Arieli, The Academic College of Tel-Aviv

  • Valentin Goranko, Stockholm University

  • Valeria de Paiva, Nuance Communications

Their talks were all recorded and are available here.

Here are the distinguished tutorialists of our event:

  • Benjamín Bedregal, UFRN

  • Björn Lellmann, TU-Wien

  • Carlos Prolo, UFRN

  • Cassiano Terra Rodrigues, PUC-SP

  • Christian Strasser, Ruhr-Universität Bochum

  • Cláudia Nalon, UnB

  • David Déharbe, UFRN

  • Edward Hermann Haeusler, PUC-Rio

  • Frank Sautter, UFSM

  • Ivan Varzinczak, UFRJ

  • Jonas Becker Arenhart, UFSC

  • Marcelo Finger, USP

  • Marcos Silva, UFC

  • Mauricio Ayala-Rincón, UnB

  • Regivan Santiago, UFRN

  • Renata de Freitas, UFF

  • Revantha Ramanayake, TU-Wien

  • Walter Carnielli, UNICAMP

Slides of their tutorials are available here.

Be sure to check the full detailed programme of NAT@Logic 2015!

A simplified nicely formatted programme booklet is also available.

Finally, check also our Book of Abstracts and the poster of our event!

Post-event comments:

NAT@Logic 2015 was a great success, and had 120 participants coming from 15 different countries (including 20 institutions from Brazil, as well as others from Argentina, Austria, England, France, Germany, Israel, Italy, The Netherlands, Peru, Portugal, Russia, Sweden, Uruguay, USA). Here are some pics from our meeting.