Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Preface to the Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019)

The 34th edition of the Italian Convention of Computational Logic (CILC 2019), the annual meeting of GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Trieste from June 19th to June 21st, 2019. CILC was originally meant to be a forum for exchanging ideas and experiences between Italian researchers in the field of computational logic, however, in recent years, it has broadened its topics of interest also to a wide set of related areas spacing from verification of formal systems to knowledge representation. The technical program of CILC 2019 features 37 presentations of as many high-quality papers; 27 of them are included in these proceedings and the remaining ones appeared or were submitted to other conferences, workshops or journals. Each of the submitted papers was evaluated by three reviewers and, according to their judgments, was either accepted or rejected for the presentation and publication in the proceedings. The contributions address different topics related to computational logic, including verification and validation, temporal reasoning, description logics, formal methods in AI, knowledge representation, and constraint logic programming. The program was also enriched by an ambassador talk \u201cDigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics\u201d by Stefania Costantini, Francesca Alessandra Lisi, and Raffaele Olivieri and 3 tutorials: \u2013 The SATisfiability problem and its impact Agostino Dovier, Universit\ue0 degli Studi di Udine \u2013 Multiagent Epistemic Planning Enrico Pontelli, New Mexico State University \u2013 Model checking: The interval way Angelo Montanari, Universit\ue0 degli Studi di Udine The following works were presented at CILC 2019, but are not included in this proceedings: \u2013 Epistemic Answer Set Programming: a new perspective Ezgi Iraz Su \u2013 Extending ALC with the power-set construct Laura Giordano and Alberto Policriti \u2013 Accountable Protocols in Abductive Logic Programming Marco Gavanelli, Marco Alberti, and Evelina Lamma \u2013 Model Completeness, Covers and Superposition (Abridged Version) Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin \u2013 Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti \u2013 An Ontology to Improve the First Aid Service Quality Lorenzo De Lauretis and Stefania Costantini \u2013 An ASP-based Approach for Optimizing DLV Evaluation Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, and Jessica Zangari \u2013 Large Scale DLV: Preliminary Results Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fusc`a, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, and Jessica Zangari \u2013 A Process Algebra for (Delimited) Persistent Stochastic Non-Interference Andrea Marin, Carla Piazza, and Sabina Rossi \u2013 Accountability, Responsibility, and Robustness in Agent Organizations Matteo Baldoni, Cristina Baroglio, and Roberto Micalizio We would like to thank all the people who have contributed to the success of CILC 2019: the authors, the invited speakers, the program committee, the reviewers, and the participants. Special thanks go to both the President and the former President of GULP, Stefania Costantini and Agostino Dovier, and to the secretary of GULP, Fabio Fioravanti, for their support in the organization of the event