Correctness and Design of Computational
Systems
*Abstract:
Most literature in the Philosophy of Computing stresses the
dual, abstract and physical nature of computational systems. Under
many respects, this debate reduces to the problem of explaining the
relation which has traditionally been expressed in terms of the duality
between specification and implementation. When this problem is analysed from the point of view of the notion of information though, computational systems require to be described at several levels of abstraction, and at each an appropriate notion of information is required. With
such a conceptual tool in place, correctness of computational artifacts
is adequately defined at functional, procedural and executional levels. A
correct physical computational system is one which satisfies all such layers. This tripartite notion of correctness based on information is in turn
essential to provide the basic elements of an appropriate logical analysis
of efficiency, correctness, explanation and resilience for computational
systems.
*Speakers:
Giuseppe Primiero is Associate Professor of Logic at the Department of Philosophy, University of Milan (Italy). He acts as President of the DHST Commission for the History and Philosophy of Computing (HaPoC) and as Secretary General of the Association Computability in Europe (CiE). His research interests are primarily in Logic and Computation, Philosophy of Computing and Information.
https://sites.unimi.it/gprimiero/
*Date:
Thursday, 16th of January 2020, 12:00-13:00
*Location:
Manno, Galleria 1, 2nd floor, room G1-201
*Doodle registration:
Pizza (or alternative food) and drinks will be offered at the end
of the talk. If you plan to attend the lunch, please register in a
timely fashion (meaning at the latest at 9AM of the same day of the talk) at the following link so that we will have no
shortage of food.
https://doodle.com/poll/ik62ccwn25zewfvk
If by any chance, after registering for a Pizza at the link above,
you know you will not be able to attend the lunch, please cancel your registration asap.