Masami Hagiya

Osamu Watanabe

Jan van Leeuwen

Takayasu Ito

Peter D. Mosses

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental science and to promote the exploration of fundamental c- cepts, models, theories, and formal systems in order to understand laws, limits, and possibilities of information processing. This volume constitutes the proceedings of the rst IFIP International C- ference on Theoretical Computer Science (IFIP TCS 2000) { Exploring New Frontiers of Theoretical Informatics { organized by IFIP TC1, held at Tohoku University, Sendai, Japan in August 2000. The IFIP TCS 2000 technical program consists of invited talks, contributed talks, and a panel discussion. In conjunction with this program there are two special open lectures by Professors Jan van Leeuwen and Peter D. Mosses. The decision to hold this conference was made by IFIP TC1 in August 1998, and since then IFIP TCS 2000 has bene ted from the e orts of many people; in particular, the TC1 members and the members of the Steering Committee, the Program Committee, and the Organizing Committee of the conference. Our special thanks go to the Program Committee Co-chairs: Track (1): Jan van Leeuwen (U. Utrecht), Osamu Watanabe (Tokyo Inst. Tech.) Track (2): Masami Hagiya (U. Tokyo), Peter D. Mosses (U. Aarhus).

International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Thomas Zeugmann

The 5th Symposium on Stochastic Algorithms, Foundations and Applications (SAGA 2009) took place during October 26–28, 2009, at Hokkaido University, Sapporo(Japan).ThesymposiumwasorganizedbytheDivisionofComputerS- ence,GraduateSchoolofComputerScienceandTechnology,HokkaidoUniversity. It o?ered the opportunity to present original research on the design and analysis of randomized algorithms, random combinatorialstructures, implem- tation, experimental evaluation and real-world application of stochastic al- rithms/heuristics. In particular, the focus of the SAGA symposia series is on investigating the power of randomization in algorithms, and on the theory of stochastic processes especially within realistic scenarios and applications. Thus, the scope ofthe symposiumrangesfromthe study oftheoreticalfundamentals of randomizedcomputationtoexperimentalinvestigationsonalgorithms/heuristics and related stochastic processes. The SAGA symposium series is a biennial meeting. Previous SAGA s- posiatookplaceinBerlin,Germany(2001,LNCSvol.2264),Hat?eld,UK(2003, LNCS vol. 2827), Moscow, Russia (2005, LNCS vol. 3777), and Zur ¨ ich, Switz- land (2007, LNCS vol. 4665). This year 22 submissions were received, and the Program Committee selected 15 submissions for presentation. All papers were evaluated by at least three members of the ProgramCommittee, partly with the assistance of subreferees. The present volume contains the texts of the 15 papers presented at SAGA 2009, divided into groups of papers on learning, graphs, testing, optimization, and caching as well as on stochastic algorithms in bioinformatics.

5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings

Stochastic Algorithms: Foundations and Applications

Osamu Watanabe

About

Books

Join the club