2nd IAOA Summer School – Kit Fine – Formal Ontology

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.

Summary of the 2nd IAOA Summer School on Ontological Analysis

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

Summary of the NII Shonan Meeting on Engineering Adaptive Software Systems

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

Summary of SEAMS 2013

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

Summary of CoopIS 2012

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

Live ICSE 2012 blogging: Towards Flexible Evolution of Dynamically Adaptive Systems

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

Live ICSE 2012 blogging: Generating Obstacle Conditions for Requirements Completeness

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