Computação Interativa

Vários trabalhos de pesquisa, ultimamente, têm se concentrado no conceito de computação interativa: focalizar, na teoria da computabilidade, não mais o algoritmo como peça central, mas a interação. Isso torna os modelos clássicos (máquinas de Turing, lambda-calculus, etc) inadequados para descrever os sistemas computacionais atuais. A idéia é desenvolver novos fundamentos que levem em conta interação, distribuição, mobilidade e concorrência.

Um dos tipos de formalismo desenvolvido são as álgebras de processo, como o pi-calculus; assuntos que pretendo estudar em breve (os livros já estão aqui). A busca dos fundamentos para computação interativa me interessa muito, e é algo que eu posso relacionar com a minha pesquisa de mestrado.

A conferência Foundations of Interactive Computation é sobre isso. O call for papers apresenta alguma contextualização para os motivos dessa busca.