Jan van Eijck
  • Home
  • Activities
  • Publications
  • Manuscripts
  • Courses
  • Software
  • Philosophy
  • Contact

About Me
photograph by Yanjing Wang

I am a Senior Researcher at CWI (Centre for Mathematics and Computer Science), Amsterdam, and part time full professor of computational semantics at ILLC (Institute for Logic, Language and Computation), Amsterdam. Until november 2011 I was part-time full professor of computational linguistics at Uil-OTS (Research Institute for Language and Speech), Utrecht. I teach Software Testing in the Master of Software Engineering curriculum at the University of Amsterdam. I am former scientific director of the Dutch Research School in Logic (1997 -- 2002). I am a former employee of SRI-International (Cambridge UK Laboratory), where I was involved in the design of an industrial scale natural language processing project. Before that, I held an associate professorship at the University of Tilburg. I have a PhD from the University of Groningen (1985). Here is my CV.

Events and Activities

Events and Activities

2012

  • Games, Actions and Social Software appeared as Springer Lecture Notes in CS, edited by Jan van Eijck and Rineke Verbrugge. This is the second volume that reports on the NIAS Social Software project of 2006.

2011

  • Appointment as professor at ILLC (one day per week, starting November 1, 2011). See here and here.
  • De wetenschap in debat: wat is de essentie van informatie? November 8, 2011, Spui 25 Amsterdam. Details are here.
  • Stefan Minica defended his PhD Thesis `Dynamic Logic of Questions', on December 1, 2011. Details are here. Supervisors were Johan van Benthem, Hans van Ditmarsch and myself.
  • Gijs van Lammeren, Jan de Mooij, Joost Pastoor, Lennart Tange got their MSc in Software Engineering under my supervision (master software engineering, University of Amsterdam, 2011).
  • Member of the MSc committee of Lars Wortel (ILLC, Amsterdam).
  • Member of the programme committee for IWCS 2011.
  • Member of the programme committee for LORI-3, The Third International Workshop on Logic, Rationality and Interaction, Guangzhou, China, October 10-13, 2011.
  • Program Chair (together with Rineke Verbrugge) of Reasoning about Other Minds (TARK Satelite Event, Groningen).
  • Host of foreign guest professor Shalom Lappin (August-September 2011), from King's College, London.

2010

  • Yanjing Wang defended his PhD thesis, `Epistemic Modelling and Protocol Dynamics' (ILLC, University of Amsterdam) on September 21, 2010.
  • Christina Unger defended her PhD thesis, `A Computational Approach to the Syntax of Displacement and the Semantics of Scope' (Uil-OTS, Utrecht University) on March 31, 2010. Promotors were Eric Reuland and myself.
  • Tigran Kalaidjan and Bas Slagter got their MSc in Software Engineering under my supervision (master software engineering, University of Amsterdam, 2010).
  • Ronald de Haan wrote his Bachelor Thesis, Reasoning about Belief in Social Software using Modal Logic (Cognitive Artificial Intelligence, Utrecht) under my supervision (February 2010).
  • Member of the PhD Examination Committee of Jonathan Zvesper, Amsterdam (March 9, 2010).
  • Member of the PhD Committee of Eline Westerhout, Utrecht (June 2, 2010)
  • Member of the PhD Defence Committee of Bert le Bruyn, Utrecht (March 31, 2010).
  • Member of the MSc committee of Jeroen Bransen (CKI, Utrecht, August 26, 2010).
  • Member of the MSc committee of Matthew Wampler Doty (ILLC, September 1, 2010).
  • Member of the MSc committee of Remi Turk (ILLC, October 19, 2010).
  • Host of foreign guest Dr Lakshmanan Kuppusami (May and June, 2010).
  • Member of the `Visitatiecommissie Informatica, Toegepaste Informatica, Computerwetenschappen', Vlaamse Universeiten, 2009 and 2010.
  • Coordinator of NWO Project VEMPS (until July 2010).

