Persona
GHILARDI SILVIO
PROFESSORE ORDINARIO
Settori (3)
Descrizione linee ricerca (4)
algebra della logica e logica categoriale (2013 - )
logiche modali e non classiche (2013 - )
metodi per il ragionamento automatico (2013 - )
model checking per sistemi a stati infiniti (2010 - )
No Results Found
Ricerca finanziata (12)
2007
Aspetti semantici, storico-epistemologici e computazionali della logica formale
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2006
25 mesi
2008
Metodi logici per il trattamento dell'informazione
PRIN10-11 - PRIN bando 2010-11
Progetto
Responsabile scientifico
2013
36 mesi
PIANO DI SOSTEGNO ALLA RICERCA 2015-2017 - LINEA 2 "DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALE"
PSR2015-17 - Piano di sviluppo di ricerca 2015-17
Progetto
Responsabile scientifico
2015
12 mesi
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
Progetto
Responsabile scientifico
2016
13 mesi
Partecipazione a "Topology, Algebra and Categories in Logic" - Nizza 17-21 Giugno 2019
AL_RIC - Bandi da altri enti di ricerca
Progetto
Responsabile scientifico
2019
7 mesi
Partecipazione al “Fifth Workshop on Proof eXchange for Theorem Proving – PxTP2017 e FroCoS 2017 – Brasilia” per il periodo dal 23 al 29/9/2017
AL_RIC - Bandi da altri enti di ricerca
Progetto
Responsabile scientifico
2017
12 mesi
Piano Sviluppo Unimi - LINEA B - DOTAZIONE ANNUALE PER ATTIVITA' ISTITUZIONALI
PSV2014 - Piano di sviluppo di ricerca 2014
Progetto
Responsabile scientifico
2014
12 mesi
Piano Sviluppo Unimi - LINEA A - AZIONE AGGIORNAMENTO STRUMENTI
PSV2014 - Piano di sviluppo di ricerca 2014
Progetto
Responsabile scientifico
2014
12 mesi
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
Progetto
Responsabile scientifico
2017
12 mesi
2009
No Results Found
Pubblicazioni (108)
Dataset
Congressi (4)
Program chair (presidente/responsabile del comitato scientifico) - Advances in Modal Logic (AiML) 2014 - Membro Steering Committee (01/01/2014 - ) 20140101
Program chair (presidente/responsabile del comitato scientifico) - Frontiers of Combining Systems - Membro Steering Committee (01/01/2013 - ) 20130101
Program chair (presidente/responsabile del comitato scientifico) - Advances in Modal Logic (AiML) 2012 - Program Chair (01/01/2012 - ) 20120101
Program chair (presidente/responsabile del comitato scientifico) - Frontiers of Combining Systems - Membro Steering Committee (01/01/2011 - ) 20110101
No Results Found
Collegi di dottorato (21)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2023
(ciclo: 39 - Anno: 2023
2023
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2022
(ciclo: 38 - Anno: 2022
2022
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2021
(ciclo: 37 - Anno: 2021
2021
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2020
(ciclo: 36 - Anno: 2020
2020
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2019
(ciclo: 35 - Anno: 2019
2019
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2018
(ciclo: 34 - Anno: 2018
2018
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2017
(ciclo: 33 - Anno: 2017
2017
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2016
(ciclo: 32 - Anno: 2016
2016
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2015
(ciclo: 31 - Anno: 2015
2015
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2014
(ciclo: 30 - Anno: 2014
2014
)
Università degli Studi di MILANO -
SCIENZE MATEMATICHE-2013
(ciclo: 29 - Anno: 2013
2013
)
Università degli Studi di MILANO -
MATEMATICA-2012
(ciclo: 28 - Anno: 2012
2012
)
Università degli Studi di MILANO -
INFORMATICA-2011
(ciclo: 27 - Anno: 2011
2011
)
Università degli Studi di MILANO -
INFORMATICA-2010
(ciclo: 26 - Anno: 2010
2010
)
Università degli Studi di MILANO -
INFORMATICA-2009
(ciclo: 25 - Anno: 2009
2009
)
Università degli Studi di MILANO -
INFORMATICA-2008
(ciclo: 24 - Anno: 2008
2008
)
Università degli Studi di MILANO -
INFORMATICA-2007
(ciclo: 23 - Anno: 2007
2007
)
Università degli Studi di MILANO -
INFORMATICA-2006
(ciclo: 22 - Anno: 2006
2006
)
Università degli Studi di MILANO -
INFORMATICA-2005
(ciclo: 21 - Anno: 2005
2005
)
Università degli Studi di MILANO -
INFORMATICA-2004
(ciclo: 20 - Anno: 2004
2004
)
Università degli Studi di MILANO -
INFORMATICA-2003
(ciclo: 19 - Anno: 2003
2003
)
No Results Found