[W38] Cimatti A., Geatti L., Gigante N., Montanari M., and Tonetta S., "Reactive Synthesis from Extended Bounded Response LTL Specifications". Proceedings of the **Workshop on Automated Synthesis** affiliated with ESSLLI 2021, July 29-30, 2021.

[W37] Brunello A., Montanari A., Pittino F., and Urgolo A., "Virtual Sensing of Temperatures in Indoor Environments: A Case Study". Proceedings of the **15th International Workshop on Spatial and Spatiotemporal Data Mining (SSTDM)**, in cooperation with IEEE ICDM 2020, Ranga Raju Vatsavai, (Ed.), IEEE Computer Society Press, November 17, 2020.

[W36] Della Monica D., Montanari A., Sciavicco G., and Stan I. E. , "A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking", Proceedings of the **2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis**, co-located with BOSK 2020 - The Bolzano Summer of Knowledge, OVERLAY @ BOSK 2020, R. De Benedictis, L. Geretti, and A. Micheli (Eds.), CEUR Workshop Proceedings, Volume 2785, CEUR-WS.org, Bolzano, Italy, September 25, 2020, pp. 11--15.

[W35] Brunello A., Della Monica D., Montanari A., and Urgolo A., "Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification", Proceedings of the **2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis**, co-located with BOSK 2020 - The Bolzano Summer of Knowledge, OVERLAY @ BOSK 2020, R. De Benedictis, L. Geretti, and A. Micheli (Eds.), CEUR Workshop Proceedings, Volume 2785, CEUR-WS.org, Bolzano, Italy, September 25, 2020, pp. 87--92.

[W34] Brunello A., Della Monica D., Montanari A., and Urgolo A., "Learning to Monitor: a Novel Framework for Online System Verification", Proceedings of the ** Workshop on Reasoning about ACtions and Events over Streams**, co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning, RACES @ KR 2020, D. Calvanese, E. Erdem, and M. Thielscher (Eds.), Rhodes, Greece. September 12, 2020.

[W33] Brunello A., Della Monica D., Montanari A., "Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance", Proceedings of the **1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis**,, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY @ AI*IA 2019, N. Gigante, F. Mari, and A. Orlandini (Eds.), CEUR Workshop Proceedings, Volume 2509, CEUR-WS.org, Rende, Italy, November 19-20, 2019, pp. 71--76.

[W32] Brunello A., Kaminska J., Marzano E., Montanari A., Sciavicco G., and Turek T., "Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wroclaw". Proceedings of the **International Workshop on BI & BIG DATA APPLICATIONS (BBIGAP)**, co-located with the 23rd European Conference on Advances in Databases and Information Systems (ADBIS), T. Welzer et al. (Eds.), Springer CCIS 1064, Bled, Slovenia, September 2019, pp. 463-474.

[W31] Montanari A., "Model checking with Interval Temporal Logic: Results and Perspectives". Proceedings of the workshop on "Reasoning about Actions and Processes: Highlights of Recent Advances (ACTIONS@KR18)" at KR 2018, Tempe, Arizona, USA, October 2018.

[W30] Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G., "Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings". Proceedings of M4M 6: 6th Workshop on Methods for Modalities, T. Bolander and T. Brauner (Eds.), November 2009.

[W29] Bresolin D., Goranko V., Montanari A., Sala P., "Tableau-based decision procedure for the logic of proper subinterval structures over dense Orderings". Proceedings of M4M 5: 5th Workshop on Methods for Modalities, C. Areces and S. Demri (Eds.), November 2007.

[W28] Franceschet M., Montanari A., Gubiani D., "Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema". Proceedings of the 2nd International Workshop on XML Data Management Tools and Techniques, IEEE Computer Society Press, Regensburg, Germany, September 2007, pp. 25-29.

[W27] De Maria E., Dovier A., Montanari A., Piazza C., "Exploiting Model Cheching in Constraint-based Approaches to the Protein Folding Problem". Proceedings of the 2nd Workshop on Constraint Based Methods for Bioinformatics, A. Dal Palu, A. Dovier, and S. Will (Eds.), September 2006, pp. 46-54.

