Philosophical approach to formal methods, especially probability in law. Filozoficzne spojrzenie na metody formalne, zwłaszcza prawdopodobieństwo w prawie. Two PhD positions in probability and law. TWO PHD POSITIONS IN FORMAL PHILOSOPHY AT THE UNIVERSITY OF GDAŃSK. Formal Truth Theories workshop, Warsaw.

This blog is generally related to my research interests at the intersection of computer science and microeconomics especially game theory, social choice and market design. Tuesday, August 4, 2015. Monday, July 27, 2015. Has been unveiled at the IJCAI 2015.

My main research interest lies in the logical aspect of learning in both single- and multi-agent context, and involves formal epistemology, formal learning theory, dynamic epistemic logic, computability theory, belief revision, and multi-agent systems. I am also studying the role of logic and logical modeling in cognitive science.

A blog about Reasoning, Argumentation, and Informal Logic. August 5, 2015 by SP. This will be the 11th year in which the prize has been offered. Papers related to the teaching or theory of informal logic or critical thinking, and papers on.

6th International Workshop on Mathematical e-Learning. E-math 2013, UOC, Barcelona. The e-math 2014 will be held at the Universitat Oberta de Catalunya. Avda Tibidabo 39, Barcelona, Spain. The workshop will focus on various topics of e-learning in mathematics. The idea behind the confer.

Cognitive, linguistic and logical aspects of perspective-taking 2015. Workshop on Planning, Logic and Social Intelligence 2014. CADILLAC is a loose association of logicians, computer scientists, linguists and philosophers based in the greater Copenhagen area. And uses too much gas.