Colloque International Computing, Logic and Types

Thursday 12th of November 2015

9:30 Gisele SECCO

Universidade Federal do Rio Grande do Sul (UFRGS)
On the relevance of the Four-Colour Theorem Proof for thinking about computers in mathematical practices

10:30 Maël PÉGNY

Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST, UMR 8590 CNRS-Univ. Paris 1)
Quantum Computation, Brute Force and Computational Utopia

11:45 Simone MARTINI

Università di Bologna
Several types of types in programming languages

14:30 Tito MARQUES-PALMEIRO

Universidade Estaduale de Rio de Janeiro (UERJ)
Computation: Science or téchne ?

15:30 Paulo VELOSO

Universidade Federal de Rio de Janeiro (UFRJ)
On problems, solutions and problem-solving methods

16:45 Abel LASSALLE-CASANAVE

Universidade Federal de Bahia (UFB)
On some functions of symbols in Hilbert’s formalism

Friday 13th of November 2015

9:30 Bruno LOPES

Universidade Federal Fluminense (UFF, Niteroí)
Towards reasoning about concurrent systems

10:30 Luiz Carlos PEREIRA

Pontifical university, Rio de Janeiro (PUC-Rio)
Atomic Polymorphism and Abstract Rules

11:45 Hermann HAUESLER

Pontifical university, Rio de Janeiro (PUC-Rio) Propositional Logic Complexity and the Sub-formula property :
A discussion on the size of proofs in purely implicational minimal logic

14:30 Wagner SANZ

Universidade Federal de Goiania
Hypotheses and Assertion

15:30 Paolo PISTONE

Université d’Aix-Marseille
The naturality of natural deduction: beyond beta and eta equivalences (joint work with Luca TRANCHINI & Mattia PETROLO)

16:45 Giulio GUERRIERI

Université Denis Diderot – Paris
7 Postponement of RAA and Glivenko's theorem