5th IFIP International Conference on Theoretical Computer Science, Milano, Italien

<P>The aim of the <B>IFIP Technical Committee 1 on Foundations of Computer Science</B> (<B>IFIP&#8211;TC1</B>) is to support the development and exploration of fundamental concepts, models, theories of computation and of computing systems and the understanding of laws, limits, and possibilities of information processing&#046; <BR><BR>Besides, the Committee aims at supporting the development of theoretical computer science as a fundamental science that has scientific goals in understanding the information processing world as physics has in understanding the energy processing world and similar goals in developing methodology for science and technology as mathematics does&#046; <BR><BR>The conference <B>Theoretical Computer Science</B>, which is held every two years, either in conjunction or in the framework of the <B>IFIP World Computing Congress</B>, is the meeting place of the <B>TC1</B> community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field&#046; <BR></P> <P><B>Keywords:</B> <STRONG>Track A</STRONG> Algorithms, Complexity and Models of Computation<BR><B>Track B</B> Logic, Semantics, Specification and Verification</P>