- “Algèbres
d'opérateurs” Seminar,
**Institut de Mathématiques de Jussieu****(Universités Paris 6-7)**, 5th December 2013, - Invited
lecture at the
**Séminaire Itinérant de Catégories**, 16th November 2013, Paris, France - Manin's Seminar on Algebra, Geometry and Physics,
**Max Planck Institute for Mathematics**, 5th November 2013, Germany - Invited lecture at the
**Workshop on Category-Theoretic Foundations of Mathematics**, University of California at Irvine (U.S.A.), 4th - 5th May 2013 - Seminar at the Department of
Philosophy of
**Princeton University**(U.S.A.), 19th April 2013 **Harvard/MIT Logic Seminar**(U.S.A.), 22nd April 2013- Number Theory Seminar,
**Harvard University**(U.S.A.), 17th April 2013 - “Logique catégorique” Seminar,
**Institut de Mathématiques de Jussieu****(Universités Paris 6-7)**, - “Algèbres
d'opérateurs” Seminar,
**Institut de Mathématiques de Jussieu****(Universités Paris 6-7)**, - Seminar at
the Department of Mathematics of the
**Università dell'Insubria**(Italy), 26th March 2013 - Seminar at the
**Institut de Mathématiques de Jussieu****(Universités Paris 6-7)**, - Research-level lecture course on the unifying techniques (18
hours in total) at the
**Institut de Mathématiques de Jussieu****(Universités Paris 6-7)**, - Seminar at
the
**University Paris 7**, 16th January 2013 - Department of Mathematics of the
**University of Milan**(Italy), 19th December 2012 - Category Theory Seminar,
**University of Cambridge**(U.K.), 27th November 2011 **Fourth French PhilMath Workshop**(Paris, France), 4th - 6th October 2012- Invited lecture at the
**Fourth Workshop on Formal Topology**(Ljubljana, Slovenia), 15th -19th June 2012 - Seminario di Matematica,
**University of Milan**(Italy), 19th April 2012 - Séminaire d'Analyse Algébrique, Institut de Mathématiques de Jussieu,

