O ProComb
possibilitará a cooperação e a integração de esforços
entre as instituições participantes. Cabe aqui mencionar que tal
cooperação e integração têm sido um objetivo da nossa comunidade.
Mencionamos por exemplo o LATIN 
92 (IME-USP, abril de 1992), que
foi o primeiro encontro internacional na área de teoria da computação
da América Latina, e as duas Semanas de Combinatória (IME-USP, agosto
de 1991, e dezembro de 1992), que contaram com a participação de
vários especialistas internacionais.
O que falta aqui é, entretanto, uma sistematização dos esforços da nossa comunidade no sentido de manter encontros regulares além dos eventos de magnitude maior como os mencionados acima. O nosso projeto contribuirá significativamente neste sentido, pois ele fornecerá infraestrutura para tais atividades. Ademais, com os eventos previstos neste projeto objetivamos atrair pesquisadores de centros emergentes com os quais temos mantido contatos esporádicos. Contribuiremos assim para o desenvolvimento desses centros.
Com relação ao tema do ProComb , a teoria da computação, fazemos nosso o manifesto abaixo sobre a sua importância dentro da ciência da computação. Statement on the Importance of
Theoretical Computer Science
(Draft)
ACM SIGACT Long Range Planning Committee
Amihood Amir, Manuel Blum, Michael Loui, John Savage, and Carl Smith (Chair)
Every mature scientific and engineering discipline recognizes the value of theory; it provides a stable intellectual foundation to a field. Theoretical computer science plays this role for computer science. Every area of computer science, including programming languages, databases, operating systems, artificial intelligence, and software engineering, has a theoretical basis.Research in theoretical computer science has produced efficient data structures and algorithms that have been incorporated into many software tools and hardware products. Research in theory has also established conditions under which efficient algorithms do not or are unlikely to exist, and has set limits on the performance of algorithms and machines.
Theoretical computer science provides the fundamental concepts, principles, and techniques needed to understand and cope with our rapidly changing field. Consequently, theory occupies a central place in computer science curricula. Theory courses on data structures, analysis of algorithms, and models of computation support and complement other computer science courses. Most theory courses strongly emphasize abstract reasoning and rigorous thinking, skills that are useful in a wide range of situations.
The perspective on computers, programs and computation provided by theory is the best vantage point from which to uniformly understand all the developments in computer science.
Julgamos estar o manifesto acima em completo acordo com o exposto em Formação de Recursos Humanos, Pesquisa e Desenvolvimento: Bases para uma Politíca de Informática, elaborado pelo Ministério de Estado para Assuntos de Ciência e Tecnologia, Secretaria de Política de Informática e Automação.
Finalmente, no que concerne à formação de recursos humanos, a capacidade de absorção de novas tecnologias por profissionais na área de informática depende de uma sólida formação teórica desses profissionais. Os projetos teóricos submetidos ao ProTeM-CC devem ter um papel ativo na formação de recursos humanos de primeira linha. Neste sentido, destacamos o seguinte ponto do nosso projeto: com atividades de pesquisa sistematizados e integrados a nível nacional, acreditamos que um número maior de mestres e doutores serão produzidos nos centros participantes--especificamente, objetivamos atrair alunos e pesquisadores através dos eventos (seminários e oficinas) organizados dentro deste projeto.