uva.nl
About the ILLC
Introduction
About the ILLC
History
Mission
International Collaborations
Activities
Grants
Regular events
ILLC People in the Media
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
ILLC Magazine
Annual Reports
Finished Projects
Festschriften
ILLC Open Day
ILLC Open Day 2019
Diversity
Diversity at ILLC
Facilities
Bibliotheca Beth
News and Events
ILLC News & Events
Submit News Item
News
Projects and Awards
Funding, Grants & Competitions
Open Positions
New Appointments
Miscellaneous
Obituaries
Martin Löb (1921-2006)
Paul Gochet (1932-2011)
Wim Blok (1947 - 2003)
Remko Scha (1945-2015)
Theo Janssen (1948-2018)
Anne Troelstra (1939-2019)
Events
Upcoming Events
Conferences
MoL and PhD defenses
Regular Events
Archives
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
Research
Programmes
Overview
Logic and Language
Logic and Computation
Language and Computation
Key Themes
Logic and Game Theory
Cognitive Modelling
Publications
Searchable List of Research Output
Dissertations
ILLC Dissertations (DS) Series
Historical Dissertation (HDS) Series
Inaugurals and Valedictories
Preprints and Other Reports
Prepublication (PP) Series
Technical Notes (X) Series
Master of Logic (MoL) Series
Mathematical Logic and Foundations (ML) Series (1988-1998)
Logic, Philosophy and Linguistics (LP) Series (1988-1998)
Computation and Complexity Theory (CT) Series (1988-1998)
Computational Linguistics (CL) Series (1988-1993)
Instituut voor Taal, Logika en Informatie (ITLI) Series (1986-1987)
Publications by year
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
Other Links
Scientific Integrity
Consortia
Research Projects and Demo's
Code and datasets
Support and Info
Practical matters
The ILLC Office
Science Park
Computers
Mail
ILLC Matters
Library
Staff
Annual Interviews
Pure
Making a homepage
PostDocs
Annual Review
Teaching
Non-academic and language courses
Financial Matters
Other
Guests
Events
Finances
Grant Applications
Room reservations
ILLC Meeting Room (F1.15)
PhD Meeting Room (F2.01)
PostDoc Meeting Room (F2.02)
Equipment
PhD candidates
ICT Resources
A-Z list
People
Staff
Management Team
PhD Candidates
Guests
Students
Alumni
Vacancies
Address List
Scientific Advisory Board
Teaching
PhD Programme
MSc Logic
The 'Logic Year'
Minor Logic and Computation
Blog
Contact Us
Contact
Directions
EUROTOM
Search
Institute for Logic, Language and Computation
ILLC
UvA
Main Page Navigation
About the ILLC
Introduction
About the ILLC
History
Mission
International Collaborations
Activities
Grants
Regular events
ILLC People in the Media
ILLC Magazine
Annual Reports
Finished Projects
Festschriften
ILLC Open Day
Diversity
Diversity at ILLC
Facilities
Bibliotheca Beth
News and Events
ILLC News & Events
Submit News Item
News
Projects and Awards
Funding, Grants & Competitions
Open Positions
New Appointments
Miscellaneous
Obituaries
Events
Upcoming Events
Conferences
MoL and PhD defenses
Regular Events
Archives
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
Research
Programmes
Overview
Logic and Language
Logic and Computation
Language and Computation
Key Themes
Logic and Game Theory
Cognitive Modelling
Publications
Searchable List of Research Output
Dissertations
Inaugurals and Valedictories
Preprints and Other Reports
Publications by year
Other Links
Scientific Integrity
Consortia
Research Projects and Demo's
Code and datasets
Support and Info
A-Z list
Practical matters
The ILLC Office
Science Park
Computers
Mail
ILLC Matters
Library
Staff
Annual Interviews
Pure
Making a homepage
PostDocs
Annual Review
Teaching
Non-academic and language courses
Financial Matters
Other
Guests
Events
Finances
Grant Applications
Room reservations
PhD candidates
ICT Resources
People
Management Team
Staff
PhD Candidates
Guests
Students
Alumni
Vacancies
Address List
Scientific Advisory Board
Teaching
PhD Programme
MSc Logic
The 'Logic Year'
Minor Logic and Computation
Blog
Contact Us
Contact
Directions
EUROTOM
Vacancies
Home
People
Vacancies
People
Management Team
Staff
PhD Candidates
Guests
Students
Alumni
Vacancies
Address List
Scientific Advisory Board
