Conference on Mathematical Logic and Set Theory
Chennai (India), 15-17 August 2010
Satellite Conference of the ICM 2010 in Hyderabad (India)
Main page
Keynote speakers
Accepted papers
Abstracts
Schedule
Accommodation
Travel
information
Registration
Programme
Committee
Call for Papers
Grants for Junior Researchers
Sponsors
Call for Papers
The Association for Logic in India announces a satellite conference on
Mathematical Logic and Set Theory on the occasion of the International Congress of
Mathematicians (ICM 2010), in Hyderabad, India. The satellite event
will itself be held in Chennai, co-hosted by the Institute of Mathematical
Sciences and the Chennai Mathematical Institute.
The scope of the intended meeting is all of mathematical logic,
including its areas of application (theoretical computer science,
algebraic logic and others).
Keynote Speakers:
Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia,
Spain,
Rob Goldblatt, Victoria University of Wellington Wellington, New
Zealand,
Menachem Magidor, Hebrew University of Jerusalem, Jerusalem,
Israel,
Justin T. Moore, Cornell University, Ithaca NY, USA,
Andre Nies, University of Auckland, Auckland, New Zealand,
Kobi Peterzil, University of Haifa, Haifa, Israel,
Anand Pillay, University of Leeds, Leeds, UK,
Theodore A. Slaman, University of California, Berkeley CA, USA,
Sergei Starchenko, University of Notre Dame South Bend IN, USA,
Wolfgang Thomas, RWTH Aachen, Germany,
W. Hugh Woodin, University of California, Berkeley CA, USA.
We invite all researchers in all areas of logic to attend the
conference and submit an abstract for a contributed talk.
Abstracts should be 1 to 5 pages in length, and should clarify
the main contributions being presented. Presentations can be on any areas
of set theory and logic, and their applications in computer science and
other areas. Submissions should be made via the Easychair system, logging
in as Author to
http://www.easychair.org/conferences/?conf=icmselst2010
by 1 April 2010.
Conference registration details will be available from April 1, 2010
from the conference page. We are offering a small number of partial
subsidies for junior researchers. More information on this can be found at
our subsidy page.
Important Dates:
- Submission Deadline: 1 April 2010
- Notification: 15 April 2010
- Conference: 15-17 August 2010
Program Committee:
Mohua Banerjee (Kanpur, India),
Elizabeth Bouscaren (Paris, France),
Sam Buss (San Diego CA, USA),
S. Barry Cooper (Leeds, UK),
Sy David Friedman (Vienna, Austria),
Mai Gehrke (Nijmegen, The Netherlands),
Valentin Goranko (Lyngby, Denmark),
Kamal Lodaya (Chennai, India),
Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair),
R. Ramanujam (Chennai, India) (Co-Chair),
Jouko Väänänen (Amsterdam, The Netherlands & Helsinki,
Finland).
Sponsors.
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Accepted papers
Abstracts
Schedule
Accommodation
Travel
information
Registration
Programme
Committee
Call for Papers
Grants for Junior Researchers
Sponsors
Call for Papers
The Association for Logic in India announces a satellite conference on
Mathematical Logic and Set Theory on the occasion of the International Congress of
Mathematicians (ICM 2010), in Hyderabad, India. The satellite event
will itself be held in Chennai, co-hosted by the Institute of Mathematical
Sciences and the Chennai Mathematical Institute.
The scope of the intended meeting is all of mathematical logic,
including its areas of application (theoretical computer science,
algebraic logic and others).
Keynote Speakers:
Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia,
Spain,
Rob Goldblatt, Victoria University of Wellington Wellington, New
Zealand,
Menachem Magidor, Hebrew University of Jerusalem, Jerusalem,
Israel,
Justin T. Moore, Cornell University, Ithaca NY, USA,
Andre Nies, University of Auckland, Auckland, New Zealand,
Kobi Peterzil, University of Haifa, Haifa, Israel,
Anand Pillay, University of Leeds, Leeds, UK,
Theodore A. Slaman, University of California, Berkeley CA, USA,
Sergei Starchenko, University of Notre Dame South Bend IN, USA,
Wolfgang Thomas, RWTH Aachen, Germany,
W. Hugh Woodin, University of California, Berkeley CA, USA.
We invite all researchers in all areas of logic to attend the
conference and submit an abstract for a contributed talk.
Abstracts should be 1 to 5 pages in length, and should clarify
the main contributions being presented. Presentations can be on any areas
of set theory and logic, and their applications in computer science and
other areas. Submissions should be made via the Easychair system, logging
in as Author to
http://www.easychair.org/conferences/?conf=icmselst2010
by 1 April 2010.
Conference registration details will be available from April 1, 2010
from the conference page. We are offering a small number of partial
subsidies for junior researchers. More information on this can be found at
our subsidy page.
Important Dates:
- Submission Deadline: 1 April 2010
- Notification: 15 April 2010
- Conference: 15-17 August 2010
Program Committee:
Mohua Banerjee (Kanpur, India),
Elizabeth Bouscaren (Paris, France),
Sam Buss (San Diego CA, USA),
S. Barry Cooper (Leeds, UK),
Sy David Friedman (Vienna, Austria),
Mai Gehrke (Nijmegen, The Netherlands),
Valentin Goranko (Lyngby, Denmark),
Kamal Lodaya (Chennai, India),
Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair),
R. Ramanujam (Chennai, India) (Co-Chair),
Jouko Väänänen (Amsterdam, The Netherlands & Helsinki,
Finland).
Sponsors.
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Schedule
Accommodation
Travel
information
Registration
Programme
Committee
Call for Papers
Grants for Junior Researchers
Sponsors
Call for Papers
The Association for Logic in India announces a satellite conference on
Mathematical Logic and Set Theory on the occasion of the International Congress of
Mathematicians (ICM 2010), in Hyderabad, India. The satellite event
will itself be held in Chennai, co-hosted by the Institute of Mathematical
Sciences and the Chennai Mathematical Institute.
The scope of the intended meeting is all of mathematical logic,
including its areas of application (theoretical computer science,
algebraic logic and others).
Keynote Speakers:
Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia,
Spain,
Rob Goldblatt, Victoria University of Wellington Wellington, New
Zealand,
Menachem Magidor, Hebrew University of Jerusalem, Jerusalem,
Israel,
Justin T. Moore, Cornell University, Ithaca NY, USA,
Andre Nies, University of Auckland, Auckland, New Zealand,
Kobi Peterzil, University of Haifa, Haifa, Israel,
Anand Pillay, University of Leeds, Leeds, UK,
Theodore A. Slaman, University of California, Berkeley CA, USA,
Sergei Starchenko, University of Notre Dame South Bend IN, USA,
Wolfgang Thomas, RWTH Aachen, Germany,
W. Hugh Woodin, University of California, Berkeley CA, USA.
We invite all researchers in all areas of logic to attend the
conference and submit an abstract for a contributed talk.
Abstracts should be 1 to 5 pages in length, and should clarify
the main contributions being presented. Presentations can be on any areas
of set theory and logic, and their applications in computer science and
other areas. Submissions should be made via the Easychair system, logging
in as Author to
http://www.easychair.org/conferences/?conf=icmselst2010
by 1 April 2010.
Conference registration details will be available from April 1, 2010
from the conference page. We are offering a small number of partial
subsidies for junior researchers. More information on this can be found at
our subsidy page.
Important Dates:
- Submission Deadline: 1 April 2010
- Notification: 15 April 2010
- Conference: 15-17 August 2010
Program Committee:
Mohua Banerjee (Kanpur, India),
Elizabeth Bouscaren (Paris, France),
Sam Buss (San Diego CA, USA),
S. Barry Cooper (Leeds, UK),
Sy David Friedman (Vienna, Austria),
Mai Gehrke (Nijmegen, The Netherlands),
Valentin Goranko (Lyngby, Denmark),
Kamal Lodaya (Chennai, India),
Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair),
R. Ramanujam (Chennai, India) (Co-Chair),
Jouko Väänänen (Amsterdam, The Netherlands & Helsinki,
Finland).
Sponsors.
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Travel
information
Registration
Programme
Committee
Call for Papers
Grants for Junior Researchers
Sponsors
Call for Papers
The Association for Logic in India announces a satellite conference on
Mathematical Logic and Set Theory on the occasion of the International Congress of
Mathematicians (ICM 2010), in Hyderabad, India. The satellite event
will itself be held in Chennai, co-hosted by the Institute of Mathematical
Sciences and the Chennai Mathematical Institute.
The scope of the intended meeting is all of mathematical logic,
including its areas of application (theoretical computer science,
algebraic logic and others).
Keynote Speakers:
Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia,
Spain,
Rob Goldblatt, Victoria University of Wellington Wellington, New
Zealand,
Menachem Magidor, Hebrew University of Jerusalem, Jerusalem,
Israel,
Justin T. Moore, Cornell University, Ithaca NY, USA,
Andre Nies, University of Auckland, Auckland, New Zealand,
Kobi Peterzil, University of Haifa, Haifa, Israel,
Anand Pillay, University of Leeds, Leeds, UK,
Theodore A. Slaman, University of California, Berkeley CA, USA,
Sergei Starchenko, University of Notre Dame South Bend IN, USA,
Wolfgang Thomas, RWTH Aachen, Germany,
W. Hugh Woodin, University of California, Berkeley CA, USA.
We invite all researchers in all areas of logic to attend the
conference and submit an abstract for a contributed talk.
Abstracts should be 1 to 5 pages in length, and should clarify
the main contributions being presented. Presentations can be on any areas
of set theory and logic, and their applications in computer science and
other areas. Submissions should be made via the Easychair system, logging
in as Author to
http://www.easychair.org/conferences/?conf=icmselst2010
by 1 April 2010.
Conference registration details will be available from April 1, 2010
from the conference page. We are offering a small number of partial
subsidies for junior researchers. More information on this can be found at
our subsidy page.
Important Dates:
- Submission Deadline: 1 April 2010
- Notification: 15 April 2010
- Conference: 15-17 August 2010
Program Committee:
Mohua Banerjee (Kanpur, India),
Elizabeth Bouscaren (Paris, France),
Sam Buss (San Diego CA, USA),
S. Barry Cooper (Leeds, UK),
Sy David Friedman (Vienna, Austria),
Mai Gehrke (Nijmegen, The Netherlands),
Valentin Goranko (Lyngby, Denmark),
Kamal Lodaya (Chennai, India),
Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair),
R. Ramanujam (Chennai, India) (Co-Chair),
Jouko Väänänen (Amsterdam, The Netherlands & Helsinki,
Finland).
Sponsors.
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Programme
Committee
Call for Papers
Grants for Junior Researchers
Sponsors
Call for Papers
The Association for Logic in India announces a satellite conference on
Mathematical Logic and Set Theory on the occasion of the International Congress of
Mathematicians (ICM 2010), in Hyderabad, India. The satellite event
will itself be held in Chennai, co-hosted by the Institute of Mathematical
Sciences and the Chennai Mathematical Institute.
The scope of the intended meeting is all of mathematical logic,
including its areas of application (theoretical computer science,
algebraic logic and others).
Keynote Speakers:
Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia,
Spain,
Rob Goldblatt, Victoria University of Wellington Wellington, New
Zealand,
Menachem Magidor, Hebrew University of Jerusalem, Jerusalem,
Israel,
Justin T. Moore, Cornell University, Ithaca NY, USA,
Andre Nies, University of Auckland, Auckland, New Zealand,
Kobi Peterzil, University of Haifa, Haifa, Israel,
Anand Pillay, University of Leeds, Leeds, UK,
Theodore A. Slaman, University of California, Berkeley CA, USA,
Sergei Starchenko, University of Notre Dame South Bend IN, USA,
Wolfgang Thomas, RWTH Aachen, Germany,
W. Hugh Woodin, University of California, Berkeley CA, USA.
We invite all researchers in all areas of logic to attend the
conference and submit an abstract for a contributed talk.
Abstracts should be 1 to 5 pages in length, and should clarify
the main contributions being presented. Presentations can be on any areas
of set theory and logic, and their applications in computer science and
other areas. Submissions should be made via the Easychair system, logging
in as Author to
http://www.easychair.org/conferences/?conf=icmselst2010
by 1 April 2010.
Conference registration details will be available from April 1, 2010
from the conference page. We are offering a small number of partial
subsidies for junior researchers. More information on this can be found at
our subsidy page.
Important Dates:
- Submission Deadline: 1 April 2010
- Notification: 15 April 2010
- Conference: 15-17 August 2010
Program Committee:
Mohua Banerjee (Kanpur, India),
Elizabeth Bouscaren (Paris, France),
Sam Buss (San Diego CA, USA),
S. Barry Cooper (Leeds, UK),
Sy David Friedman (Vienna, Austria),
Mai Gehrke (Nijmegen, The Netherlands),
Valentin Goranko (Lyngby, Denmark),
Kamal Lodaya (Chennai, India),
Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair),
R. Ramanujam (Chennai, India) (Co-Chair),
Jouko Väänänen (Amsterdam, The Netherlands & Helsinki,
Finland).
Sponsors.
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Grants for Junior Researchers
Sponsors
Call for Papers
The Association for Logic in India announces a satellite conference on
Mathematical Logic and Set Theory on the occasion of the International Congress of
Mathematicians (ICM 2010), in Hyderabad, India. The satellite event
will itself be held in Chennai, co-hosted by the Institute of Mathematical
Sciences and the Chennai Mathematical Institute.
The scope of the intended meeting is all of mathematical logic,
including its areas of application (theoretical computer science,
algebraic logic and others).
Keynote Speakers:
Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia,
Spain,
Rob Goldblatt, Victoria University of Wellington Wellington, New
Zealand,
Menachem Magidor, Hebrew University of Jerusalem, Jerusalem,
Israel,
Justin T. Moore, Cornell University, Ithaca NY, USA,
Andre Nies, University of Auckland, Auckland, New Zealand,
Kobi Peterzil, University of Haifa, Haifa, Israel,
Anand Pillay, University of Leeds, Leeds, UK,
Theodore A. Slaman, University of California, Berkeley CA, USA,
Sergei Starchenko, University of Notre Dame South Bend IN, USA,
Wolfgang Thomas, RWTH Aachen, Germany,
W. Hugh Woodin, University of California, Berkeley CA, USA.
We invite all researchers in all areas of logic to attend the
conference and submit an abstract for a contributed talk.
Abstracts should be 1 to 5 pages in length, and should clarify
the main contributions being presented. Presentations can be on any areas
of set theory and logic, and their applications in computer science and
other areas. Submissions should be made via the Easychair system, logging
in as Author to
http://www.easychair.org/conferences/?conf=icmselst2010
by 1 April 2010.
Conference registration details will be available from April 1, 2010
from the conference page. We are offering a small number of partial
subsidies for junior researchers. More information on this can be found at
our subsidy page.
Important Dates:
- Submission Deadline: 1 April 2010
- Notification: 15 April 2010
- Conference: 15-17 August 2010
Program Committee:
Mohua Banerjee (Kanpur, India),
Elizabeth Bouscaren (Paris, France),
Sam Buss (San Diego CA, USA),
S. Barry Cooper (Leeds, UK),
Sy David Friedman (Vienna, Austria),
Mai Gehrke (Nijmegen, The Netherlands),
Valentin Goranko (Lyngby, Denmark),
Kamal Lodaya (Chennai, India),
Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair),
R. Ramanujam (Chennai, India) (Co-Chair),
Jouko Väänänen (Amsterdam, The Netherlands & Helsinki,
Finland).
Sponsors.
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Call for Papers
The Association for Logic in India announces a satellite conference on Mathematical Logic and Set Theory on the occasion of the International Congress of Mathematicians (ICM 2010), in Hyderabad, India. The satellite event will itself be held in Chennai, co-hosted by the Institute of Mathematical Sciences and the Chennai Mathematical Institute.
The scope of the intended meeting is all of mathematical logic, including its areas of application (theoretical computer science, algebraic logic and others).
Keynote Speakers: Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia, Spain, Rob Goldblatt, Victoria University of Wellington Wellington, New Zealand, Menachem Magidor, Hebrew University of Jerusalem, Jerusalem, Israel, Justin T. Moore, Cornell University, Ithaca NY, USA, Andre Nies, University of Auckland, Auckland, New Zealand, Kobi Peterzil, University of Haifa, Haifa, Israel, Anand Pillay, University of Leeds, Leeds, UK, Theodore A. Slaman, University of California, Berkeley CA, USA, Sergei Starchenko, University of Notre Dame South Bend IN, USA, Wolfgang Thomas, RWTH Aachen, Germany, W. Hugh Woodin, University of California, Berkeley CA, USA.
We invite all researchers in all areas of logic to attend the conference and submit an abstract for a contributed talk. Abstracts should be 1 to 5 pages in length, and should clarify the main contributions being presented. Presentations can be on any areas of set theory and logic, and their applications in computer science and other areas. Submissions should be made via the Easychair system, logging in as Author to
Conference registration details will be available from April 1, 2010 from the conference page. We are offering a small number of partial subsidies for junior researchers. More information on this can be found at our subsidy page.
Important Dates:
- Submission Deadline: 1 April 2010
- Notification: 15 April 2010
- Conference: 15-17 August 2010
Program Committee: Mohua Banerjee (Kanpur, India), Elizabeth Bouscaren (Paris, France), Sam Buss (San Diego CA, USA), S. Barry Cooper (Leeds, UK), Sy David Friedman (Vienna, Austria), Mai Gehrke (Nijmegen, The Netherlands), Valentin Goranko (Lyngby, Denmark), Kamal Lodaya (Chennai, India), Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair), R. Ramanujam (Chennai, India) (Co-Chair), Jouko Väänänen (Amsterdam, The Netherlands & Helsinki, Finland).
Sponsors.
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in