Logique mathématique, informatique théorique


Ouverture(s) de la logique 18 April 2011, École d'Art d'Annecy.

Journées d'étude 'Logiques de opérations locales', organisées par le Laboratoire 'Actes Archive Concept' de l'école d'art d'Annecy, par David Zerbib et Thierry Mouillé.

La vie des preuves 24 November 2006, Université de Provence, Marseille.

Colloque pluridisciplinaire "La vie et le temps", organisé par Rezodoc et les écoles doctorales des trois universités de Marseille.

Éléments pour une sémiotique cognitive 25 September 2006, CCIC, Cerisy la Salle

Ecole Thématique du CNRS "Logique et Interaction : Vers une géométrie de la cognition", Centre Culturel International de Cerisy (Cerisy-la-Salle)

Géométrie et Signification 9 May 2006, Université de Provence, Aix-en-Provence.

Journée "Jeunes Chercheurs en Philosophie", Université de Provence (Aix-en-Provence)

Logique, langage et pensée : de la bifurcation à  la synchronisation 18 November 2005, LIGC 2005, ENS Paris.

Colloque LIGC "Géométrie et Complexité : La logique et ses images", Ecole Normale Supérieure (Paris)

La place de la logique linéaire dans la philosophie de la logique 10 May 2005, Université de Provence - Aix-en-Provence

Journée Doctorants du CEPERC - Université de Provence - Aix-en-Provence

Trois modes de représentation logique 6 February 2004, Université de Rennes

Colloque Jeunes Chercheurs en Philosophie - Université de Rennes

Apparence et Représentation en logique 8 December 2003, Université de Provence - Aix-en-Provence

Journée Doctorants du CEPERC - Université de Provence - Aix-en-Provence

Interaction et Signification 4 October 2003, Università  di Roma III - Italia

Seminario del gruppo "Logica Lineare" - Università  di Roma III - Italia

Interaction et Signification 23 April 2003, Université Paris I

Rencontres LMIP - Paris I - Panthéon Sorbonne

L’interaction à  la source du sens 21 March 2003, CEPERC, Université de Provence, Aix en Provence

Séminaire Interne du CEPERC.

Le philosophe et le Logique 30 April 2002, Università  di Roma III - Italia

Seminario del gruppo "Logica Lineare" - Università  di Roma III - Italia

Le dynamique et le concret en théorie de la démonstration 4 December 2001, CEPERC, Université de Provence, Aix en Provence

Séminaire du CEPERC (Aix-en-Provence)

Dynamiques sociales


Table-ronde 16 May 2013, Chambre de Commerce et d'Industrie Marseille Provence

Intervention à la table-ronde "La résidence comme facteur d'innovation et de créativité". Colloque du Printemps de l'Art Contemporain, organisé par Marseille-Expos et MP2013, Marseille.

Logique de la narration de soi et dualité 26 May 2011, EHESS, Marseille.

Colloque "Expériences de vies et récit de soi", organisé par Yannick Jaffré à  l'École des Hautes Études en Sciences Sociales de Marseille.

L’insertion des publics précaires : des dispositifs, des parcours, des personnes 24 February 2010, IUT de Digne les Bains

Conférence dans le cadre du cycle " Les sciences humaines en question" . {{Résumé}} L'insertion des publics précaires est devenue un des enjeux majeurs de notre temps. C'est notamment la conséquence des mutations économiques et sociales qui agitent nos sociétés. Mais au delà  du phénomène "social", se vivent des réalités personnelles, qui modifient notre approche du travail, de l'activité, du projet de vie. Dans les dispositifs dédiés à  l'insertion, on chercherait donc à  intégrer des personnes exclues, en partant du principe que le "système" est prévu pour accueillir l'ensemble des personnes qui souhaitent y prendre place. Peu de praticiens croient encore pouvoir définir les choses de cette manière. Et ce qui s'expérimente désormais au jour le jour dans ces lieux, ce sont aussi de nouvelles formes de travail, qui préfigurent sans doute les aménagements que l'ensemble de nos sociétés devront réaliser pour permettre une meilleure justice sociale. L'ensemble de cette conférence visera à  présenter quelques unes de ces expériences, au travers de quelques profils et de situations réelles, après une brève introduction théorique.

Enjeux théoriques et pratiques de l’insertion sociale 21 January 2010, Centre de Recherche en Psychologie de l'Education, Aix en provence.

Intervention en master pro de psychologie de l'insertion.

Le rôle du psychologue dans l’Insertion Sociale 25 November 2008, Laboratoire PSYCLE, Aix-en-Provence

Intervention auprès des étudiant(e)s du Master professionnel en Psychologie spécialité "Orientation et Insertion" au Centre de Recherche en Psychologie de l'Education, Aix en provence.

Insertion et expertise 24 January 2008, Laboratoire PSYCLE, Aix-en-Provence

