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: AIML (`Advances in Modal Logic'), 2006, 2008, 2010, 2012 (co-chair), 2014, 2016, 2018 and 2020; WoMO (`Workshop on Modular Ontologies), 2006, 2010, 2011, 2012; FroCoS (`Frontiers of Combining Systems'), 2007, 2009 (co-chair), 2011, 2013, 2015, 2017 and 2019; TANCL (`Algebraic and Topological Methods in Non Classical Logics'), 2007 and 2011; TACL ("Topology, Algebra and categories in Logic") 2019 (co-chair); ADDCT (`Automated Deduction, Decidability, Complexity, Tractability), 2007, 2009, 2013, 2014 (co-chair); IJCAR (`International Joint Conference on Automated Reasoning'), 2008, 2010, 2012, 2014, 2016, 2018 and 2020; CADE (`Conference on Automated Deduction'), 2009, 2011, 2017 and 2019; WOLLIC (`Workshop on Logic, Language, Information and Computation), 2009; M4M (`Methods for Modalities'), 2009; RTA (`Rewriting Techniques and Applications'), 2012; UNIF (`International Workshop on Unification'), 2012, 2013, 2015, 2016 (co-chair), 2017, 2018 and 2020; VSTTE ('Verified Software: Theories, Tools, and Experiments') 2013; IFIP-TCS ('Theoretical Computer Science Conference') 2014; MOD* ('MODel-checking for self-* systems') 2014; SOAP ('Service-Oriented Architectures and Programming Conference') 2015; VPT (`Verification and Program Transformation') 2015; TABLEAUX 2015, DL ('Description Logics Workshop') 2015, 2016, 2017, 2018 and 2020; CSL ('Computer Science logic') 2016, LPAR (`Logic for Programming, Artificial Intelligence and Reasoning') 2017, ARCADE (`Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements') 2017, 2019; IJCAI (`International Joint Conference on Artificial Intelligence') 2018, 2019 and 2020; MSE (`International Workshop on Microservices: Science and Engineering') 2018; CILC ('Italian Conference in Computational Logic) 2018, 2019 and 2020; AAAI Conference on Artificial Intelligence 2020,2021; CONCUR (`International Conference on Concurrency Theory') 2020.
Last update: September 29, 2021