# Home

** The fourth ACiD Workshop** was held from Monday 20 September to Wednesday 22 September 2010.

Invited Talks were given by:

- Amin Coja-Oghlan (University of Warwick)
*Phase transitions and computational complexity* - Bill Jackson (Queen Mary University of London)
*Constructing long cycles in graphs* - Dieter Kratsch (University of Metz)
*Exact exponential algorithms* - Sarah Rees (University of Newcastle)
*Using automata in geometric group theory* - Rahul Santhanam (University of Edinburgh)
*Beating Brute Force Search for Formula Satisfiability and QBF Validity*

Here is the full programme (and abstracts).

Local committee

- Iain Stewart
- Matthew Johnson
- Daniel Paulusma

We gratefully acknowledge financial support received from the London Mathematical Society.

The first, second and third ACiD workshops took place in 2005, 2006 and 2007.