Intervention auprès des étudiant(e)s du Master professionnel en Psychologie spécialité "Orientation et Insertion" au Centre de Recherche en Psychologie de l"™Education, Aix en provence.

Insertion et expertise 22 December 2006, Laboratoire PSYCLE, Aix-en-Provence

Intervention auprès des étudiant(e)s du Master professionnel en Psychologie spécialité "Orientation et Insertion" au Centre de Recherche en Psychologie de l"™Education, Aix en provence.

Relations interculturelles, discrimination et autodiscrimination 21 March 2003, Hà´pital Bichat, Paris

Journée Internationale contre les discriminations raciales (Hà´pital Bichat, Paris)

Art et nouveaux médias


Émergence, obsolescence et import-export des formes artistiques sur Facebook 19 April 2013, Bibliothèque Nationale de France, Paris.

Journée 'Net-Art' de la BNF : "Cartographies de l’invisible Art, réseau, "big data". Organisée par Christophe Bruno et Marie Saladin, Bibliothèque Nationale de France.

From concepts to abstract disputes : an example of computational philosophy applied to contemporary art analysis 10 January 2013, Taipei, Taïwan

Conférence à la National University of Education, à l'invitation du Professeur Chi-ming Lin.

Les formes artistiques sur le net 11 April 2012, Jeu de Paume, Paris

Dans le cadre de la conférence « Import-Export », autour de l’exposition en ligne « Form@ts », commissaire d'exposition Christophe Bruno, au Jeu de Paume, Paris.

Artwar(e), analyse de tendances sur Facebook 1 December 2011, Bibliothèque Nationale de France, Paris.

Journée 'Net-Art' de la BNF : "Détournements Web 2.0 : Google, Facebook et Cie". Organisée par Christophe Bruno et Marie Saladin, Bibliothèque Nationale de France.

Internet ou l’art des réseaux : Détourner Facebook et Google. 26 May 2011, Centre d'Art des Capucins, Embrun.

Rencontres-ateliers autour des nouveaux média, avec Christophe Bruno et Étienne Cliquet, au Centre d'Art des Capucins, dans le cadre du programme transfrontalier ALCOTRA. Programmation de Caroline Engel.

Les cycles de l’Art et le web 2.0 28 March 2011, Ecole des Hautes Etudes en Sciences Sociales, Paris

Conférence donnée avec Christophe Bruno au séminaire de l'Équipe "Industries culturelles et créatives" (MSH Paris Nord/CEIAS-EHESS/CNRS).

Hype cycles in Art 27 November 2010, Centre Pompidou, Paris.

Workshop ArtWar(e) at the Centre Pompidou, Paris, Rencontres Internationales Paris/Berlin/Madrid. With Caroline Engel, Samuel Tronçon, Christophe Bruno, Anne Laforet, Etienne Cliquet...

Artwar(e) exhibition 26 November 2010, Centre Pompidou, Paris.

Rencontres Internationales Paris/Berlin/Madrid, Centre Pompidou, Paris. ArtWar(e) is exhibited within Christophe Bruno's project Non-conservation laws.

Artwar(e) 3 November 2010, Piemonte Share Festival, Torino.

Conference about ArtWar(e), our new project with the artist Christophe Bruno, at the Share Festival, Torino. Invited by curator Caroline Engel from the Centre d'Art des Capucins, Embrun.

Artwar(e) 15 July 2010, "SMIR in Piazza", Mondovi, Piemonte.

Exhibition of ArtWar(e), our new work in progress with the artist Christophe Bruno, is exhibited at "SMIR in Piazza", Mondovi, Piemonte. We were invited by curator Caroline Engel from Centre d'Art des Capucins d'Embrun. "SMIR in Piazza" is organized by SMIR (Spazi Multimediali Innovazione e Ricerca), Marcovaldo association, the city of Mondovi and in collaboration with Le Centre d'Art des Capucins d'Embrun, and is curated by the organizers of Share Festival in Torino. SMIR is part of the Programme Objectif Coopération Territoriale européenne Alcotra 2007-2013. This first version of ArtWar(e) is co-produced by the City of Embrun.

Imports/exports in Art and Logic 18 June 2010, CENT QUATRE, Établissement artistique de la Ville de Paris, Paris.

Presentation of our work in progress with Christophe Bruno, at the 104, during the workshop Format x, organized by David Zerbib and Thierry Mouillé (Laboratoire Acte Archive Concept, Ecole d'Art d'Annecy). The project we presented deals with import-export between .art and .logic.

Logique linéaire, ludique et applications 27 March 2010, Galerie ArsLonga. Paris.