2009

  • Organizer of Natural Logic Workshop as part of the 17th Amsterdam Colloquium. Selected papers have appeared here.
  • Program Committee member of IWCS 8 (7--9 Jan, 2009).
  • Coordinator of NWO Project VEMPS (since June 2006).
  • Member of the `Visitatiecommissie Informatica, Toegepaste Informatica, Computerwetenschappen', Vlaamse Universeiten, 2009 and 2010.
  • Master Thesis supervisor for Ivo Jonker, Lars de Ridder, Rogier Hommels and Roy Zandbergen (Master Software Engineering curriculum).
  • Member of Ph.D. thesis committee of Alexey Rodrigues, Utrecht, May 20, 2009.
  • Member of Ph.D. thesis committee of Andreas Witzel, Amsterdam, September 3, 2009.

Home

Publications

To appear

  • Jan van Eijck and Rineke Verbrugge, Social Software. To appear in: Stanford Encyclopedia of Philosophy, edited by Edward N. Zalta.

2012

  • Jan van Eijck and Rineke Verbrugge (eds.), Games, Actions and Social Software, LNCS 7010, Springer 2012.
  • N. Dimitri and J. van Eijck, Time Discounting and Time Consistency , in: Games, Actions and Social Software, LNCS 7010, Springer.
  • J. van Eijck, Perception and Change in Update Logic , in: Games, Actions and Social Software, LNCS 7010, Springer.
  • H.P. van Ditmarsch, J. van Eijck, F. Sietsma and Y. Wang, On the logic of lying , in: Games, Actions and Social Software, LNCS 7010, Springer.
  • Johan van Benthem and Hans van Ditmarsch and Jan van Eijck and Jan Jaspars, Logic in Action. Internet resource on logic.
  • Jan van Eijck and Ji Ruan and Tomasz Sadzik, Action Emulation. A pre-final version is here. Final version available through SpringerLink. Synthese, Volume 185, Issue 1 (2012), Page 131-151.
  • Hans van Ditmarsch, Jan van Eijck, Ignacio Hernandez-Anton, Floor Sietsma, Sunil Simon and Fernando Soler-Toscano, Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO , Highlights on PAAMS, pages 155-162, edited by J.B. Perez et al. Springer AISC 156, 2012.

2011

  • Jan van Eijck and Hans Kamp, Discourse Representation in Context. In: Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, Second Edition, Elsevier, 2011, pages 181--252.
  • Yanjing Wang and Floor Sietsma and Jan van Eijck, Logic of Information Flow on Communication Channels, in: Declarative Agents Languages and Technologies VIII, Springer, edited by Andrea Omicini, Sebastian Sardina and Wamberto Vasconcelos, pp 130--147.
  • Hans van Ditmarsch, Jan van Eijck, and William Wu, Verifying one hundred prisoners and a lightbulb , Journal of Applied Non-classical logics, 2010 (but the issue appeared in 2011), pp 173--191.
  • Jan van Eijck, Redeneren over Communicatie, in: Euclides, 2011, volume 86, number 11, pages 214-216.
  • Jan van Eijck and Floor Sietsma, Message-Generated Kripke Semantics, Proceedings of 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pages 1183--1184.
  • Jan van Eijck, A Geometric Look at Manipulation,, CLIMA XII, 2011, pages 92--104. Lecture notes in Artificial Intelligence, edited by J. Leite et al.
  • Jan van Eijck and Floor Sietsma and Sunil Simon, Reflections on Vote Manipulation in: Logic, Rationality, and Interaction, pages 386--387. Edited by Hans van Ditmarsch, Jerome Lang and Shier Ju. Lecture Notes in Computer Science 6953, Springer.
  • Floor Sietsma and Jan van Eijck, Message Passing in a Dynamic Epistemic Logic Setting,, in: TARK XIII: Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge,. 2011, pages 212--220. Edited by Krzysztof Apt.
  • Jan van Eijck and Rineke Verbrugge (eds.), Proceedings of the Workshop on Reasoning About Other Minds: Logical and Cognitive Perspectives (RAOM-2011), Groningen, The Netherlands, July 11th, 2011. Number 751 in CEUR Workshop Proceedings, see here..
  • Jan van Eijck and Yanjing Wang and Floor Sietsma, Composing Models. Journal of Applied Non-classical Logics, 2011, Vol 21, pages 397--425. Available online here.
  • Jan van Eijck, A Conversation with Wittgenstein. In: This is not a Festschrift -- Festschrift for Martin Stokhof. Edited by Jaap van der Does and Catarina Dutilh Novaes. Available online here.
  • Jan van Eijck, Afscheid van JKL. In: jan karel lenstra, the traveling science man, CWI 2011, edited by M. van der Heijden, B. Koren, R.D. van der Mei and J.A.J. van Vonderen.

2010

  • Hans van Ditmarsch, Jan van Eijck, and William Wu, One hundred prisoners and a lightbulb - logic and computation . In: F. Lin and U. Sattler (editors), Proceedings of KR 2010 Toronto, 2010. AAAI Press.
  • Jan van Eijck and Christina Unger, Computational Semantics with Functional Programming , Cambridge University Press, 2010.
  • Yanjing Wang and Floor Sietsma and Jan van Eijck, Logic of Information Flow on Communication Channels (Extended Abstract). Proceedings of AAMAS-2010, the 9th International Conference on Autonomous Agents and Multiagent Systems, ed. by W. van der Hoek et al., Toronto 2010.
  • Yanjing Wang and Floor Sietsma and Jan van Eijck, Logic of Information Flow on Communication Channels (Extended Version) In: Logic and Interactive Rationality, Yearbook 2009, edited by Davide Grossi, Lena Kurzen en Fernando R. Velázques-Queseda, ILLC, Amsterdam.
  • Jan van Eijck, The Language of Social Software. Synthese, 2010. doi
  • Jan van Eijck and Yanjing Wang and Floor Sietsma, Composing Models. Online Proceedings of LOFT 2010, edited by Wiebe van der Hoek. Toulouse 2010.
  • Jan van Eijck and Albert Visser, Dynamic Semantics. Stanford Encyclopedia of Philosophy, edited by Edward N. Zalta. First appeared in the January 2010 edition.
  • Jan van Eijck and Floor Sietsma, Multi-agent Belief Revision with Linked Plausibilities. In: G. Bonanno, B. Löwe and W. van der Hoek (eds.), Logic and the Foundations of Game and Decision Theory - LOFT 8, Lecture Notes in Artificial Intelligence, Vol. 6006, Springer, 2010.
  • Jacques van Remortel c.s., De onderwijsvisitatie Informatica - Toegepaste Informatica - Computerwetenschappen, Brussel 2010.

2009

  • Philippe Balbiani, Hans van Ditmarsch, and Jan van Eijck (editors), Special issue Logic for Information Security -- Editorial . Journal of Applied Non-Classical Logics 19(4): 397-401, 2009, issn 1166-3081.
  • Johan van Benthem, Hans van Ditmarsch, and Jan van Eijck, Logica in Actie , Academic Service, Sdu Uitgevers, Den Haag, NL, 2009.
  • Hans van Ditmarsch, Jan van Eijck, and Rineke Verbrugge, Publieke Werken: Breinbrouwsels over Sommen en Producten . Nieuw Archief voor Wiskunde (in Dutch), volume 5/10, number 2, pages 126-131, 2009.
  • Jan van Eijck and Rineke Verbrugge (eds), Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009.
  • Jan van Eijck, What is Social Software . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 37--47.
  • Jan van Eijck, A Guest Lecture on Social Software . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 49--56.
  • Jan van Eijck, On Social Choice Theory . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 71--85.
  • Jan van Eijck and Martin van Hees, Ends and Means, Values and Virtues . In: Discourses on Social Software . Texts in Logic and Games 5, Amsterdam University Press, 2009, pp. 87--98.
  • Hans van Ditmarsch, Jan van Eijck, and Rineke Verbrugge, Common Knowledge and Common Belief. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 99-122. Amsterdam University Press, 2009.
  • Johan van Benthem and Jan van Eijck, Game Theory, Logic and Rational Choice In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 123--134. Amsterdam University Press, 2009.
  • Francien Dechesne and Jan van Eijck and Wouter Teepe and Yanjing Wang, What is Protocol Analysis? In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 135 -- 146. Amsterdam University Press, 2009.
  • Francien Dechesne and Jan van Eijck and Wouter Teepe and Yanjing Wang, Dynamic Epistemic Logic for Protocol Analysis. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 147 -- 161. Amsterdam University Press, 2009.
  • Jan van Eijck and Rineke Verbrugge, Eating from the Tree of Ignorance. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 183--198. Amsterdam University Press, 2009.
  • Jan van Eijck, On Collective Rational Action. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 199--216. Amsterdam University Press, 2009.
  • Jan van Eijck and Rohit Parikh and Marc Pauly and Rineke Verbrugge, Social Software and the Ills of Society. In: Jan van Eijck and Rineke Verbrugge (editors), Discourses on Social Software. Texts in Logic and Games, volume 5, pages 219--226. Amsterdam University Press, 2009.
  • Yanjing Wang and Lakshmanan Kuppusamy and Jan van Eijck, Verifying Epistemic Protocols under Common Knowledge. In: TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, pages 257--266, ACM, 2009.
  • Jan van Eijck, Comments on `Modal Fixed Point Logic and Changing Models'.

