Nicola Guarino started his course on “Ontological Analysis and Conceptual Modeling” in the last slot on Monday. The course was divided in four parts, going on until Thursday.
Kit Fine started his course on “Formal Ontology” on Monday afternoon. He said his focus would be on essence: essence as modality, essence as indexed modality and essence as constitutive modality.
Renata Wassermann started her course “Knowledge Representation and Description Logics” on Monday morning. The course started with basics on AI, Knowledge Representation and basic logics.
On Monday, right after the official opening of the event, Giancarlo Guizzardi followed with the talk “An Introduction to Applied Ontology” and opened the technical program of the Summer School.
This week I’m attending the Second Interdisciplinary Summer School on Ontological Analysis, taking place in Vitória, ES. As usual, in order to force myself to pay attention, I wrote quick summaries of the presentations that were given during the week. The summer school program consists of four courses (spanning through the whole week) and three… Continue Reading
On September 9th through 12th I participated in the NII Shonan Meeting on Engineering Adaptive Software Systems (EASSy), organized by the Japanese National Institute of Informatics in the Shonan Village Center, in Kanagawa, Japan. The Shonan Meetings are Daghstul Seminar-like meeting of researchers on a specific theme and this is the second edition on the… Continue Reading
On May 20th and 21st I participated in the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), which was co-located with the 35th International Conference on Software Engineering (ICSE 2013), in San Francisco, CA (USA). This year, I was really happy to have two full papers and a short paper… Continue Reading
On September 13th and 14th I participated in the 20th International Conference on Cooperative Information Systems (CoopIS 2012), in Rome, Italy. I presented a paper called “Requirements-Driven Qualitative Adaptation”, which is one of the final pieces of my PhD work in the University of Trento, Italy. As usual, I wrote quick summaries of the presentations… Continue Reading
Previous live blog post: Generating Obstacle Conditions for Requirements Completeness My last live blog post describes the presentation of the paper Towards Flexible Evolution of Dynamically Adaptive Systems, by Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais and Jean-Marc Jezequel (University of Namur, Belgium; SINTEF, Norway; University of… Continue Reading
Previous live blog post: Graph-Based Analysis and Prediction for Software Evolution In the morning session of the last day of the conference, Sebastian Uchitel (Imperial College London, UK) presented a paper called Generating Obstacle Conditions for Requirements Completeness, co-authored with Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde and Alessandra Russo. The motivation for this work… Continue Reading