We would like to express our gratitude for the sponsorship of the organizations below whose generous support greatly contributed to the success of LPAR'08.
Carnegie Mellon University is
internationally recognized as one of the leading institutions of research and
higher education in Computer Science. In 2004, the university established a
branch campus in Qatar with the goal of promoting the same high standards of
research and education as its original campus in Pittsburgh, USA. Carnegie Mellon Qatar is located in
Education City, a 2,500 acre campus which currently hosts branches of six of
the world's leading universities. The campus provides state-of-the-art
research and teaching facilities. Research support and collaboration
opportunities with internationally-known researchers and world-class
businesses are abundant. The Qatari leadership has made an unprecedented
commitment of resources to position Qatar as a world-class center of education
and research.
The Qatar National Research Fund (QNRF) was established in 2006 to administer
funding for original, competitively selected research in engineering and
technology, physical and life sciences, medicine, humanities, social sciences
and the arts.
The Qatar Science and Technology Park (QSTP) is a home for technology-based
companies from around the world, and an incubator of start-up enterprises. It
provides premises, services and support programs that help organizations to
develop and commercialize their technology. QSTP is a free-trade zone, making it easy
and attractive to establish a technology-based company in Qatar. Members of
QSTP include
Cisco,
ConocoPhillips,
EADS,
ExxonMobil,
Gartner Lee,
GE,
iHorizons,
Institut de Soudure,
Microsoft,
Q-CERT,
Rolls-Royce,
Shell,
SMARD, and
Total.
iHorizons is a Qatari software company,
with offices throughout the region, specializing in the development of
e-business applications and content management solutions. It is establishing
a research and development subsidiary at the Qatar Science and Technology Park
(QSTP) that will engineer applications in
new markets such as bioinformatics, social web applications, virtual worlds,
Arabic search technologies and corporate knowledge management tools. Its
world-class clients include Al Jazeera Network, SAP AG, Schlumberger, ARAMCO,
Qatar Petroleum and ASPIRE Academy. iHorizons is also pursuing joint projects
with the computer science department of Carnegie Mellon Qatar.
The Kurt Gödel Society was founded in
1987 and is chartered in Vienna, Austria. It is an international organization
for the promotion of research in the areas of Logic, Philosophy, History of
Mathematics, above all in connection with the biography of Kurt Gödel,
and in other areas to which Gödel made contributions, especially
mathematics, physics, theology, philosophy and Leibniz studies.
Microsoft Research is dedicated to
conducting both basic and applied research in computer science and software
engineering. Its goals are to enhance the user experience on computing
devices, reduce the cost of writing and maintaining software, and invent novel
computing technologies. Microsoft
Research also collaborates openly with colleges and universities worldwide
to broadly advance the field of computer science. Today Microsoft Research
has more than 800 researchers, including some of the world's finest computer
scientists, sociologists, psychologists, mathematicians, physicists and
engineers, working across more than 55 areas of research. It currently
operates labs in six worldwide locations: Redmond, WA (USA), Cambridge (UK),
Beijing (China), Mountain View, CA (USA), Bangalore (India), Cambridge, MA
(USA).
For information on exhibition and sponsorship opportunities at the conference, contact Iliano Cervesato at
For media-related inquiries, contact Noha Al Afifi at