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
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h. 17:00-19:00.
Workshop organized by the Logic Group. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h. 9:00-13:30.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h. 16:00-18:00.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h. 16:30-18:30.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h 16:30-18:30.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h 16:30-18:30.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h 16:30-18:30.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7, h 16:30-18:30.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, (Via Festa del Perdono 7, Milano), h. 16:30-18:30.
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."