Our partners

CNRS

Search





Home page > Français > Evénements > Séminaires

Séminaires

 

L’IRIT étant localisé sur plusieurs sites, ses séminaires sont organisés et ont lieu soit à l’Université Toulouse 3 Paul Sabatier (UT3), l’Université Toulouse 1 Capitole (UT1), l’INP-ENSEEIHT ou l’Université Toulouse 2 Jean Jaurès (UT2J).

 

Formally modeling and verifying security properties

Sigrid GÜRGENS - Fraunhofer SIT (Allemagne)

Friday 29 September 2017, 10h30 - 12h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

A quasi-Bayesian perspective to NMF: theory and applications

Benjamin GUEDJ - INRIA, Lille

Monday 25 September 2017, 14h00 - 15h30
INP-ENSEEIHT, salle F422 (Bâtiment F, 4e étage, accès par badge)
Read more

Les subventions européennes pour répondre aux défis sociétaux, à la recherche scientifique et à l'éducation

Cécile SAUVAGE - FEDACOVA (Espagne)

Wednesday 13 September 2017, 12h30 - 14h00
UT1 Capitole, Manufacture des Tabacs, Salle des thèses
Read more

The use of glossaries in early phases of software development

Leandro ANTONELLI - University of La Plata (Argentine)

Wednesday 13 September 2017, 12h30 - 14h00
UT1 Capitole, Manufacture des Tabacs, Salle des thèses
Read more

Environmental Multiway Data Mining

Jeremy COHEN - University of Mons (Belgique)

Monday 11 September 2017, 14h30 - 15h30
INP-ENSEEIHT, Salle des thèses
Read more

On the complexity of low-rank matrix approximations

Nicolas GILLIS - University of Mons (Belgique)

Monday 11 September 2017, 14h00 - 15h00
INP-ENSEEIHT, Salle des thèses
Read more

Everyday Computing with QCG MiddEveryday Computing with QCG Middleware and Toolsleware and Tools

Tomasz PIONTEK - Poznan Supercomputing and Networking Center (Pologne)

Friday 7 July 2017, 10h30 - 12h00
IRIT, Salle 175
Read more

A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem

Jean-Marie LAGNIEZ - CRIL, Université d'Artois, Lens

Friday 23 June 2017, 14h30 - 16h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Smart City from the bottom-up ¯ Wollongong's Digital Living Lab

Pascal PÉREZ - Université de Wollongong (Australie)

Friday 9 June 2017, 15h00 - 16h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Ubiquitous Analytics: the Next Frontier for Ubicomp

Pourang IRANI - Université du Manitoba (Canada)

Thursday 1 June 2017, 10h30 - 12h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Teaching Students to Learn

Andreas PRINZ - Team MACAO - Université d'Agder (Norvège)

Tuesday 30 May 2017, 10h30 - 12h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Fresh views on convex optimization : clustered optimization and integration methods of the gradient flow

Vincent ROULET - INRIA Paris (France)

Monday 29 May 2017, 14h00 - 15h30
INP-ENSEEIHT, Salle des thèses
Read more

Finite-state machine synthesis in ITMO University

Vladimir ULYANTSEV - ITMO University, Saint Petersburg (Russie)

Wednesday 24 May 2017, 10h30 - 12h00
UT3 Paul Sabatier, IRIT, Salle 001
Read more

Structure-adaptive signal denoising

Dmitrii OSTROVSKII - Université Grenoble Alpes (France)

Tuesday 23 May 2017, 10h30 - 12h00
INP-ENSEEIHT, Salle des thèses
Read more

Meeting SPOT : Data Analytic UQ cascade for aircraft shape design

Bijan MOHAMMADI - Université de Montpellier

Monday 22 May 2017, 14h00 - 15h00
INP-ENSEEIHT, Salle des thèses
Read more

Analyzing citations in context: challenges and opportunities

Cassidy R. SUGIMOTO - Indiana University Bloomington (Etats-Unis)

Wednesday 26 April 2017, 14h00 - 15h30
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

[LabEx CIMI] Aventures dans la jungle des ordres élévés en optimisation

Philippe TOINT - FUNDP Namur, Chaire d'Excellence CIMI (Belgique)

Wednesday 26 April 2017, 10h30 - 12h00
IMT, Salle de conférence MIP (1er étage, bât. 1R3)
Read more

Optimal image denoising modelling via PDE-constrained optimisation

Luca CALATRONI - Ecole Polytechnique Paris Saclay (France)

Thursday 20 April 2017, 14h00 - 15h30
ENSEEIHT, salle A001
Read more

Interactions as Social Practices: towards a formalization

Virginia And Frank DIGNUM - Delft University of Technology / Utrecht University (Pays-Bas)

Thursday 16 March 2017, 14h00 - 15h30
UT3 Paul Sabatier, IRIT, Salle 001
Read more

The role of formal approaches in machine learning

Mathieu SERRURIER - Team ADRIA - IRIT (France)

Friday 10 March 2017, 14h30 - 16h00
IRIT, Salle 175
Read more

Creating and posing 3D shapes from drawings

