Preface: Volume 16

The Workshop on Typical Case Complexity and Phase Transitions was held in Ottawa, Canada on June 21, 2003. It was affiliated with the Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS, June 22-25, 2003). l Case complexity refers to algorithmic complexity that holds with high probability for a class of random instances of a problem. Usually, the class of instances considered is parameterized by a “control parameter”. It has been observed that for many computationally interesting problems, their typical case complexity undergoes an abrupt change (phase transition) about a critical value of the control parameter. At the same critical region, other phenomena of combinatorial interest are often observed. The workshop focused on research that resulted from cross-fertilization between computer simulation results and mathematical advances in discrete mathematics, probability theory or theoretical computer science. Of particular interest were threshold phenomena in which logic comes into play or have connections with proof complexity, satisfiability, and statistical physics. itors would like to thank the invited speakers: Albert Atserias (Universitat Politècnica de Catalunya), Paul Beame (University of Washington), John Franco (University of Cincinnati), and Andreas Goerdt (Technische Universität Chemnitz) as well as the other members of the program committee: Jennifer Chayes (Microsoft), Nadia Creignou (Université dʹAix-Marseille II), and Danny Krizanc (Wesleyan University). los Kranakis (Carleton University) is Kirousis (University of Patras)