Diego Valota

Fixed-Term Lecturer
at Università degli Studi di Milano,
and Università degli Studi dell'Insubria

Local Group: ManyVal
Int. Group: MathFuzzLog


Research Interests:

  • Reasoning with Uncertainty and Vagueness;
  • Many-Valued Logics;
  • Ordered algebraic structures.

Publications | Meetings | Misc | About Me | Teaching | Links |

Contact:
email: {surname} at di.unimi.it

Talks
  1. Tackling Spectra Problems via Duality: Two Concrete Examples.
    ManyVal 2019. Bucharest, November 2, 2019.
  2. Computing Spectra via Dualities in the MTL hierarchy (invited talk).
    11th Annual CECAT Workshop in Pointfree Mathematics, Orange, 07 February 2019.
  3. Counting finite linearly ordered involutive bisemilattices.
    RAMiCS 2018, Gröningen, 01 November 2018.
  4. Towards a Propositional Logical Structure of Ambiguous Words in Weighted Automata (invited talk)
    Ambiguity Workshop, Sofia, 06 August 2018.
  5. Computing Spectra of Many-Valued Logics, via Dualities
    Logic Colloquium 2018, Udine, 23 July 2018.
  6. Unitary Unification in Subvarieties of MTL Algebras.
    ManyVal 2017. Toulouse, November 15, 2017.
  7. Counting Spectra via Dualities: from Gödel logic to WNM logics
    Logic Seminar. University of Milan, October 18, 2017.
  8. Computing Spectra of Finite Gödel Algebras through Finite Forests.
    TbiLLC2017, Lagodekhi, September 20, 2017.
  9. Probability measures in Gödel-Delta logic.
    ECSQARU2017, Lugano, July 13, 2017.
  10. Spectra Problems and Many-Valued Logics (plenary talk)
    12th International Conference ERLAGOL-17
    Altai Mountains, June 27, 2017.
  11. Computing Uniform Interpolants in Nilpotent Minimum Logic.
    47th IEEE International Symposium on Multiple-Valued Logic. Novi Sad, May 24, 2017.
  12. Computing Free Spectra of Many-Valued Logics.
    93rd Workshop on General Algebra. Bern, February 11, 2017.
  13. Finite Forests: Logical Meaning, Counting Problems and Generalizations.
    Seminar for the course of Graph Theory, Prof. O.D'Antona.
    Milan, January 12, 2017.
  14. Uniform Interpolants in Nilpotent Minimum Logic.
    XVIII Congreso Español sobre Tecnologías y Lógica Fuzzy. ESTYLF 2016. Donostia-San Sebastian, May 27, 2016.
  15. Towards a Formal Concept Semantics for Gödel Logic.
    11th International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, September 25, 2015.
  16. Formal Concepts of Gödel Logic Formulas.
    Trends in Logic XV. Delft, July 2, 2015.
  17. Representation of Free Finitely Generated Weak Nilpotent Minimum Algebras.
    TACL 2015. Ischia, June 25, 2015.
  18. Contexts of Finite Gödel Algebras: First Steps on Characterization and Computation.
    Logic Seminar. University of Milan, June 12, 2015.
  19. Computing Amalgams and Interpolants in Finite Gödel Algebras via Duality.
    Non-Classical Logics Seminar. University of Barcelona, May 15, 2015.
  20. A Note on Drastic Product Logic.
    IPMU 2014. SupAgro campus, Montpellier, July 15, 2014.
  21. Building Strongest Deductive Interpolants in Nilpotent Minimum Logic.
    Pisa Summer Workshop on Proof Theory. Pisa, June 12-15, 2012.
  22. A Duality for Finite NMG Algebras.
    PLS8 Student Session. Ioannina, July 4-8, 2011.
  23. Unitary Unification in Subvarieties of WNM Algebras.
    ManyVal 2010. Varese, May 3-5, 2010.
  24. Spectral Duality for Finitely Generated RDP Algebras.
    Workshop on Probability, Uncertainty and Rationality. Pontignano, November 1-3, 2009.
Meetings Organisation/Attendance/Participation
  1. Networking Day, The MCAA Italy Chapter Meets the Industry, October 15 2019, Milan (participant).
  2. WCCI 2018, July 8-13, 2018, Rio de Janeiro, Brazil (programme committee, organiser and chair of a special session)
  3. XXVI incontro AILA, September 25-28, 2017, Padova, Italy (attendee)
  4. SSCI/FOCI 2017, November 27 to December 1, 2017, Honolulu, Hawaii, USA (special session organiser and chair)
  5. FUZZ-IEEE 2017, July 9-12, 2017, Naples, Italy (programme committee as special session organiser)
  6. Workshop on Logics, Decisions, and Interactions. October 24-28, 2016, Leiden, Netherlands (invited participant)
  7. MAGICA16, September 26-27, 2016, Milan, Italy (organising committee)
  8. Syntax Meets Semantics 2016. September 5-9, 2016, Barcelona, Spain (organising committee)
  9. WCCI 2016, July 25-29, 2016, Vancouver, Canada (programme committee; organiser and chair of a special session)
  10. Prague Seminar: The Future of Mathematical Fuzzy Logic. June 16-18, 2016, Prague, Czech Republic (attendee)
  11. Unified Correspondence Workshop. February 15-19, 2016, Leiden, Netherlands (invited participant)
  12. FUZZ-IEEE 2015, August 2-5, 2015, Istanbul, Turkey (programme committee; special session organiser)
  13. Giornata INdAM 2015, June 10, 2015, Bologna, Italy (attendee)
  14. MANYVAL'10, May 3-5, 2010, Varese, Italy (organising committee)
  15. The digital footprint of Gian-Carlo Rota February 16-18, 2009, Milano, Italy (attendee)