Enzian: making systems software research relevant in the face of custom hardware

Timothy ROSCOE - ETH (Suisse)

The Evolution of Belief Rule Based Expert Systems: A New Paradigm of Computing

Mohammad SHAHADAT HOSSAIN - Dpt of Computer Science and Engineering, University of Chittagong (Bengladesh)

From Pipes to Processors: Building High Performance Network Middleware

Timothy WOODS - George Washington University (Etats-Unis)

Utilisation des Dépendances fonctionnelles pour l'optimisation des Requêtes multidimensionnelles

Sofian MAABOUT - LaBRI, Bordeaux

The Maths behind Secrets

Pino CABALLERO-GIL - University of La Laguna (ULL) (Espagne)

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)

Basics of Cryptology

Pino CABALLERO-GIL

Knowledge Representation for General Problem-Solving Systems and Robots

Michael THIELSCHER - Université de Nouvelle-Galles-du-Sud (Australie)

A polarization framework for bivariate signal processing

Julien FLAMANT - CRIStAL, Lille (France)

Séminaire « Savoirs, Réseaux, Médiations » (SRM) : Auteurs et collectifs de fanfictions sur internet

Aurore DERAMOND - LISST-CERS, Université de Toulouse

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)

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)

Patch-based regularization in multiband imaging inverse problems

José BIOUCAS - University of Lisboa (Portugal)

Algorithmes naturels et systèmes d'influence

Bernadette CHARRON-BOST - Laboratoire d'informatique de l'École Polytechnique (LIX) (France)

Diversity and uniqueness in coupled decompositions

Dana LAHAT - Gipsa-Lab

Coping with the Software Dependability Analysis Leap

Genaina RODRIGUES - University of Brasilia (Brésil)

Thematic Semester LabEx CIMI on Mathematic and Computer Science in Biology: Computational biophotonics and surgical data science for next-generation cancer treatment

Prof. Dr. Lena MAIER-HEIN - Div. Computer Assisted Medical Interventions (CAMI) German Cancer Research Center (DKFZ) (Allemagne)

Thematic Semester LabEx CIMI on Mathematic and Computer Science in Biology: Opportunities and challenges of using clinical data, including that from the electronic health record

William R. HERSH - Oregon Health & Science University (OHSU) (Etats-Unis)

Novel Importance Sampling Techniques for Bayesian Inference

Victor ELVIRA - CRIStAL, Lille (France)

[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)

From perceptrons to Alpha Go and beyond: An overview of Deep Learning

Dennis WILSON - Equipe VORTEX - IRIT (France)

p-leader analysis and classification of oscillating singularities

Roberto LEONARDUZZI - Laboratoire de Physique, ENS DE LYON

Présentation du projet SeDuCe

Jean-Marc MENAUD - Ecole des Mines de Nantes

How to increase efficiency with the certification of process compliance

Barbara GALLINA - Mälardalen University (Suède)

Exact continuous relaxations for the l0-regularized least-squares criteria

Emmanuel SOUBIES - École Polytechnique Fédérale de Lausanne (EPFL) (Suisse)

Formally modeling and verifying security properties

Sigrid GÜRGENS - Fraunhofer SIT (Allemagne)

A quasi-Bayesian perspective to NMF: theory and applications

Benjamin GUEDJ - INRIA, Lille

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

Cécile SAUVAGE - FEDACOVA (Espagne)

The use of glossaries in early phases of software development

Leandro ANTONELLI - University of La Plata (Argentine)

Environmental Multiway Data Mining

Jeremy COHEN - University of Mons (Belgique)

On the complexity of low-rank matrix approximations

Nicolas GILLIS - University of Mons (Belgique)

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

Tomasz PIONTEK - Poznan Supercomputing and Networking Center (Pologne)

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

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

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

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

Ubiquitous Analytics: the Next Frontier for Ubicomp

Pourang IRANI - Université du Manitoba (Canada)

Teaching Students to Learn

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

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

Vincent ROULET - INRIA Paris (France)

Finite-state machine synthesis in ITMO University

Vladimir ULYANTSEV - ITMO University, Saint Petersburg (Russie)

Structure-adaptive signal denoising

Dmitrii OSTROVSKII - Université Grenoble Alpes (France)

Meeting SPOT : Classification algébrique pour le contrôle optimal en Imagerie à Résonance Magnétique

Thibaut VERRON - Equipe APO - IRIT (France)

Meeting SPOT : Data Analytic UQ cascade for aircraft shape design

Bijan MOHAMMADI - Université de Montpellier

Mon téléphone n'est plus une brique quand je veux écrire

Philippe ROUSSILLE - Equipe SIG - IRIT (France)

Analyzing citations in context: challenges and opportunities

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

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

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

Optimal image denoising modelling via PDE-constrained optimisation

Luca CALATRONI - Ecole Polytechnique Paris Saclay (France)

Interactions as Social Practices: towards a formalization

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

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)

Les sciences du complexe : survol historique, les systèmes dynamiques non linéaires, un renouveau de la pensée scientifique

