Some Current Professional Activities
These, unfortunately, are no longer current. But here is a sampling of
things I was involved with over the years.
-
Member of ACM, IEEE Computer Society
- Associate Editor, IEEE Transactions on Software Engineering (2003-2007)
- Steering committee member, CASCON (2005 - present)
- Steering committee member, ETAPS (2007 - present)
- Program Co-Chair, CASCON'08, Toronto, October 2008
- Co-Chair, CONCUR'08: 19th
International Conference on Concurrency Theory, Toronto, August 2008
- Program Co-Chair, Fundamental Approaches to Software Engineering (FASE'09), part of
ETAPS'09 (York UK, March 22-29 2009)
- Program committee member, ICSE'08 Research Demonstrations. (ICSE'08 is
in Leipzig, Germany, May 10-18)
- Program committee member, 46th International Conferenve on
Obkects, Models, Components, Patterns (TOOLS-EUROPE'08)
- Program committee member, ICSE'08 Workshop on Modeling in Software
Engineering (MiSE'08), May 2008
- Tutorials Co-Chair, FSE'08 (Atlanta, November 9-15, 2008)
- Member of expert review board, ASE'08 (L'Aquila, Italy, September 15-19 2008)
- Program committee member, ICSE'09
Last Year's Activities
-
Co-Chair, Tutorials, ASE'07 (Atlanta, Georgia, November 5-9, 2007)
-
Program committee member, ASE'07 (Atlanta, Georgia, November 5-9, 2007)
-
Workshop Co-Chair. ASE'07 Workshop on Reasoning with Incompleteness.
(Atlanta, Georgia, November 5, 2007)
-
Program committee member, ASE'07 Workshop on Automated Formal Methods
(Atlanta, November 6).
-
Co-Chair, Workshops and Co-Located events, ICSE'07 (Minneapolis, May 20-26, 2007)
-
Program committee member, VMCAI'07 (Nice, France, January 14-16, 2007)
-
Program committee member, TACAS'07 (Braga, Portugal, March 25 - April 2, 2007)
-
Program commitee member, CASCON'07 (Toronto, October 22-25, 2007)
Last updated: December 9, 2007