| 23 Novembre 2011, Aristides Gionis |
Lieu : Université Paul Sabatier, Toulouse, 10h30 - 15h30
Accueil à 10h30 à l'IRIT pour rejoindre l'amphi Leclerc Du Sablon
- 10.45 - 11.45
- Aristides Gionis, Yahoo!
- Lieu : : Amphi Leclerc Du Sablon- Bât.4
- Titre : Algorithms for discovering densely connected communities and overlapping clusters
- Résumé :
In this talk we will present two different clustering paradigms, motivated by a number of real-world applications. The first paradigm addresses the problem of finding a densely connected community with reference to a set of query nodes. We motivate a measure of density based on minimum degree and distance constraints, and we develop an optimum greedy algorithm for this measure. We characterize a class of monotone constraints and we generalize our algorithm to compute optimum solutions satisfying any set of monotone constraints. We modify the greedy algorithm and we present two heuristic algorithms that find communities of size no greater than a specified upper bound. The second paradigm addresses the problem of overlapping clustering. Our approach is to formulate an optimization problem in which each point in the dataset is mapped to a small set of labels, representing membership in different clusters. The objective is to find a mapping so that the distances between points in the dataset agree as much as possible with distances taken over their sets of labels. For defining distances between sets of labels, we consider two measures: set-intersection indicator and the Jaccard coefficient. To solve the resulting optimization problem we propose a local-search algorithm. Iterative improvement within our algorithm gives rise to non-trivial optimization problems, which, for the measures of set intersection and Jaccard, we solve using a greedy method and non-negative least squares, respectively.
- Session Recherche d'information et Datamining
- Anthony Bigot, Université de Toulouse
- Lieu : : Amphi Borel- Bât.U2
- Titre :Fusing different information retrieval systems according to query-topics: a study based on correlation in information retrieval systems and TREC topics
- Résumé :
To evaluate Information Retrieval Systems on their effectiveness, evaluation programs such as TREC offer a rigorous methodology as well as benchmark collections. Whatever the evaluation collection used, effectiveness is generally considered globally, averaging the results over a set of information needs. As a result, the variability of system performance is hidden as the similarities and differences from one system to another are averaged. Moreover, the topics on which a given system succeeds or fails are left unknown. In this paper we propose an approach based on data analysis methods (correspondence analysis and clustering) to discover correlations between systems and to find trends in topic/system correlations. We show that it is possible to cluster topics and systems according to system performance on these topics, some system clusters being better on some topics. Finally, we propose a new method to consider complementary systems as based on their performances which can be applied for example in the case of repeated queries. We consider the system profile based on the similarity of the set of TREC topics on which systems achieve similar levels of performance. We show that this method is effective when using the TREC ad hoc collection. diaporama - Claudio Orlando Gutierrez Soto , Universidad del Bio-Bio
| 20 et 21 octobre 2011, Workshop Homotopie |
Homotopie Ce workshop est le résultat du développement récent de la philosophie des mathématiques à l'IMT avec, en particulier, un groupe de travail et de lecture auquel participent des mathématiciens de l'Institut, spécialistes de géométrie algébrique ou de combinatoire.
Lieu : Université Paul Sabatier, Institut de Mathématiques de Toulouse, Salle Sophie Germain
Programme du Jeudi 20 Octobre, après-midi, session Histoire:- 14.15 - 15.45
- Renaud Chorlay (Univ. Paris 4, SPHERE)
- Titre : Homotopie : quelques repères historiques.
- Résumé :
Nous proposons un exposé d'histoire récurrente, en présentant des textes qui, sur la période 1850-1930, contribuent à l'enrichissement conceptuel des notions homotopiques élémentaires de la topologie. Dans les années 1895-1905, la synthèse de Poincaré marque une étape fondamentale. On montrera en quoi elle noue ensemble des fils apparus en analyse (souvent complexe) dans des questions de natures différentes : intégrales curvilignes (ou d'ordres supérieurs) ; prolongement analytique ; étude de la multiformité de fonctions définies implicitement par des équations algébriques, des équations différentielles à coefficients algébriques, des équations analytiques. De 1850 à 1900, l'enrichissement conceptuel passe par la distinction progressive des contextes homologiques et homotopiques, par l'introduction de la notion de groupe, et par celle de revêtements remarquables (universel, d'orientation). Sur la période 1905-1930, nous suivrons deux fils : celui de la diffusion de la notion de revêtement au-delà de la théorie au sein duquel elle était apparue (la théorie de l'uniformisation), et celui des travaux de Brouwer puis Hopf sur les classes d'homotopie d'applications entre variétés compactes orientables.
- Pause
- 16.00 - 17.30
- Ralf Krömer (Univ. Siegen)
- Titre : Groupe/groupoïde fondamental: le définir, établir ses propriétés, l'utiliser 1920-1960.
- Résumé :
Comme point de départ, je prendrai la démonstration du fait que le groupoïde fondamental est en fait un groupoide, comme celle-ci est présentée dans un manuel des années 1960. C'est en analysant cette démonstration qu'on est conduit à un certain nombre de questions historiques. Car la démonstration serait aussi valable si on considérait une certaine relation d'équivalence plus fine que l'homotopie sur l'ensemble des chemins de l'espace. J'en tire la conclusion (défendue en plus de détail dans l'intervention) que dans la configuration de concepts, méthodes et problèmes en vigueur dans cette démonstration (typique de la topologie algébrique des années 1960 à mon avis), on a un peu perdu de vue, pour des raisons à éclaircir, les intentions originalement liées aux concepts d'homotopie et de groupe/groupoïde fondamental. D'où l'effort de retracer le développement qu'ont subis ces deux concepts et cette configuration, aussi bien que le concept de chemin, depuis qu'on avait commencé de travailler dessus vers la fin du 19e siècle. Il s'agira notamment de regarder de près la définition et le rôle du groupe fondamental et son interaction avec le concept de revêtement universel dans un certain nombre de travaux, en particulier les travaux de Poincaré sur l'analysis situs et sur l'uniformisation, le fameux cours de Weyl sur les surfaces de Riemann, la théorie des groupes de Lie de Weyl et Schreier à Pontrjagin et les travaux sur la théorie des noeuds de Reidemeister.
- 9.30 - 11.00
- Jean-Pierre Marquis (Univ. Montréal)
- Titre : Quelques remarques philosophiques sur la théorie de l’homotopie.
- Résumé :
La théorie de l'homotopie touche à de nombreuses questions philosophiques fondamentales. Nous en aborderons deux. D'abord, il y a la question de l'identité. En effet, la théorie de l'homotopie repose sur une notion d'identité qui est radicalement différente de toutes les notions mathématiques qui ont été développées jusqu'ici. Cette notion pourrait bien avoir un impact fondamental non seulement sur les fondements des mathématiques, mais elle pourrait également être à la base de nouveaux cadres théoriques en métaphysique ou en philosophie du langage. Ensuite, il y a la question de l'accessibilité épistémologique aux types d'homotopie. En effet, on voit clairement dans l'évolution de la théorie que les mathématiciens doivent construire des modèles de ces derniers afin de mieux les comprendre, d'en saisir les propriétés. Ce qui nous intéresse ici au plus haut point, c'est la notion de modèle, qui n'a rien à voir avec les modèles tels qu'ils sont définis en logique, qui est à l'œuvre. Nous esquisserons ici quelques pistes de réflexions sur cette dimension fondamentale liée à la pratique des mathématiques
- Pause
- 11.15 - 12.45
- Brice Halimi (Univ. Paris 10, SPHERE)
- Titre : Sur une application possible de la théorie de l'homotopie à la théorie des modèles.
- Résumé :
Le lien entre logique et théorie de l'homotopie a été souligné par l'interprétation homotopique qui a été récemment proposée pour la théorie des types de Martin-Löf. J'essaierai de présenter un autre lien entre logique et théorie de l'homotopie, en montrant que le langage de la logique du premier ordre, et certaines notions élémentaires de théorie des modèles, se prêtent à une interprétation homotopique.
- 14.15 - 15.45
- Tim Porter (Univ. Wales, Bangor)
- Titre : Variations sur un thème d’homotopie.
- Résumé :
Starting with the primitive notion of cylinder and homotopy (that will have been discussed in other talks) I will look at how via methods of Algebraic Homotopy and Homotopical Algebra one arrives at variants applicable to the proper homotopy context, prohomotopy and directed homotopy, and possibly the homotopy of evolving spaces.
- Pause
- 16.00 - 17.30
- Sergei Soloviev (Univ. Toulouse, IRIT)
- Titre : Homotopy in foundations of mathematics (Voevodsky's approach)
- Résumé :
Recently there is a lot of activity around the ideas of Vladimir Voevodsky concerning the applications of homotopy to type theory and n-categories, as well as the uses of so called Univalence Axiom. The talk is a kind of survey of current activity in this domain including some subjective views on the perspectives of this approach.
| 7 octobre 2011, Pierre-Alain Muller |
A 14.15, dans le cadre des séminaires Fremit, Pierre-Alain Muller est venu parler de modèles UML comportementaux exécutables.
- Titre : From Objexion to ActionSide. A concrete example of behavioral modeling@runtime.
- Résumé :
In this talk we will present the ideas that underpin two startups in the area of model-driven technology. We will briefly review the key features that led to the creation of the first one and then give an overview of its creation and eventual demise. Then we will move on presenting the inception of the second one, explain how and why it differs from the previous one, and why we hope it will be more successful. ActionSide is designed to become an affordable SaaS solution for activating a web site, it allows to:-
- understand how visitors interact with web pages,
- identify in what elements they are interested in,
- segment visitors into behavioral profiles,
- measure conversion rates for goals,
- define actions to be executed during visits for given profiles of
visitors and,
- evaluate performance of pages and actions.
Lieu : Salle des thèses, IRIT.
| 28 septembre 2011, GDR I3 Lyon |
GDR I3 : Une journée d'animation sur la Fouille de Données
Pour faire face à l'augmentation vertigineuse du volume des données disponibles (bases de données, WEB, images/vidéos, etc.) de ces dernières années, l'un des principaux défis de la recherche en fouille de données est de concevoir un système capable de traiter une telle masse de données mais aussi (et peut-être surtout) de prendre en compte leur complexité croissante. De fait, la recherche sur cette problématique de l'exploitation de ces masses de données s'est considérable développée, tant au point de vue des méthodes de fouille et de leur formalisation que des outils permettant de les mettre en œuvre et ce dans de très nombreux domaines d'applications. L'objectif de cette journée est de faire se rencontrer les chercheurs et chercheuses de la communauté de la fouille de données désormais bien établie, et les utilisateurs de ces nouvelles méthodes et outils afin de partager leurs connaissances et leurs avancés dans ce domaine et participer à leur diffusion vers tous les domaines (linguistique, médecine, géographie, ...) où la fouille de données est ou peut s'avérer pertinente et prometteuse. Son rôle sera ainsi d'avoir un rôle prospectif permettant d'identifier les défis et verrous scientifiques et technologiques actuels et futurs.
Lieu : Lyon (Bibliothèque Universitaire Lyon 1, campus de la Doua).
Josiane MOTHE, Sébastien DEJEAN, Anthony BIGOT et Léa LAPORTE sont intervenus lors de cette journée, Voir diaporama 1 et diaporama 2 Le programme complet de cette journée Lien
Organisation : Pierre Gançarski, Marc Plantevit, Chedy Raissi| 26 et 27 septembre 2011, COMUL |
COMUL: Conférence Coopération Multi-agents pluridisciplinaire Lien Les phénomènes coopératifs se retrouvent sous diverses formes dans de nombreux systèmes, qu'ils soient biologiques, sociaux ou artificiels. Leur étude et leur compréhension a amené différentes disciplines à développer des approches et des outils qui se focalisent sur les entités qui composent ces systèmes et leurs interactions. Assez curieusement cependant, les frontières disciplinaires sont peu poreuses et les outils des uns sont parfois mal connus ou mal maîtrisés par les autres malgré une similarité relativement forte des systèmes considérés. Ces deux journées seront l'occasion de faire communiquer différentes disciplines qui n'ont que rarement l'occasion de dialoguer, qu'il s'agisse des Mathématiques, de la Biologie, de l'Informatique, de l'Economie ou de la Physique. Elles permettront de confronter les points de vue sur les phénomènes coopératifs auxquels s'intéressent ces différentes disciplines et d'échanger des méthodes de travail et des outils pour les étudier et en comprendre le fonctionnement.
Lieu : Amphi S à l'Université Toulouse 1 - Capitole
Programme du lundi 26 Septembre:- Ouverture à 9.00
- 9.30 - 10.30
- Guy THERAULAZ (CRCA)
- Titre : L’intelligence collective des insectes sociaux
- Résumé :
Depuis l’Antiquité, l’observation des sociétés de fourmis, d’abeilles, de guêpes ou de termites suscite à la fois étonnement et admiration. Si les sociétés d’insectes retiennent l’attention, c’est tout autant par la taille et la complexité des architectures qu’elles construisent, que par leur capacité à résoudre collectivement certains problèmes comme le choix d’une source de nourriture ou d’un site propice à la construction de leur nid. Pourtant la simple observation d’une fourmilière révèle des comportements individuels aléatoires, souvent conflictuels. Comment des comportements en apparence désordonnés, des interactions multiples entre insectes peuvent-ils aller de pair avec de telles performances collectives ? Au cours des vingt dernières années, des avancées considérables ont été réalisées dans la compréhension de ces phénomènes. Les propriétés observées à l’échelle collective émergent d’un réseau complexe d’interactions de nature diverse entre les individus. Pour comprendre les mécanismes impliqués dans ces phénomènes, les biologistes ont utilisé de nouveaux outils conceptuels et méthodologiques issus de la physique des systèmes complexes. Parmi ces mécanismes, les processus d’auto-organisation ont fait l’objet d’une attention toute particulière car ils sont impliqués dans un grand nombre de comportements collectifs. Ces processus d'auto-organisation permettent aux insectes sociaux de développer une forme d’intelligence collective à partir de la multitude des interactions entre les individus dont les comportements demeurent très simples. Bibliographie : Bonabeau, E. & Theraulaz, G. 2000. L’Intelligence en essaim, Pour La Science, N°271, pp. 66-73. Bonabeau, E., Dorigo, M. & Theraulaz, G. 1999. Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press. Camazine, S., Deneubourg, J.L., Franks, N., Sneyd, J., Theraulaz, G. & Bonabeau, E. 2001. Self-Organization in Biological Systems. Princeton University Press. Cezilly, F., Giraldeau, L.-A. & Theraulaz, G. 2006. Les sociétés animales : lions, fourmis et ouistitis. Editions le Pommier, Paris, 190 p. ISBN 2746502976 Moussaïd, M. & Theraulaz, G. 2011. Comment les piétons marchent dans la foule, La Recherche, 450: 56-59. Theraulaz, G. 2010. L’intelligence collective des fourmis, Le courrier de la Nature, 250: 46-53. Theraulaz, G., Gautrais, J., Blanco, S., Fournier, R. & Deneubourg, J.L. 2003. Le comportement collectif des insectes, Pour La Science, 314, pp. 116-121.
- Pause
- 11.00 - 12.00
- Astrid HOPFENSITZ (TSE)
- Titre : Do spouses cooperate? And if not, why? - an illustration of what experimental economics can do
- Résumé :
Models of household economics require an understanding of economic interactions in families. Social ties, repetition and reduced strategic uncertainty make social dilemmas in couples a very special case that needs to be empirically studied. In this paper we present results from a large economic experiment with 100 maritally living couples. Participants made decisions in a social dilemma with their partner and with a stranger. We predict behavior in this task with individual and couples' socio-demographic variables, efficiency preferences and couples' marital satisfaction. As opposed to models explaining behavior amongst strangers, the regressions on couples’ decisions highlight clear patterns concerning cooperation behavior which could inspire future household decision-making models. Lien
- Déjeuner
- 14.00 - 15.00
- Adrien BLANCHET (TSE)
- Titre : City equilibria via optimal transport
- Résumé :
We consider an economic equilibrium problem for a population density in spatial economy, where the utility of agents depends on social interactions with other agents, the cost to access them, and the cost of land. We perform a rigorous mathematical analysis of the equilibrium condition, by providing a variational characterization when the geographical space is a convex domain, and classifying all the possible equilibria arising on a circle. The mathematical tools for the analysis of the convex case involve the theory of optimal transport, while the circle case is mainly handled by ordinary differential equation techniques.
- Pause
- 15.30 - 16.30
- Paul CHAPRON (IRIT)
- Titre : Coopérativité de la structure des organisations sociales
- Résumé :
Nous disposons d'un modèle de la structure des organisations sociales formalisant la théorie de la sociologie de l'action organisée. L’analyse mathématique de la structure d’un modèle d’organisation et l’interprétation en termes sociologiques de ses propriétés constituent un complément à la simulation des comportements des acteurs, et une alternative à l’exploration extensive de la dynamique de tels modèles. Nous nous proposons d'étudier la topographie de l’espace des comportements de notre modèle, espace qui représente les niveaux de coopération entre les acteurs de l’organisation. Lien
- 16.30 - 17.30
- Clément SIRE (LPT)
- Titre : Systèmes compétitifs : modélisation des championnats sportifs (baseball, football), des tournois de poker, et des jeux en arbre
- Résumé :
Poker is not only a pleasant past time for those of us who like challenging games, but by modelling it, we can gain insigths into important problems in physics. To demonstrate this, we present here a simple model of Texas hold’em poker tournaments which retains the main identified aspects of the game. The distribution of the fortunes of players not yet eliminated is found to be independent of time during most of the tournament, and reproduces very accurately data obtained from Internet tournaments and world championship events. The number of successive "chip leaders" (the player with the most money at a given time), the distribution of the fortune of the chip leader, and the average duration of a tournament are also quantitatively addressed. We show how his model makes the connection between poker and the persistence problem widely studied in physics and mathematics (the probability for a temporal signal to remain above a given threshold), as well as some recent physical models of biological evolution (the "leader" problem), and the statistics of extreme events. The modelization of other sporting competitions (baseball, football...) will be very briefly addressed. Lien
- 9.00 - 10.00
- Pierre DEGOND (IMT)
- Titre : Does self-organization imply breakdown of statistical independence ?
- Résumé :
(joint work with E. Carlen (Rutgers) and B. Wennberg (Goteborg)). Simulating systems consisting of a large number of interacting agents is numerically intensive. The use of meso or macroscopic models such as kinetic or hydrodynamic models may be more powerful. But these models are valid if the particles become statistically independent when their number becomes large. This is the so-called chaos property. At first sight, systems exhibiting self-organization may fail obeying the chaos property, because self-organization is about building correlations between the particles. For a large class of binary (or multiply) interacting particle models, we show that this intuition is wrong and that these systems actually do satisfy the chaos property, at least on the so-called kinetic time-scale. But, the chaos property may be lost at longer time scales, as shown by one counter-example. At such long time scales, whether the chaos property is true or not remains open in general. However, our results show at least that correlation build-up, if it occurs, requires large time scales.
- Pause
- 10.30 - 11.30
- Jean-Pierre GEORGÉ (IRIT)
- Titre : La coopération dans les systèmes multi-agents comme moteur pour la résolution de problèmes complexes
- Résumé :
L'appréhension de la dynamique des systèmes complexes et décentralisés nécessite l'intégration organisationnelle de la structure de ces systèmes. En effet, lorsque la fonctionnalité d'un système repose sur les interactions multiples, tant par leur nombre que par leurs natures, entre les constituants de ce système, il devient très difficile de réaliser des modèles explicites du fonctionnement global. La résolution de problèmes complexes partageant ces propriétés à l'aide de systèmes multi-agents s'impose de plus en plus dans des domaines très diversifiés s'étendant des Sciences Sociales à l'Intelligence Artificielle, et touchant des domaines variés comme l'industrie aéronautique, la biologie ou l'intelligence ambiante. La réalisation de système à fonctionnalité émergente, c'est-à-dire basés uniquement sur l'interaction des entités qui le composent, implique de focaliser l'attention du concepteur sur ces interactions, leurs caractéristiques et leurs implications plutôt que sur l'activité globale. Le système est donc conçu au niveau de ses parties qui elles, en établissant des interactions les plus coopératives possibles, vont engendrer un système fonctionnel d'un point de vue macroscopique. Cette présentation a pour but de montrer la viabilité et les potentialités de cette approche émergentiste basé sur la coopération en présentant des applications existantes qui ont pour finalité la résolution de problèmes complexes.
- 11.30 - 12.30
- Bertrand GEORGEOT (LPT)
- Titre : Google matrix methods for information ordering in complex networks built by independent agents
- Résumé :
Many social and physical phenomena can be modelized by complex directed networks. In order to hierarchize the nodes of such networks according to their importance, the PageRank algorithm at the heart of the Google search engine uses the global information encoded in an eigenvector of the so-called Google matrix of the whole network. The talk will present an introduction to such type of algorithms, and explore how the characteristics of such eigenvectors are modified when the parameters of the network and/or of the algorithm are changed. These modifications can alter dramatically the efficiency and usefulness of such algorithms, both in network models and in real-life networks such as the World Wide Web, language networks or networks built from games such as the game of go. Ref : Olivier Giraud, Bertrand Georgeot, Dima L. Shepelyansky Phys. Rev. E 80, 026107 (2009); B. Georgeot, O. Giraud, D.L. Shepelyansky Phys. Rev. E 81, 056109 (2010); K. M. Frahm, B. Georgeot, D. L. Shepelyansky Universal Emergence of PageRank arXiv:1105.1062; Bertrand Georgeot, Olivier Giraud The game of go as a complex network arXiv:1105.2470
- Déjeuner
- 14.00 - 15.00
- Jacques GAUTRAIS (CRCA)
- Titre : Approche expérimentale de la complexité dans les sociétés animales
- Résumé :
Un grand nombre d'espèces animales présentent des comportements collectifs qui peuvent difficilement être expliqués sur la seule base de chaque comportement individuel : choix collectifs d'une source de nourriture et construction chez les insectes sociaux; synchronisation des activités chez les ongulés; déplacements collectifs coordonnés chez les poissons, les oiseaux... L'émergence de tels comportements collectifs peut être expliquée par l'effet non-linéaire de certains types d'interactions entre les individus, qui viennent amplifier des fluctuations comportementales individuelles fondamentalement stochastiques (principe de l'auto-organisation). Ces comportements collectifs dans les sociétés animales se révèlent de bons modèles biologiques pour étudier la complexité, car ils autorisent des manipulations expérimentales où l'on peut quantifier directement le phénomène aux deux échelles, individuelles et collectives, pour construire un modèle et comprendre l'émergence. Je présenterai quelques exemples de comportements collectifs étudiés au laboratoire, et la démarche expérimentale qui permet de dévoiler et quantifier les mécanismes d'auto-organisation qui les expliquent. Quelques articles sont disponibles à : http://jacques.gautrais.net
- Pause
- 15.30 - 16.30
- Paul SEABRIGHT (TSE)
- Titre : Comparing the use of equilibrium modeling in economics and biology
- Clôture par Chrisitan GOLLIER (TSE director)
| 23 Septembre 2011, Michael Detlefsen |
Lieu : Amphi SCHWARTZ, 15.30-17.00, IMT
- Michael Detlefsen (Univ. Notre Dame, ANR chaire d'excellence)
- Titre : Freedom in Mathematics
- Résumé :
The freedom proper to mathematical investigation was an important concern of nineteenth and twentieth century writings in the foundations of mathematics. I will survey some of this literature and attempt to distill how freedom in mathematics was understood by writers of this period. I will pay particular attention to the questions of (i) what conditions were generally thought to govern its legitimate exercise and (ii) what value its exercise was commonly taken to have. Finally, I will consider a general argument which purports to show that there is little meaningful scope for the legitimate exercise of freedom. Lien
Organisation pratique: S. Maronne (IMT)
| 5 Juillet 2011, Demi-journée de collaboration |
Dans le cadre de la collaboration IRIT-IMT et de la fédération FREMIT nous allons organiser le 5.07.11 une demi-journée d'étude sur le thème de la réécriture et de ses applications.
Lieu : salle Sophie Germain (IMT)
Il y aura deux exposés:- 15.00 - 16.00
- Frederic Prost (Grenoble)
- Titre : "Categorical Abstract Rewriting Systems and Functoriality ofGraph Transformation"
- Résumé :
Abstract rewriting systems are often defined as binary relations over a given set of objects. In this talk, we introduce a new notion of abstract rewriting system in the framework of categories. We show the use this abstract notion to prove abstract properties of graph transformation systems. We define the functoriality property of rewriting systems. This property is sometimes called vertical composition. We show, in a modular way, that most graph transformation systems are functorial and provide a counter-example of graph transformation system which is not functorial.
- Pause
- 16.30 - 17.30
- Bertrand Boisvert, Louis Féraud et Sergei Soloviev
- Titre :Typed lambda-terms and deductions in categorical attributed graph transformations.
- Résumé : We consider model transformations based on attributed graph rewriting. The single pushout approach for applying the rewrite rules is investigated, but the main accent is made on computations with attributed usind typed lambda calculus with inductive types and proof-theoretical methods. As this rewrite system uses inductive types and associated recursion operators, the expressiveness of attribute computations is augmented w.r.t. the one based on sigma-algebras. The examples illustrating the interest of our approach are presented.
Organisation pratique: S. Maronne (IMT), S. Soloviev (IRIT)