Alla SHEFFER - Université de British Columbia (UBC) (Canada)

Tuesday 7 March 2017, 10h00 - 12h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Graph aggregation

Umberto GRANDI - Team LILaC - IRIT (France)

Friday 3 March 2017, 14h00 - 15h30
IRIT, Salle 175
Read more

Distributional Semantics and Sentence Comprehension: The Case of Logical Metonymy

Alessandro LENCI - University of Pisa (Italie)

Friday 3 March 2017, 11h00 - 12h30
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

The (Parameterized) Complexity of (Positional) Games

Abdallah SAFFIDINE - The University of New South Wales (Australie)

Thursday 2 March 2017, 14h00 - 15h30
IRIT, Salle 175
Read more

Social Planning - Reasoning with and about others

Tim MILLER - University of Melbourne (Australie)

Monday 27 February 2017, 12h30 - 14h00
UT1 Capitole, Manufacture des Tabacs, Salle ME303
Read more

Symbolic Dynamics, Asymptotic Combinatorics and Game Theory

Nicolaï VASILYEV - Inst. de Mathématiques Steklov, St. Petersbourg (Russie)

Tuesday 21 February 2017, 16h00 - 17h30
UT3 Paul Sabatier, IRIT, Salle 001
Read more

Novel ways to develop weights process in multiple criteria decision making

Morteza YAZDANI - Team ADRIA - IRIT (France)

Tuesday 17 January 2017, 12h30 - 14h00
Manufacture des Tabacs - TBA
Read more

A new dimension of Cloud Governance

Ernesto PIMENTEL - Université de Malaga (Espagne)

Tuesday 10 January 2017, 14h00 - 15h30
INP-ENSEEIHT, Salle des thèses
Read more

Challenges in Certification of Model-Based Design of Cyber-Physical Systems

Alain WASSYNG - Université de Mac Master, Hamilton, Ontario (Canada)

Tuesday 13 December 2016, 16h00 - 17h30
ENSEEIHT, Amphitheâtre A002
Read more

How to rapidly share knowledge by gossiping

Faustine MAFFRE - Team LILaC - IRIT (France)

Monday 12 December 2016, 12h30 - 14h00
UT1 Capitole, Manufacture des Tabacs, Salle ME302
Read more

Cartesian Genetic Programming

Julian MILLER - Department of Electronics, University of York, UK

Friday 2 December 2016, 12h30 - 14h00
Manufacture des tabacs, salle MQ 212 -
Read more

Recent works on Compressed Ultrasound beamforming and brain connectivity analysis by diffusion MRI imaging at EPFL

  BESSON A., THIRAN J-P - Ecole Polytechnique Fédérale de Lausanne, LTS5 (Suisse)

Friday 25 November 2016, 15h30 - 17h00
UT3 Paul Sabatier, IRIT, Salle 001
Read more

A Test Collection for Research on Depression and Language Use

Fabio CRESTANI - Faculty of Informatics, University of Lugano (Suisse)

Monday 7 November 2016, 14h00 - 16h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Position-based Skin Deformations for Interactive Character Animation

Nadine ABU RUMMAN - doctoral Researcher at Friedrich-Alexander University (Allemagne)

Monday 7 November 2016, 13h30 - 15h00
IRIT, Salle 175
Read more

Recommendation strategies for music discovery at Pandora

Fabien GOUYON - Principal Scientist, Internet radio Pandora (Royaume-Uni)

Thursday 3 November 2016, 14h00 - 15h30
ENSEEIHT, Salle A203
Read more

Automatic Role Detection in Online Forums

Alberto LUMBRERAS - Team SC - IRIT (France)

Thursday 27 October 2016, 16h00 - 17h30
ENSEEIHT, salle A001
Read more

Planning in Artificial Intelligence: Heuristics, Models, and Transformations

Hector GEFFNER - Universitat Pompeu Fabra, Barcelona (Espagne)

Thursday 20 October 2016, 14h00 - 16h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Access Structures of Weighted Threshold Ideal Secret Sharing Schemes

Arkadii SLINKO - University of Auckland (Nouvelle-Zélande)

Thursday 6 October 2016, 12h30 - 14h00
Manufacture des Tabacs, Salle ME302
Read more

Advanced human robot social interaction: goals, challenges and approaches

Sarah COSENTINO - Waseda University (Japon)

Wednesday 31 August 2016, 10h00 - 12h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

A Brief History of Checkpointing and Its Applications

Gene COOPERMAN - Northeastern University, College of Computer and Information Science (Etats-Unis)

Thursday 7 July 2016, 16h00 - 17h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Social Information Seeking: Leveraging the Wisdom of the Crowd

Chirag SHAH - Rutgers University (Etats-Unis)

Thursday 16 June 2016, 14h20 - 16h30
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Electing representatives

Marc KILGOUR - Université Wilfrid Laurier, Waterloo (Canada)

Tuesday 31 May 2016, 10h00 - 12h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Distributed Semantics for Automatically Classifying Discourse Relations

Jacob EISENSTEIN - Georgia Tech, Atlanta (Etats-Unis)

