• Manifestations scientifiques,

Colloque International Computing, Logic and Types

Publié le 4 novembre 2015 Mis à jour le 20 juillet 2016
Raccourcis clavier
Raccourcis clavier

A conference on contemporary interactions between philosophy and computing theory.

Thursday 12th of November 2015

Colloque Computing, Logic and Types - 12 et 13 Novembre 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

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


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 

Contact :
Nazaré Marques :
Partenaires :
Université de Lyon

Thématiques :
Manifestations scientifiques