Workshops and Conferences
Workshop “Equations and First-order Properties in Groups”
CRM
October 11-15, 2010
Organizers :
Olga Kharlampovich (McGill University
)
Alexei G. Miasnikov (Stevens Institute of Technology
)
Ilya Kazachkov (McGill University
)
Vladimir N. Remeslennikov (Omsk State University
)
back to top
Andre-Aisenstadt Chair: Alexander Razborov
CRM
October 11-15, 2010
Organizer :
Olga Kharlampovich (McGill University
)
back to top
Seminars
October 13, 2010 - 16:00
Lecture Chaire André Aisenstadt
CRM, UdeM, Pavillon André-Aisenstadt, 2920, chemin de la tour, salle 6214
Complexity of Propositional Proofs
Alexander Razborov, University of Chicago
back to top