Non-linear approaches based on the maximum distance — a pseudo morphology and PCA approximation for color, multispectral and hyperspectral data/image analysis
Mihai IVANOVICI - Transilvania University of Brasov (Roumanie)
Vendredi 6 Juillet 2018, 14h00 - 15h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Knowledge Representation for General Problem-Solving Systems and Robots
Michael THIELSCHER - Université de Nouvelle-Galles-du-Sud (Australie)
Vendredi 15 Juin 2018, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
A polarization framework for bivariate signal processing
Julien FLAMANT - CRIStAL, Lille (France)
Lundi 16 Avril 2018, 14h00 - 15h30INP-ENSEEIHT, Salle des thèses
Lire la suite
Séminaire « Savoirs, Réseaux, Médiations » (SRM) : Auteurs et collectifs de fanfictions sur internet
Aurore DERAMOND - LISST-CERS, Université de Toulouse
Vendredi 13 Avril 2018, 15h00 - 16h00UT3 Paul Sabatier, IRIT, Salle 001
Lire la suite
Séminaire « Savoirs, Réseaux, Médiations » (SRM) : Découverte de points de vue sur les media sociaux
Ophélie FRAISIER - Equipe IRIS - IRIT (France)
Vendredi 13 Avril 2018, 14h00 - 15h00UT3 Paul Sabatier, IRIT, Salle 001
Lire la suite
Séminaire IRIT-UT2J - Initiation à la programmation par les objets, Eiffel et la conception par contrats : 15 ans et 5000 étudiants plus tard
Bertrand MEYER - Equipe SMART - IRIT (France)
Vendredi 6 Avril 2018, 13h00 - 14h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Patch-based regularization in multiband imaging inverse problems
José BIOUCAS - University of Lisboa (Portugal)
Vendredi 16 Février 2018, 14h00 - 16h00TéSA, 7 Boulevard de la Gare, Toulouse
Lire la suite
Algorithmes naturels et systèmes d'influence
Bernadette CHARRON-BOST - Laboratoire d'informatique de l'École Polytechnique (LIX) (France)
Vendredi 16 Février 2018, 10h30 - 12h00INP-ENSEEIHT, Salle des thèses
Lire la suite
Diversity and uniqueness in coupled decompositions
Dana LAHAT - Gipsa-Lab
Mardi 13 Février 2018, 14h00 - 15h30INP-ENSEEIHT, Salle des thèses
Lire la suite
Coping with the Software Dependability Analysis Leap
Genaina RODRIGUES - University of Brasilia (Brésil)
Mardi 13 Février 2018, 10h30 - 12h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Prof. Dr. Lena MAIER-HEIN - Div. Computer Assisted Medical Interventions (CAMI) German Cancer Research Center (DKFZ) (Allemagne)
Vendredi 9 Février 2018, 11h00 - 12h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
William R. HERSH - Oregon Health & Science University (OHSU) (Etats-Unis)
Vendredi 9 Février 2018, 8h45 - 9h45UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Novel Importance Sampling Techniques for Bayesian Inference
Victor ELVIRA - CRIStAL, Lille (France)
Jeudi 11 Janvier 2018, 16h30 - 18h00INP-ENSEEIHT, Salle des thèses
Lire la suite
[IRIT-UT1C] How is making up one's mind like taking a decision? Links between Belief Change and Social Choice
Adrian HARET - TU Wien (Autriche)
Jeudi 7 Décembre 2017, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
From perceptrons to Alpha Go and beyond: An overview of Deep Learning
Dennis WILSON - Equipe VORTEX - IRIT (France)
Mercredi 29 Novembre 2017, 14h00 - 16h00UT3 Paul Sabatier, IRIT, Salle du Conseil
Lire la suite
p-leader analysis and classification of oscillating singularities
Roberto LEONARDUZZI - Laboratoire de Physique, ENS DE LYON
Mercredi 22 Novembre 2017, 10h30 - 12h00ENSEEIHT, Salle F-422
Lire la suite
Jean-Marc MENAUD - Ecole des Mines de Nantes
Lundi 20 Novembre 2017, 10h00 - 12h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
How to increase efficiency with the certification of process compliance
Barbara GALLINA - Mälardalen University (Suède)
Mercredi 25 Octobre 2017, 11h00 - 12h30UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Exact continuous relaxations for the l0-regularized least-squares criteria
Emmanuel SOUBIES - École Polytechnique Fédérale de Lausanne (EPFL) (Suisse)
Jeudi 19 Octobre 2017, 16h30 - 17h30INP-ENSEEIHT, Salle des thèses
Lire la suite
Formally modeling and verifying security properties
Sigrid GÜRGENS - Fraunhofer SIT (Allemagne)
Vendredi 29 Septembre 2017, 10h30 - 12h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
A quasi-Bayesian perspective to NMF: theory and applications
Benjamin GUEDJ - INRIA, Lille
Lundi 25 Septembre 2017, 14h00 - 15h30INP-ENSEEIHT, salle F422 (Bâtiment F, 4e étage, accès par badge)
Lire la suite
Les subventions européennes pour répondre aux défis sociétaux, à la recherche scientifique et à l'éducation
Cécile SAUVAGE - FEDACOVA (Espagne)
Mercredi 13 Septembre 2017, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle des thèses
Lire la suite
The use of glossaries in early phases of software development
Leandro ANTONELLI - University of La Plata (Argentine)
Mercredi 13 Septembre 2017, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle des thèses
Lire la suite
Environmental Multiway Data Mining
Jeremy COHEN - University of Mons (Belgique)
Lundi 11 Septembre 2017, 14h30 - 15h30INP-ENSEEIHT, Salle des thèses
Lire la suite
On the complexity of low-rank matrix approximations
Nicolas GILLIS - University of Mons (Belgique)
Lundi 11 Septembre 2017, 14h00 - 15h00INP-ENSEEIHT, Salle des thèses
Lire la suite
Everyday Computing with QCG MiddEveryday Computing with QCG Middleware and Toolsleware and Tools
Tomasz PIONTEK - Poznan Supercomputing and Networking Center (Pologne)
Vendredi 7 Juillet 2017, 10h30 - 12h00IRIT, Salle 175
Lire la suite
A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem
Jean-Marie LAGNIEZ - CRIL, Université d'Artois, Lens
Vendredi 23 Juin 2017, 14h30 - 16h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Smart City from the bottom-up ¯ Wollongong's Digital Living Lab
Pascal PÉREZ - Université de Wollongong (Australie)
Vendredi 9 Juin 2017, 15h00 - 16h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Ubiquitous Analytics: the Next Frontier for Ubicomp
Pourang IRANI - Université du Manitoba (Canada)
Jeudi 1 Juin 2017, 10h30 - 12h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Teaching Students to Learn
Andreas PRINZ - Equipe MACAO - Université d'Agder (Norvège)
Mardi 30 Mai 2017, 10h30 - 12h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Fresh views on convex optimization : clustered optimization and integration methods of the gradient flow
Vincent ROULET - INRIA Paris (France)
Lundi 29 Mai 2017, 14h00 - 15h30INP-ENSEEIHT, Salle des thèses
Lire la suite
Finite-state machine synthesis in ITMO University
Vladimir ULYANTSEV - ITMO University, Saint Petersburg (Russie)
Mercredi 24 Mai 2017, 10h30 - 12h00UT3 Paul Sabatier, IRIT, Salle 001
Lire la suite
Structure-adaptive signal denoising
Dmitrii OSTROVSKII - Université Grenoble Alpes (France)
Mardi 23 Mai 2017, 10h30 - 12h00INP-ENSEEIHT, Salle des thèses
Lire la suite
Meeting SPOT : Classification algébrique pour le contrôle optimal en Imagerie à Résonance Magnétique
Thibaut VERRON - Equipe APO - IRIT (France)
Lundi 22 Mai 2017, 15h00 - 16h00INP-ENSEEIHT, Salle des thèses
Lire la suite
Meeting SPOT : Data Analytic UQ cascade for aircraft shape design
Bijan MOHAMMADI - Université de Montpellier
Lundi 22 Mai 2017, 14h00 - 15h00INP-ENSEEIHT, Salle des thèses
Lire la suite
Mon téléphone n'est plus une brique quand je veux écrire
Philippe ROUSSILLE - Equipe SIG - IRIT (France)
Mardi 16 Mai 2017, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME302
Lire la suite
Analyzing citations in context: challenges and opportunities
Cassidy R. SUGIMOTO - Indiana University Bloomington (Etats-Unis)
Mercredi 26 Avril 2017, 14h00 - 15h30UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
[LabEx CIMI] Aventures dans la jungle des ordres élévés en optimisation
Philippe TOINT - FUNDP Namur, Chaire d'Excellence CIMI (Belgique)
Mercredi 26 Avril 2017, 10h30 - 12h00IMT, Salle de conférence MIP (1er étage, bât. 1R3)
Lire la suite
Optimal image denoising modelling via PDE-constrained optimisation
Luca CALATRONI - Ecole Polytechnique Paris Saclay (France)
Jeudi 20 Avril 2017, 14h00 - 15h30ENSEEIHT, salle A001
Lire la suite
Interactions as Social Practices: towards a formalization
Virginia And Frank DIGNUM - Delft University of Technology / Utrecht University (Pays-Bas)
Jeudi 16 Mars 2017, 14h00 - 15h30UT3 Paul Sabatier, IRIT, Salle 001
Lire la suite
La révolution scientifique du complexe, la pensée du complexe et ses rapports avec la dialectique
Janine GUESPIN-MICHEL - Professeur émérite de microbiologie (France)
Mercredi 15 Mars 2017, 11h00 - 12h00Maison de la Recherche, Salle D29
Lire la suite
Janine GUESPIN-MICHEL - Professeur émérite de microbiologie (France)
Mardi 14 Mars 2017, 10h00 - 12h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
The role of formal approaches in machine learning
Mathieu SERRURIER - Equipe ADRIA - IRIT (France)
Vendredi 10 Mars 2017, 14h30 - 16h00IRIT, Salle 175
Lire la suite
Creating and posing 3D shapes from drawings
Alla SHEFFER - Université de British Columbia (UBC) (Canada)
Mardi 7 Mars 2017, 10h00 - 12h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Umberto GRANDI - Equipe LILaC - IRIT (France)
Vendredi 3 Mars 2017, 14h00 - 15h30IRIT, Salle 175
Lire la suite
Distributional Semantics and Sentence Comprehension: The Case of Logical Metonymy
Alessandro LENCI - University of Pisa (Italie)
Vendredi 3 Mars 2017, 11h00 - 12h30UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
The (Parameterized) Complexity of (Positional) Games
Abdallah SAFFIDINE - The University of New South Wales (Australie)
Jeudi 2 Mars 2017, 14h00 - 15h30IRIT, Salle 175
Lire la suite
Social Planning - Reasoning with and about others
Tim MILLER - University of Melbourne (Australie)
Lundi 27 Février 2017, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
Synthèse d'images
Rémi COZOT - IRISA Rennes (France)
Vendredi 24 Février 2017, 12h30 - 14h00UT3 Paul Sabatier, IRIT, Salle 001
Lire la suite
Symbolic Dynamics, Asymptotic Combinatorics and Game Theory
Nicolaï VASILYEV - Inst. de Mathématiques Steklov, St. Petersbourg (Russie)
Mardi 21 Février 2017, 16h00 - 17h30UT3 Paul Sabatier, IRIT, Salle 001
Lire la suite
Ingénierie des Exigences
Nacer Eddine ZAROURDE - Université Constantine 2 (Algérie)
Jeudi 9 Février 2017, 14h00 - 15h30UT2J, Maison de la Recherche, Bât Olympe de Gouges, GS 121
Lire la suite
Novel ways to develop weights process in multiple criteria decision making
Morteza YAZDANI - Equipe ADRIA - IRIT (France)
Mardi 17 Janvier 2017, 12h30 - 14h00Manufacture des Tabacs - TBA
Lire la suite
A new dimension of Cloud Governance
Ernesto PIMENTEL - Université de Malaga (Espagne)
Mardi 10 Janvier 2017, 14h00 - 15h30INP-ENSEEIHT, Salle des thèses
Lire la suite
Challenges in Certification of Model-Based Design of Cyber-Physical Systems
Alain WASSYNG - Université de Mac Master, Hamilton, Ontario (Canada)
Mardi 13 Décembre 2016, 16h00 - 17h30ENSEEIHT, Amphitheâtre A002
Lire la suite
How to rapidly share knowledge by gossiping
Faustine MAFFRE - Equipe LILaC - IRIT (France)
Lundi 12 Décembre 2016, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME302
Lire la suite
Julian MILLER - Department of Electronics, University of York, UK
Vendredi 2 Décembre 2016, 12h30 - 14h00Manufacture des tabacs, salle MQ 212 -
Lire la suite
BESSON A., THIRAN J-P - Ecole Polytechnique Fédérale de Lausanne, LTS5 (Suisse)
Vendredi 25 Novembre 2016, 15h30 - 17h00UT3 Paul Sabatier, IRIT, Salle 001
Lire la suite
A Test Collection for Research on Depression and Language Use
Fabio CRESTANI - Faculty of Informatics, University of Lugano (Suisse)
Lundi 7 Novembre 2016, 14h00 - 16h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Position-based Skin Deformations for Interactive Character Animation
Nadine ABU RUMMAN - doctoral Researcher at Friedrich-Alexander University (Allemagne)
Lundi 7 Novembre 2016, 13h30 - 15h00IRIT, Salle 175
Lire la suite
Présentation du projet Onko3D
Sylvain CUSSAT-BLANC - Equipe VORTEX - IRIT (France)
Lundi 7 Novembre 2016, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
Recommendation strategies for music discovery at Pandora
Fabien GOUYON - Principal Scientist, Internet radio Pandora (Royaume-Uni)
Jeudi 3 Novembre 2016, 14h00 - 15h30ENSEEIHT, Salle A203
Lire la suite
Automatic Role Detection in Online Forums
Alberto LUMBRERAS - Equipe SC - IRIT (France)
Jeudi 27 Octobre 2016, 16h00 - 17h30ENSEEIHT, salle A001
Lire la suite
Planning in Artificial Intelligence: Heuristics, Models, and Transformations
Hector GEFFNER - Universitat Pompeu Fabra, Barcelona (Espagne)
Jeudi 20 Octobre 2016, 14h00 - 16h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Access Structures of Weighted Threshold Ideal Secret Sharing Schemes
Arkadii SLINKO - University of Auckland (Nouvelle-Zélande)
Jeudi 6 Octobre 2016, 12h30 - 14h00Manufacture des Tabacs, Salle ME302
Lire la suite
Analyse de traces et systèmes centrés utilisateur
Julien ALIGON - Equipe SIG - IRIT (France)
Mardi 27 Septembre 2016, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
Bibliométrie et études de genres en sciences
Jacqueline LETA - Université Fédérale de Rio de Janeiro (Brésil)
Lundi 19 Septembre 2016, 11h00 - 12h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Advanced human robot social interaction: goals, challenges and approaches
Sarah COSENTINO - Waseda University (Japon)
Mercredi 31 Août 2016, 10h00 - 12h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
A Brief History of Checkpointing and Its Applications
Gene COOPERMAN - Northeastern University, College of Computer and Information Science (Etats-Unis)
Jeudi 7 Juillet 2016, 16h00 - 17h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Quelle évolution pour les environnements numériques d'apprentissage des campus universitaires ?
Laurence CAPUS - Université de Laval, Québec (Canada)
Lundi 4 Juillet 2016, 11h00 - 12h30UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
Social Information Seeking: Leveraging the Wisdom of the Crowd
Chirag SHAH - Rutgers University (Etats-Unis)
Jeudi 16 Juin 2016, 14h20 - 16h30UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Electing representatives
Marc KILGOUR - Université Wilfrid Laurier, Waterloo (Canada)
Mardi 31 Mai 2016, 10h00 - 12h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Distributed Semantics for Automatically Classifying Discourse Relations
Jacob EISENSTEIN - Georgia Tech, Atlanta (Etats-Unis)
Mardi 17 Mai 2016, 14h30 - 16h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Maximin Envy - Free Division of Indivisible Items
Marc KILGOUR - Université Wilfrid Laurier, Waterloo (Canada)
Mardi 10 Mai 2016, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
Cycle Sacrée Science, Café du Quai : L'Intelligence artificielle, de quoi s'agit-il vraiment ?
Henri PRADE - Equipe ADRIA - IRIT (France)
Mardi 22 Mars 2016, 18h30 - 19h30Quai des Savoirs, 39, allées Jules-Guesde, Toulouse
Lire la suite
Nonnegative matrix factorisation and some applications in audio signal processing
Cédric FÉVOTTE - Equipe SC - CNRS, Observatoire de la Côte d'Azur & Université Nice Sophia Antipolis (France)
Mardi 23 Février 2016, 13h30 - 15h30UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Extraction of the Quad Layout of a Triangle Mesh Guided by its Curve-Skeleton and Skeleton Editing
Riccardo SCATENI - Universita' di Cagliari, Dpto di Matematica e Informatica (Italie)
Vendredi 12 Février 2016, 10h00 - 12h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Combiner différents critères pour réordonnancer les thésaurus distributionnels
Olivier FERRET - CEA LIST - Laboratoire Vision et Ingénierie des contenus (LVIC) (France)
Mercredi 27 Janvier 2016, 14h30 - 16h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Une vision globale pour un bâtiment durable : Total building performance and performance based design
Khee Poh LAM - PhD, RIBA, Carnegie Mellon University (Etats-Unis)
Vendredi 8 Janvier 2016, 9h30 - 11h30UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Optimisation en temps réel de la performance des bâtiments : Acquisition, analyse et visualisation des données avec le logiciel PI d'OSIsoft et la base de données SEED
Azizan AZIZ - LEED AP, Carnegie Mellon University (Etats-Unis)
Jeudi 7 Janvier 2016, 14h00 - 16h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Cultural heritage: from preservation to access to promotion to where ?
Alan SMEATON - Dublin City University (Irlande)
Vendredi 18 Décembre 2015, 14h00 - 16h00IRIT, Site ESPE - St-Agne - Amphi d'Alembert
Lire la suite
Reconstructing TimeLines in the KNOWLEDGESTORE
Bernardo MAGNINI - FBK, Trento (Italie)
Jeudi 10 Décembre 2015, 10h45 - 12h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
A hitchhiker's guide to Ontology
Fabian SUCHANEK - Télécom ParisTech (France)
Jeudi 10 Décembre 2015, 9h00 - 10h15UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Voting on Actions with Uncertain Outcomes
Ulle ENDRISS - University of Amsterdam (Pays-Bas)
Mardi 8 Décembre 2015, 12h30 - 14h00UT1 Capitole, Manufacture des Tabacs, Salle ME303
Lire la suite
Crowdsourcing Relevance Magnitudes
Stefano MIZZARO - Department of Mathematics & Computer Science, University of Udine (Italie)
Jeudi 3 Décembre 2015, 14h00 - 15h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Verbal associations as a natural language semantic parameter: beyond WordNet and BableNet
Irina OVCHINNIKOVA - Haifa University (Israel)
Jeudi 3 Décembre 2015, 11h00 - 12h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
The long-term benefits of following fairness norms
Emiliano LORINI - Equipe LILaC - IRIT (France)
Jeudi 12 Novembre 2015, 12h30 - 13h30UT1 Capitole, Manufacture des Tabacs, Salle des thèses
Lire la suite
User Requirements Notation : Introduction and Application to Compliance Analysis
Daniel AMYOT - Equipe MACAO - IRIT (France)
Mardi 10 Novembre 2015, 13h30 - 15h00Salle du Conseil
Lire la suite
Roles and Dynamics of Online Conversations
Alberto LUMBRERAS - Doctorant ERIC Lab / Technicolor (France)
Vendredi 16 Octobre 2015, 14h00 - 16h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Social Algorithms
Umberto GRANDI - Equipe LILaC - IRIT (France)
Vendredi 5 Juin 2015, 13h30UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Computational Processing of Arabic Dialects
Nizar HABASH - New York University, Abu Dhabi
Lundi 11 Mai 2015, 15h30UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Analyse de signaux multi-composantes: avancées théoriques et applications musicales
Dominique FOURER
Lundi 20 Avril 2015, 13h30UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Quelles mathématiques pour l'étude des automates cellulaires ? Quels apports pour les systèmes multi-agents ?
Nazim FATES - INRIA (France)
Mercredi 17 Décembre 2014, 10h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Toward Brain-Machine-Brain Interfaces for the Recovery of Vital Functions
Mohamad SAWAN - Polystim Neurotech Lab., Ecole Polytechnique de Montréal (Canada)
Vendredi 12 Décembre 2014, 11h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Challenges for Worst-Case Execution Time Analysis of Multi-Core Architectures
Jan REINEKE
Jeudi 18 Septembre 2014, 10h30UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Verified Decision Procedures for Regular Expression Equivalence
Tobias NIPKOW - Technische Universität München (Allemagne)
Mardi 2 Septembre 2014, 11h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
A sandbox metaphor for controlling users in shared interaction environments
Augusto CELENTANO - Equipe ELIPSE - Université Ca'Fostari, Venise (Italie)
Jeudi 3 Juillet 2014, 14h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Energy Efficient Computing from a Cloud Database Perspective
Jie SONG - Equipe SEPIA - IRIT (France)
Mercredi 2 Juillet 2014, 10h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Knowledge-based recommender systems. Application to the movies domain
Rafael VALENCIA-GARCIA - Equipe MELODI - University of Murcia (Espagne)
Mercredi 25 Juin 2014, 9h30UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans
Neha Shyam RUNGTA - Equipe ICS - NASA Ames Research Center, California (Etats-Unis)
Jeudi 15 Mai 2014, 15h30UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
The Geometry of Meaning: Semantics Based on Conceptual Spaces
Peter GARDENFORS - Lund University (Suède)
Lundi 7 Avril 2014, 14h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
Mine Your Own Business'' : Evidence-Based BPM using Process Mining
Wil VAN DER AALST - Technische Universiteit Eindhoven (Pays-Bas)
Mardi 25 Mars 2014, 15h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
A General Trace-Based Framework for Blaming in Component-based Systems
Gregor GOESSLER - INRIA Grenoble (France)
Lundi 27 Janvier 2014, 10h00UT3 Paul Sabatier, IRIT, Salle des Thèses
Lire la suite
Symbolic Methods for the Timing Analysis of Programs
Jakob ZWIRCHMAYR - Equipe TRACES - IRIT (France)
Lundi 27 Janvier 2014, 10h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite
From MTL to deterimistic timed automata
Dejan NICKOVIC - Austrian Institute of Technology (Autriche)
Jeudi 23 Janvier 2014, 14h00UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Lire la suite