Sunday, September 14, 2014

Textual Entailment Proving LSFA 2014

The "ipe amarelo" was really in bloom in Brasilia for LSFA 2014. Had a great time with friends, old and recent ones.

Talk was too long, my bad. Slides here and the preliminary version of the paper is here.

I also gave a more leisurely presentation of this at COPPE in Rio. The slides are here. It was lovely to see old friends in the audience and to discuss with them this side of my work.

Now I wonder if we can do something much better for the ENTCS proceedings, but the deadline is quite soon and after this time in Brazil, I'm very tired and in need of a rest...

No comments:

Post a Comment