Paris / Munich / Seoul / Beijing / Annapolis / San Jose / /
Company
Mechanized Mathematics Systems / Bernstein / ACM Press / GAP Group / Annual Report ACM Special Interest Group / /
Country
Germany / France / Austria / United States / China / South Korea / /
Currency
USD / /
Facility
Korean Institute of Advanced Studies / Artin-Schreier towers / Northeastern University / Florida State University / University of Zaragoza / Emory University / ACM Digital library / The University of Western Ontario / RISC J. Kepler University of Linz / /
Organization
United States Naval Academy / SIGSAM / Northeastern University / RISC J. Kepler University of Linz / Technische Universität München / University of Zaragoza / Advisory Board / Department of Computer Science / Florida State University / University of Western Ontario / London / Emory University in Atlanta / SIG Board / Korean Institute of Advanced Studies / /
Person
Ioannis Emiris / Chris Brown / Jeremy Johnson / Austin Lobo / Jorge Martìn Morales / Intersection / Bernard Mourrain / Wolf Daniel Andres / Luca De Feo / Elias Tsigaridas / Gene Cooperman / Agnes Szanto / Ilias S. Kotsireas / Manuel Kauers / /