Links to meetings that I'm involved with somehow:
Meetings now passed into history:
- 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,
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
- 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.
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
Fifth FLIRTS Meeting, 1-2 October 2005, Bremen, Germany. (FLIRTS is an
acronym for "Formalism, Logic, Institution - Relating, Translating and
Workshop on Software Evolvability, at IEEE International Conference on
Software Maintenance 2005, 26 September 2005, Budapest, Hungary. [I
couldn't make it.]
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.
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
- Seminar on Semantic
Interoperability and Integration, 19-24 September 2004, Schloss Dagstuhl,
on Algorithms and Tools for Coinductive Reasoning, 17-22 September 2004,
- Workshop on
Combinations of Logic (CombLog'04), 28-30 July 2004, Lisbon, Portugal.
Maintained by Joseph Goguen
Last modified: Thu Jun 8 18:30:21 PDT 2006