Uw zoekacties: Benthem, prof. dr. J.F.A.K. van, te Bloemendaal

432 Benthem, prof. dr. J.F.A.K. van, te Bloemendaal ( Noord-Hollands Archief )

Uitleg bij archieftoegang

Een archieftoegang geeft uitgebreide informatie over een bepaald archief.

Een archieftoegang bestaat over het algemeen uit de navolgende onderdelen:

• Kenmerken van het archief
• Inleiding op het archief
• Inventaris of plaatsingslijst
• Eventueel bijlagen

De kenmerken van het archief zijn o.m. de omvang, vindplaats, beschikbaarheid, openbaarheid en andere.

De inleiding op het archief bevat interessante informatie over de geschiedenis van het archief, achtergronden van de archiefvormer en kan ook aanwijzingen voor het gebruik bevatten.

De inventaris of plaatsingslijst is een hiërarchisch opgebouwd overzicht van beschreven archiefstukken. De beschrijvingen zijn formeel en globaal. Het lezen en begrijpen van een inventaris behoeft enige oefening en ervaring.

Bij het zoeken in de inventaris wordt de hiërarchie gevolgd. De rubrieken in de inventaris maken deel uit van de beschrijving op een lager niveau. Komt de zoekterm in een hoger niveau voor, dan voldoen onderliggende niveaus ook aan de zoekvraag.

