Logic ForAll
Forro' Logico: A blog to keep things.
Tuesday, September 15, 2015
Nat@Logic 2015
›
Invited talk at LSFA2015 given, yay! https://sites.google.com/a/dimap.ufrn…/natalogic-2015/lsfa-x Slides in slideshare . Had a great ...
Logic and Probabilistic Methods for Dialog
›
ESSLLI, Barcelona, 10-14th August 2015 Together with Charles Ortiz, I organized a workshop on Logic and Probabilistic Methods for Dialo...
1 comment:
Thursday, September 10, 2015
Where are we now?
›
I have been working on lexical resources for Portuguese for a while with many friends. Somehow the research strands are looking a bit lik...
Sunday, July 26, 2015
Mathematicians in the Interwebs
›
I should be blogging about useful stuff, like my workshop on Dialog that is coming up soon in Barcelona, as part of ESSLLI 2015 . But t...
Tuesday, July 14, 2015
A very old post from May 2013: Learning to love stats
›
Last Friday I went to the Symposium described below at CSLI, Stanford. This was very interesting, but I haven't had a chance to d...
3 comments:
Saturday, July 11, 2015
Every day is Ada Lovelace's day
›
I thought it would be a good thing to have a Facebook group for Women in Logic . First because women need to see other women who do their...
Wednesday, July 8, 2015
Why is this a Proof? Luiz Carlos Festschrift
›
The book celebrating Luiz Carlos Pereira's work in Proof Theory and Logic is out! http://www. collegepublications.co.uk/ tributes/?...
1 comment:
‹
›
Home
View web version
