[CS8] Montanari A., Sciavicco G., "A Decidability Proof for Propositional Neighborhood Logic (Extended Abstract)". Proceedings of the International Conference on Trends in Logic III, Warsaw and Ruciane-Nida, Poland, September 2005.

[CS7] Marzano E., Montanari A., Policriti A., "Abstracts of Papers Presented at the International Symposium on Verification - Theory and Practice - Honoring Zohar Manna's 64th Birthday, N. Dershowitz (Ed.), Dipartimento di Matematica e Informatica, Universita' di Catania, June 2003, p. 25.

[CS6] Montanari A., Peron A., Policriti A., "Exploiting Systolic and Rabin Tree Automata to Decide Time Granularity". Proceedings of LOGIC COLLOQUIUM '97, Leeds, UK, July 1997.

[CS5] Cervesato I., Franceschet M., Montanari A. "The Complexity of Model Checking in Modal Event Calculi". Proceedings of ICLP '97: 14th International Conference on Logic Programming, L. Naish (Ed.), Leuven, Belgium, MIT Press, July 1997.

[CS4] D'Agostino G., Montanari A., Policriti A., "A set-theoretic analysis of modal deduction". Proceedings of 10th International Congress of Logic, Methodology and Philosophy of Science, Firenze, Italia, August 1995, p. 128.

[CS3] D'Agostino G., Montanari A., Policriti A., "Set-theoretic decidability results for modal theorem proving". Proceedings of LOGIC COLLOQUIUM '95, Haifa, Israel, agosto 1995 (also in Bulletin of Symbolic Logic, Vol.3, n.1, March 1997, pp.138-139).

[CS2] Cervesato I., Chittaro L., Montanari A. "Modal Event Calculus". Proceedings of the 11th International Logic Programming Symposium, M. Bruynooghe (Ed.), Ithaca, USA, MIT Press, November 1994, p.675.

[CS1] D'Agostino G., Montanari A., Policriti A., "Translating modal formulae as set-theoretic terms". Proceedings of LOGIC COLLOQUIUM '94, Clermont-Ferrand, France, luglio 1994, p.39 (also in Bulletin of Symbolic Logic, Vol.1, n.2, June 1995, pp.230-231).