Atlas home || Conferences | Abstracts | about Atlas
Host: DIMACS Center, Rutgers University
Sponsor: National Science Foundation
Homepage: http://dimacs.rutgers.edu/Workshops/DIMATIAII/
Email: allender@cs.rutgers.edu
Organizers: E. Allender, J. Krajicek, P. Pudlak, M. Saks
Description:
This workshop will bring together people working with algebraic methods and
arithmetic circuits as they relate to diverse areas of theoretical computer science,
including the complexity of propositional proof systems (propositional, algebraic, and
others), algebraic and symbolic computation, complexity of computing over the reals
and other fields (along with connections to the model theory of fields), and connections
to Boolean circuit complexity and the study of complexity classes.
Date received: February 16, 1999
© 2008 Atlas Conferences Inc.