- [T45]
*A discussion of Bi-logic and Freud's Representation Theory in formal logic*. 16th International Congress on Logic, Methodology and Philosophy of Science and Technology, Prague, August 2019 (joint work with M. Borozan and R. Lauro Grotto). slides

- [T44]
*Reading Bi-logic in first order language*. Logic Colloquium 2018, Udine, July 2018 (joint work with M. Borozan and R. Lauro Grotto).

- [T43]
*From Basic Logic to a quantum logical approach to Matte Blanco's Bi-logic*. XXVI Meeting of AILA (Italian Association of Logic and its Applications), Padova, September 2017 (joint work with M. Borozan and R. Lauro Grotto). abstract

- [T42]
*An approach to Bi-logic by modalities*. SILFS 2017 - Triennial International Conference of the Italian Society for Logic and Philosophy of Science, Bologna, June 2017 (joint work with R. Lauro Grotto). abstract (see p. 44)

- [T41]
*Contemporary approaches to Matte Blanco's Bi-logic: the case of quantum formalisms*.**INVITED TALK**at the International Workshop "On the Edge of Disciplines", Satellite Symposium of the 18th World Congress of the World Association of Dynamic Psychiatry (2017), Florence, December 2016.

- [T40]
*First order language and its constraints*. IQSA Conference Quantum Structures 2016, Leicester (UK), July 2016. abstract

- [T39]
*A model for Bi-logic*. European Mathematical Psychology Group Meeting 2015 (EMPG 2015), Padova, September 2015. abstract

- [T38]
*Quantum states by first order variables: some consequences*. Logic Colloquium 2015, Helsinki, August 2015. abstract

- [T37]
*Bi-logic via infinite singletons*. 15th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2015, Helsinki, August 2015. abstract

- [T36]
*Interpreting Matte Blanco's Bi-logic by sequents*. Special session on Computational Psychoanalysis - 13th IEEE-ICCI*CC, London, August 2014. poster

- [T35]
*Symmetry in sequent calculus from quantum computation*. Meeting of the Italian Association for Logic and Applications (AILA), Pisa, April 2014.

- [T34]
*A predicative characterization of quantum states and Matte Blanco's bi-logic*. Quantum Interaction 2013, Leicester (UK), July 2013. poster

- [T33]
*Quantum states as virtual singletons*. 11th Biennial IQSA Meeting - Quantum Structures, Cagliari, July 2012.

- [T32]
*A logical model for quantum computation by means of sequents*.**INVITED SEMINAR**at the Department of Physics and Astronomy, University of British Columbia (Vancouver), August 2011 (invitation by R. Raussendorf). slides

- [T31]
*Duality of quantum states from basic logic*.**INVITED TALK**at Third International Workshop 'Quantum Structures 2011', Kocovce (Slovakia), May 2011. abstract

- [T30]
*Quantum Sequents*. Meeting of the Italian Association for Logic and Applications (AILA), Bologna, February 2011.

- [T29]
*Bi-logic and Quantum Logic*.**INVITED SEMINAR**at the Faculty of Formation Sciences, University of Bergamo, January 2011 (invitation by R. Arpaia).

- [T28]
*A computational model for quantum logic compared with Matte Blanco's bi-logic*. International Conference of the SILFS, Bergamo, December 2010.

- [T27]
*Quantum sequents*. 10th Biennial IQSA Meeting - Quantum Structures, Boston, June 2010. slides

- [T26]
*Negation as a primitive duality, in a model for quantum computation*.**INVITED TALK**at the special session "Negation", World School and Congress in Universal Logic III, Lisboa, April 2010. slides

- [T25]
*Structural rules and implication in a sequent calculus for quantum computation*. World School and Congress in Universal Logic III, Lisboa, April 2010. slides

- [T24]
*Some considerations on logic and consciousness*. Alghero Summer School: "The Social Self", Alghero, September 2009. slides

- [T23]
*A sequent calculus with entanglement*. Logic and the foundations of physics: space, time and quanta (Trends in Logic VI), Bruxelles, December 2008. abstract

- [T22]
*A basic pair for quantum mechanics*. Advances in Constructive Topology and Logical Foundations - in honor of the 60th birthday of Giovanni Sambin, Padua, October 2008 (joint work with Francesco Valfre'). abstract

- [T21]
*Sequent calculus and quantum parallelism*. 5 ECM (European Congress of Mathematics) - Section: Logic and Foundations, Amsterdam, July 2008. poster

- [T20]
*Sequent calculus and quantum parallelism*. 9th Biennial IQSA Meeting - Quantum Structures, Sopot (Poland), July 2008. slides

- [T19]
*Some considerations on logic and self-consciousness*(italian). Italian Congress on Mathematical Logic and Socio-Cognitive Processes, Salerno, June 2008. slides

- [T18]
*Parallel strategies in sequent calculus*. Meeting of the Italian Association for Logic and Applications (AILA), Genova, February 2008.

- [T17]
*Quantum computation and cognition: a logical approach*. 4th Conference of the Italian Association for Cognitive Sciences (AISC), Rome, November 2007. poster

- [T16]
*Logical implication and attachment*. International Conference "Toward a Science of Consciousness", Budapest, July 2007.

- [T15]
*From quantum mind to AI*. International Conference "Computers and Philosophy", Laval (France), May 2006.

- [T14]
*The inner quantum logic of Bell's states*(italian).**INVITED SEMINAR**at the Dept. of Philosophy, University of Florence, May 2005 (invitation by M.L. Dalla Chiara).

- [T13]
*The inner quantum logic of Bell's states*. Meeting of the Italian Association for Logic and Applications (AILA), Pisa, February 2005.

- [T12]
*Logical interpretation of a reversible measurement in quantum computing*(italian). Italian Meeting on Foundations of Physics, Cesena, October 2004.

- [T11]
*Logical interpretation of a reversible measurement in quantum computing*.**INVITED TALK**at the international workshop "Quantum Computing: Logical Aspects", Porto Conte (Sassari), September 2004.

- [T10]
*Basic logic and quantum computing*. Poster, International Conference on Quantum Information, Camerino, April 2004.

- [T9]
*Pretopologies and a uniform presentation of sup-lattices, quantales and frames*. Conference in memoriam of P. Miglioli, Mantova, October 2000.

- [T8]
*Symmetric and unsymmetric sequent calculi from basic logic*(italian).**INVITED SEMINAR**at the Dept. of Mathematics, University of Palermo, May 1998 (invitation by S. Termini).

- [T7]
*Basic logic and the reflection principle*(italian).**INVITED SEMINAR**at the Dept. of Computer Science, University of Verona, November 1997 (invitation by R. Ferro).

- [T6]
*Basic logic and the reflection principle*. XVII Italian Meeting of AILA, Perugia, November 1997.

- [T5]
*Basic logic and the reflection principle*(italian).**INVITED SEMINAR**at the Dept. of Philosophy, University of Florence, October 1996 (invitation by M.L. Dalla Chiara).

- [T4]
*Symmetry in basic logic*.**INVITED SEMINAR**at the CNRS, Marseille, October 1996 (invitation by J.I. Girard).

- [T3]
*Basic logic: reflection, symmetry, visibility*. XVI Italian Meeting of AILA, Genova, October 1996.

- [T2]
*Basic Logic and the cube of its extensions*(italian).**INVITED SEMINAR**at the Dept. of Philosophy, University of Florence, December 1994 (invitation by M.L. Dalla Chiara).

- [T1]
*A cube of extensional logics*(italian). Italian Workshop on Linear Logic, Monselice (Padua), October 1994.