::SPONSORS::

We would like to thank to the following institutions for their generous support (both in kind and monetary) to ICTAC 2008.

Formal Methods Europe

The Scientific and Technological Council of Turkey