6-10th July 2005 CAV (Computer Aided Verification conference) 2005
25-28th July 2005 COMPSAC (Computer Software and Applications Conference) 2005
30th July - 5th August 2005 IJCAI (International Joint Conference on Artificial Intelligence) 2005

Previous ETAPS conferences
ETAPS'04
ETAPS'03
ETAPS'02

Next ETAPS conference
ETAPS'06 in Vienna