IMAG MSM Posters

Written by  on September 29, 2015

I’ve uploaded our IMAG MSM posters to our homepage.

The TACM group was interesting this year. We haven’t had much success collaborating between the MSM meetings. So, this year’s meeting talked quite a bit about how to do that. My proposal that we explore more formal methods was met with a few quizzical responses, to which I proposed we consider the following efforts:

The following 2 are indirectly related, discussing reasoners over ontologies:

And, finally, I have high hopes for the Homotopy type theory, but have yet to use it practically