Tuesday 17 May 2016, 14h30 - 16h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Maximin Envy - Free Division of Indivisible Items

Marc KILGOUR - Université Wilfrid Laurier, Waterloo (Canada)

Tuesday 10 May 2016, 12h30 - 14h00
UT1 Capitole, Manufacture des Tabacs, Salle ME303
Read more

Nonnegative matrix factorisation and some applications in audio signal processing

Cédric FÉVOTTE - Team SC - CNRS, Observatoire de la Côte d'Azur & Université Nice Sophia Antipolis (France)

Tuesday 23 February 2016, 13h30 - 15h30
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

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)

Friday 12 February 2016, 10h00 - 12h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Cultural heritage: from preservation to access to promotion to where ?

Alan SMEATON - Dublin City University (Irlande)

Friday 18 December 2015, 14h00 - 16h00
IRIT, Site ESPE - St-Agne - Amphi d'Alembert
Read more

Reconstructing TimeLines in the KNOWLEDGESTORE

Bernardo MAGNINI - FBK, Trento (Italie)

Thursday 10 December 2015, 10h45 - 12h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

A hitchhiker's guide to Ontology

Fabian SUCHANEK - Télécom ParisTech (France)

Thursday 10 December 2015, 9h00 - 10h15
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Voting on Actions with Uncertain Outcomes

Ulle ENDRISS - University of Amsterdam (Pays-Bas)

Tuesday 8 December 2015, 12h30 - 14h00
UT1 Capitole, Manufacture des Tabacs, Salle ME303
Read more

Crowdsourcing Relevance Magnitudes

Stefano MIZZARO - Department of Mathematics & Computer Science, University of Udine (Italie)

Thursday 3 December 2015, 14h00 - 15h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Verbal associations as a natural language semantic parameter: beyond WordNet and BableNet

Irina OVCHINNIKOVA - Haifa University (Israel)

Thursday 3 December 2015, 11h00 - 12h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

The long-term benefits of following fairness norms

Emiliano LORINI - Team LILaC - IRIT (France)

Thursday 12 November 2015, 12h30 - 13h30
UT1 Capitole, Manufacture des Tabacs, Salle des thèses
Read more

User Requirements Notation : Introduction and Application to Compliance Analysis

Daniel AMYOT - Team MACAO - IRIT (France)

Tuesday 10 November 2015, 13h30 - 15h00
Salle du Conseil
Read more

Roles and Dynamics of Online Conversations

Alberto LUMBRERAS - Doctorant ERIC Lab / Technicolor (France)

Friday 16 October 2015, 14h00 - 16h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Social Algorithms

Umberto GRANDI - Team LILaC - IRIT (France)

Friday 5 June 2015, 13h30
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Computational Processing of Arabic Dialects

Nizar HABASH - New York University, Abu Dhabi

Monday 11 May 2015, 15h30
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Toward Brain-Machine-Brain Interfaces for the Recovery of Vital Functions

Mohamad SAWAN - Polystim Neurotech Lab., Ecole Polytechnique de Montréal (Canada)

Friday 12 December 2014, 11h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Challenges for Worst-Case Execution Time Analysis of Multi-Core Architectures

Jan REINEKE

Thursday 18 September 2014, 10h30
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Verified Decision Procedures for Regular Expression Equivalence

Tobias NIPKOW - Technische Universität München (Allemagne)

Tuesday 2 September 2014, 11h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

A sandbox metaphor for controlling users in shared interaction environments

Augusto CELENTANO - Team ELIPSE - Université Ca'Fostari, Venise (Italie)

Thursday 3 July 2014, 14h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Energy Efficient Computing from a Cloud Database Perspective

Jie SONG - Team SEPIA - IRIT (France)

Wednesday 2 July 2014, 10h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Knowledge-based recommender systems. Application to the movies domain

Rafael VALENCIA-GARCIA - Team MELODI - University of Murcia (Espagne)

Wednesday 25 June 2014, 9h30
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Ensuring Aviation Safety: Verification of Interactions between Automated Systems and Humans

Neha Shyam RUNGTA - Team ICS - NASA Ames Research Center, California (Etats-Unis)

Thursday 15 May 2014, 15h30
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

The Geometry of Meaning: Semantics Based on Conceptual Spaces

Peter GARDENFORS - Lund University (Suède)

Monday 7 April 2014, 14h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

Mine Your Own Business'' : Evidence-Based BPM using Process Mining

Wil VAN DER AALST - Technische Universiteit Eindhoven (Pays-Bas)

Tuesday 25 March 2014, 15h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

A General Trace-Based Framework for Blaming in Component-based Systems

Gregor GOESSLER - INRIA Grenoble (France)

Monday 27 January 2014, 10h00
UT3 Paul Sabatier, IRIT, Salle des Thèses
Read more

Symbolic Methods for the Timing Analysis of Programs

Jakob ZWIRCHMAYR - Team TRACES - IRIT (France)

Monday 27 January 2014, 10h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more

From MTL to deterimistic timed automata

Dejan NICKOVIC - Austrian Institute of Technology (Autriche)

Thursday 23 January 2014, 14h00
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
Read more