2008

  • Jan van Eijck and Yanjing Wang, PDL as a Logic of Belief Revision Proceedings of Wollic'08, edited by Wilfrid Hodges and Ruy de Queiros, Lecture Notes in Artificial Intelligence 5110, Springer, pages 136--148, See doi .
  • Jan van Eijck, Yet More Modal Logics of Preference Change and Belief Revision. New Perspectives on Games and Interaction, edited by K.R. Apt and R. van Rooij, Amsterdam University Press, 2008.
  • Jan van Eijck, Sequentially Indexed Grammars . Journal of Logic and Computation, 18(2), 2008, pages 20500228. doi
  • Jan van Eijck and Floor Sietsma, Multi-agent Belief Revision with Linked Plausibilities. In: LOFT 2008: Logic and the Foundations of Game and Decision Theory, online proceedings, Amsterdam 2008.

2007

  • Jan van Eijck, Context and the Composition of Meaning . In: Computing Meaning, Volume 3, edited by Harry Bunt and Reinhard Muskens, Springer 2007, pages 173--194. An almost final version can be found here.
  • Jan van Eijck, DEMO --- A Demo of Epistemic Modelling . In: Interactive Logic --- Proceedings of the 7th Augustus de Morgan Workshop, edited by Johan van Benthem, Dov Gabbay and Benedikt Löwe, Texts in Logic and Games 1, 2007, pages 305­-363.
  • Jan van Eijck, Natural Logic for Natural Language . Logic, Language, and Computation; 6th International Tbilisi Symposium on Logic, Language, and Computation Batumi, Georgia, September 12-16, 2005, edited by Balder ten Cate and Henk Zeevat, Springer, 2007, pages 216--230.
  • Jan van Eijck and Simona Orzan, Epistemic Verification of Anonymity . In: Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, Electronic Notes on Theoretical Computer Science, edited by Maurice ter Beek and Fabio Gadducci, Elsevier, 2007, pages 159--174. doi
  • Jan van Eijck and Christina Unger, The Epistemics of Presupposition Projection . In: Proceedings of the Sixteenth Amsterdam Colloquium, December 17--19, 2007, edited by Maria Aloni, Paul Dekker and Floris Roelofsen, ILLC, pages 235--240.

