FInCo
International Workshop “Foundations of Interactive Computation” (2005—2007)
FInCo was a satellite workshop of ETAPS, held twice — Edinburgh 2005 and Braga 2007 — pursuing a unified conceptual and formal framework for interactive computation, the counterpart for interaction of what Turing machines and lambda-calculus are for algorithms. Mirko Viroli co-organised the first edition and sat on the steering committee of the second; Andrea Omicini served on the programme committee of both. Proceedings appeared in ENTCS.
2 eventi nella serie