The Logic Group at the Department of Philosophy "Piero Martinetti", Università degli Studi di Milanoù
Our research covers:
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: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.
The interaction between Logic and Information is a recurrent theme. Since the early days, the correctness of logical inference in terms of information preservation, and its utility as information expansion tool has been questioned. The meaning of rules can be interpreted by looking at their informational import, and the aid to rationality of logical schemas can be explained in the same light. The extension of logical modelling from foundational issues to technological applications calls upon a continuous investigation of this relation. This one-day workshop includes three talks covering different areas of the interaction between logic and information: profling, design and rules. Sala Enzo Paci, Dipartimento di Filosofia, h. 14:00-17:00.