Bilkent ACM SIGART (Special
Interest Group on Artificial Intelligence)
& Bilkent University Computer
Eng. & Info. Science Dept.,
by
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.