Birmingham / Boston / Paris / Washington / DC / Berlin / Rome / Seoul / Beijing / Saarlandes / Bertinoro / Timisoara / Bremen / Mountain View / Tours / Dagstuhl / /
Company
Distributed Constraint Problem Solving / ACM Press / Netherlands Nuffield Undergraduate Research Bursary Co / International Journal / IEEE Computer Society Press / IOS Press / Masaryk University Press / Google Inc. / Scientific Document Analysis Group / /
Country
Germany / Romania / Italy / France / Japan / United States / Canada / Korea / China / South Korea / / /
Facility
National Institute of Standards and Technology / German Research Institute / University of Saarbr¨ / Computer Science The University of Birmingham Telephone / University of Texas / University of Birmingham / /
IndustryTerm
Online Mathematics / online repository / symbolic computations systems / Chemical structure recognition / /
OperatingSystem
Dos / /
Organization
German Research Institute / University of Texas at Austin / Organising Committee of the UK Automated Reasoning Workshop Member / University of Birmingham Telephone / IFCoLog Advisory Board / University of Birmingham / National Institute of Standards and Technology / School of Computer Science / Editorial Board / Royal Academy of Engineering / American Mathematical Society / Mathematics and Artificial Intelligence / British Council / Masaryk University / European Union / Steering Committee / Advisory Committee / University of Saarbr¨ / /
Person
Jacques Calmet / Xiaoyan Lin / Charles Chen / Marie-Curie Individual / Liangcai Gao / Thierry Bouche / David Delahaye / Volker Sorge / Laurence Rideau / Voorhees Buckland / Lori P. Buckland / Josef Baker / Zhi Tang / Josef Urban / Osama Taleb / Florian Rabe / Randa Almomen / Alan P. Sexton / Behrang Sabeghi Saroui / T.V. Raman / Renaud Rioboo / Proc / David Tseng / Richard Zanibbi / William M. Farmer / Patrick D.F. Ion / / /
Position
manager of the OMEGA project / editor / Principal Investigator / Senior Lecturer / acting project manager / Deputy project manager / Director of Undergraduate Studies / Researcher / Consultant / Trustee / Research assistant / Editor /Co-Editor / Professor / Special Session chair / Head of the Welfare Team / Senior Welfare Tutor / Intelligent Computer Mathematics Trustee / Lecturer / Programme chair / General chair / Doctoral Programme chair / Co-Editor / Associate Professor / DAAD Conferences Chair / Track chair / Track chair for Systems / acting project manager Researcher / Farmer / /
ProgrammingLanguage
DC / /
ProvinceOrState
Texas / /
PublishedMedium
the International Journal / the Evaluation Forum Proceedings / Annals of Mathematics / the Journal of Symbolic Computation / /