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

16 gennaio 2019: Workshop on Logic and Information

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.

Torna ad inizio pagina