Update of information in [SIAN03p2-2] .
The FCT'95 Program & Registration Information is available.
The full announcement contains the FCT'95 Program (invited lectures, accepted papers, invited talks of the minisymposium on "Specification of time-critical systems"), the registration form and accommodation reservation form.
Deadline for early reservation: June 30, 1995.
One can also get the full version of the announcement by sending an e-mail at
fct95@tcs.inf.tu-dresden.de