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

[anhinga-anhinga.livejournal.com]

Ну может на узкоспециальных мероприятиях, куда посторонние и не заходят..

Это же всё invited talks на большой конференции -- если ты заглянешь по ссылке, то увидишь, какое там разнообразие.. Они как раз обязаны сделать это понятным для людей из смежных областей..

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

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