[W26] Bresolin D., Montanari A., "A tableau-based decision procedure for a branching-time interval temporal logic". Proceedings of M4M 4: 4th International Workshop on Methods for Modalities, H. Schlingloff (Ed.), December 2005, pp. 38-53.

[W25] Goranko V., Montanari A., Sciavicco G., "Proof Systems for Propositional Interval Neighborhood Logics". Proceedings of M4M 3: 3rd International Workshop on Methods for Modalities, C. Araces and P. Blackburn (Eds.), September 2003, pp. 125-139 (preliminary version of [J25]).

[W24] Goranko V., Montanari A., Sciavicco G., "A Road Map on Interval Temporal Logics and Duration Calculi". Proceedings of the ESSLLI 2003 Workshop on Interval Temporal Logics and Duration Calculi, Goranko V., Montanari A., (Eds.), August 2003, pp. 1-40 (preliminary version of [J28]).

[W23] Montanari A., Sciavicco G., "A Decidable Logic for Time Intervals: Propositional Neighborhood Logic". Proceedings of AAAI-2002 Workshop on Spatial and Temporal Reasoning, F. Anger, G. Ligozat, and H. Guesgen (Eds.), July 2002, pp. 27-34.

[W22] Franceschet M., Montanari A., "A combined approach to temporal logics for time granularity". Proceedings of M4M 2: 2nd International Workshop on Methods for Modalities, C. Araces and M. de Rijke (Eds.), November 2001 (preliminary version of [J26]).

[W21] Franceschet M., Montanari A., "Towards an automata-theoretic counterpart of combined temporal logics". Proceedings of VCL'2001: 2nd International Workshop on Verification and Computational Logic, M. Leuschel, A. Podelski, C.R. Ramakrishnan, U. Ultes-Nitsche (Eds.), September 2001, pp. 55-74.

[W20] Cervesato I., Montanari A., "A Calculus of Macro-Events: Progress Report". Proceedings of TIME'2000: 7th International Workshop on Temporal Representation and Reasoning, A. Trudel and S. Goodwin (Eds.), July 2000, pp. 47-58.

[W19] Franceschet M., Montanari A., "Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events". Proceedings of NRAC'99: 3rd Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI'99, M. Thielscher (Ed.), August 1999, pp. 79-86 (preliminary version of [C27]).

[W18] Montanari A., Peron A., Policriti A., "The Taming (Timing) of the States". Proceedings of WoLLIC'99: 6th International Workshop on Logic, Language, Information and Computation, Itatiaia, Brasil, maggio 1999, pp. 151-161 (preliminary version of [J19]).

[W17] Franceschet M., Montanari A., "A graph-theoretic approach to efficiently reasoning about partially ordered events in the Event Calculus". Proceedings of TIME'99: 6th International Workshop on Temporal Representation and Reasoning, C. Dixon and M. Fisher (Eds.), IEEE Computer Society Press, May 1999, pp. 55-66.

[W16] Montanari A., Peron A., Policriti A., "The Way to Go: Multi-Level Temporal Logics". Proceedings of IWTS'99: 1st International Workshop on Specification and Verification of Timed Systems, N. Yonezaki (Ed.), Kyoto Research Institute of Mathematical Science, March 1999.

[W15] Cervesato I., Franceschet M., Montanari A., "Event Calculi with Explicit Quantifiers". Proceedings of TIME'98: 5th International Workshop on Temporal Representation and Reasoning, L. Khatib and R. Morris (Eds.), IEEE Computer Society Press, May 1998, pp. 81-88.

[W14] Montanari A., Policriti A., "Executing Metric Temporal Logic". Proceedings of the workshop on "Programming in Temporal and Non Classical Logics" at IJCAI 1997, C. Brzoska and M. Fisher (Eds.), Nagoya, Japan, August 1997.

[W13] Cervesato I., Franceschet M., Montanari A. "Modal Event Calculi with Preconditions". Proceedings of TIME'97: 4th International Workshop on Temporal Representation and Reasoning, L. Khatib and R. Morris (Eds.), IEEE Computer Society Press, May 1997, pp.38-45.

