Logique mathmatique, informatique thorique


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

Journes d'tude 'Logiques de oprations locales', organises par le Laboratoire 'Actes Archive Concept' de l'cole d'art d'Annecy, par David Zerbib et Thierry Mouill.

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

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

lments pour une smiotique cognitive 25 septembre 2006, CCIC, Cerisy la Salle

Ecole Thmatique du CNRS "Logique et Interaction : Vers une gomtrie de la cognition", Centre Culturel International de Cerisy (Cerisy-la-Salle)

Gomtrie et Signification 9 mai 2006, Universit de Provence, Aix-en-Provence.

Journe "Jeunes Chercheurs en Philosophie", Universit de Provence (Aix-en-Provence)

Logique, langage et pense : de la bifurcation la synchronisation 18 novembre 2005, LIGC 2005, ENS Paris.

Colloque LIGC "Gomtrie et Complexit : La logique et ses images", Ecole Normale Suprieure (Paris)

La place de la logique linaire dans la philosophie de la logique 10 mai 2005, Universit de Provence - Aix-en-Provence

Journe Doctorants du CEPERC - Universit de Provence - Aix-en-Provence

Trois modes de reprsentation logique 6 février 2004, Universit de Rennes

Colloque Jeunes Chercheurs en Philosophie - Universit de Rennes

Apparence et Reprsentation en logique 8 décembre 2003, Universit de Provence - Aix-en-Provence

Journe Doctorants du CEPERC - Universit de Provence - Aix-en-Provence

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

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

Interaction et Signification 23 avril 2003, Universit Paris I

Rencontres LMIP - Paris I - Panthon Sorbonne

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

Sminaire Interne du CEPERC.

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

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

Le dynamique et le concret en thorie de la dmonstration 4 décembre 2001, CEPERC, Universit de Provence, Aix en Provence

Sminaire du CEPERC (Aix-en-Provence)

Dynamiques sociales


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

Intervention la table-ronde "La rsidence comme facteur d'innovation et de crativit". Colloque du Printemps de l'Art Contemporain, organis par Marseille-Expos et MP2013, Marseille.

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

Colloque "Expriences de vies et rcit de soi", organis par Yannick Jaffr l'cole des Hautes tudes en Sciences Sociales de Marseille.

L’insertion des publics prcaires : des dispositifs, des parcours, des personnes 24 février 2010, IUT de Digne les Bains

Confrence dans le cadre du cycle " Les sciences humaines en question" . {{Rsum}} L'insertion des publics prcaires est devenue un des enjeux majeurs de notre temps. C'est notamment la consquence des mutations conomiques et sociales qui agitent nos socits. Mais au del du phnomne "social", se vivent des ralits personnelles, qui modifient notre approche du travail, de l'activit, du projet de vie. Dans les dispositifs ddis l'insertion, on chercherait donc intgrer des personnes exclues, en partant du principe que le "systme" est prvu pour accueillir l'ensemble des personnes qui souhaitent y prendre place. Peu de praticiens croient encore pouvoir dfinir les choses de cette manire. Et ce qui s'exprimente dsormais au jour le jour dans ces lieux, ce sont aussi de nouvelles formes de travail, qui prfigurent sans doute les amnagements que l'ensemble de nos socits devront raliser pour permettre une meilleure justice sociale. L'ensemble de cette confrence visera prsenter quelques unes de ces expriences, au travers de quelques profils et de situations relles, aprs une brve introduction thorique.

Enjeux thoriques et pratiques de l’insertion sociale 21 janvier 2010, Centre de Recherche en Psychologie de l'Education, Aix en provence.

Intervention en master pro de psychologie de l'insertion.

Le rle du psychologue dans l’Insertion Sociale 25 novembre 2008, Laboratoire PSYCLE, Aix-en-Provence

Intervention auprs des tudiant(e)s du Master professionnel en Psychologie spcialit "Orientation et Insertion" au Centre de Recherche en Psychologie de l'Education, Aix en provence.

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

Intervention auprs des tudiant(e)s du Master professionnel en Psychologie spcialit "Orientation et Insertion" au Centre de Recherche en Psychologie de l"Education, Aix en provence.

Insertion et expertise 22 décembre 2006, Laboratoire PSYCLE, Aix-en-Provence

