GoingToMeet

The conference ICCSA'08 is held under the World Congress on Engineering and Computer Science WCECS 2008. The WCECS 2008 is organized by the International Association of Engineers (IAENG), a non-profit international association for the engineers and the computer scientists. The congress has the focus on the frontier topics in the theoretical and applied engineering and computer science subjects. The last IAENG conference in 2006 has attracted more than four hundred participants from over 30 countries.

The topics of the ICCSA'08 in

Theoretical computer science:
Algorithmic information theory
Computability theory
Cryptography
Formal semantics
Theory of computation
Analysis of algorithms and problem complexity
Logics and meanings of programs
Mathematical logic and Formal languages
Type theory