Conferences, workshop & seminars, 2000

Conferences, workshop & seminars, 2000

Workshops
Seminars
Current year, previous year, next year

2000 Conferences

ASIAN'00, 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:
- Logics in Computer Science
- Data Mining
- Networks and Performance

2000 Workshops

Summer 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.

2000 Seminars

Computing Homology Groups of Simplicial Complexes in R^3, by Prof. Sumanta Guha, Dept of EE&CS University of Wisconsin-Milwaukee, USA.
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.