Results and Trends in Theoretical Computer Science