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.
academia
2nd IAOA Summer School – Renata Wassermann – Knowledge Representation and Description Logics
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.
2nd IAOA Summer School – Giancarlo Guizzardi – An Introduction to Applied Ontology
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.
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
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
Summary of SEAMS 2012
On June 4th and 5th I participated in the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), which was co-located with the 34th International Conference on Software Engineering (ICSE 2012), in Zürich, Switzerland. I presented a paper called “(Requirement) Evolution Requirements for Adaptive Systems”, which one of the final pieces… Continue Reading
Live ICSE 2012 blogging: Graph-Based Analysis and Prediction for Software Evolution
Previous live blog post: Maintaining Invariant Traceability through Bidirectional Transformations Iuliam Neamtiu (University of California at Riverside, USA) presented the work Graph-Based Analysis and Prediction for Software Evolution. In this work, the authors analyzed the evolution of graphs about software (e.g., function call graphs, module relationships graphs, commit logs / bug reports graphs, etc.). Analyzing… Continue Reading