• Manifestations scientifiques,
  • Philosophie,
  • Recherche,

Colloque | Computability, Algorithms, Types and Proofs

Evènement | 22 novembre 2021

Lundi 22 novembre 2021 de 14h30 à 17h15
Mardi 23 novembre 2021 de 9h45 à 17h30
Mercredi 24 novembre 2021 de 10h à 12h30

Colloque international organisé par l'Institut de Recherches Philosophiques de Lyon / International workshop in Philosophy of computing and logic.

Computability, Algorithms, Types and Proofs
Organisation : Jean-Baptiste Joinet - jean-baptiste.joinet@univ-lyon3.fr

Monday 22/11 - Salle ROTONDE, 18 rue Chevreul 69007 Lyon
 
  • 14:30-15:45 : Tito MARQUES PALMEIRO. UERJ, Rio de Janeiro, Departamento de Filosofia
    "About the equivalence which defines the central “thesis” of computability theory: recursive functions, lambda-calculus and computatibility"
     
  • 16:00-17:15 : Jean-Baptiste JOINET. Univ. Jean Moulin Lyon 3, IRPhiL & IHPST (CNRS, univ. Paris 1)
    "The essentialist and the existentialist approaches of the notion of type"

Tuesday 23/11 - Amphi HUVELIN, 15 quai Claude Bernard, 69007 Lyon
 
  • 09:45-11:00 : Carlos OLARTE LIPN, Université Sorbonne Paris Nord
    "A subexponential view of domains in session types (joint work with Daniele Nantes and Daniel Ventura)"
     
  • 11:15-12:30 : Paolo PISTONE. Universitá di Bologna
    "Towards Logical Foundations for Randomized Computability (joint work with Melissa Antonelli and Ugo Dal Lago)"
     
  • 14:45-16:00 : Hermann HAUESLER. PUC-Rio de Janeiro
    "About Hypercomputation and the physical Turing-Church thesis"
     
  • 16:15-17:30 : Walter DEAN. University of Warwick. Department of Philosophy
    "Algorithms and Ontology"

Wednesday 24/11 - Salle ROTONDE, 18 rue Chevreul 69007 Lyon
 
  • 10:00-11:15 : Luiz Carlos PEREIRA. PUC-Rio de Janeiro
    "About Ex falso quodlibet and Disjunctive Syllogism"
     
  • 11:15-12:30 : Elaine PIMENTEL. Université Sorbonne Paris-Nord
    "Ecumenical modal logic"

Supported by: IRPhiL (univ. Jean Moulin Lyon 3); Programme “Philosophie & Informatique : interactions contemporaines” (Action Capes-Cofecub Sh-873 17); Programme “Abstraction & Classification: Computation & Types” (Bourgeon, univ. Jean Moulin Lyon 3).
 

Document(s) à télécharger

INFOS PRATIQUES

Lieu(x)
22/11 : Salle Rotonde, 18 rue Chevreul 69007 Lyon (dernier étage)
23/11 : Amphi Huvelin, 15 quai Claude Bernard, 69007 Lyon (rez-de-chaussée)
24/11 : Salle Rotonde, 18 rue Chevreul 69007 Lyon (dernier étage)
Contact

Jean-Baptiste Joinet

jean-baptiste.joinet@univ-lyon3.fr

Type

Colloque / Séminaire

Thématique

Manifestations scientifiques, Philosophie, Recherche

Partenaires

Université Jean Moulin Lyon 3
IRPHIL
CAPES
COFECUB