Buffalo / Rotterdam / Eindhoven / Amsterdam / Oslo / Leeds / Helsinki / Hamilton / Belfast / /
Company
ADJ Group / JIZ / IBM / /
Country
Netherlands / Canada / United Kingdom / Wales / /
Event
Person Communication and Meetings / Person Travel / Product Issues / /
Facility
Bar Ilan University / Mathematical Centre / Amstel Brewery / Amsterdam University / Leeds University / McMaster University / University of Wales Swansea / Weizmann Institute / JVT's facility / Bristol University / Bar Ilan / /
IndustryTerm
software construction / established mathematical tools / text processor / number systems / concurrent systems / computing / logic / grey metal bookcases / grey metal desks / proof systems / /
OperatingSystem
UNIX / /
Organization
SUNY at Buffalo / Association for Symbolic Logic Summer / University of Wales Swansea / Computer Science Department / Mathematical Centre / Bristol University / Leeds University / European Association for Theoretical Computer Science / Weizmann Institute in Israel / McMaster University / Bar Ilan University in Israel / National Science Foundation / Zucker Department of Computing and Software / V Tucker Department of Computer Science / Stanford / Amsterdam University / /
Person
Hans van Vliet / Rabin / Ralph Johan Back / Steve Cook / Paul Klint / Jan Bergstra / Jan Rutten / Dag Normann / Arie de Bruin / Bakker / Tony Hoare / Lambert Meertens / John-Jules Meyer / John Cleave / Viggo Stoltenberg-Hansen / Stephen Zilles / Joost Kok / Jaco de Bakker / Eric Wagner / Jens Erik / Robert Tragesser / Peter J Asveld / John Guttag / Dick Grune / Joe Goguen / Jens Erik Fenstad / Paul Vitanyi / Aad van Wijngaarden / Jan Willem Klop / Peter van Emde Boas / Dirk van Dalen / John C Shepherdson / Paul de Roever / Klaus Weihrauch / Robin Milner / Harvey Friedman / Jesse B Wright / Maurice Nivat / Zucker / Ernst-RĂ¼diger Olderog / Johan Moldestad / Barbara Liskov / Jim Thatcher / Sol Feferman / /
Position
general research programme / Head / supervisor / topological model of De Bakker / theoretical computer scientist / model / Director / /
Product
Ditroff text processor / Ditroff / rules / /
ProgrammingLanguage
J / /
ProvinceOrState
Swansea / British Columbia / New York / Ontario / Pennsylvania / /