Diego Valota


Postdoctoral Fellow at
Department of Computer Science
Università degli Studi di Milano


Research Interests:

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

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

Postal Address:
Dipartimento di Informatica
Via Comelico 39/41 - 20135 Milano (MI)
02.503.16224/16410, fax 02503.16373

Contact:
office: room T308, 3rd Floor
phone ext: 16346
email: {surname} at di.unimi.it

Talks
  1. Probability measures in Gödel-Delta logic.
    ECSQARU2017, Lugano, July 13, 2017.
  2. Spectra Problems and Many-Valued Logics (plenary talk)
    12th International Conference ERLAGOL-17
    Altai Mountains, June 27, 2017.
  3. Computing Uniform Interpolants in Nilpotent Minimum Logic.
    47th IEEE International Symposium on Multiple-Valued Logic. Novi Sad, May 24, 2017.
  4. Computing Free Spectra of Many-Valued Logics.
    93rd Workshop on General Algebra. Bern, February 11, 2017.
  5. Finite Forests: Logical Meaning, Counting Problems and Generalizations.
    Seminar for the course of Graph Theory, Prof. O.D'Antona.
    Milan, January 12, 2017.
  6. 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.
  7. Towards a Formal Concept Semantics for Gödel Logic.
    11th International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, September 25, 2015.
  8. Formal Concepts of Gödel Logic Formulas.
    Trends in Logic XV. Delft, July 2, 2015.
  9. Representation of Free Finitely Generated Weak Nilpotent Minimum Algebras.
    TACL 2015. Ischia, June 25, 2015.
  10. Contexts of Finite Gödel Algebras: First Steps on Characterization and Computation.
    Logic Seminar. University of Milan, June 12, 2015.
  11. Computing Amalgams and Interpolants in Finite Gödel Algebras via Duality.
    Non-Classical Logics Seminar. University of Barcelona, May 15, 2015.
  12. A Note on Drastic Product Logic.
    IPMU 2014. SupAgro campus, Montpellier, July 15, 2014.
  13. Building Strongest Deductive Interpolants in Nilpotent Minimum Logic.
    Pisa Summer Workshop on Proof Theory. Pisa, June 12-15, 2012.
  14. A Duality for Finite NMG Algebras.
    PLS8 Student Session. Ioannina, July 4-8, 2011.
  15. Unitary Unification in Subvarieties of WNM Algebras.
    ManyVal 2010. Varese, May 3-5, 2010.
  16. Spectral Duality for Finitely Generated RDP Algebras.
    Workshop on Probability, Uncertainty and Rationality. Pontignano, November 1-3, 2009.
Meetings Organisation/Attendance/Participation
  1. SSCI/FOCI 2017, November 27 to December 1, 2017, Honolulu, Hawaii, USA (special session organiser and chair)
  2. FUZZ-IEEE 2017, July 9-12, 2017, Naples, Italy (programme committee as special session organiser)
  3. Workshop on Logics, Decisions, and Interactions. October 24-28, 2016, Leiden, Netherlands (invited participant)
  4. MAGICA16, September 26-27, 2016, Milan, Italy (organising committee)
  5. Syntax Meets Semantics 2016. September 5-9, 2016, Barcelona, Spain (organising committee)
  6. WCCI 2016, July 25-29, 2016, Vancouver, Canada (programme committee; organiser and chair of a special session)
  7. Prague Seminar: The Future of Mathematical Fuzzy Logic. June 16-18, 2016, Prague, Czech Republic (attendee)
  8. Unified Correspondence Workshop. February 15-19, 2016, Leiden, Netherlands (invited participant)
  9. FUZZ-IEEE 2015, August 2-5, 2015, Istanbul, Turkey (programme committee; special session organiser)
  10. MANYVAL'10, May 3-5, 2010, Varese, Italy (organising committee)
  11. The digital footprint of Gian-Carlo Rota February 16-18, 2009, Milano, Italy (attendee)