Interactions between Logic, Law and Computation

We speak of computable laws when those are to be enforced in an automated fashion.
Formal language is precise but hard to be understood by the layman, natural language is good to convey main ideas to the layman yet is prone to be imprecise. We see how logic enters the panorama and tries to offer a framework where the language should be both precise and understandable. Moreover, the computational properties of the framework should be good, for example in model checking or decision problems.

Join at: imt.lu/aula2