Logo Università degli Studi di Milano



 
 

Logic Group  

The Logic Group at the Department of Philosophy "Piero Martinetti", Università degli Studi di Milano

Our research covers:

  • Proof Theories

  • Applied Logics

  • Non-Classical Logics

  • Philosophical Logics

  • Computational Logic

  • Logic and Information

  • Logic in Computer Science

  • Logic, Uncertainty and Rationality

  • Logical Foundations of Probability

  • Logic in Economics

  • Epistemic and Doxastic Logics

  • Modal Logics

Members of the Logic Group...

Website of the Logic Group...

Seminars of Logic  

February 20, 2019: Nikos Gorogiannis: Challenges and research opportunities for formal methods in the “real world”

Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, (Via Festa del Perdono 7, Milano), h. 16:30-18:30. Abstract: "Software verification has been predominantly focused on safety-critical software. What value can software verifiation (and more generally, formal methods) offer to practitioners outside this constrained context? Are there interesting academic research challenges in that area, or is it all `just engineering'? I will sketch an experience report from deploying static analysis at Facebook, and hope to discuss the potential research questions that seem to arise."

Back to top