ETAPS 2005

6-10^th July 2005	CAV (Computer Aided Verification conference) 2005
25-28^th July 2005	COMPSAC (Computer Software and Applications Conference) 2005
30^th July - 5^th 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