Person
GHILARDI SILVIO

GHILARDI SILVIO

PROFESSORE ORDINARIO
Dipartimento di Matematica Federigo Enriques

Funded research (12)

"Mente, linguaggio, logica e deduzione" 
PUR20062008 - PUR 2006-2008
Project
participant
2007
Aspetti semantici, storico-epistemologici e computazionali della logica formale 
PUR20062008 - PUR 2006-2008
Project
participant
2006
25 months
LOGICHE E LINGUAGGI 
PUR20062008 - PUR 2006-2008
Project
participant
2008
Metodi logici per il trattamento dell'informazione 
PRIN10-11 - PRIN bando 2010-11
Project
Scientific Manager
2013
36 months
PIANO DI SOSTEGNO ALLA RICERCA 2015-2017 - LINEA 2 "DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALE"  
PSR2015-17 - Piano di sviluppo di ricerca 2015-17
Project
Scientific Manager
2015
12 months
PIANO DI SOSTEGNO ALLA RICERCA 2015-2017 - LINEA 2 "DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALE" (ANNO 2016) 
PSR2015-17 - Piano di sviluppo di ricerca 2015-17
Project
Scientific Manager
2016
13 months
Partecipazione a "Topology, Algebra and Categories in Logic" - Nizza 17-21 Giugno 2019 
AL_RIC - Bandi da altri enti di ricerca
Project
Scientific Manager
2019
7 months
Piano Sviluppo Unimi - LINEA B - DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALI 
PSV2014 - Piano di sviluppo di ricerca 2014
Project
Scientific Manager
2014
12 months
Piano Sviluppo Unimi - LINEA A - AZIONE AGGIORNAMENTO STRUMENTI 
PSV2014 - Piano di sviluppo di ricerca 2014
Project
Scientific Manager
2014
12 months
Piano di Sostegno alla Ricerca 2015-2017 - Linea 2 "Dotazione annuale per attività istituzionali" (anno 2017) 
PSR_LINEA2_ / Piano di sviluppo di ricerca - Dotazioni dipartimentali - Linea 2
Project
Scientific Manager
2017
12 months
logica e ragionamento 
PUR90 - PUR 90%
Project
participant
2009
No Results Found

Publications (112)

Datasets

Conferences (4)

Program chair (presidente/responsabile del comitato scientifico) - Advances in Modal Logic (AiML) 2014 - Membro Steering Committee (01/01/2014 - )
Program chair (presidente/responsabile del comitato scientifico) - Frontiers of Combining Systems - Membro Steering Committee (01/01/2013 - )
Program chair (presidente/responsabile del comitato scientifico) - Advances in Modal Logic (AiML) 2012 - Program Chair (01/01/2012 - )
Program chair (presidente/responsabile del comitato scientifico) - Frontiers of Combining Systems - Membro Steering Committee (01/01/2011 - )
No Results Found

Doctoral Boards (21)

Università degli Studi di MILANO - SCIENZE MATEMATICHE-2023 (cycle: 39 - Year: 2023 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2022 (cycle: 38 - Year: 2022 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2021 (cycle: 37 - Year: 2021 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2020 (cycle: 36 - Year: 2020 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2019 (cycle: 35 - Year: 2019 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2018 (cycle: 34 - Year: 2018 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2017 (cycle: 33 - Year: 2017 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2016 (cycle: 32 - Year: 2016 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2015 (cycle: 31 - Year: 2015 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2014 (cycle: 30 - Year: 2014 )
Università degli Studi di MILANO - SCIENZE MATEMATICHE-2013 (cycle: 29 - Year: 2013 )
Università degli Studi di MILANO - MATEMATICA-2012 (cycle: 28 - Year: 2012 )
Università degli Studi di MILANO - INFORMATICA-2011 (cycle: 27 - Year: 2011 )
Università degli Studi di MILANO - INFORMATICA-2010 (cycle: 26 - Year: 2010 )
Università degli Studi di MILANO - INFORMATICA-2009 (cycle: 25 - Year: 2009 )
Università degli Studi di MILANO - INFORMATICA-2008 (cycle: 24 - Year: 2008 )
Università degli Studi di MILANO - INFORMATICA-2007 (cycle: 23 - Year: 2007 )
Università degli Studi di MILANO - INFORMATICA-2006 (cycle: 22 - Year: 2006 )
Università degli Studi di MILANO - INFORMATICA-2005 (cycle: 21 - Year: 2005 )
Università degli Studi di MILANO - INFORMATICA-2004 (cycle: 20 - Year: 2004 )
Università degli Studi di MILANO - INFORMATICA-2003 (cycle: 19 - Year: 2003 )
No Results Found