Asian Computing Science Conference, Penang, Malaysia, Nov. 25-27, 2000. The scope of the conferences has been a broad coverage of Computer Science,
but with a focus on a few chosen specific themes concerning the formal aspects
of algorithms, programming, concurrency and parallelism, networking and security.
The 2000 conference will continue to emphasize the conceptual areas of Computer
Science, though papers in all areas will be considered. The following themes
represent the areas of focus for this year:
School on Convergence of Computing, Communications and Content, AIT, Bangkok,
Thailand, 7-18 Aug. 2000.
AIT with the support and co-operation of DAAD and Siemens are able to organize
a Summer School on the theme of "Convergence of Computing, Communications
and Content". The School is scheduled during August 7-18,2000 at the AIT Campus.
The lecturers are drawn from the Institute as well as from the outside.
The seats are limited and the participants are sponsored and are drawn from
Australia, China, India, Korea, Indonesia and so on.
Computing Homology Groups of Simplicial Complexes
in R^3, by Prof. Sumanta Guha, Dept of EE&CS University of Wisconsin-Milwaukee,
CS 209, Thursday, June 29, 10:00.
Recent developments in analyzing molecular structure and representing solid
models using simplicial complexes have raised the need to efficiently compute
structural information about simplicial complexes, particularly ones that
live in the 3D real world.
In this talk we will describe how to compute one important structural invariant
of simplicial complexes in an efficient manner: their homology groups.
Evolutionary Computing, by Prof. L.M. Patnaik,
Department of Computer Science and Automation of the Electrical Sciences Division
at the Indian Institute of Science, Bangalore, India.
CS 209, Friday, Marsh 23, 13:00.
Mobile Computing, by Prof. L.M. Patnaik, Department
of Computer Science and Automation of the Electrical Sciences Division at
the Indian Institute of Science, Bangalore, India.
CS 209, Monday, Marsh 24, 13:00.
Can Computers Teach Humans How to Think?, by Prof. Robert
Kowalski, Imperial College of Science and Technology, London.
CS 209, Friday, February 4, 13:00.
Symbolic logic was originally developed as a tool to improve human reasoning.
In the first half of the twentieth century, it made important contributions
to the foundations of mathematics. In the second half of the century, it was
further developed for computing applications, including databases, programs,
program specifications and artificial intelligence. In this talk, I will argue
that the resulting, enhanced computational logic can also be used directly
by humans to improve their own communication and reasoning abilities.
Computational logic extends classical symbolic logic in a number of important
ways. It incorporates default reasoning, which allows general rules to be
defeated by evidence to the contrary, as in the case of the rule that a person
is innocent unless proven guilty. It incorporates meta-level reasoning, which
allows rules that reason about rules, as in the case of acquisition of citizenship
by adoption, which states of itself that it continues to apply even if the
adoption order later ceases to have effect. It also incorporates techniques
for weighing up arguments for and against competing conclusions, as in the
principle that a complete argument must not only prove its conclusion, but
it must also defeat all arguments to the contrary.
The tools and techniques of computational logic can be described and applied
informally, and do not need to be expressed in symbolic, mathematical or computer
oriented form. In my talk, I will illustrate some of the applications of informal
computational logic in such areas as legal reasoning and human-to-human communication.
I will argue, in particular, that people can use the principles of computational
logic to express themselves more clearly, more coherently and more effectively
in natural languages such as English. In doing so, because human language
is intimately associated with human thought, they can not only improve their
ability to communicate, but can also improve their ability to think.