Back to Results
First PageMeta Content
American Sign Language / Computability theory / Association for Symbolic Logic / John Myhill / Nels David Nelson / Anil Nerode / Saul Kripke / Mereology / Logic / Mathematical logic / Philosophy


Document Date: 2008-08-22 09:54:26

Open Document

File Size: 190,28 KB

Share Result on Facebook

City

San Francisco / San Antonio / Montreal / Oaxaca / Poughkeepsie / Paris / Las Vegas / Philadelphia / Auckland / Pittsburgh / Bonn / Montreux / Bombay / Cape Girardeau / Syracuse / Hilversum / Denton / Perth / Chennai / Palo Alto / Zografou / Athens / Tilburg / Atlanta / Chicago / Edinburgh / /

Company

M.D. Srinivas S.P. / J. Steel / Russell / John Steel / /

Continent

North America / /

Country

Switzerland / Netherlands / Canada / Scotland / India / Germany / Mexico / New Zealand / United States / Greece / /

Currency

USD / /

/

Event

Employment Change / /

Facility

George Washington University / Vassar College / Northwestern University / Syracuse University / University of Athens / University of Kansas / American Institute of Mathematics / University Medical Center / University of North Texas / University of Wisconsin / Amherst College / University of California Berkeley / Kennedy Center / University of Leiden / University of Chicago / University of Amsterdam / /

/

IndustryTerm

database systems / travel application / online form / ag carrier / modest travel / travel expenses / steel@math.berkeley.edu / intuitionistic formal systems / http /

Organization

Nominating Committee / University of California / National Research Council / University of North Texas / Program Committee / Amherst College / Australasian Mathematics Society / Association for Symbolic Logic / Local Organizing Committee / University of Leiden / Pacific Division / Kennedy Center / American Philosophical Association / Australasian Association for Logic / University of Amsterdam / University of Kansas / Smithsonian / Rutgers / Symbolic Logic Business Office / Chinese Academy of Sciences / American Institute of Mathematics / University Medical Center / ASL Committee on Meetings in North America / Vassar College / Northwestern University / US National Science Foundation / School on Universal Logic / Institute for Advanced Study / Executive Committee / the George Washington University / Organizing Committee / World Bank / the University of Chicago / World Congress / Syracuse University / French administration / University of Wisconsin / Madison / University of Athens / Stanford / /

Person

S. Wainer / C. Dimitracopoulos / Tucker / Anil Nerode / M. Marion / Joan Bagaria / Stephen Kleenes / John Myhill / Nels David Nelson / Mitchell / Jacob C. E. Dekker / R. Downey / V / Daniel Leivant / A. Morozov / V / R. Sommer / Mariangiola Dezani / R.K. Shyamasundar / Charles Steinhorn (Vassar) / Princeton / Paolo Mancosu / S. Lavine / O. Rabin / A. Kanamori / A. Koslow / V / David Nelson / D. Prahladacharya / V / K.F. Jørgensen / S.A. Pedersen / V.F. Hendricks / Peter Cholak / /

/

Position

full professor / thesis supervisor / professor / Professor of Mathematics / visiting assistant professor / chairman of the Mathematics Department / beloved teacher / Editor / Program Chair / Editor-in-Chief / Coordinator / assistant professor / Chair / Secretary-Treasurer / member / /

ProvinceOrState

New York / Missouri / California / Georgia / Western Australia / Texas / Kansas / Wisconsin / /

PublishedMedium

Logical Methods in Computer Science / Theoretical Computer Science / /

Region

Western Australia / North Texas / /

Technology

ASL / http / /

URL

http /

SocialTag