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
Seminari di Logica 2019 a cura del Logic Group
07/02/ h. 14:30 Sala Enzo Paci
V. Crupi, A. Iacona (Università di Torino): Three Ways of Being Non-material
20/02 h. 16:30 Sala Enzo Paci
Nikos Gorogiannis (Facebook Inc.): Challenges and research opportunities for formal methods in the “real world”
06/03 h. 16:30 Sala Enzo Paci
Giuseppe Primiero (Università di Milano): A Logic of Negative Trust
20/03 h. 16:30 Sala Enzo Paci
Daniele Porello (ISTC - CNR): Social Mechanisms for Aggregating Ontologies
03/04 h. 16:30 Sala Enzo Paci
Davide Ciucci (Milano Bicocca): TBA
10/04 h. 16:30 Sala Enzo Paci
Paolo Baldi (Università di Milano): TBA
08/05 h. 16:30 Sala Enzo Paci
Gabriella Pigozzi (Université Paris Dauphine): TBA
22/05 h. 18:30 Sala Enzo Paci
Anna Zamanski (University of Haifa): TBA
La partecipazione completa al ciclo di incontri permette di acquisire i 3 crediti formativi alla pari della frequenza di un laboratorio didattico.
Aggiornamenti al programma saranno comunicati tempestivamente su http://www.filosofia.unimi.it/logic/events/
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:00-18:00.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30.
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 16:30-18:30. "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."
Incontro del ciclo dei "Seminari di Logica". Sala Enzo Paci, Direzione del Dipartimento di Filosofia, Universita' degli Studi di Milano, Via Festa del Perdono 7, ore 14:30-16:30.