SOS 2011: Call for Papers

The call for papers for SOS'11 (Structural Operational Semantics 2011) is out. SOS 2011 will be held as an affiliated event of CONCUR 2011 on September 5, 2011, in Aachen, Germany. The important dates are as follows:

• Submission of abstract: Friday 27 May 2011
  
• Submission: Friday 3 June 2011
  
• Notification: Friday 1 July 2011
  
• Final version: Friday 15 July 2011
  
• Workshop: Monday 5 September 2011

SOS is an event that is very close to my heart, so I strongly encourage my readers to submit good papers to the workshop. Let´s start sharpening our pencils now, but not in the sense of Halmos :-)

Accepted papers for LICS 2011

The list of accepted papers for LICS 2011 is out (with abstracts). The programme looks very strong, as usual.