3rd International Workshop on Term Graph Rewriting TERMGRAPH 2006
Submission deadline for Extended Abstracts: 7 January, 2006
Notification: 10 February, 2006
Pre-proceedings version due: 15 March, 2006
Workshop: 1 April, 2006
Submission deadline for ENTCS: 15 June, 2006.
Notification: 15 September, 2006.
Final Versions: 15 October, 2006.

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Submission deadline: 23:00 18 July, 2005 Samoan time
Author review period: 23:00 12 Sept to 23:00 14 Sept, 2005, Samoan time
Author notification: 26 Sept, 2005
Final paper due: To be announced
Conference: January 11-13, 2006

IEEE Transactions on VLSI Systems Special Section on Hardware/Software Codesign and System Synthesis
Submission deadline: July 1, 2005
Notification of acceptance: September 15, 2005
Target publication date: December 2005

LASER summer school on Applied Software Engineering
Deadline: 20 June, 2005
Summer school: 10-17 September, 2005

2nd ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS 2005)
June 6, 2005: position papers submission by email
June 20, 2005: notification of acceptance
June 30, 2005: submission of camera-ready versions


10th International Conference on Reliable Software Technologies - Ada-Europe 2005
14 November 2004: Submission of proposed contributions (extended deadline)
17 January 2005: Notification to authors
7 March 2005: Camera-ready papers required
20-24 June 2005: Conference

Policy 2005 6th IEEE International Workshop on Policies for Distributed Systems and Networks
Paper submission deadline: 10 December 2004
Author notification: 21 February 2005
Camera ready copy due: 21 March 2005
Workshop dates: 6-8 June 2005

ICFP 2005 ACM SIGPLAN International Conference on Functional Programming
Submit workshop proposals by November 1, 2004
Notofication of acceptance by December 1, 2004
Conference: September 26-28, 2005

32nd International Colloquium on Automata, Languages and Programming
Workshop proposals due: November 28, 2004
Submissions: February 13, 2005
Notification: April 8, 2005
Final version due: April 30, 2005
Workshop: July 11-15, 2005

Formal Methods in System Design Special Issue on Parallel and Distributed Methods in Verification
Abstract Submission Deadline: Dec. 15, 2004
Invitation to Full Version: Jan. 1, 2005
Manuscript Submission Deadline: Feb. 28, 2005
Reviews Completed: May 30, 2005
Major Revisions Due (if needed): July 15, 2005
Reviews of Revisions Completed: Aug. 15, 2005
Minor Revisions due (if needed): Aug. 31, 2005
Notification of Final Acceptance: Sep. 7, 2005
Final Manuscripts Due: Sep. 15, 2005
Publication Date: Feb. 2006

19th European Conference on Object Oriented Programming
Submission: Mon 20th Dec 04
Author Notification: Mon 28th Feb 05
Camera Ready Copy: Mon 18th Apr 05
Conference: 25-29 July 2005

Twenty-Fourth Annual ACM SIGACT-SIGOPS Symposium on PRINCIPLES OF DISTRIBUTED COMPUTING (PODC 2005)
Submission deadline: February 7, 2005, at 17:59 EST
Acceptance notification: April 26, 2005
Camera-ready copy due: May 20, 2005
Symposium: July 17-20, 2005

First Call for Papers: PPDP 2005 Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
Submission: 13 February 2005
Notification: 1 April 2005
Final Version: 1 May 2005
Conference: 11-13 July 2005

12th International SPIN Workshop on Model Checking of Software
April 1, 2005: Submission deadline for Abstracts
April 8, 2005: Submission deadline for Papers
May 16, 2005: Notification of acceptance
June 13, 2005: Final version of papers due
August 22-24, 2005: SPIN 2005 in San Francisco