External links

• ACM Official SIGSAM web site
• ISSAC 2009, Seoul
  Seoul
  Seoul , officially the Seoul Special City, is the capital and largest metropolis of South Korea. A megacity with a population of over 10 million, it is the largest city proper in the OECD developed world...
  
  , Korea
  Korea
  Korea ) is an East Asian geographic region that is currently divided into two separate sovereign states — North Korea and South Korea. Located on the Korean Peninsula, Korea is bordered by the People's Republic of China to the northwest, Russia to the northeast, and is separated from Japan to the...
  
  
• ISSAC 2008, ("RISC Linz
  Research Institute for Symbolic Computation
  The Research Institute for Symbolic Computation is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and...
  
  "), Hagenberg, Austria
  Austria
  Austria , officially the Republic of Austria , is a landlocked country of roughly 8.4 million people in Central Europe. It is bordered by the Czech Republic and Germany to the north, Slovakia and Hungary to the east, Slovenia and Italy to the south, and Switzerland and Liechtenstein to the...
  
  
• ISSAC 2007, Waterloo, Ontario
  Waterloo, Ontario
  Waterloo is a city in Southern Ontario, Canada. It is the smallest of the three cities in the Regional Municipality of Waterloo, and is adjacent to the city of Kitchener....
  
  
• ISSAC 2006, Genoa
  Genoa
  Genoa |Ligurian]] Zena ; Latin and, archaically, English Genua) is a city and an important seaport in northern Italy, the capital of the Province of Genoa and of the region of Liguria....
  
  
• ISSAC 2005, Beijing
  Beijing
  Beijing , also known as Peking , is the capital of the People's Republic of China and one of the most populous cities in the world, with a population of 19,612,368 as of 2010. The city is the country's political, cultural, and educational center, and home to the headquarters for most of China's...
  
  
• ISSAC 2004, Santander, Cantabria
  Santander, Cantabria
  The port city of Santander is the capital of the autonomous community and historical region of Cantabria situated on the north coast of Spain. Located east of Gijón and west of Bilbao, the city has a population of 183,446 .-History:...
  
  
• ISSAC 2003, Philadelphia
• ISSAC 2002, Lille
  Lille
  Lille is a city in northern France . It is the principal city of the Lille Métropole, the fourth-largest metropolitan area in the country behind those of Paris, Lyon and Marseille. Lille is situated on the Deûle River, near France's border with Belgium...
  
  
• ISSAC 2001, London, Ontario
  London, Ontario
  London is a city in Southwestern Ontario, Canada, situated along the Quebec City – Windsor Corridor. The city has a population of 352,395, and the metropolitan area has a population of 457,720, according to the 2006 Canadian census; the metro population in 2009 was estimated at 489,274. The city...
  
  
• ISSAC 2000, St. Andrews
• ISSAC 1999, Vancouver
  Vancouver
  Vancouver is a coastal seaport city on the mainland of British Columbia, Canada. It is the hub of Greater Vancouver, which, with over 2.3 million residents, is the third most populous metropolitan area in the country,...
  
  
• ISSAC 1998, Rostock
  Rostock
  Rostock -Early history:In the 11th century Polabian Slavs founded a settlement at the Warnow river called Roztoc ; the name Rostock is derived from that designation. The Danish king Valdemar I set the town aflame in 1161.Afterwards the place was settled by German traders...
  
  
• ISSAC 1997, Maui
  Maui
  The island of Maui is the second-largest of the Hawaiian Islands at and is the 17th largest island in the United States. Maui is part of the state of Hawaii and is the largest of Maui County's four islands, bigger than Lānai, Kahoolawe, and Molokai. In 2010, Maui had a population of 144,444,...