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...

Seminari di Logica 2019  

Logic Group Logo

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/

Seminari di Logica  

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

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."

Torna ad inizio pagina