Saturday, July 5, 2014

Logics and Ontologies as part of FOIS2014

The meeting in 2013 was about Logic and Proof Theory and it happened in Ilha Grande. Bruno to put up a page with the programme a while back, Logic Semantics II.

The meeting in 2012 was also more about Proof Theory. The link Paraty 2012   shows the programme.

In 2014 we hope to be in Rio doing the workshop Logics and Ontologies for Natural Language (LogOnto) 2014. The programme is almost ready, will be posting it soon! Invited speakers include Adam Pease and Renata Vieira, yay!