Intervention auprs des tudiant(e)s du Master professionnel en Psychologie spcialit "Orientation et Insertion" au Centre de Recherche en Psychologie de l"Education, Aix en provence.

Relations interculturelles, discrimination et autodiscrimination 21 mars 2003, Hpital Bichat, Paris

Journe Internationale contre les discriminations raciales (Hpital Bichat, Paris)

Art et nouveaux mdias


mergence, obsolescence et import-export des formes artistiques sur Facebook 19 avril 2013, Bibliothque Nationale de France, Paris.

Journe 'Net-Art' de la BNF : "Cartographies de linvisible Art, rseau, "big data". Organise par Christophe Bruno et Marie Saladin, Bibliothque Nationale de France.

From concepts to abstract disputes : an example of computational philosophy applied to contemporary art analysis 10 janvier 2013, Taipei, Tawan

Confrence la National University of Education, l'invitation du Professeur Chi-ming Lin.

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

Dans le cadre de la confrence Import-Export , autour de lexposition en ligne Form@ts , commissaire d'exposition Christophe Bruno, au Jeu de Paume, Paris.

Artwar(e), analyse de tendances sur Facebook 1er décembre 2011, Bibliothque Nationale de France, Paris.

Journe 'Net-Art' de la BNF : "Dtournements Web 2.0 : Google, Facebook et Cie". Organise par Christophe Bruno et Marie Saladin, Bibliothque Nationale de France.

Internet ou l’art des rseaux : Dtourner Facebook et Google. 26 mai 2011, Centre d'Art des Capucins, Embrun.

Rencontres-ateliers autour des nouveaux mdia, 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 mars 2011, Ecole des Hautes Etudes en Sciences Sociales, Paris

Confrence donne avec Christophe Bruno au sminaire de l'quipe "Industries culturelles et cratives" (MSH Paris Nord/CEIAS-EHESS/CNRS).

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

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

Artwar(e) exhibition 26 novembre 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 novembre 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 juillet 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 Coopration Territoriale europenne Alcotra 2007-2013. This first version of ArtWar(e) is co-produced by the City of Embrun.

Imports/exports in Art and Logic 18 juin 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 linaire, ludique et applications 27 mars 2010, Galerie ArsLonga. Paris.

Cours doctoral de 5 heures dans le cadre du workshop "Le paradoxe du petit monde" organis par Christophe Bruno. {{Rsum}} Le dveloppement de la logique mathmatique au XX sicle a boulevers notre rapport la pense et aux objets. De Frege Wittgenstein, c'est notre vision du monde dans son ensemble qui s'est dplace, en portant une attention accrue aux faits de langage. Cette volution n'est pas termine, et l'on peut se laisser aller penser que cette libration analytique a aussi produit une sorte de conformisme, avec ses errances, sa part sombre et ses malentendus. Depuis les annes 60, d'autres ides se sont dveloppes, remettant en cause les fondements logiques de cette manire de penser le monde et le rapport au langage. Et l'irruption de l'informatique dans les annes 80, enfant terrible de la logique moderne, a donn une forme concrte cette rupture de paradigme, en rtablissant 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 pistmologiques de ce tournant, probablement le plus dfinitif et le plus symptomatique du changement venir. Nous tenterons de donner, en un srie de concepts et de jalons thoriques, une vision d'ensemble de ce tournant amorc depuis le dbut du sicle. Puis nous donnerons quelques dtails techniques, pour aborder la question des applications, tant conceptuelles que concrtes, de ce qu'il est convenu d'appeller "le tournant gomtrique".

The limbo of the signifier 27 mars 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"

Modlisation, systmes complexes


Un modle ludique des interactions concrtes 15 mars 2011, Laboratoire d'Informatique de Paris Nord, Institut Galile.

Dynamique du langage et ontologie 22 janvier 2009, "Rencontres interdisciplinaires sur les systmes complexes naturels et artificiels", Rochebrune.

Confrence dans le cadre des XVImes rencontres de Rochebrune, "Rencontres interdisciplinaires sur les systmes complexes naturels et artificiels" {{Rsum}} Nous proposons une conjecture qui vise explorer les possibilits d'une thorie de la signification qui ne se baserait ni sur l'analyse des noncs du langage, ni sur les rfrences objectives de nos noncs. Cette conjecture est permise par de rcents progrs logiques qui donnent les bases ncessaires notamment la fondation d'une signification par l'usage, dans un systme conventionnaliste et holiste. L'intrt d'une telle dmarche, outre l'labo- ration d'un modle conceptuel, est de permettre une autre fondation de la communication inter-humaine et de l'apprentissage.

