Conferences

The following are some conferences that I have some connection with.

Upcoming Conferences and Workshops

• ECOOP 2009: European Conference on Object-Oriented Programming
• OOPSLA 2009
• VSTTE 2010
• DIKU TOPPS list of Programming Language Theory Conferences

Conference and Workshop Series

• AOSD
• GPCE
• ICSE
• Onward!
• OOPSLA
• 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

• 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

Journals

Last update $Date: 2009/11/12 01:30:04 $