During the first year of the project, the involve community has been mainly investigating questions on Work Packages 4 (General Semantics and Axiomatization) and Work Package 7 (Logics for special reasoning models). Results on such argument have been published mainly in the proceedings of international conferences (4) and on international journals (3). Also, a book chapter will be published soon.
As for of publications in international journals, it is worth to remember that top journals in our area have a quite long revision process and, once accepted, a paper might take some months to be published either in its online or in its printed version. Despite this fact, the MOSAIC community manages to publish already 3 papers in international journals. As for conference proceedings, we have a total number of 4 publications, most of which in the main area of WPs 4 and 7. Quality indicators for publications: As for the international journals, the Annals of Pure and Applied Logic is one of the most renewed publication in our area. Also, Studia Logica and the Journal of Logic and Computation are considered top journals in the area of Logic. JELIA is a top conference in the area of Logic and Artificial Intelligence.
In September 2022 the MOSAIC kick off conference was organized in Paestum (Italy) and co-located with the international conference LATD 2022 (Logic, Algebra and Truth Degrees). The choice for a co-location will be explained in Section 2.1 below. This was the first event in which the whole community around the MOSAIC project met and we hence expect even stronger collaboration to start from now on. Around 70 scholars participated in the event.
Also in September 2022 the MOSAIC cofound summer school “Logics of the new AI spring” was organized in Como (Italy) in collaboration with the Como Lake School for Advanced Studies. The main organization of the school has been carried out by the CSIC together with the University of Milan, the latter being the Lead Beneficiary of WP2 (Schools and Training). Around 60 among PhD students and postdocs early stage researchers participated in the school. The summer school is linked to a Special Issue on “Logics for the new AI Spring”.
On September 2023 we cofound a summer school in South Africa together with our partner the University of Witwatersrand in Johannesburg.
Also we organize a workshop in Vienna (Austria), organized by the MOSAIC beneficiary Technische Universität Wien.
We are planning to co-locate the next major event together with the international conference AiML (Advances in Modal Logic) that will be held in Prague, and organized by the MOSAIC beneficiary Ustav informatiky (ICS-CAS), in 2024.
We add 4 new partners: University of Siena (Italy), University of Cagliari (Italy), University of Olomouc (Czech Republic) and the Jagiellonian University (Poland).
