Talk at Logica Universalis Webinar

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.

Looking forward to seeing many of you there!

Videos of the inaugural event of the Grothendieck Institute

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!

F1 World Seminar

Tomorrow, Wednesday the 22nd of March, at 14:30 CET, I shall give a talk on toposes as ‘bridges’ at the F1 World Seminar.

The talk can be attended through Zoom; to receive the link to connect, you have to subscribe to the seminar’s mailing list.

Further information is avaiable at the Seminar’s webpage.

Higher Structures Seminar

Tomorrow, Tuesday the 13th of March, I will give an online introductory talk to the theory of toposes as ‘bridges’ at the Higher Structures Seminar of the Feza Gursey Center for Physics and Mathematics at 16:45 (Istanbul local time) or 14:45 (CET).

You can attend the talk through Zoom, by clicking on this link and inserting the following credentials: Meeting ID: 969 5659 6842; Passcode: 442777.

Looking forward to seeing many of you there!

Visit to CentraleSupélec

Tomorrow (Thursday the 9th of March) I shall visit the research laboratory in Mathematics and Computer Science of CentraleSupélec, where I shall give a seminar at 14.00 on toposes as ‘bridges’ and their applications to several topics in artificial intelligence.

Looking forward to fruitful scientific exchanges at the interface of mathematics, computer science and engineering!

Slides: “Toposes as ‘bridges’ for mathematics and artificial intelligence”

The slides of my talk at the Workshop on Semantic Information and Communication are available for download:

Towards a semantic 6G

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.

Looking forward to it!