Workshop “Equations and First-order Properties in Groups”October 11-15, 2010Program |
|||
|
||||||||||
Monday, October 11, 2010 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Registration (Room 5345) and Coffee & Croissants (Room 6245)
|
|
Session - Mini-course
Meeting room : 6214 |
|
09:30 - 10:20
|
Nikolay Romanovskiy
(Siberian Branch of the Russian Academy of Sciences) Algebraic geometry over rigid groups - I | Abstract
Slides |
|
10:30 - 10:50
|
Coffee break
|
Room 6245
|
|
Meeting room : 6214 |
|
10:50 - 11:40
|
Olga Kharlampovich
(McGill University) Algebraic theory of equations in a free group | Abstract |
|
11:50 - 12:40
|
Ilya Kazachkov
(Vanderbilt University) Elementary equivalence of groups: a survey and examples | Slides |
|
12:50 - 14:30
|
Lunch break
|
|
Meeting room : 6214 |
|
14:30 - 15:20
|
Volker Diekert
(University Stuttgart) Existential and positive theories of graph products over groups | Abstract |
|
15:30 - 16:00
|
Coffee break
|
Room 6245
|
|
16:00 - 16:50
|
Andrew Duncan
(Newcastle University) Automorphisms of partially commutative groups | Slides |
|
17:00
|
Reception
|
Room 6245
|
Tuesday, October 12, 2010 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Coffee & Croissants
|
Room 6245
|
|
Session - Mini-course
Meeting room : 6214 |
|
09:30 - 10:20
|
Nikolay Romanovskiy
(Siberian Branch of the Russian Academy of Sciences) Algebraic geometry over rigid groups - II | Abstract
Slides |
|
10:30 - 10:50
|
Coffee break
|
Room 6245
|
|
Meeting room : 6214 |
|
10:50 - 11:40
|
Boris Plotkin
(The Hebrew University of Jerusalem) Algebraic logic and logical geometry | Abstract |
|
Session - Mini-course
Meeting room : 6214 |
|
11:50 - 12:40
|
Alexei G. Miasnikov
(Stevens Institute of technology) TBA |
|
12:50 - 14:30
|
Lunch break
|
|
Session - Mini-course
Meeting room : 6214 |
|
14:30 - 15:20
|
Vladimir N. Remeslennikov
(Omsk State University) Nullstellensatz for algebraic structures - I | Abstract
Slides |
|
15:30 - 16:00
|
Coffee break
|
Room 6245
|
|
Session - Chaire Aisenstadt Chair
Meeting room : 6214 |
|
16:00 - 16:50
|
Alexander A. Razborov
(University of Chicago) Topics in Extremal Combinatorics | Abstract |
Wednesday, October 13, 2010 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Coffee & Croissants
|
Room 6245
|
|
Session - Mini-course
Meeting room : 6214 |
|
09:30 - 10:20
|
Nikolay Romanovskiy
(Siberian Branch of the Russian Academy of Sciences) Algebraic geometry over rigid groups - III | Abstract
Slides |
|
10:30 - 10:50
|
Coffee break
|
Room 6245
|
|
Meeting room : 6214 |
|
10:50 - 11:40
|
Montserrat Casals-Ruiz
(Vanderbilt University) Universal Completions of Groups | Slides |
|
Session - Mini-course
Meeting room : 6214 |
|
11:50 - 12:40
|
Alexei G. Miasnikov
(Stevens Institute of technology) TBA |
|
12:50 - 14:30
|
Lunch break
|
|
Session - Mini-course
Meeting room : 6214 |
|
14:30 - 15:20
|
Vladimir N. Remeslennikov
(Omsk State University) Nullstellensatz for algebraic structures - II | Abstract
Slides |
|
15:30 - 16:00
|
Coffee break
|
Room 6245
|
|
Session - Chaire Aisenstadt Chair
Meeting room : 6214 |
|
16:00 - 16:50
|
Alexander A. Razborov
(University of Chicago) Complexity of Propositional Proofs | Abstract
Slides |
Thursday, October 14, 2010 |
||||||||
|
|
||||||||
|
08:30 - 09:00
|
Coffee & Croissants
|
Room 6245
|
|
Meeting room : 6214 |
|
09:00 - 09:25
|
Tara Davis
(Vanderbilt University) Subgroup Distortion in Wreath Products of Cyclic Groups | Slides |
|
09:30 - 10:20
|
Igor Lysenok
(Steklov Mathematical Institute) TBA |
|
10:30 - 10:50
|
Coffee break
|
Room 6245
|
|
10:50 - 11:40
|
François Dahmani
(Université de Grenoble) Dehn fillings for the isomorphy problem among relatively hyperbolic groups | Abstract |
|
11:50 - 12:40
|
Henry Wilton
(Caltech) Conjugacy classes of solutions to systems of equations over hyperbolic groups | Abstract |
|
12:50 - 14:30
|
Lunch break
|
|
Meeting room : 6214 |
|
14:30 - 15:20
|
Mahmood Sohrabi
(Université de Montréal) TBA |
|
15:30 - 16:00
|
Coffee break
|
Room 6245
|
|
Session - Chaire Aisenstadt Chair
Meeting room : 6214 |
|
16:00 - 16:50
|
Alexander A. Razborov
(University of Chicago) Flag Algebras | Abstract |
Friday, October 15, 2010 |
||||||||
|
|
||||||||
|
09:00 - 09:30
|
Coffee & Croissants
|
Room 6245
|
|
Meeting room : 6214 |
|
09:30 - 10:20
|
Eugene Plotkin
(Bar-Ilan University) Word maps and equations in simple algebras | Abstract
Slides |
|
10:30 - 10:50
|
Coffee break
|
Room 6245
|
|
Session - Mini-course
Meeting room : 6214 |
|
10:50 - 11:40
|
Alexei G. Miasnikov
(Stevens Institute of technology) TBA |
|
Meeting room : 6214 |
|
11:50 - 12:40
|
Chloé Perin
(Université de Strasbourg) Homogeneity of the free group and elements of primitive type | Abstract |
|
12:50 - 14:30
|
Lunch break
|
|
Meeting room : 6214 |
|
14:30 - 15:20
|
Abderezak Ould Houcine
(Université Claude Bernard Lyon 1) Homogeneity and algebraic closure in free groups | Abstract |
|
15:30 - 16:00
|
Coffee break
|
Room 6245
|
|
Session - Chaire Aisenstadt Chair
Meeting room : 1360 |
|
16:00 - 16:50
|
Alexander A. Razborov
(University of Chicago) Grand Challenges in Complexity Theory | Abstract |
|
17:00
|
Reception
|
Room 6245
|
Last modified : Monday, October 18, 2010 11:17