2006

  • Johan van Benthem, Jan van Eijck and Barteld Kooi, Logics of Communication and Change . Information and Computation, vol 204, number 11, pages 1620--1662. doi .
  • Jan van Eijck, Discourse Representation Theory . Encyclopedia of Language and Linguistics, edited by K. Brown, Elsevier 2006, volume 3, pages 660--669.
  • Jan van Eijck and Martin Stokhof, The Gamut of Dymamic Logics . In: The Handbook of the History of Logic, edited by D.M. Gabbay and J. Woods, volume 7, Elsevier, 2006, pages 499--600.
  • Jan van Eijck, Discourse on Social Software --- What is Social Software? . NIAS Newsletter, Number 36, 2006, pages 15--21.

2005

  • Johan van Benthem, Jan van Eijck and Barteld Kooi, Common knowledge in update logics Tark 2005. An almost final version of this paper can be found here.
  • Jan van Eijck, Normal Forms for Characteristic Functions on n-ary Relations . Journal of Logic and Computation, 15(2), 2005, pages 85--98. doi
  • Jan van Eijck and Simona Orzan, Modelling the Epistemics of Communication with Functional Programming . Sixth Symposium on Trends in Functional Programming (TFP 2005), Institute of Cybernetics, Tallinn Technical University, edited by Marko van Eekelen, 2005, pages 44--59.
  • Jan van Eijck and Albert Visser, Inzien en Bewijzen . Amsterdam University Press, 2005.
  • Jan van Eijck and Albert Visser, Inzien en Bewijzen -- Docentenhandleiding . Amsterdam University Press, 2005.

