| system |
| home page |
![]() |
![]() |
. The program will soon be available from our ScienceWeek page. The focus of the Conference - "Computational Logic and Proof Theory" - has attracted a lot of researchers tackling classical problems and finding new methods for long known questions in the field. There were seven invited lectures held by international renowned researchers (Leo Bachmair, Wilfried Buchholz, Samuel R. Robinson, Tanel Tammet, Jerzy Tiuryn) and twenty contributed lectures. |