Cours doctoral de 5 heures dans le cadre du workshop "Le paradoxe du petit monde" organisé par Christophe Bruno. {{Résumé}} Le développement de la logique mathématique au XXè siècle a bouleversé notre rapport à  la pensée et aux objets. De Frege à  Wittgenstein, c'est notre vision du monde dans son ensemble qui s'est déplacée, en portant une attention accrue aux faits de langage. Cette évolution n'est pas terminée, et l'on peut se laisser aller à  penser que cette libération analytique a aussi produit une sorte de conformisme, avec ses errances, sa part sombre et ses malentendus. Depuis les années 60, d'autres idées se sont développées, remettant en cause les fondements logiques de cette manière de penser le monde et le rapport au langage. Et l'irruption de l'informatique dans les années 80, enfant terrible de la logique moderne, a donné une forme concrète à  cette rupture de paradigme, en rétablissant un certain relativisme malgré la toute-puissance du calcul qu'elle permet d'asseoir par ailleurs. Les travaux de Jean-Yves Girard constituent un des moments épistémologiques de ce tournant, probablement le plus définitif et le plus symptomatique du changement à  venir. Nous tenterons de donner, en un série de concepts et de jalons théoriques, une vision d'ensemble de ce tournant amorcé depuis le début du siècle. Puis nous donnerons quelques détails techniques, pour aborder la question des applications, tant conceptuelles que concrètes, de ce qu'il est convenu d'appeller "le tournant géométrique".

The limbo of the signifier 27 March 2010, Galerie Ars Longa, Paris.

A five hours seminar about Linear Logic, Ludics and philosophy held in Paris on March 27th, 2010, at galerie Ars Longa. The workshop was organized in the framework of Vision Forum by Christophe Bruno. The aim of the workshop was to test the intersection between two universes: contemporary art on the one hand, and on the other hand the world of mathematical logic as it has been restructured since the years 1970/80 by Jean-Yves Girard"¦

Modélisation, systèmes complexes


Un modèle ludique des interactions concrètes 15 March 2011, Laboratoire d'Informatique de Paris Nord, Institut Galilée.

Dynamique du langage et ontologie 22 January 2009, "Rencontres interdisciplinaires sur les systèmes complexes naturels et artificiels", Rochebrune.

Conférence dans le cadre des XVIèmes rencontres de Rochebrune, "Rencontres interdisciplinaires sur les systèmes complexes naturels et artificiels" {{Résumé}} Nous proposons une conjecture qui vise à  explorer les possibilités d'une théorie de la signification qui ne se baserait ni sur l'analyse des énoncés du langage, ni sur les références objectives de nos énoncés. Cette conjecture est permise par de récents progrès logiques qui donnent les bases nécessaires notamment à  la fondation d'une signification par l'usage, dans un système conventionnaliste et holiste. L'intérêt d'une telle démarche, outre l'élabo- ration d'un modèle conceptuel, est de permettre une autre fondation de la communication inter-humaine et de l'apprentissage.

Dynamique du texte 12 January 2005, Université de la Méditerrannée - Marseille

Séminaire d"™équipe du DESMID - Université de la Méditerrannée - Marseille

Mondes cognitifs 21 October 2004, Università  Roma III - Roma

Seminario del gruppo romano di Logica Lineare - Università  Roma III - Roma

Machines et mondes cognitifs 10 May 2004, LIGC 2004 - Buoux

LIGC 2004 - Buoux

Applied Mathematics to Social Sciences


Interactions, espaces, intrications 14 June 2013, Résurgences, Marseille.

Workshop de l'ANR-LOCI (Locativité et Interaction en Logique Linguistique et Informatique), organisée par Résurgences, Marseille.

La modélisation des interactions sociales 7 March 2013, Aix-Marseille-Université, Aix-en-provence.

Journée en l'honneur de Pierre Livet, organisée par Pierre Clémentz, et le Centre d'Epistémologie et d'Ergologie Comparée.

WebPhilosophy 19 May 2012, Université de Paris 1, Paris.

Intervention au séminaire "Web and Philosophy", organisé par Alexandre Monnin, Institut de Recherche et d'Innovation, Université de Paris 1 Panthéon-Sorbonne.

The social meaning of axioms 21 July 2011, Congrès de Logique, Méthodologie et Philosophie des Sciences Nancy (France)

Worskhop 'The Meaning of Axioms: From Mathematics to Logic', organized by Mattia Petrolo, Alberto Naibo and Thomas Seiller. Affiliated symposium in the 14e Congrès de Logique, Méthodologie et Philosophie des Sciences Nancy (France) - 19-26 juillet 2011.

On concepts and how they evolve 17 June 2011, Queen Mary University of London

Workshop about "Type Dependency, Type Theory with Records, and Natural-Language Flexibility", organized by the 'Interaction, Media and Communication group' at the Queen Mary University of London (Ruth Kempson and Graham White).

L’infondé du langage : ludique, pragmatique et inférentialisme 20 November 2010, LiGC 2010, Paris.