Janine GUESPIN-MICHEL - Professeur émérite de microbiologie (France)

The role of formal approaches in machine learning

Mathieu SERRURIER - Equipe ADRIA - IRIT (France)

Creating and posing 3D shapes from drawings

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

Graph aggregation

Umberto GRANDI - Equipe LILaC - IRIT (France)

Distributional Semantics and Sentence Comprehension: The Case of Logical Metonymy

Alessandro LENCI - University of Pisa (Italie)

The (Parameterized) Complexity of (Positional) Games

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

Social Planning - Reasoning with and about others

Tim MILLER - University of Melbourne (Australie)

Synthèse d'images

Rémi COZOT - IRISA Rennes (France)

Symbolic Dynamics, Asymptotic Combinatorics and Game Theory

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

Ingénierie des Exigences

Nacer Eddine ZAROURDE - Université Constantine 2 (Algérie)

Novel ways to develop weights process in multiple criteria decision making

Morteza YAZDANI - Equipe ADRIA - IRIT (France)

A new dimension of Cloud Governance

Ernesto PIMENTEL - Université de Malaga (Espagne)

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

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

How to rapidly share knowledge by gossiping

Faustine MAFFRE - Equipe LILaC - IRIT (France)

Cartesian Genetic Programming

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

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)

A Test Collection for Research on Depression and Language Use

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

Position-based Skin Deformations for Interactive Character Animation

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

Présentation du projet Onko3D

Sylvain CUSSAT-BLANC - Equipe VORTEX - IRIT (France)

Recommendation strategies for music discovery at Pandora

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

Automatic Role Detection in Online Forums

Alberto LUMBRERAS - Equipe SC - IRIT (France)

Planning in Artificial Intelligence: Heuristics, Models, and Transformations

Hector GEFFNER - Universitat Pompeu Fabra, Barcelona (Espagne)

Access Structures of Weighted Threshold Ideal Secret Sharing Schemes

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

Analyse de traces et systèmes centrés utilisateur

Julien ALIGON - Equipe SIG - IRIT (France)

Bibliométrie et études de genres en sciences

Jacqueline LETA - Université Fédérale de Rio de Janeiro (Brésil)

Advanced human robot social interaction: goals, challenges and approaches

Sarah COSENTINO - Waseda University (Japon)

A Brief History of Checkpointing and Its Applications

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

Quelle évolution pour les environnements numériques d'apprentissage des campus universitaires ?

Laurence CAPUS - Université de Laval, Québec (Canada)

Social Information Seeking: Leveraging the Wisdom of the Crowd

Chirag SHAH - Rutgers University (Etats-Unis)

Electing representatives

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

Distributed Semantics for Automatically Classifying Discourse Relations

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

Maximin Envy - Free Division of Indivisible Items

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

Cycle Sacrée Science, Café du Quai : L'Intelligence artificielle, de quoi s'agit-il vraiment ?

Henri PRADE - Equipe ADRIA - IRIT (France)

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)

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)

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)

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)

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)

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

Alan SMEATON - Dublin City University (Irlande)

Reconstructing TimeLines in the KNOWLEDGESTORE

Bernardo MAGNINI - FBK, Trento (Italie)

A hitchhiker's guide to Ontology

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

Voting on Actions with Uncertain Outcomes

Ulle ENDRISS - University of Amsterdam (Pays-Bas)

Crowdsourcing Relevance Magnitudes

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

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

Irina OVCHINNIKOVA - Haifa University (Israel)

The long-term benefits of following fairness norms

Emiliano LORINI - Equipe LILaC - IRIT (France)

User Requirements Notation : Introduction and Application to Compliance Analysis

Daniel AMYOT - Equipe MACAO - IRIT (France)

Roles and Dynamics of Online Conversations

Alberto LUMBRERAS - Doctorant ERIC Lab / Technicolor (France)

Social Algorithms

Umberto GRANDI - Equipe LILaC - IRIT (France)

Computational Processing of Arabic Dialects

Nizar HABASH - New York University, Abu Dhabi

Analyse de signaux multi-composantes: avancées théoriques et applications musicales

Dominique FOURER

Quelles mathématiques pour l'étude des automates cellulaires ? Quels apports pour les systèmes multi-agents ?

Nazim FATES - INRIA (France)

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

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

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

Jan REINEKE

Verified Decision Procedures for Regular Expression Equivalence

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

A sandbox metaphor for controlling users in shared interaction environments

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

Energy Efficient Computing from a Cloud Database Perspective

Jie SONG - Equipe SEPIA - IRIT (France)

Knowledge-based recommender systems. Application to the movies domain

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

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

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

The Geometry of Meaning: Semantics Based on Conceptual Spaces

Peter GARDENFORS - Lund University (Suède)

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

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

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

Gregor GOESSLER - INRIA Grenoble (France)

Symbolic Methods for the Timing Analysis of Programs

Jakob ZWIRCHMAYR - Equipe TRACES - IRIT (France)

From MTL to deterimistic timed automata

Dejan NICKOVIC - Austrian Institute of Technology (Autriche)