Links to meetings that I'm involved with somehow:

• Second IEEE Workshop on Software Reusability, 24 September 2006, at IEEE International Conference on Software Maintenance, Philadelphia PA.
   
• Festschrift for Joseph Goguen, 27-29 June 2006, University of California at San Diego; followed by IFIP 1.3 meeting, 30 June.
   
• 18th Int. Conf. on Scientific and Statistical Database Management (SSDBM '06), 3-5 July 2006, Vienna, Austria.
   

• Fourth International Symposium on Domain Theory (ISDT'06), 2-6 June 2006, Hunan University, Changsha, China. [Can't go since it's last week of classes.]
   
• 38th International Conference on Software Engineering (ICSE '06), 20-28 May 2006, Shanghai, China.
   
• Tucson VII - Towards a Science of Consciousness 2006, 4-8 April 2006, Tucson AZ. Probably won't go, since the workshop on Qualia, Nonlinear Dynamics and Improvisation: Experiencing music and poetry that we planned present there has been cancelled.
   
• Semantic Web and Databases Workshop (SWDB06), Atlanta, 3-7 April 2006. [Can't go since onflicts with Tucson VII.]
   
• Visit of John Sowa, 10 - 11 February 2006, UCSD, CSE.
   
• Social Intelligence Design Workshop (SID06), Osaka, Japan, 24-26 March 2006. [Not planning to attend.]
   
• Visit of Ben Shneiderman, 29-30 January 2006; here are his schedule for the visit, and his talk The thrill of discovery: Information visualization for high dimensional spaces, 11am, 30 January 2006.
   
• Symposium on Reasoning and Cognition, at the Centre for Integrated Research on the Mind, Keio University, Tokyo, 19-21 December 2005.
   
• Workshop on Social Aspects of Information Technology, Kyoto, Japan, 13-14 December 2005.
   
• Verified Software: Theories, Tools, Experiments, 10-13 October 2005, Zurich, Switzerland. [I couldn't make it.]
   
• Fifth FLIRTS Meeting, 1-2 October 2005, Bremen, Germany. (FLIRTS is an acronym for "Formalism, Logic, Institution - Relating, Translating and Structuring".)
   
• Workshop on Software Evolvability, at IEEE International Conference on Software Maintenance 2005, 26 September 2005, Budapest, Hungary. [I couldn't make it.]
   
• 13th International Conference on Conceptual Structures (ICCS '05), 18-22 July, 2005, Kassel, Germany.
   
• Stil und Computer, 25 June 2005, Frankfurt an der Oder, Germany. A section of the Deutsche Gesellschaft fur Semiotik 2005 Kongress.
   
• 19th International Workshop on Unification, 22 April 2005, co-located with 16th International Conference on Rewriting, April 19-21, Nara, Japan. Also, 20th birthday celebration for OBJ3.
   
• 16th International Conference on Rewriting Techniques and Applications, part of the Federated Conference on Rewriting, Deduction and Programming, 19-21 April 2005, Nara, Japan.
   
• First World Conference on Universal Logic, 26 March to 3 April 2005, Montreaux, Switzerland. [I couldn't make it; Diaconescu presented our paper.]
   
• International Association of Jazz Educators, Annual Conference, 5-8 January 2005, Long Beach CA. [I couldn't make it; Borgo presented our paper.]
   
• Conference on Formal Ontology in Information Systems, 4-6 November 2004, and its associated Workshop on the Potential of Cognitive Semantics for Ontologies, Torino, Italy.
   
• Symposium on Style and Meaning in Language, Art, Music and Design, October 21-24, Washington DC; includes summary and link to some photos. In the 2004 AAAI Fall Symposium Series.
   
• Seminar on Semantic Interoperability and Integration, 19-24 September 2004, Schloss Dagstuhl, Germany.
   
• Workshop on Algorithms and Tools for Coinductive Reasoning, 17-22 September 2004, Dresden, Germany.
   
• Workshop on Combinations of Logic (CombLog'04), 28-30 July 2004, Lisbon, Portugal.