Bilkent ACM SIGART (Special
Interest Group on Artificial Intelligence)
& Bilkent University Computer Eng. & Info. Science Dept.,
Prof. J. Alan Robinson
Prof. J. Alan Robinson is visiting the Department
of Computer Science during the week of April 28, and he will give
a series of lectures on his research. There will be three
lectures at Bilkent on Unification and
Resolution, Automated Theorm Proving
and Logic Programming, and another one
at METU on Formal versus Informal Proofs.
Please note that these lectures will not
be held at our normal meeting place or time, click on the links
above for details.
Prof. Robinson is well-known in the field of artificial intelligence (AI), namely as the "father" of unification and resolution, which discoveries spawned whole new research areas, such as computational logic and logic programming languages, and made possible many AI applications, such as automated theorem provers, expert systems, and so on.
Prof. Robinson has held positions at Rice University and Syracuse University, and, since his retirement in 1993, has been visiting research professor at numerous other universities. He has been awarded two honoris causa doctor titles for his lifetime achievements, not to mention many other awards, and a textbook compiled by colleagues in his honor.
Everybody is welcome to these lectures, which are at the entry-level.
P.S. We have to thank Drs. Pierre Flener and Sydney Afriat for organising these lectures and for handling all the arrangments for Prof. Robinson during his stay in Ankara. The talks are sponsered by Bilkent University.