Tu sei qui

Simposio internazionale: "Celebrating Twenty Years of IRAFS"

Roma
Lunedì, 8 Maggio 2017

L'8 maggio 2017 si terrà presso la Pontificia Università Lateranense il Simposio Internazionale che celebrerà i 20 anni di lavori del "The International Research Area on Foundations of the Sciences"

Programma:

9.00-9.15. Farewell Speech: Bishop Enrico Dal Covolo, PUL President.
9.15-9.30. Symposium Introduction: Gianfranco Basti, IRAFS Director.

Session I: Mathematics and Physics
9.30-10.15: Roger Penrose (Oxford University): The Big Bang and its Dark-Matter Content: Whence, Whither, and Wherefore
10.15-11.00: Sarah Jones Nelson (IRAFS): A New Ontology of Integers: Questions of Proof and Consistency
11:00-11:30 Coffee Break
11.30-12.15: Gianfranco Basti (PUL), Non-wellfounded sets and quantum topologies in physics, logic, and computer science
12.15-12.45: Discussion
12.45-14.00: Lunch

II Session Mathematics and Computer Science

14.00-14.45: Marco Forti (University of Pisa): Numerosity theory: counting the infinite in a Euclidean way

14.45-15.30: Davide Sangiorgi (University of Bologna): The origins of coinduction: from anti-foundation axioms and morphisms to bisimulation

15.30-16.00: Discussion

16.00: Symposium Ends

Scientific Committee:
Gianfranco Basti, Flavia Marcacci, Sarah Nelson.
Organizing Committee:
Flavia Marcacci, Alfonso D’Amodio


Informazioni:
La partecipazione è libera ma i posti sono limitati
Please e-mail eventi@pul.it

Sede:
Pontificia Università Lateranense
Piazza San Giovanni in Laterano 4, 00184 Roma