Dynamique du texte 12 janvier 2005, Universit de la Mditerranne - Marseille

Sminaire d"quipe du DESMID - Universit de la Mditerranne - Marseille

Mondes cognitifs 21 octobre 2004, Universit Roma III - Roma

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

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

LIGC 2004 - Buoux

Mathmatiques appliques aux sciences sociales


Interactions, espaces, intrications 14 juin 2013, Rsurgences, Marseille.

Workshop de l'ANR-LOCI (Locativit et Interaction en Logique Linguistique et Informatique), organise par Rsurgences, Marseille.

La modlisation des interactions sociales 7 mars 2013, Aix-Marseille-Universit, Aix-en-provence.

Journe en l'honneur de Pierre Livet, organise par Pierre Clmentz, et le Centre d'Epistmologie et d'Ergologie Compare.

WebPhilosophy 19 mai 2012, Universit de Paris 1, Paris.

Intervention au sminaire "Web and Philosophy", organis par Alexandre Monnin, Institut de Recherche et d'Innovation, Universit de Paris 1 Panthon-Sorbonne.

The social meaning of axioms 21 juillet 2011, Congrs de Logique, Mthodologie 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 Congrs de Logique, Mthodologie et Philosophie des Sciences Nancy (France) - 19-26 juillet 2011.

On concepts and how they evolve 17 juin 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 infrentialisme 20 novembre 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 catgories mergentes de l’interaction 21 novembre 2009, Cit Universitaire Internationale de Paris.

Forum au Collge International de Philosophie (Les catgories dans les sciences).

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

Expos avec Marie-Rene Fleury.

Les limites du sujet : un modle des changes linguistiques 17 septembre 2009, Villa Finaly, Firenze, Italia.

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

Quelques extensions pragmatiques pour la ludique 6 juin 2009, Ecole Normale Suprieure. Paris.

Groupe de travail du programme PRELUDE, sminaire trimestriel.

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

Sminaire "mergences" de l'EHESS.

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

Sminaire commun des quipes LCR et RCLN du LIPN. Nous proposons une formalisation des actes de langage dans le cadre formel de la Ludique. Nous dnissons un acte de langage ludique (ALL) comme une structure excutable apte remplir certains tests, et dont linteraction produit une modication du contexte. Notre modle possde deux couches de reprsentation. La premire, la plus primitive, est constitue par les interactions en contexte. Elle comprend donc les structures qui supportent l'acte de langage. La seconde, plus abstraite, est le rsultat de catgorisations ralises par les agents, sur la base des interactions relles entre actes de langage et avec le contexte. Cette double articulation ouvre la voie la prise en compte du caractre relatif des actes en fonction de sa structure, du contexte et de l'observateur.

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

Confrence dans le cadre du mercredi des Universits. {{Rsum}} La notion d'interaction est un concept central dans de nombreux champs. Nous l'interrogeons en tablissant un parallle entre sa dfinition formelle dans le champ des mathmatiques, et sa ralisation concrte dans le champ de la communication et des organisations humaines. En mettant profit les intuitions ainsi produites, nous clairons l'analyse des interactions en dveloppant une conception fonde sur des processus raliss en contexte, qui se diffrencient par leur impact sur l'environnement.

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

Confrence dans le cadre de la journe "Philosophie et Esthtique du Ddoublement" du Collge International de Philosophie . {{Rsum}} Nous avons l'habitude de voir le sujet comme une entit propre, dfinie par ses caractristiques et son histoire. Cela suppose d'tre capable d'en dlimiter les contours, ce qui nous plonge dans un paradoxe : tout ce qu'un sujet exprimente fait partie de lui, et tout ce qu'il conoit 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 lments, tirs notamment de l'analyse de la communication, nous amnent proposer une autre conception, qui passe par la considration du sujet comme le produit abstrait d'interactions concrtes, sa limite n'tant qu'une bordure localement dfinie par l'change.

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

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

Smiotique cognitive 23 mai 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 décembre 2007, LIGC 2007, Albano, Italie.

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

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

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

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

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

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

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

Samuel Tronçon - 2014