[W12] Chittaro L., Montanari A., Cervesato I., "Speeding up temporal reasoning by exploiting the notion of kernel of an ordering relation". Proceedings of TIME'95: 2nd International Workshop on Temporal Representation and Reasoning, S.D. Goodwin and H.J. Hamilton (Eds.), Melbourne, FL, USA, University of Regina, April 1995, pp.73-80.

[W11] Chittaro L., Montanari A., Provetti A., "Reasoning about partially ordered events in the Event Calculus". Proceedings of BENELOG '94: 6th Benelux Workshop on Logic Programming, Amsterdam, The Netherlands, September 1994 (extended version of [C21]).

[W10] Montanari A.,"A Temporal Logic of Metric and Granular Displacements" (invited talk). Proceedings of ESSLLI'94 Workshop on Combining Structures, Logics and Theories, M. de Rijke (ed.), Copenhagen, Denmark, August 1994, pp.119-147.

[W9] Montanari A.,"A Layered and Metric Temporal Logic for Time Granularity, Synchrony and Asynchrony". Proceedings of ICTL'94 (International Conference on Temporal Logic) Workshop, H.J. Ohlbach (Ed.), Bonn, Germany, MPI-I-94-230, Max-Plank-Institut für Informatik, July 1994, pp.49-58.

[W8] Chittaro L., Montanari A., "Efficient handling of context-dependency in the Cached Event Calculus". Proceedings of TIME'94: 1st International Workshop on Temporal Representation and Reasoning, S.D. Goodwin and H.J. Hamilton (Eds.), Pensacola, FL, USA, University of Regina, May 1994, pp.103-112 (preliminary version of [J8]).

[W7] Jensen C.(editor), Clifford J., Gadia S., Grandi F., Kalua P., Kline N., Montanari A., et al., "The TSQL Benchmark". Proceedings of the International Workshop on an Infrastructure for Temporal Databases, R. Snodgrass (Ed.), Arlington, Texas, June 1993, pp.QQ1-QQ28.

[W6] Jensen C.(editor), Clifford J., Dyreson C., Gadia S., Grandi F., Jajodia S., Kline N., Montanari A., et al., "Proposed Temporal Databases Concepts". Proceedings of the International Workshop on an Infrastructure for Temporal Databases, R. Snodgrass (Ed.), Arlington, Texas, June 1993, pp.A1-A29.

[W5] Montanari A., Pernici B., "Towards a Temporal Logic Reconstruction of Temporal Databases". Proceedings of the International Workshop on an Infrastructure for Temporal Databases, R. Snodgrass (Ed.), Arlington, Texas, June 1993, pp.BB1-BB12.

[W4] Corsetti E., Crivelli E., Mandrioli D., Montanari A., Morzenti A., Ratto E., San Pietro P., "Dealing with Different Time Scales in Formal Specifications". Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italia, IEEE Computer Society Press, October 1991, pp.92-101.

[W3] Montanari A., Ratto E., Corsetti E., Morzenti A., "Embedding Time Granularity in Logical Specifications of Real-Time Systems". Proceedings of the 3rd IEEE Euromicro Workshop on Real-Time Systems, Paris, France, IEEE Computer Society Press, June 1991, pp.88-97.

[W2] Corsetti E., Montanari A., Ratto E., "A Methodology for an Incremental, Logical Specification of Real-Time Systems". Proceedings of the 2nd IEEE Euromicro Workshop on Real-Time Systems, Horsholm, Denmark, IEEE Computer Society Press, May 1990, pp.87-94 (also in Relazione di Ricerca CNR N.6/17, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 6).

[W1] Corsetti E., Meda R., Montanari A., Ratto E., "An Object Oriented Framework Based on a Logic Formalism for an Executable Specification of Real-Time Systems". AICA Working Days on Temporal Validation of Real-Time Software, Napoli-Portici, September 1989 (also in Relazione di Ricerca CNR N.6/5, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 6).