Temptations of "Computability in Europe 2006"

[anhinga_anhinga]

University of Wales, Swansea, 30 June - 5 July, 2006

Luca Cardelli: Biological Systems as Reactive Systems.
Martin Davis: The Church-Turing Thesis: Consensus and Opposition.
István Németi: Can general relativistic computers break the Turing barrier?

Comments

[http://users.livejournal.com/_rowan_tree_/]

Invited talks ради бога пусть будут понимаемыми. А вот когда своим правды не говорят...