Potential publication outlets

Workshops, symposia and conferences

*  CPP 2011, Taiwan. Abstract submission date: June 13 2011, paper submission date: June 17 2011.

*  FMCAD 2011, USA. Abstract submission date: May 11 2011, paper submission date: May 18 2011.

*  FORMATS 2011, Denmark. Abstract submission date: May 15 2011, paper submission date: May 22 2011.

*  GandALF 2011, Italy. Abstract submission date: March 13 2011, paper submission date: March 20 2011.

*  ITP 2011, Netherlands. Abstract submission date: February 13 2011, paper submission date: February 20 2011.

*  PSI 2011, Russia. Paper submission date: April 22 2011.

*  LOLA 2011, Canada. Paper submission date: April 29 2011.

*  VSTTE 2012. USA, Paper submission date: August 31 2011.

Journals