• Manifestations scientifiques,

Colloque International Computing, Logic and Types

Evènement | 12 novembre 2015

De 9h30 à 18h

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

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 


INFOS PRATIQUES

Lieu(x)
Université Jean Moulin Lyon 3
Salle Caillemer
1 rue de l'Université
69007 LYON

Plan d'accès
Contact

Nazaré Marques
nazare.marques@univ-lyon3.fr

Type

Colloque / Séminaire

Thématique

Manifestations scientifiques

Partenaires

DFG
ANR
Université de Lyon