Graduate Courses
- Here you can find the course on vagueness that Diego Valota and I held at ESSLLI 2018:
esslli2018.folli.info/handling-vagueness-in-logic-via-algebras-and-games/ - Handling vagueness and uncertainty in logic, Corso di Dottorato, Dipartimento di Matematica, UNISA.
Conferences and workshops
- Invited talk at the forthcoming MOSAIC 2023 workshop – Vienna, Austria, 27th-29
Septermber 2023. https://sites.google.com/view/mosaic2023/ - "Dualizing MV-algebras using prime ideals"
LATD (Logic, Algebras and Truth Degrees) 2023, Tbilisi, Georgia, 11th–15th September 2023 – Invited talk - "de Finetti coherence in infinitary logic"
XXII Congresso UMI, Pisa, Italy, 4th–9th September 2023. - "A point-free approach to measurability and statistical models"
ISIPTA 2023, Oviedo, Spain, 11th–14th July 2023. - "Baker-Beynon duality beyond finite presentations"
XXVII Incontro AILA, Caserta, Italy, 12th-15th September 2022. - "Generalizing the Baker&Beynon Duality, from Max to Spec"
BLAST2022, Orange, California, USA, 8th-12th August 2022, invited talk. - "de Finetti exchangeability in non-classical logic"
Trends in Logic XXII, Cagliari, Italy, 18th-20th July 2022.
- "Baker-Beynon duality beyond finite presentations"
TACL 21-22, Coimbra, Portugal, 20th-25th June 2022. - "de Finetti coherence in infinitary logic"
Logic 4 Peace, online conference, 22nd-23rd April 2022. - "Baire functions, infinitary logic and subjective probability"
Ordered Algebras and Logic, Les Diablerets, Switzerland , 30th March - 2nd April 2022, invited talk. - "Dualities and logical aspects of Baire functions"
BLAST 2021, Las Cruces, USA, online conference, 9th-13th June 2021, invited talk. - "Dualities and logical aspects of Baire functions"
ICLA 2021, held online, March 4th-7th 2021. - "Stochastic processes in Riesz MV-algebras"
ManyVal'19, Bucharest, November 1st-3rd 2019. - "Infinitary connectives and Borel functions in Lukasiewicz logic"
XXI Congresso Umi, Pavia, September 2nd-7th 2019. - "Infinitary connectives and Borel functions in Lukasiewicz logic"
Second Algebra Week, Siena, June 25th-28th 2019, invited talk. - "Infinitary connectives and Borel functions in Lukasiewicz logic"
SYSMICS 2019, Amsterdam, January 21st-25th 2019. - "Infinitary logic and basically disconnected spaces"
ToLo VI, Tbilisi, July 2nd-6th 2018, invited talk. - "Restricting free MV-algebras with product to polyhedra"
AsubL6, Cagliari, June 11th–13th 2018. - "A logic for compact Hausdorff spaces"
ManyVal 2017, Toulouse, November 15th-17th 2017, contributed talk. - "Infinitary logic and compact Hausdorff spaces"
XXVI Incontro AILA, Padua, September 25th-28th 2017, contributed talk. - "Deepening the link between logic and functional analysis via Riesz MV-algebras"
TACL 2017, Prague, June 26th-30th 2017, contributed talk. - "From logic to analysis via Riesz MV-algebras"
Euristics and Metaheuristics: foundations, methodologies and applications, UniMol, Isernia, Italy, June 19th-21st 2017, invited talk. - "A general view on MV-algebras with product and normal form theorems"
Soft Computing Days, Beijing, China, November 26th - 30th 2016, invited talk. - "Riesz MV-algebras and Divisible MV-algebras: logic, analysis and polyhedral geometry"
LATD 2016, Phalaborwa,South Africa, June 28th - 30th 2016 - contributed talk. - "On MV-algebras with convexity operators"
ManyVal15, Les Diablerets, Switzerland, December 10th - 13th, contributed talk.
- "Towards an algebraic approach to convex combinations"
Trends in Logic 2015: Logic for social behaviour, Delft, Holland - June 28th - July 3rd, contributed talk. - "Baker-Beynon duality for Riesz MV-algebras"
Beyond 2014, DiSTA Firenze, Italy - December 3rd - 5th, invited talk. - "On tensor product in Łukasiewicz logic"
LATD 2014, TU Wien, Wien, Austria - July 16th - 19th 2014, contributed talk. - "MV-algebras with product and the Pierce-Birkhoff conjecture"
LATD 2014, TU Wien, Wien, Austria - July 16th - 19th 2014, contributed talk. - "An extension to the notion of MV-algebras: fMV-algebras"
XXV AILA Conference, Scuola Normale Superiore, Pisa, Italy - April 14th - 17th 2014, contributed talk. - "fMV-algebras and piecewise polynomial functions"
ManyVal’13, Prague, Czech Republic - September 3rd - 7th 2013, contributed talk.
seminars
- "Tackling the Pierce-Birkhoff conjecture via logic"
Nonclassical logic seminar - online - March, 12th 2021, invited seminar. - "Handling vagueness in logic via algebras: the case of Lukasiewicz logic"
IIT Kanpur Webinar - online - August 21st 2020, invited seminar. - "Infinitary connectives and Borel functions" - Seminar on Quantum Logics, Center of Excellence SAS CE PI, Mathematical Institute, Slovak Academy of Sciences, Bratislava (Slovakia), May 30th 2019.
- "Infinitary logic and spaces of functions" - New Mexico State University, Las Cruces, New Mexico (USA), April 2nd 2018.
- "Tackling the Pierce-Birkhoff conjecture via logic" - New Mexico State University, Las Cruces, New Mexico (USA), March 26th 2018.
- "Lukasiewicz logic and its widespread in mathematics" - Dipartimento di Bioscienze e Territorio, University of Molise, Isernia (IT) - April 5th 2017.
- "From logic to functional analysis via Riesz MV-algebras" - Institute of Computer Science, Czech Academy of Science, Prague - December 14th 2016, invited seminar.
- "MV-algebras, normal form theorems and decision theory" - University of Johannesburg, Johannesburg - June 13th 2016
- "MV-algebras and the Pierce-Birkhoff conjecture" - Algebra|Coalgebra Seminar, ILLC, Amsterdam - April 20th 2016.
- "On MV-algebras with convexity operators" - Logic Seminar at University of Bucharest - November 26th 2015, invited seminar.
- "Un approccio algebrico alle combinazioni convesse" - Logic Seminar at University of Milano- June 12th 2015, invited seminar.
- "Baker-Baynon duality in Riesz MV-algebras" - Institute of Mathematics of the Romanian Academy (IMAR), Bucharest - March 18th 2014, Invited seminar.
- "On product in Lukasiewicz logic" - University of Bucharest, Bucharest - July 11th 2013, invited seminar.
- "MV-algebras and MV-modules" - University Roma 3, Roma - November 9th 2012, SELP seminar.