Special Issues of Jounals

The following are some journal special issues that I have a connection with.

• Special issue of Transactions on Aspect-Oriented Software Development on the topic of Modularity Constructs in Progamming Languages

Conferences

The following are some future conferences and meetings that I have some connection with.

• ESOP'13: 22nd European Symposium on Programming
• PLDI 2013
• NII Shonan Meeting about JML, May 13-16, 2012.

Upcoming Conferences and Workshops

• DIKU TOPPS list of Programming Language Theory Conferences
• The 8th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2010

Conference and Workshop Series

• AOSD
• GPCE
• ICSE
• SPLASH (formerly OOPSLA, includes Onward!)
• ECOOP
• ETAPS
• Formal Methods for Components and Objects (FMCO)
• Formal Methods Europe (FME)
• Foundations of Aspect-Oriented Languages (FOAL)
• Foundations of OO Languages (FOOL)
• Formal Techniques for Java-like Programs (FTfJP)
• POPL
• Specification and Verification of Component-Based Systems (SAVCBS)
• Midwest Society for Programming Languages
• Workshop on Institutionalizing Software Reuse

Electronic Information from Past Conference and Workshops

• 
• OOPSLA 2009
• Foundations of Aspect-Oriented Languages (FOAL) workshop series.
• Foundations of OO Languages (FOOL 2), Paris, July, 1994.
• Mathematical Foundations of Programming Semantics, Eleventh Annual Conference, March 29 to April 1, 1995. Electronic Notes in Theoretical Computer Science, Volume 1.
• Foundations of OO Languages (FOOL 4), Paris, January, 1997.
• Foundations of Component Based Systems (FoCBS), Zurich, September 1997.
• Formal Underpinnings of Java Workshop at OOPSLA '98.
• Formal Techniques for Java Programs workshop, June 14, 1999.
• Formal Techniques for Java Programs workshop, June 12, 2000 at ECOOP 2000.
• Formal Techniques for Java Programs, workshop at ECOOP 2001.
• Formal Techniques for Java-like Programs, workshop at ECOOP 2002.
• PASTE 2004
• Specifying and Checking Properties of Software, 2001 University of Washington and Microsoft Research Summer Institute.
• Specification and Verification of Component-Based Systems, workshop at OOPSLA 2001
• Java Verification Workshop, 2002
• Verified Software: Theories, Tools, Experiments, Zurich, 2005
• Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings.

Journals

Transactions on Aspect-Oriented Software Development

The Journal of Object Technology

Last update $Date: 2012/11/07 15:03:40 $