Bonjour à toutes et tous, Vous êtes cordialement invité.e.s à participer au colloque “Computability, Algorithms, Types and Proofs” qui aura leu à Lyon du 22 au 24 novembre 2021 et est présenté ci-dessous. L’acccès au colloque est libre et gratuit (il se pourrait qu’une pré-inscription soit nécessaire – vous trouverez plus d’informations sur ce point d’ici à lundi matin sur https://irphil.univ-lyon3.fr/actualites où vous trouverez le cas échéant un lien vers la plate-forme d’inscription. Il se pourrait également que la détention d’un passe sanitaire soit obligatoire - si c’est le cas, ce sera indiqué sur le site web…). Bien cordialement, Jean-Baptiste Joinet — “COMPUTABILITY, ALGORITHMS, TYPES AND PROOFS”
International workshop in Philosophy of computing and logic 22-24 November 2021 Institut de Recherche Philosophique de Lyon Université Jean Moulin Lyon 3 Org. Jean-Baptiste Joinet MONDAY 22/11 Salle ROTONDE, 18 rue de chevreul 69007 Lyon (dernier étage) 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 (rez-de-chaussée) 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 de chevreul 69007 Lyon (dernier étage) 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). jean-baptiste.joi...@univ-lyon3.fr<mailto:jean-baptiste.joi...@univ-lyon3.fr> -- No attachments (even text) are allowed -- -- Type: application/pdf -- File: COMPUTABILITY-web.pdf -- Desc: COMPUTABILITY-web.pdf -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html