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!