2004

  • Kees Doets and Jan van Eijck, The Haskell Road to Logic, Maths and Programming . Texts in Computing, College Publications, London, 2004.
  • Jan van Eijck, Albert Visser and Vincent van Oostrom (eds), Logic Colloquium '99 . A.K. Peters, Wellesley, MA, USA, Lecture Notes in Logic 17, 2004.
  • Jan van Eijck, Susan Herring, Wolfgang Klein and Stephen Pulman, Evaluation of CLCG Research, Summer 2004 . University of Groningen, 2004.
  • Jan van Eijck Reducing dynamic epistemic logic to PDL by Program Transformation . CWI Report SEN-E0423, 2004. Available from CWI Reports.
  • Jan van Eijck Dynamic Epistemic Modelling . CWI Report SEN-E0424, 2004. Available from CWI Reports.
  • Jan van Eijck Guarded Actions . CWI Report SEN-E0425, 2004. Available from CWI Reports.
  • Jan van Eijck and Joost Zwarts, Formal Concept Analysis and Prototypes. In: Werner Kuhn, Martin Raubal, Florian Probst and Krysztof Jonowicz, eds., Proceedings of the Workshop on the Potential of Cognitive Semantics for Ontologies (FOIS 2004), University of Muenster.

2003

  • Jan van Eijck, Parser Combinators for Extraction . Proceedings of the Fourteenth Amsterdam Colloquium, edited by Paul Dekker and Robert van Rooij, ILLC, Amsterdam, 2003, pages 9--104.
  • Jan van Eijck, Het Formaliseren van Theta Theorie . Link --- Tijdschrift voor Linguistiek te Utrecht, 14(1), pages 36--41, 2003.

2002

  • Jan van Eijck, Reference Resolution in Context . Computational Linguistics in the Netherlands 2001. Selected Papers from the Twelfth CLIN Meeting, edited by M. Theune, A. Nijholt and H. Hondorp. Rodopi, 2002, pages 89--103.
  • Jan van Eijck, Jan Jaspars, Jan Ketting and Marc Pauly, Denkende Machines -- Computers, rekenen, redeneren . Amsterdam University Press, 2002.
  • Jan van Eijck, Jan Jaspars, Jan Ketting and Marc Pauly, Denkende Machines -- Computers, rekenen, redeneren, Docentenhandleiding . Amsterdam University Press, 2002.
  • Jan van Eijck, HyLoTab -- Tableau-based Theorem Proving for Hybrid Logics . Available here.
  • Jan van Eijck AI Education in the Netherlands; VSNU Curriculum Visitation . BNVKI Newsletter, February 2002.
  • Jan van Eijck Afscheid van Jaco . Liber Amicorum Jaco de Bakker, edited by F. de Boer, M. van der Heijden, P. Klint and J. Rutten. CWI 2002, pages 61--77.
  • Jan van Eijck, Jan van de Craats, Frank van Eynde, Gerard Kempen en Cees Witteveen, De Onderwijsvisitatie Kunstmatige Intelligentie . VSNU Report, 135 pp, Utrecht 2002.

