Confs in 2010

• STACS'10 (March 4-6, 2010 - Nancy, France; subm: September, 22nd, 2009)
• Workshops affiliated with POPL 2010:
  • PLPV'10 (Jan 19, 2010, Spain; subm DL: October 8, 2009)
  • TLDI'10 (Saturday, 23 January, 2010; subm: 5 October 2009 (Monday))
• FLOPS 2010 (April 19-21, 2010; Sendai, Japan; subm: Abstract: October 16, 2009/Paper: October 23, 2009)
• SALT20 (April 29 - May 1, 2010; subm: Dec. 1, 2009)***
• FLoC'2010 (9-21/7/2010, Edinburgh)
  • LICS (July 11-14; Subm DL: Jan 17; notification: Mar 20)***
  • ITP-10 (July 11-14; Subm DL: Jan 22; notification: Mar 15)***
  • IJCAR, CAV: 16-19/7/2010
  • MLPA-10 (July 16, 2010)***
• ICALP'10 (July 5-12, 2010, Bordeaux, France; subm: Feb 10, 2010)
• ESSILLI 2010 (DENMARK; AUGUST 9-20, 2010)***
• WoLLIC 2010 (6-9/7/2010; subm: 28/2/2010: abstract and 7/3/2010: paper)
• CSL 2010 (Aug 23-27, 2010; subm: March 26, 2010 for Abstracts; April 2, 2010 for Full papers)***
• ICFP 2010 (September 27-29, 2010; subm: 2 April 2010)
• RADICAL 2010 (May 10-11, 2010, Microsoft Research, Cambridge)***
• CL&C 2010 (August 21-22, 2010, Czech; Subms: June 13, 2010 (abstract) and June 27, 2010 (paper))***
• Trusted Extensions of ITSs (Cambridge, August 11-12, 2010)
• TYPES 2010 (Warsaw, Oct 13-16, 2010)***