Computers

Annual conference that deals with computational complexity broadly defined.

A conference on games, automata, logics and formal verification.

Held twice a year, usually on a Saturday in December and on a Saturday in April. Details of past and future meetings.

Conference calls for papers, conference and workshop programs, journal calls for papers.