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
Programme Committee
Schedule
Accommodation
Travel information
Registration
Call for Papers
Grants for Junior Researchers
Sponsors
In the successful tradition of logic satellite meetings at
recent ICMs,
we shall hold a satellite conference on mathematical logic
and
set theory in India to provide a specialized venue for logicians and set
theorists connected with ICM 2010 in
Hyderabad.
The conference will be co-hosted by the Institute of
Mathematical Sciences
and
the
Chennai Mathematical Institute
on behalf of the
Association for Logic in India.
The scope of the intended meeting is all of mathematical logic,
including
its areas of application (theoretical computer science, algebraic logic
and others).
The meeting will be held in Chennai (formerly
Madras), the capital city of the Indian state of Tamil Nadu.
Chennai is located about 700 km south of Hyderabad, the location of the
ICM. We have reserved the 18 August 2010 between our meeting and
the ICM as a travel day. There are overnight train connections between
Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4
and 28 €), depending on the class of travel. Seven different airlines
(Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount,
Spice Jet, and Air India Express) offer direct flight connections to
Hyderabad.
The month of August in Chennai is in the rainy season, so the weather
is not as hot as in April and May and there is typically a cool sea breeze
from the late afternoon. The conference venue and the guest rooms are
properly air-conditioned. More about the weather
in Chennai.
We acknowledge the support of our sponsors:
the International Congress
of Mathematicians 2010, the
Institute
for
Mathematical Sciences, Chennai, the network
INFTY: New frontiers of infinity:
mathematical, philosophical, and computational prospects, the
Deutsche Vereinigung für Mathematische
Logik und für Grundlagenforschung der
Exakten Wissenschaften (DVMLG), and the Association for Symbolic
Logic (ASL).
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Accepted papers
Abstracts
Programme Committee
Schedule
Accommodation
Travel information
Registration
Call for Papers
Grants for Junior Researchers
Sponsors
In the successful tradition of logic satellite meetings at
recent ICMs,
we shall hold a satellite conference on mathematical logic
and
set theory in India to provide a specialized venue for logicians and set
theorists connected with ICM 2010 in
Hyderabad.
The conference will be co-hosted by the Institute of
Mathematical Sciences
and
the
Chennai Mathematical Institute
on behalf of the
Association for Logic in India.
The scope of the intended meeting is all of mathematical logic,
including
its areas of application (theoretical computer science, algebraic logic
and others).
The meeting will be held in Chennai (formerly
Madras), the capital city of the Indian state of Tamil Nadu.
Chennai is located about 700 km south of Hyderabad, the location of the
ICM. We have reserved the 18 August 2010 between our meeting and
the ICM as a travel day. There are overnight train connections between
Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4
and 28 €), depending on the class of travel. Seven different airlines
(Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount,
Spice Jet, and Air India Express) offer direct flight connections to
Hyderabad.
The month of August in Chennai is in the rainy season, so the weather
is not as hot as in April and May and there is typically a cool sea breeze
from the late afternoon. The conference venue and the guest rooms are
properly air-conditioned. More about the weather
in Chennai.
We acknowledge the support of our sponsors:
the International Congress
of Mathematicians 2010, the
Institute
for
Mathematical Sciences, Chennai, the network
INFTY: New frontiers of infinity:
mathematical, philosophical, and computational prospects, the
Deutsche Vereinigung für Mathematische
Logik und für Grundlagenforschung der
Exakten Wissenschaften (DVMLG), and the Association for Symbolic
Logic (ASL).
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Programme Committee
Schedule
Accommodation
Travel information
Registration
Call for Papers
Grants for Junior Researchers
Sponsors
In the successful tradition of logic satellite meetings at
recent ICMs,
we shall hold a satellite conference on mathematical logic
and
set theory in India to provide a specialized venue for logicians and set
theorists connected with ICM 2010 in
Hyderabad.
The conference will be co-hosted by the Institute of
Mathematical Sciences
and
the
Chennai Mathematical Institute
on behalf of the
Association for Logic in India.
The scope of the intended meeting is all of mathematical logic,
including
its areas of application (theoretical computer science, algebraic logic
and others).
The meeting will be held in Chennai (formerly
Madras), the capital city of the Indian state of Tamil Nadu.
Chennai is located about 700 km south of Hyderabad, the location of the
ICM. We have reserved the 18 August 2010 between our meeting and
the ICM as a travel day. There are overnight train connections between
Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4
and 28 €), depending on the class of travel. Seven different airlines
(Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount,
Spice Jet, and Air India Express) offer direct flight connections to
Hyderabad.
The month of August in Chennai is in the rainy season, so the weather
is not as hot as in April and May and there is typically a cool sea breeze
from the late afternoon. The conference venue and the guest rooms are
properly air-conditioned. More about the weather
in Chennai.
We acknowledge the support of our sponsors:
the International Congress
of Mathematicians 2010, the
Institute
for
Mathematical Sciences, Chennai, the network
INFTY: New frontiers of infinity:
mathematical, philosophical, and computational prospects, the
Deutsche Vereinigung für Mathematische
Logik und für Grundlagenforschung der
Exakten Wissenschaften (DVMLG), and the Association for Symbolic
Logic (ASL).
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Accommodation
Travel information
Registration
Call for Papers
Grants for Junior Researchers
Sponsors
In the successful tradition of logic satellite meetings at
recent ICMs,
we shall hold a satellite conference on mathematical logic
and
set theory in India to provide a specialized venue for logicians and set
theorists connected with ICM 2010 in
Hyderabad.
The conference will be co-hosted by the Institute of
Mathematical Sciences
and
the
Chennai Mathematical Institute
on behalf of the
Association for Logic in India.
The scope of the intended meeting is all of mathematical logic,
including
its areas of application (theoretical computer science, algebraic logic
and others).
The meeting will be held in Chennai (formerly
Madras), the capital city of the Indian state of Tamil Nadu.
Chennai is located about 700 km south of Hyderabad, the location of the
ICM. We have reserved the 18 August 2010 between our meeting and
the ICM as a travel day. There are overnight train connections between
Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4
and 28 €), depending on the class of travel. Seven different airlines
(Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount,
Spice Jet, and Air India Express) offer direct flight connections to
Hyderabad.
The month of August in Chennai is in the rainy season, so the weather
is not as hot as in April and May and there is typically a cool sea breeze
from the late afternoon. The conference venue and the guest rooms are
properly air-conditioned. More about the weather
in Chennai.
We acknowledge the support of our sponsors:
the International Congress
of Mathematicians 2010, the
Institute
for
Mathematical Sciences, Chennai, the network
INFTY: New frontiers of infinity:
mathematical, philosophical, and computational prospects, the
Deutsche Vereinigung für Mathematische
Logik und für Grundlagenforschung der
Exakten Wissenschaften (DVMLG), and the Association for Symbolic
Logic (ASL).
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Registration
Call for Papers
Grants for Junior Researchers
Sponsors
In the successful tradition of logic satellite meetings at
recent ICMs,
we shall hold a satellite conference on mathematical logic
and
set theory in India to provide a specialized venue for logicians and set
theorists connected with ICM 2010 in
Hyderabad.
The conference will be co-hosted by the Institute of
Mathematical Sciences
and
the
Chennai Mathematical Institute
on behalf of the
Association for Logic in India.
The scope of the intended meeting is all of mathematical logic,
including
its areas of application (theoretical computer science, algebraic logic
and others).
The meeting will be held in Chennai (formerly
Madras), the capital city of the Indian state of Tamil Nadu.
Chennai is located about 700 km south of Hyderabad, the location of the
ICM. We have reserved the 18 August 2010 between our meeting and
the ICM as a travel day. There are overnight train connections between
Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4
and 28 €), depending on the class of travel. Seven different airlines
(Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount,
Spice Jet, and Air India Express) offer direct flight connections to
Hyderabad.
The month of August in Chennai is in the rainy season, so the weather
is not as hot as in April and May and there is typically a cool sea breeze
from the late afternoon. The conference venue and the guest rooms are
properly air-conditioned. More about the weather
in Chennai.
We acknowledge the support of our sponsors:
the International Congress
of Mathematicians 2010, the
Institute
for
Mathematical Sciences, Chennai, the network
INFTY: New frontiers of infinity:
mathematical, philosophical, and computational prospects, the
Deutsche Vereinigung für Mathematische
Logik und für Grundlagenforschung der
Exakten Wissenschaften (DVMLG), and the Association for Symbolic
Logic (ASL).
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
Grants for Junior Researchers
Sponsors
In the successful tradition of logic satellite meetings at
recent ICMs,
we shall hold a satellite conference on mathematical logic
and
set theory in India to provide a specialized venue for logicians and set
theorists connected with ICM 2010 in
Hyderabad.
The conference will be co-hosted by the Institute of
Mathematical Sciences
and
the
Chennai Mathematical Institute
on behalf of the
Association for Logic in India.
The scope of the intended meeting is all of mathematical logic,
including
its areas of application (theoretical computer science, algebraic logic
and others).
The meeting will be held in Chennai (formerly
Madras), the capital city of the Indian state of Tamil Nadu.
Chennai is located about 700 km south of Hyderabad, the location of the
ICM. We have reserved the 18 August 2010 between our meeting and
the ICM as a travel day. There are overnight train connections between
Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4
and 28 €), depending on the class of travel. Seven different airlines
(Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount,
Spice Jet, and Air India Express) offer direct flight connections to
Hyderabad.
The month of August in Chennai is in the rainy season, so the weather
is not as hot as in April and May and there is typically a cool sea breeze
from the late afternoon. The conference venue and the guest rooms are
properly air-conditioned. More about the weather
in Chennai.
We acknowledge the support of our sponsors:
the International Congress
of Mathematicians 2010, the
Institute
for
Mathematical Sciences, Chennai, the network
INFTY: New frontiers of infinity:
mathematical, philosophical, and computational prospects, the
Deutsche Vereinigung für Mathematische
Logik und für Grundlagenforschung der
Exakten Wissenschaften (DVMLG), and the Association for Symbolic
Logic (ASL).
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in
In the successful tradition of logic satellite meetings at recent ICMs, we shall hold a satellite conference on mathematical logic and set theory in India to provide a specialized venue for logicians and set theorists connected with ICM 2010 in Hyderabad. The conference will be co-hosted by the Institute of Mathematical Sciences and the Chennai Mathematical Institute on behalf of the Association for Logic in India. The scope of the intended meeting is all of mathematical logic, including its areas of application (theoretical computer science, algebraic logic and others).
The meeting will be held in Chennai (formerly Madras), the capital city of the Indian state of Tamil Nadu. Chennai is located about 700 km south of Hyderabad, the location of the ICM. We have reserved the 18 August 2010 between our meeting and the ICM as a travel day. There are overnight train connections between Chennai and Hyderabad (about 12-13 hours) for 300-1900 rupees (between 4 and 28 €), depending on the class of travel. Seven different airlines (Indian Airlines, IndiGo, Jet Airways, Kingfisher Airlines, Paramount, Spice Jet, and Air India Express) offer direct flight connections to Hyderabad.
The month of August in Chennai is in the rainy season, so the weather is not as hot as in April and May and there is typically a cool sea breeze from the late afternoon. The conference venue and the guest rooms are properly air-conditioned. More about the weather in Chennai.
We acknowledge the support of our sponsors: the International Congress of Mathematicians 2010, the Institute for Mathematical Sciences, Chennai, the network INFTY: New frontiers of infinity: mathematical, philosophical, and computational prospects, the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), and the Association for Symbolic Logic (ASL).
Organizers:
Benedikt Löwe (Amsterdam),
R. Ramanujam (Chennai).
Contact e-mail: jam (at) imsc.res.in