Bart Verheij, Summer 2005, Danmark
I am a tenured lecturer/researcher at the University of Groningen, Institute of Artificial Intelligence and Cognitive Engineering (ALICE), Faculty of Mathematics and Natural Sciences, where I participate in the Multi-agent systems research program.

In the academic year 2013-2014, I was resident fellow at Stanford University. I participated in CodeX - the Stanford Center for Legal Informatics, a collaboration between the Stanford AI Lab and Stanford Law School, where I am now listed as affiliated faculty. I am invited researcher at the Isaac Newton Institute for Mathematical Sciences (University of Cambridge, Autumn 2016).

I have an MSc degree in Mathematics (University of Amsterdam, algebraic geometry) and obtained my PhD degree at Maastricht University (Faculty of Law, Department of Metajuridica; Faculty of General Sciences, Department of Computer Science), on a dissertation about the formal modeling of argumentation, with applications in law.

My research focuses on artificial intelligence, argumentation and law. I currently lead a research project on the connections between arguments, scenarios and probabilities in forensic reasoning with evidence, funded by the NWO Forensic Science program (2012-2016). More information: http://www.ai.rug.nl/~verheij/nwofs/. Inspired by the interdisciplinary and cross-methodological insights gained in this project, I am working on the connections between knowledge, data and inference.

I am co-editor-in-chief of the journal Argument and Computation, section editor of the journal Artificial Intelligence and Law, and board member of several professional societies (BNVKI; COMMA; IAAIL, vice-president; JURIX, vice-president/secretary).

In 2014, I co-organized the event Trial With and Without Mathematics at Stanford University. In 2013, I was an invited visiting lecturer at the Institute of Logic and Cognition, Sun Yat-Sen University (Guangzhou, China). I served as program chair of the Fourteenth International Conference on Artificial Intelligence and Law (ICAIL 2013, Rome) and of the Fourth International Conference on Computational Models of Argument (COMMA 2012, Vienna).

A semi-formal impression of my perspective on AI & law is available in this 2005 interview (in Dutch; pdf) or this 2007 coffeehouse conversation (inspired by Douglas Hofstadter's).

People perform miracles on a routine basis. Apparently performing miracles is not that hard.

News

Artificial Intelligence for Justice, workshop at ECAI (2016)

Call for papers

Stanford CodeX FutureLaw conference (2016)

Computational Law Update, speaker (invited)

Faculty Spotlight talk (2016)

Arguments for Understanding our Complex World

Law, Probability and Risk journal paper (2016)

Arguments, Scenarios and Probabilities: Connections Between Three Normative Frameworks for Evidential Reasoning (with Floris Bex, Sjoerd Timmer, Charlotte Vlek, John-Jules Meyer, Silja Renooij and Henry Prakken)

Book Virtual Arguments, Chinese translation (2016)

China University of Political Science and Law Press, series editor Professor Minghui Xiong (Sun Yat-Sen University, Institute of Logic and Cognition), translation Wu Zhou

Journal of Autonomous Agents and Multi-Agent Systems paper (2016)

Negotiating with Other Minds. The Role of Recursive Theory of Mind in Negotiation with Incomplete Information (with Harmen de Weerd and Rineke Verbrugge)

PhD defense Harmen de Weerd and associated mini-symposium (2015)

Harmen de Weerd's dissertation: 'If You Know What I Mean. Agent-Based Models for Understanding The Function of Higher-Order Theory of Mind' (promotor: Rineke Verbrugge, copromotor: Bart Verheij)

Workshop Bielefeld, Germany (2015)

Models of Rational Proof in Criminal Law (organized by Floris Bex, Anne Ruth Mackor and Henry Prakken; with support from our NWO Forensic Science project)

Workshop University of San Diego, California (2015)

Studying Evidence in the Law - ICAIL 2015 Workshop: Formal, Computational and Philosophical Methods

Stanford CodeX FutureLaw conference 2015 (2015)

Panel New Breakthroughs in Computational Law, invited moderator

Workshop University of Groningen (2015)

Forensic Relevance of Bayesian Networks (language: Dutch)

Keynote lecture SMART Cognitive Science International Colloquium, Communication and Agency workshop (2015)

Arguments, scenarios and probabilities: how to catch a thief with and without numbers

Presentation at the Effacts LegalTech event, Amsterdam (2015)

Argumentation Technology, Or: How the Law Is Changing Artificial Intelligence

Handbook of Argumentation Theory (2014)

with a chapter on Argumentation and Artificial Intelligence

COMMA 2014 conference paper (2014)

Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points

Law, Probability and Risk journal paper (2014)

To Catch a Thief With and Without Numbers: Arguments, Scenarios and Probabilities in Evidential Reasoning

Invited speaker 8th International Workshop on Juris-informatics (JURISIN, Keio University, Tokyo) (2014)

The Future of Argumentation Technology, as guided by the needs of the law

Keynote lecture 9th International Conference on Forensic Inference and Statistics (2014)

To Catch a Thief With and Without Numbers

Artificial Intelligence and Law journal paper (2014)

Building Bayesian Networks for Legal Evidence with Narratives: a Case Study Evaluation(with Charlotte Vlek, Henry Prakken and Silja Renooij)

Stanford event (2014)

Trial With and Without Mathematics. Legal, Philosophical and Computational Perspectives. 2014 Stanford Symposium on Law and Rationality

Invited lecturing Sun Yat-Sen University (2013)

Invited graduate course "Argumentation in Artificial Intelligence, With Applications in the Law" at the Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou

BNAIC 2013 conference paper (2013)

Inference and Attack in Bayesian Networks (with Sjoerd Timmer, John-Jules Meyer, Henry Prakken and Silja Renooij)

Computational Narrative workshop (2013)

Workshop on Computational Models of Narrative (Hamburg, Germany, August 4-6, 2013), with a paper/presentation by Charlotte Vlek: Representing and Evaluating Legal Narratives with Subscenarios in a Bayesian Network

ICAIL 2013 conference paper (2013)

Modeling Crime Scenarios in a Bayesian Network (with Charlotte Vlek, Henry Prakken, and Silja Renooij)

Artificial Intelligence journal paper (2013)

How Much Does it Help to Know What she Knows you Know? An Agent-Based Simulation Study (with Harmen de Weerd and Rineke Verbrugge)

Program chair (2013)

The Fourteenth International Conference on Artificial Intelligence and Law (ICAIL 2013) Rome, Italy, June 10-14, 2013

AI & Law journal paper (2013)

Legal Stories and the Process of Proof (with Floris Bex)

Journal paper ICAIL@25 (2012)

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law (with many coauthors; ed. Trevor Bench-Capon)

JELIA conference paper (2012)

Jumping to Conclusions. A Logico-Probabilistic Foundation for Defeasible Rule-Based Arguments

Forensic Science symposium (2012)

1st Symposium NWO Forensic Science (NFI Field Lab, The Hague, September 18, 2012)

Program chair (2012)

The Fourth International Conference on Computational Models of Argument (COMMA 2012) Vienna, Austria, September 10-12, 2012

Argumentation journal paper (2012)

Solving a Murder Case by Asking Critical Questions: An Approach to Fact-Finding in Terms of Argumentation and Story Schemes (with Floris Bex)