**Université Paris 6**Pierre et Marie Curie (France), 2nd April 2012 - President's Evening,
**Jesus College**, Cambridge (U.K.), 23rd January 2012 - Pure Mathematics Seminar,
**University of East Anglia**(U.K.), 28th November 2011 - Category Theory Seminar,
**University of Cambridge**(U.K.), 15th November 2011 - Model Theory Seminar,
**University of Leeds**(U.K.), 7th December 2011 **Categories and Physics 2011**, Paris (France), 30th November - 3rd December 2011- Seminar at the
**IHÉS**(France), 31st October 2011 (poster available here) - "Logique catégorique" Seminar,
**Université Paris 7**, 19th October 2011 - "Catégories et physique" Seminar,
**Université Paris 7**, 12th October 2011 - New York Category Theory Seminar,
**City University of New York**, 28th September 2011 (poster available here) - D.W.Weeks Lecture Series,
**MIT**(U.S.A.), 26th September 2011 - Philosophy Seminar,
**The Montreal Inter-University Workshop on the History and Philosophy of Mathematics**(Canada), 22nd September 2011 (poster available here) - Category Theory Seminar at the Department of Mathematics of
**McGill University**, Montréal (Canada), 20th September 2011 - Logic Seminar,
**University of Ottawa**(Canada), 19th September 2011 - Invited talk at the "
**Workshop on Duality Theory**",**University of Oxford**(U.K.), 2nd - 3rd August 2011 - Plenary presentation at the
conference "Topology, Algebra and Categories in Logic" 2011
(
**TACL 2011**), Marseille (France), 30th July 2011 - PPS Seminar,
**Université Paris 7**(France), 1st June 2011 - PPS Seminar,
**Université Paris 7**(France), 31th May 2011 - Logic Seminar,
**University of Manchester**(U.K.), 5th May 2011 **92th edition**of the**Peripatetic Seminar on Sheaves and Logic**,**Oxford**(U.K.), 23rd -24th April 2011- Seminar at the Computer Science Department of the
**University of Leicester**(U.K.), 10th March 2011 - Aspects of
Mathematical Foundations of Physics Seminar,
**University of Oxford**(U.K.), 18th February 2011 - Invited lecture on the occasion of the award of the AILA Prize 2010,
**XXIV Incontro di Logica, Bologna**(Italy), 2nd-4th February 2011 - DPMMS Category Theory Seminar,
**University of Cambridge**(U.K.), 25th January 2011 - Seminar at the Department of Computer Science of the
**University of Birmingham**(U.K.), 10th December 2010 **91th edition**of the**Peripatetic Seminar on Sheaves and Logic**, Amsterdam (NE), 26th-28th November 2010- DPMMS Category Theory Seminar,
**University of Cambridge**(U.K.), 26th October 2010 - Invited talk at the "
**Workshop on Constructive Topology**",**University of Palermo**(Italy), 6th September 2010 **8-hour invited lecture course**at the Department of Mathematics of the**University of Padova**(Italy), 1st-2nd July 2010**Invited lecture**at the I**nternational Category Theory Conference 2010**, Genoa (Italy), 20th-26th June 2010- Invited talk at the "
**Florence Category Day**",**University of Florence**(Italy), 16th June 2010 - Seminar at the "Dipartimento di Scienze della Formazione" of the
**University of Florence**(Italy), 19th May 2010 - Algebraic Geometry Seminar, Department of Mathematics,
**Politecnico di Torino**(Italy), 13th May 2010 - Logic Seminar,
**University of Leeds**(U.K.), 5th May 2010 **National-level lecture course**, Centro di Ricerca Matematica Ennio De Giorgi,**Scuola Normale Superiore di Pisa**(Italy), 22nd-26th February 2010- Seminar at the Department of Computer Science of the
**University of Genoa**(Italy), 18th February 2010 - Seminar at the Department of Mathematics of the
**University of Salerno**(Italy), 1st February 2010 - Seminar at the Department of Computer Science of the
**University of Milan**(Italy), 15th December 2009 **89th edition**of the**Peripatetic Seminar on Sheaves and Logic**,**Louvain**(Belgium), 13th December 2009- Contributed talk at the workshop "
**Probability, Uncertainty and Rationality**", Pontignano (Siena, Italy), 2nd November 2009 - Seminar at the Department of Mathematics of the
**Universitè Catholique de Louvain**(Belgium), 22nd September 2009 - Contributed talk at the
**Logic Colloquium 2009**, Sofia (Bulgaria), 4th August 2009 - Contributed talk at the London Mathematical Society "
**Women in Mathematics Day 2009**", London (U.K.), 24th April 2009 - Invited talk at the workshop on Topos Theory held at the Department of Philosophy of the
**University of Bristol**(U.K.), 8th April 2009 **88th edition**of the**Peripatetic Seminar on Sheaves and Logic**, Cambridge (U.K.), 4th April 2009- Logic Seminar,
**University of Manchester**(U.K.), 19th March 2009 - Oxford Advanced Seminar on Informatic Structures jointly with Logic Seminar,
**University of Oxford**(U.K.), 5th February 2009 - DPMMS Category Theory Seminar,
**University of Cambridge**(U.K.), 3rd February 2009 - Category Theory Seminar,
**University of Milan**(Italy), 18th December 2008 - DPMMS Category Theory Seminar,
**University of Cambridge**(U.K.), 11th November 2008 - Contributed talk at the "
**International Category Theory Conference 2008**", Calais (France), 26th June 2008 - DPMMS Category Theory Seminar,
**University of Cambridge**(U.K.), 10th June 2008 - Two invited general talks on the occasion of the international prize in Mathematics "
**Pitagora**", Crotone (Italy), 20th-21st October 2006 - Seminar at the Department of Mathematics of
the
**University of Turin**(Italy), 2nd November 2005

- A topos-theoretic approach to Stone-type dualities
- The unification of Mathematics via Topos Theory
- The idea of bridge and its unifying role in Science
- Toposes as
*bridges*for unifying Mathematics - Fraïssé's construction from a topos-theoretic perspective