ATVA 2005 will be co-located and have a two-day overlap with FORTE 2005, which is to be held from 2 (Sunday) to 5 (Wednesday) October 2005. As the first half of ATVA 2005 is overlapped with the second half of FORTE 2005, to encourage people to attend and register for both conferences, we shall offer an attractive discount on the sum of two registration fees.

Note: FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV and in 1988 a second series under the name FORTE was set up. The two series were united to FORTE/PSTV in 1996, which was changed to its current form in 2001. FORTE 2005 will be the 25th of this conference series.