| 2016 | AiML | Update, Probability, Knowledge and Belief. | Jan van Eijck, Bryan Renne |
| 2014 | AiML | Epistemic Probability Logic Simplified. | Jan van Eijck, Franois Schwarzentruber |
| 2013 | TARK | PDL as a Multi-Agent Strategy Logic. | Jan van Eijck |
| 2012 | PAAMS | Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. | Hans van Ditmarsch, Jan van Eijck, Ignacio Hernndez-Antn, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano |
| 2011 | TARK | Message passing in a dynamic epistemic logic setting. | Floor Sietsma, Jan van Eijck |
| 2010 | KR | One Hundred Prisoners and a Lightbulb - Logic and Computation. | Hans van Ditmarsch, Jan van Eijck, William Wu |
| 2009 | TARK | Verifying epistemic protocols under common knowledge. | Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck |
| 2008 | WoLLIC | Propositional Dynamic Logic as a Logic of Belief Revision. | Jan van Eijck, Yanjing Wang |
| 2005 | TARK | Common knowledge in update logics. | Johan van Benthem, Jan van Eijck, Barteld P. Kooi |
| 2001 | CSL | Constrained Hyper Tableaux. | Jan van Eijck |
| 1993 | EACL | A Strategy for Dynamic Interpretation: a Fragment and an Implementation. | Olivier Bouchez, Jan van Eijck, Olivier Istace |
| 1989 | ACL | Logical Forms in the Core Language Engine. | Hiyan Alshawi, Jan van Eijck |