====================================================================
      EUROPEAN SYMPOSIUM ON: "UNIVERSITY AND CHURCH IN EUROPE"

       http://www.universitas2000.org/simposio/eng19.htm

  on the occasion of the 7th Centenary of the Foundation of the
              University of Roma "La Sapienza"
====================================================================
                        SEMINAR ON
         "COMPUTERS, INFORMATION, AND INTELLIGENCE"

      http://www.iasi.rm.cnr.it/~adp/Programme18_07
                       18 JULY 2003
               Pontifical Lateran University
Piazza San Giovanni in Laterano, 4 - 00120 Cittą del Vaticano
====================================================================
09:15 - 09:30 Introduction (Jacovitti - Pettorossi)

09:30 - 10:30 Prof. Maurice Nivat, University of Paris, France
"The coherence and the concreteness of mathematics"

10:30 - 11:00 Break

11:00 - 12:00 Prof Andrzej Skowron, University of Warsaw, Poland
"How to solve it and for whom?"

Abstract.
The lecture presents examples of real-life problems that are still hard to
solve using the existing methodologies and technologies. Nowadays new
emerging computing paradigms are investigated to make progress in solving of
such problems. Progress in projects aiming to solve these
problems depends on a successful cooperation of specialists from different
scientific disciplines such as mathematics, computer science, artificial
intelligence, biology, physics, chemistry, bioinformatics, medicine,
neuroscience, linguistics, psychology, sociology. This lecture overviews some
new computing paradigms and interactions between these various disciplines.
Some general issues are also discussed. Among them we consider: (i) the impact
of interdisciplinary projects on educational programs and research
organization, (ii) new goals for particular disciplines, e.g.,
mathematics, and (iii) ethical issues in using project outcomes.

15:00 - 15:30 Prof. Giandomenico Boffi, University of Chieti-Pescara, Italy
"What is a mathematical proof?"

15:30 - 16:00 Prof. Alberto Pettorossi, University of Roma Tor Vergata, Italy
"Computing as Experimental Thinking"

Abstract.
We consider the notions of proof, deduction, complexity, truth, and
expressivity in classical logics and logic-based computations. In relation
with these notions we indicate four levels of intelligence: (i) deductive,
(ii) inductive, (iii) metatheoretic, and (iv) ethical. We also examine the
challenge of computers outperforming humans in many intelligent tasks.

16:00 - 16:30 Break
16:30 - 17:30 Panel Discussion
17:30: Closing of the Seminar
====================================================================