SILVIO GHILARDIDepartment of Mathematics - Università degli Studi di Milanovia C. Saldini 50 - 20133 Milano - Italytel. +39/0250316142 - e-mail: silvio.ghilardi@unimi.it |
My research activity is mainly devoted to the integration of methods, topics and results coming from different areas of mathematical logic. Research interests include: modal logics, description logics, categorical and algebraic logic, automated reasoning, and model-checking. A full list of my publications is available (here).
I was member of the Program Committee of the following Conferences and Workshops: AAAI Conference on Artificial Intelligence 2020,2021,2022; ADDCT (`Automated Deduction, Decidability, Complexity, Tractability), 2007, 2009, 2013, 2014 (co-chair); AIML (`Advances in Modal Logic'), 2006, 2008, 2010, 2012 (co-chair), 2014, 2016, 2018 and 2020; ARCADE (`Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements') 2017, 2019; CADE (`Conference on Automated Deduction'), 2009, 2011, 2017, 2019 and 2021; CILC ('Italian Conference in Computational Logic) 2018, 2019, 2020, 2021 and 2022; CONCUR (`International Conference on Concurrency Theory') 2020; CSL ('Computer Science logic') 2016; DL ('Description Logics Workshop') 2015, 2016, 2017, 2018 and 2020; FroCoS (`Frontiers of Combining Systems'), 2007, 2009 (co-chair), 2011, 2013, 2015, 2017, 2019 and 2021; IFIP-TCS ('Theoretical Computer Science Conference') 2014; IJCAI (`International Joint Conference on Artificial Intelligence') 2018, 2019 and 2020; IJCAR (`International Joint Conference on Automated Reasoning'), 2008, 2010, 2012, 2014, 2016, 2018, 2020 and 2022; iPRA (`Workshop on Interpolation: From Proofs to Applications') 2022; LPAR (`Logic for Programming, Artificial Intelligence and Reasoning') 2017; MOD* ('MODel-checking for self-* systems') 2014; MSE (`International Workshop on Microservices: Science and Engineering') 2018; M4M (`Methods for Modalities'), 2009; RAMICS ('Relational and Algebraic Methods in Computer Science'), 2021; RTA (`Rewriting Techniques and Applications'), 2012; SOAP ('Service-Oriented Architectures and Programming Conference') 2015; SOQE ('SEcondo Order Quantifier Elimination'), 2021; TABLEAUX 2015 and 2021; TACL ("Topology, Algebra and categories in Logic") 2019 (co-chair), 2022; TANCL (`Algebraic and Topological Methods in Non Classical Logics'), 2007 and 2011; UNIF (`International Workshop on Unification'), 2012, 2013, 2015, 2016 (co-chair), 2017, 2018, 2020, 2022 and 2023; VPT (`Verification and Program Transformation') 2015; VSTTE ('Verified Software: Theories, Tools, and Experiments') 2013; WoMO (`Workshop on Modular Ontologies), 2006, 2010, 2011, 2012; WOLLIC (`Workshop on Logic, Language, Information and Computation), 2009.
Last update: May 19, 2023