The Workshop on Formal Argument and Evidential Inference will address two main topics under the broad heading of “Formal Argument and Evidential Inference”: “Presumptions and Burdens of Proof” and “The generation and the proof of evidential hypotheses”. As suggested by the above paining (Cicero Discovering the Tomb of Archimedes, by Benjamin West, 1797), there has been a strong link between the methods of lawyering (allegorically represented in the painting by Cicero) and formal methods of analysis, both empirical and non-empirical (represented by the tomb of Archimedes). Our workshop pursues this ancient line of inquiry with contemporary theories and methods of analysis.
It will be held at the Consiglio Nazionale delle Ricerche (National Research Council of Italy), central unit in Rome, on 14 June, 2013, in the context of the International Conference on Artificial in Law, to be held in Rome, 10-14 June, 2013 (“ICAIL 2013″), under the auspices of the International Association for Artificial Intelligence and Law (“IAAIL”), an organization devoted to promoting research and development in the field of AI and Law with members throughout the world. More information about the ICAIL 2013 is available at http://icail2013.ittig.cnr.it/.
It will include both invited speakers and papers to be submitted and reviewed for acceptance. We plan to publish selected papers in special editions of the journals Ratio Juris and Law Probability, and Risk.