IF 07

Back to the IF main page
Back to the IF '06 web page

2nd
IRVINE - FLORENCE 
COLLOQUIUM

March 23 - 24, 2007
Beckman Center
Irvine, CAL, U.S.A.

PROGRAM:

Friday – March 23
Session I (9 am -12 pm)
Opening Remarks & Welcome – EVC/P Michael Gottfredson and Consul General Diego Brasioli from the Italian Consulate in Los Angeles.

PENELOPE MADDY, Defending the Axioms
ANDREA CANTINI, Theories of Operations With Self-Application: Ideas, Results and Problems

Session II (2 pm -5 pm)

FRANCESCA POGGIOLESI, Tree-Hypersequent Calculi For Modal Propositional Logics
JEFFREY BARRETT and WAYNE AITKEN, An Approach to Type-Free Logic
ALDO ANTONELLI, Free Quantification and Logical Invariance

Saturday – March 24
Session III (9 am -12 pm)

JOHN MANCHAK, What Can We Know About the Global Structure of Spacetime?
PIERLUIGI MINARI, Common Knowledge and Infinitary Modal Logic

Session IV (2 pm -5 pm)

ELENA CASTELLANI, Structural Continuity and Inter-Theoretic Relations
RICCARDO BRUNI, Absolutely Unsolvable Mathematical Problems: Gödel's View Point and Its Implications
RORY SMEAD, The Evolution of Cooperation in the Centipede Game with Finite Populations

Sunday – March 25
Session V (9 am -12 pm)

OPEN SESSION.   

Top 
Back to the IF main page
Back to the IF '06 web page