2001

  • Jan van Eijck Constrained Hyper Tableaux . In: Computer Science Logic, edited by L. Fribourg, pags 231--246. Springer LNCS 2142, 2001.
  • Jan van Eijck, Model Generation from Constrained Free Variable Tableaux . IJCAR 2001 -- Short Papers, edited by Rajeev Gor@eacute;, Alexander Leitsch and Tobias Nipkov, pages 160--169. Siena, 2001.
  • Jan van Eijck, Incremental Dynamics . Journal of Logic, Language and Information, 2001, Vol 10, pages 319--351.
  • Jan van Eijck, Juan Heguiabehere and Breandann Ó Nualláin, Tableau Reasoning and Programming with Dynamic First Order Logic, Logic Journal of the IGPL 2001, 9(3), pages 411-445. doi
  • Balder ten Cate, Jan van Eijck and Juan Heguiabehere, Expressivity of Extensions of Dynamic Predicate Logic, Proceedings of the Thirteenth Amsterdam Colloquium, December 17--19, 2001, edited by M. Stokhof and R. van Rooy, pages 61--66.
  • Jan van Eijck, Border Crossings, In: Logic in Action, ILLC, Amsterdam 2001, pages 51--74.

Some earlier papers

  • Jan van Eijck, Making Things Happen Appeared in Studia Logica , Autumn 2000.
  • Jan van Eijck, Axiomatising Dynamic Logics for Anaphora Appeared in the first volume of the Journal of Language and Computation, Spring 1999.
  • Jan van Eijck, On the Proper Treatment of Context in NL Appeared in CLIN Proceedings 1999.
  • Jan van Eijck, Typed Logics with States Journal of the IGPL, September 1997.
  • Johan van Benthem, Jan van Eijck and Vera Stebletsova, Modal logic, Transition Systems and Processes . Journal of Logic and Computation, 4(5), 1996, pages 811-855. doi
  • Jan van Eijck and Nissim Francez, Verb-phrase Ellipsis in Dynamic Semantics in: M. Masuch and L. Polos, Applied Logic: How, What and Why? Kluwer, 1995, pp 29--60.
  • Jan van Eijck and Fer-Jan de Vries Reasoning about Update Logic. Journal of Philosophical Logic, 24, 1995, pages 19--45.
  • Jan van Eijck, Presupposition Failure -- A Comedy of Errors May 1994. Appeared in Formal Aspects of Computing, Volume 6a, 1994, pages 766--787.
  • Jan van Eijck and Fer-Jan de Vries, Dynamic Interpretation and Hoare Deduction First paper in the very first issue of the Journal of Logic, Language and Information (Jolli), 1992, Vol 1, number 1, pages 1--44 (pdf).
  • Jan van Eijck, Tussen Taal en Betekenis, Inaugural Lecture, Utrecht, November 15, 1991.

Home

Manuscripts

  • Defining (reflexive) transitive closure on finite models, draft, 2008.
  • A first order axiomatisation of least fixpoint on finite models, draft, 2008.

Home

Courses,Talks,Lectures

2012

  • Esslli course on Purely Functional Algorithm Specification

2011

  • Reneneren over Communicatie Wintersymposium KWG, Utrecht, Jan 8, 2011.
  • Logic in Action , ESSLLI 2011 Course, Ljubljana, Slovenia, August 1 -- 5, 2011 (together with Jan Jaspars and Johan van Benthem)
  • Computational Semantics with Functional Programming , ESSLLI 2011 Course, Ljubljana, Slovenia, August 8 -- 12, 2011 (together with Christina Unger).

2010

  • Reasoning about Communication, CWI Scientific Lunchtime Meeting, November 26, 2010.
  • Software Testing 2010 Master Programme Software Engineering, University of Amsterdam. Week1, Week2, Week3, Week4, Week5, Week6. The course page is here.
  • A Program for Computational Semantics, CLCG, Groningen, November 5, 2010.
  • Logic in Action , CKI, November 8, 2010.
  • Composing Models Presented at LOFT 2010, Toulouse, July 7, 2010.
  • Haskell: Programming in a lazy, purely functional language , 5 Languages Symposium, Amsterdam, June 12, 2010.
  • Sets, Lists, Functional Programming lecture for pupils of Ignatius College, Amsterdam (May 17, 2010).
  • How to Verify an Epistemic Protocol with DEL Lorentz Workshop on Formal Theories of Communication, Leiden, February 22, 2010.
  • Social Software It's a Logic World, Incognito Lustrum, January 8, 2010.

