Finite automata are a simple model of computation, yet they offer intriguing difficulties – and results – when used in the description and analysis of infinite objects. These objects may arise as infinite-state systems, infinite computations (such as computation trees), or a combination of both....

Professor Dana Scott, Carnegie Mellon University, presents his Distinguished Lecture entitled "Geometry Without Points". Ever since the compilers of Euclid's Elements gave the "definitions" that "a point is that which has no part" and "a line is breadth-less length", philosophers and...

Bjarne Stroustrup, creator and developer of C++, delivers his talk entitled, The Essence of C++. Stroustrup has held distinguished posts at Texas A&M University and spent significant time in the Computer Science Departments of Cambridge, Columbia and Princeton. C++ is the one of the world's...