Upcoming Conferences

Call for Papers (Ordered by paper submission deadline, closest first)

• ICESS'08: The 2008 International Conference on Embedded Software and Systems; Paper: 1 February 2008;
• ICCES'08: The 2008 International Conference on Computer Engineering & Systems; Paper: 12 June 2008.
• VL/HCC 2007: IEEE Symposium on Visual Languages and Human-Centric Computing; Abstract: 6 March 2007; Paper: 20 March 2007.
• RTCSA 2007: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications; Paper: 31 March, 2007.
• Embedded Systems Week (CODES+ISSS, CASES, and EMSOFT 2007); Date: Sep 30 - Oct 5, 2007; Abstract: Sunday, April 8, 2007; Paper: Sunday, April 15, 2007.
• GPCE 2007 (part of Embedded Systems Week); Date: October 1-3, 2007; Abstract: April 17, 2007; Paper: April 20, 2007.
• FORMATS 2007 (part of Embedded Systems Week); Date: October 3-5, 2007; Paper: May 7, 2007.
• FMCAD 2007: Formal Methods in Computer Aided Design; Date: Nov 11 - Nov 14, 2007; Abstract: April 30, 2007; Paper: May 7, 2007.

Call for Participation (Paper deadline passed; Ordered by event date, closest first)

• CGO-2007; March 11-14, 2007; Paper: September 8, 2006.
• ESOP 2007; 24 March - 1 April, 2007; Abstract: Oct 6; Paper: Oct 13.
• HFL 2007: Workshop on Hardware Design and Functional Languages; March 24-25, 2007; Abstract: December 8, 2006; Paper: February 18, 2007.
• TFP 2007: The Eighth Symposium on Trends in Functional Programming; April 2-4, 2007; Abstract: Feb 1, 2007; Paper: March 9, 2007.
• ICSE 2007; 20-26 May 2007; Paper: September 8, 2006.
• MEMOCODE 2007; May 30 - June 1, 2007; Paper: Feb 3 2007.
• DAC 2007: Design Automation Conference; June 4-8, 2007; Paper: Nov. 20, 2006.
• PLDI 2007 (part of Federated Computing Research Conference); June 8-16, 2007; Abstract: November 14, 2006.
• DSN 2007: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks; June 25-28, 2007; Abstract: Nov 20, 2006; Paper: Dec 11, 2006.
• SIES 2007: IEEE Second International Symposium on Industrial Embedded Systems; 4-6 July 2007; Paper: February 25, 2007.
• TPHOLs 2007; 11-13 Sep, 2007; Paper: 23 Feb 2007.
• TECHCON 2007: Technology and Talent for 21st Century; September 10-12, 2007; Abstract: Feb 20, 2007; Paper: June 12, 2007.
• PACT 2007; September 15-19, 2007.

Upcoming Summer Schools

Ordered by event date, closest first

• GTTSE 2007: 2nd Summer School on Generative and Transformational Techniques in Software Engineering; July 2-7, 2007; Braga, Portugal; Early Registration (600 Euro): April 15, 2007; Late Registration (750 Euro): June 1, 2007.
• Oregon Summer School 2007: Summer School on Language-Based Techniques for Integrating with the External World; July 18-26, 2007; University of Oregon, Eugene, Oregon; Registration: March 31, 2007.

Past Conferences

(Ordered by event date, recent first)

• POPL 2007; January 17-19, 2007; Paper: July 15, 2006
• PEPM 2007; January 15-16, 2007; Paper: October 27, 2006.
• PADL 2007; January 14-15, 2007; Abstract: August 30, 2006; Paper: September 3, 2006.
• SoC-2006; December 4-6, 2006; Paper: September 1, 2006.
• FMSE 2006: Formal Methods in Security Engineering: From Specifications to Code; Nov 3, 2006.
• EMSOFT 2006; Oct 22-25, 2006; Paper: May 8, 2006.
• OOPSLA 2006; Oct. 22-26, 2006; Paper: March 18, 2006.
• GPCE 2006; October 22-26, 2006; Paper: May 5, 2006.
• IES 2006: IEEE Symposium on Industrial Embedded Systems; October 18-20, 2006.
• 1st ACM SIGPLAN Workshop on Mechanizing Metatheory; September 21, 2006; Paper: June 3
• ICFP 2006; September 18-20, 2006.
• Scheme Workshop 2006: September 17, 2006; Paper: June 9.
• ACM Workshop on Generic Programming; 16th September 2006; Paper: June 3, 2006.
• ACM SIGPLAN Workshop on ML: September 2006; Paper: June 3.
• SAS 2006; 29-31 August 2006.
• PLPV 2006: Programming Languages meets Program Verification; August 21, 2006; Paper: May 19, 2006.
• IJCAR 2006: International Joint Conference on Automated Reasoning (at the Federated Logic Conference); August 17 - 20, 2006; Paper: March 6, 2006.
• The 2006 Federated Logic Conference; August 10 - August 22, 2006; Includes CAV, RTA, LICS, ICLP, IJCAR, SAT.
• LICS 2006: Logic in Computer Science; August 12th-15th, 2006; Titles and abstract: Feb. 3; Extended abstract (10 page max): Feb 10, 2006
• RULE 2006; 11th August, 2006.
• ICALP 2006: International Colloquium on Automata, Languages and Programming; July 9-16, 2006; Paper: Feb. 10, 2006.
• PPDP 2006: Principles and Practice of Declarative Programming ; 10-12 July 2006; Paper: March 15, 2006.
• MPC 2006: Mathematics of Program Construction; July 3-5 2006; Abstract: January 27, 2006; Notification: March 17th, 2006.
• LCTES 2006: ACM SIGPLAN 2006 Conference on Languages, Compilers, and Tools for Embedded Systems; June 14-16, 2006; Paper: February 11, 2006 (co-located with PLDI).
• Dynamic Languages Symposium; October 23, 2006; Paper: June 1, 2006.
• TFP 2006: Trends in Function Programming (co-located with Types 2006); April 9-21, 2006; Abstract: February 17, 2006, Notification: February 27th, 2006.