On Wednesday the 17th of May at 4 CET I will give a talk at the Logica Universalis Webinar on the contents of my paper “The unification of Mathematics via Topos Theory”, originally written in 2010 and recently published in the book “Logic in Question” (Studies in Universal Logic, Springer-Birkhäuser, 2022).
The talk will be accompanied by a short presentation of the Grothendieck Institute by Laurent Lafforgue.
The videos of the inauguration of the Grothedieck Institute, which took place on the 3rd of December in Mondovì, are now available from YouTube.
The event was held in Italian, with transations from French of Johanna Grothendieck and Laurent Lafforgue’ talks. Stil, automatic translated subtitles are available in all languages, through the relevant YouTube option.
Thanks again to all the speakers, and to the Municipality of Mondovì for the collaboration in the organization of this event!
Tomorrow and on Friday I shall visit the University of Luxembourg, and give a talk on toposes as ‘bridges’ and their applications to artificial intelligence. More details about the talk can be found here.
I am happy to give a talk tomorrow at the “Workshop on Semantic Information and Communication” held at the Lagrange Mathematics and Computing Research Center in Paris.
The workshop, which takes place on the 7th and 8th of March, is entitled “Towards a semantic 6G” and gathers experts from different fields whose research can contribute to the development of new conceptual architectures for communication based on semantic information.
As I shall explain in my talk, topos theory is relevant for the goals of semantic communication, and AI techniques based on semantic information more generally, in several different ways. In particular, given the capacity of toposes of embodying the semantics of a great variety of situations, using toposes as ‘bridges’ enables effective transfers of knowledge across different ways of expressing information (formalized as different ways of presenting toposes):
Semantics as a ‘bridge’
The links to attend the event are available from the conference webpage.