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.