beacon
 
 
Introduction
1. Topic of the papers
2. Preparation of the papers
432 Benthem, prof. dr. J.F.A.K. van, te Bloemendaal
Introduction
2.
Preparation of the papers
Organisatie: Noord-Hollands Archief
The original material consisted of 25 numbered boxes starting around 1967, books and papers and electronic materials in other locations, plus documents stored in an office at the ILLC, University of Amsterdam, Science Park. The total size was around 25 meters. This has been reduced to some 6.5 meters, according to the procedure described below. The main focus throughout in the selection was on research and teaching, with some broader organizational activities as a supplement to complete the picture of activities.
A very strict selection has been made of available documents concerning the personal educational trajectory (school and university exams, materials around the dissertation and defense ceremony), as well as appointment papers, certificates for awards and honors, and material documenting more personal milestones, such as jubilees.
For publications, an informative selection has been made of: final manuscript (in the form of a reprint where available), one or at most two earlier manuscripts, correspondence with publishers, relevant correspondence with colleagues or students prior to or after publication. Not included are referee reports (which were very incomplete in the original archive), or subsequent official reviews. For monographs and textbooks (but not for edited books), the actual published volume has been added to the archive. Also not included, except when highly relevant, are prepublication reports on research.
The archive contained large numbers of private notes with ideas and possible projects: only a representative selection has been kept. Thirteen notebooks (1967-1983) with mixed personal and academic content have been placed in a private family archive. In addition, a number of larger incomplete projects for papers, books, and other scientific projects has been collected in chronological order under the heading Unfinished.
The correspondence has been trimmed considerably to retain only letters and printed emails (where available) with scientific topics. Personal or organizational messages between colleagues have been removed, and likewise, small matters such as requests for reprints or general announcements for academic activities. Also removed were academic recommendation letters written over the years for students and colleagues, and all correspondence of an organizational-administrative nature. (Many of these materials should be available in the archives of the relevant academic institutions.)
For courses taught, a selection has been made of announcements, correspondence, and test or exam materials. Moreover, all available lecture notes are present in the archive. For specific students supervised for masters theses and doctoral dissertations, a selection has been made of characteristic correspondence. These theses and dissertations themselves can be found in university archives.
For conference lectures, seminar presentations, or public talks, announcements have been kept, plus handouts, and materials such as correspondence relevant to the event.
For editorial work on special volumes or Handbooks, only a small selection has been made, including contracts, publicity items, relevant correspondence with publishers, and some characteristic correspondence with authors. Editorial work for journals is only listed, as detailed correspondence with contributing authors was not available.
For workshops and other events organized, a selection has been made of relevant materials, mainly original proposal texts if available, and the final programs.
Material concerning academic organizational activities was scarce in the archive to begin with, presumably because these documents are usually also available in the public domain for the relevant institutions (institutes, departments, universities, scientific funding agencies). What was available has largely been kept here, including original documents and some correspondence concerning the founding of the ILLC, the European foundation FoLLI, major projects such as the Dutch national cognitive science program, or international scientific initiatives. The archive contained no materials at all about standard academic activities such as memberships of committees of various sorts, tenures as dean of philosophy, mathematics and computer science, or the day to day running of various scientific projects. Even so, the materials present here do give a representative outline of the broader organizational and financing context for the individual research and teaching that is the main focus of this archive.
Finally, starting around 2000, and increasingly through the years, many items are only available in electronic form without prints, such as correspondence, earlier versions of published articles, or organizational materials. Electronic files with supplementary material for the period until the summer of 2017 have been added to this archive.
3. Organization of the papers
Inventory
Appendix: List of abbreviations
AAMAS Conference on Autonomous Agents and Multi-Agent Systems
AI Artificial Intelligence
AiLA Associazione Italiana di Logica i sui Applicazioni
AiML Conference on Advances in Modal Logic
AIO Assistent in Opleiding
ALIASS Logic and Language Seminar, University of Groningen
AMOLF Institute for Atomic and Molecular Physics, Amsterdam
ANTW Algemeen Nederlands Tijdschrift voor Wijsbegeerte
APA American Philosophical Association
ASL Association of Symbolic Logic
ATW Algemene Taalwetenschap
AUC Amsterdam University College
AUP Amsterdam University Press
AUTOMATH Automating Mathematics Computer System
AVRO Dutch Public Broadcasting Company
BBC British Broadcasting Corporation
Beida Peking University
BLIND Electronic Student Journal, University of Amsterdam
BNU Beijing Normal University
BNVKI Belgisch-Nederlandse Vereniging voor Kunstmatige Intelligentie
CAS Chinese Academy of Sciences, Beijing
CASBS Center for Advanced Study in the Behavioral Sciences, Stanford
CAVIA Vereniging Studenten Informatiewetenschappen, University of Amsterdam
Cimedart Centrale Interfaculteit Mededelingen en Artikelen, University of Amsterdam
CLLI Seminar Computing with Logic, Language and Information, ILLC Amsterdam
CLMPS Congress of Logic, Methodology and Philosophy of Science
CMU Carnegie Mellon University, Pittsburgh
CNRS Conseil National de Recherches Scientifiques
Coling Conference on Computational Linguistics
CREA Cultureel Studenten Centrum, University of Amsterdam
CRS Cylindric Relativized Set Algebras
CS Computer Science
CSCA Amsterdam Center for Cognitive Science
CSLI Center for the Study of Language and Information, Stanford
CUNY City University of New York
CWI Center for Mathematics and Computer Science, Amsterdam
DEL Dynamic-Epistemic Logic
DEON Conference on Deontic Logic and Normative Systems
DESDA Association Mathematics Students, Radboud University Nijmegen
DFG Deutsche Forschungsgemeinschaft
DFKI Deutsches Forschungszentrum für Künstliche Intelligenz, Saarbrücken
DGL Dynamic Game Logic
DLMPS Division of Logic, Methodology and Philosophy of Science
DYANA Dynamic Analysis of Natural Language, European Community Research
Project, ILLC Amsterdam
EACL European Association for Computational Linguistics
EASSLLC East Asian Summer School in Logic, Language and Computation
ECAI European Conference on Artificial Intelligence
ENRAC Electronic News Journal of Reasoning about Actions and Change
EPGY Educational Program for Gifted Youth, Stanford
ESF European Science Foundation
ESPRIT European Strategic Research Program on Information Technology
ESSLLI European Summer School in Language, Logic and Information
ETL Epistemic-Temporal Logic
FAPR Conference on Formal and Applied Practical Reasoning
FEW Formal Epistemology Workshop
FliRT Workshop Fixed-Point Logics and Reasoning about Trees, ILLC Amsterdam
FNWI Faculteit der Wiskunde en Natuurwetenschappen, University of Amsterdam
FOL First-Order Logic
FO(LFP) Fixed-Point Extension of First-Order Logic
FoLLI European Foundation of Logic, Language and Information
FotFS Conference Foundations of the Formal Sciences
FUF Vereniging Filosofie Studenten, Utrecht University
GASS Project Games, Actions, and Social Software, NIAS Wassenaar
GLLC Workshop on Games, Logic, Language, and Computation
Gloriclass Marie Curie Training Site for Logic and Games, ILLC Amsterdam
GMD Forschungszentrum Informationstechnik GmbH, Sankt Augustin
GRAM Groningen-Amsterdam Logic Meeting
GRASS Groningen-Amsterdam Studies in Semantics
HCRC Human Communication Research Centre, Edinburgh
I2O Instituut voor Interdisciplinaire Opleidingen, University of Amsterdam
IBM International Business Machines Corporation
ICCS International Conference on Conceptual Structures
ICLA Indian International Conference on Logic and its Applications
ICOT Institute for New Generation Computer Technology, Tokyo
ICS Institute for Information and Computer Sciences, Utrecht
ICT Information and Communication Technology
IFCOLOG International Federation for Computational Logic
IGPL Interest Group in Propositional Logics
IHPST Institut pour lHistoire et la Philosophie des Sciences et de la Technologie, Paris
IIS Institute for Interdisciplinary Studies, University of Amsterdam
IITK Indian Institute for Technology, Mumbai
IJCAI International Joint Conference on Artificial Intelligence
IJCAR International Joint Conference on Automated Reasoning
ILC Institute for Logic and Cognition, Guangzhou
ILIKS Interdisciplinary Laboratory on Interacting Knowledge Systems, University of Trento
ILLC Institute for Logic, Language and Computation, University of Amsterdam
IMS Institute for Mathematical Sciences, Chennai
IRCS Institute for Research in Cognitive Science, Philadelphia
IS-CORE Project Information Systems: Correctness and Reusability
ISLA Intelligent Systems Lab Amsterdam
ITS-irst Istituto per la Ricerca Scientifica e Tecnologica, Trento
JAIST Japan Institute for Science and Technology
JELIA Journées Européennes de Logique en Intelligence Artificielle
JRC Amsterdam Tsinghua Joint Research Center in Logic
KNAW Royal Dutch Academy of Arts and Sciences
KRA Knowledge, Rationality and Action, journal and workshop
Labex Laboratoires dExcellence, French National Research Council
LCNS Springer Lecture Notes in Computer Science
LIB Logic in Bonn Day, Amsterdam
LICS Conference Logic in Computer Science
LILAC Laboratory for Information, Language and Interaction, Stanford
LINT Research Project Logic for Interaction
LIRA Logic and Interactive Rationality Seminar, ILLC Amsterdam
LOFT Conference Logic and the Foundations of Game Theory and Decision Theory
LOGAMAS Workshop Logic, Games and Multi-Agent Systems, Liverpool
LOGICA Logic Conferences Czech Academy of Sciences
LogICCC Program Modeling Intelligent Interaction: Logic in the Humanities, Social and Computational Sciences, European Science Foundation
LogiCiC Project The Logical Structure of Correlated Information Change, Amsterdam
LoLaCo Logic, Language and Computation Basic Course, ILLC Amsterdam
LORI Conference on Logic, Rationality and Interaction
LSA Linguistic Society of America
MA Massachusetts
MC Mathematisch Centrum Amsterdam
MICC Instituut voor Kennis en Informatietechnologie, University of Maastricht
MIT Massachusetts Institute of Technology
MoL Master of Logic Program, ILLC Amsterdam
NAIC Nederlandse AI Conferentie
NASSLLI North-American Summer School on Logic, Language and Information
NEMO Science Museum Amsterdam
NIAS Netherlands Institute for Advanced Studies, Wassenaar
NNIL Non-Nested Implication Logics
NOMEN Linguïstisch Gezelschap Leiden
NOS Nederlandse Omroep Stichting
NRC NRC Handelsblad
N.S. Nova Scotia
NWO Netherlands Organization for Scientific Research
NY New York
OBA Openbare Bibliotheek Amsterdam
OECD The Organization for Economic Cooperation and Development
OTS Onderzoeksinstituut voor Taal en Spraak, Utrecht
OZSL Nederlandse Onderzoeksschool Logica
OZSW Nederlandse Onderzoeksschool Wijsbegeerte
PAO Post-Academisch Onderwijs
PARC Xerox Palo Alto Research Center
PILM Conference Philosophical Insights into Logic and Mathematics, Nancy
PINTO Natural Language Seminar, University of Groningen
RELMICS Conference on Relational Methods in Computer Science
REX Research and Education in Concurrent Systems
RU Radboud University Nijmegen
RUG University of Groningen
SAT Satisfiability Problem
SDU Staatsdrukkerij, Den Haag
SFU Simon Fraser University, Burnaby
SIKS Dutch Research School for Information and Knowledge Systems
SIMIAN Distinguished Lecture Series East China Normal University, Shanghai
SMART Speech, Language, Music, Art, Reasoning and Thought Project, University of Amsterdam
SOCREAL Conference on Philosophy and Ethics of Social Reality
SPUI Spui 25 Cultural Center, University of Amsterdam
SRI Stanford Research International, Menlo Park
SSLPS Swiss Society for Logic and Philosophy of Science STRATEGIES Workshop Logic and Strategies, Groningen
STRATMAS Project Strategies in Multi-Agent Systems, Amsterdam and Groningen
TABU Taalkundig Bulletin Groningen
TARK Conference on Theoretical Aspects of Reasoning about Knowledge and Rationality
TIME Conference on Temporal Representation and Reasoning
TROS Dutch Public Broadcasting Company
TU Technical University
UBC University of British Columbia, Vancouver
UC University of California
UCLA University of California at Los Angeles
UCSC University of California at Santa Cruz
UiL Utrecht Institute for Linguistics
UK United Kingdom
UNAM Universidad Autonoma de Mexico
UNISA University of South Africa
UP University Press
UPenn University of Pennsylvania
UU University of Utrecht
UvA University of Amsterdam
VARA Dutch Public Broadcasting Company
VPRO Dutch Public Broadcasting Company
VTB Programma Verbreding Techniek Basisonderwijs, Dutch Ministry of Education, Den Haag
VU Free University Amsterdam
VvL Dutch Association of Logic
VWO Voorbereidend Wetenschappelijk Onderwijs
WEIS Studentenvereniging Wiskunde en Informaticastudenten, University of Amsterdam ZSU Soon Yat-sen University, Guangzhou
Erfgoedstuk

Kenmerken

Datering:
1961-2022
Omvang in meters:
7,75
Periode documenten:
1961-2022
Openbaarheid:
openbaar
Raadpleegmogelijkheid:
Haarlem, Jansstraat, raadpleging mogelijk na transport
Gebruiksinformatie:
Engelstalige inventaris inv.nrs. 1-1014. Inv.nrs. 911-933 zijn alleen in digitale vorm beschikbaar. Nadere informatie over de raadpleging bij de informatiebalie. Lijst met gebruikte afkortingen in de inventaris. Prof. dr. J.F.A.K. van Benthem (1949-) is professor in de logica.