La question des fondements à  l'ère post-fondationnelle, Paris. Colloque organisé par Giuseppe Longo et Giulia Frezza dans le cadre du groupe LIGC.

Les catégories émergentes de l’interaction 21 November 2009, Cité Universitaire Internationale de Paris.

Forum au Collège International de Philosophie (Les catégories dans les sciences).

Ludique et Actes de langage 30 September 2009, Workshop on Games, Dialogue and Interaction, Université Paris VIII.

Exposé avec Marie-Renée Fleury.

Les limites du sujet : un modèle des échanges linguistiques 17 September 2009, Villa Finaly, Firenze, Italia.

Rencontres LIGC 2009, "Identité, Egalité, Isomorphisme".

Quelques extensions pragmatiques pour la ludique 6 June 2009, Ecole Normale Supérieure. Paris.

Groupe de travail du programme PRELUDE, séminaire trimestriel.

Dynamiques interactives et formalisation des actes de langage 7 May 2009, Ecole des Hautes Études en Sciences Sociales, Paris.

Séminaire "Émergences" de l'EHESS.

Une formalisation des actes de langage en ludique 22 April 2009, Laboratoire d'Informatique de Paris Nord. Villetaneuse.

Séminaire commun des équipes LCR et RCLN du LIPN. Nous proposons une formalisation des actes de langage dans le cadre formel de la Ludique. Nous dénissons un acte de langage ludique (ALL) comme une structure exécutable apte à  remplir certains tests, et dont linteraction produit une modication du contexte. Notre modèle possède deux couches de représentation. La première, la plus primitive, est constituée par les interactions en contexte. Elle comprend donc les structures qui supportent l'acte de langage. La seconde, plus abstraite, est le résultat de catégorisations réalisées par les agents, sur la base des interactions réelles entre actes de langage et avec le contexte. Cette double articulation ouvre la voie à  la prise en compte du caractère relatif des actes en fonction de sa structure, du contexte et de l'observateur.

Interactions : Processus, Impacts 15 April 2009, IUT de Digne les Bains

Conférence dans le cadre du mercredi des Universités. {{Résumé}} La notion d'interaction est un concept central dans de nombreux champs. Nous l'interrogeons en établissant un parallèle entre sa définition formelle dans le champ des mathématiques, et sa réalisation concrète dans le champ de la communication et des organisations humaines. En mettant à  profit les intuitions ainsi produites, nous éclairons l'analyse des interactions en développant une conception fondée sur des processus réalisés en contexte, qui se différencient par leur impact sur l'environnement.

Les limites du sujet 6 March 2009, Maison Populaire de Montreuil, Paris.

Conférence dans le cadre de la journée "Philosophie et Esthétique du Dédoublement" du Collège International de Philosophie . {{Résumé}} Nous avons l'habitude de voir le sujet comme une entité propre, définie par ses caractéristiques et son histoire. Cela suppose d'être capable d'en délimiter les contours, ce qui nous plonge dans un paradoxe : tout ce qu'un sujet expérimente fait partie de lui, et tout ce qu'il conçoit est projeté sur son environnement. En somme, si nous concevons la limite, nous perdons le sujet, alors que si nous souhaitons conserver le sujet, nous perdons sa limite. De nombreux éléments, tirés notamment de l'analyse de la communication, nous amènent à  proposer une autre conception, qui passe par la considération du sujet comme le produit abstrait d'interactions concrètes, sa limite n'étant qu'une bordure localement définie par l'échange.

Actes de langage ludiques 19 October 2008, LIGC 2008, Carry.

"Rencontres LIGC 2008 : Négation, dualité, polarité, Carry-le-Rouet, France. Colloque organisé dans le cadre du groupe LIGC.

Sémiotique cognitive 23 May 2008, ANR-PRELUDE, Autrans.

"Rencontres Autour de la ludique, du dialogue et des interactions, Autrans, France. Colloque organisé dans le cadre de l"™ANR-PRELUDE.

Connaissance, signification, communauté. 16 December 2007, LIGC 2007, Albano, Italie.

Rencontres LIGC 2007, Lago d"™Albano, Roma, Italia.

La Ludique : cadre pertinent pour la formalisation des interactions dialogiques 3 November 2007, Pauillac

Colloque en l"™honneur d"™Alain Lecomte, Pauillac.

Pragmatics and ludics 27 March 2007, Keyo University, Tokyo, Japan.

Round-Table Symposium on Proof Theory, Linear Logic and Program Semantics. Keyo University, Tokyo, Japan.

Ludique et pragmatique 15 March 2007, ANR PRELUDE, Carry le Rouet.

Rencontres "Pragmatique, ludique et continuations", organisées par le groupe ANR Prelude, Carry-le-Rouet.

Samuel Tronçon - 2014