The fourth ACiD Workshop was held from Monday 20 September to Wednesday 22 September 2010.
If you would like to submit a contribution to a Special Issue of the Journal of Discrete Algorithms dedicated to ACiD 2010, please read the Call for Papers. Contributions from anyone with an interest in the themes of the workshop are welcome. The deadline for submission is 1 December 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
Contact: acid.2010@durham.ac.uk
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.