On this page we maintain a list of upcoming conferences, upcomming summer schools, followed by past conferences. Please, follow format of current entries for new entries.

Upcoming Conferences

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

• DATE'09; Paper due: September 07, 2008
• IMETI'09; Paper due: September 24, 2008
• ETAPS'09; Abstract due: October 2, 2008. Paper due: October 9, 2008.
• PEPM'09; Abstract due: October 12, 2008. Paper due: October 17, 2008.

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

Upcoming Summer Schools

Past Conferences

(Ordered by event date, recent 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.
• 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.

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.

Past 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.