2009

  • Science as Art, SNB Lecture, Amsterdam, 16 september 2009.
  • ESSLLI'09 Course on Games, Action and Social Software, Bordeaux, July 20--24, 2009. Together with Rineke Verbrugge. Course Page
  • Computational Semantics. LOT Summer School Course, Leiden, June 15 -- 19, 2009. Together with Christina Unger. Course Page
  • UIL-OTS Course, Spring 2009 : Language, Mathematics and Logic
  • The Language of Social Software , Workshop on Logic and Social Interaction, Chennai, India, 8 January 2009.
  • An Inference Engine with a Natural Language Interface , GLCC-16 Workshop on Generalized Quantifiers, Amsterdam, March 6, 2009.
  • Computational Semantics with Functional Programming, Software Technology Colloquium, Utrecht, March 12, 2009.
  • Sociale Software in Vier Voorbeelden, Vakantiecursus Wiskunde, Amsterdam/Eindhoven, Augustus 2009.

2008

  • ESSLLI'08 Course on Dynamic Epistemic Logic, Hamburg, August 4--8, 2008. Together with Hans van Ditmarsch. Course Page
  • Creativiteit, Onderzoek, Communicatie, SNB Lecture, Amsterdam, 17 september 2008.
  • Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision University of Liverpool CS Seminar, March 18, 2008.
  • UIL-OTS Course 2008: Language, Mathematics and Logic.
  • De lusvinder genept -- een logisch recept. Een poetisch bewijs van de onbeslisbaarheid van het stop-probleem.

Some earlier courses and talks

  • Natural Language Processing, Philosophy, and Logic, NLP Course, Utrecht, Fall 2006.
  • Logic for AI, Dec 2005 and January 2006, Utrecht.
  • Logical Methods in NLP, Spring 2005, Utrecht.
  • Structuren van de Informatica, University of Amsterdam, Spring 2001, 2002 (together with Kees Doets) and 2003 (together with Theo Janssen).
  • Computational Semantics, Type Theory, and Functional Programming, LOLA7 Tutorial, Pecs, August 2002. Slides: LOLA, LOLA1, LOLA2, LOLA3, LOLA4.
  • Semantics of Computation University of Amsterdam, Spring 2002 (together with Yde Venema).
  • Mind the Gap CKI Invited Lecture, June 21, 2002.

Home

Software

The usual disclaimers apply.

  • Computational semantics with functional programming.
  • The Haskell Road to Logic, Maths and Programming.
  • DEMO (Dynamic Epistemic Modelling) software.
  • DEMO LIGHT (Dynamic Epistemic Modelling) software, light version. Recommended for getting acquainted with DEMO.
  • Tableau style theorem prover for predicate logic in Haskell: here
  • Hylotab theorem prover for hybrid logic: here
  • Some Lexical Semantics programs

Home

Philosophy (in Dutch)

  • This is my first book (in Dutch), from 1982: an introduction to philosophy for the general public.

  • Here is a slightly more recent attempt at philosophy for the millions, from 2002 (in Dutch): Nieuwe Filosofie [pdf].

  • A philosophical lecture for the general public (Hotel De Filosoof, 3 april 1997, in Dutch): Inzicht.

    A paper on the essence of philosophy: Wat is Filosoferen?. In: Ergo Cogito V: Pleidooi voor de filosofie, editors F. Geraedts and L. de Jong, Historische Uitgeverij, Groningen 1996.

Home

Contact

Jan van Eijck

+31-(0)20-5924052

jve at cwi dot nl

Home

New:

Appeared Spring 2012.

Links:

  • Click here for more information, or look at the website devoted to the book, which is here.

  • Haskell Road website

  • Logica in Actie (ebook)
  • Logic in Action Website

  • Discourses on Social Software website

  • Inzien en Bewijzen (ebook)

    • Inzien en Bewijzen Website

  • Denkende Machines (ebook)

  • Logica voor alfa's en informatici (ebook)
De lusvinder genept -- een logisch recept. Een poetisch bewijs van de onbeslisbaarheid van het stop-probleem.
Challenging Imperative Programming with Algebra, Logic and Functions
Home