ACTUALITÉS

  • jan
    25
    2019
    École d’hiver du GdR Robotique

    L'équipe SIS, en particulier Guillaume Allibert, participe à l'organisation de l'École d’hiver du GdR Robotique, sur les fondamentaux de la robotique. L'école se tient au centre INRIA Sophia Méditerranée, du 21 au 25 janvier 2019.

    Pour en savoir plus : consultez le site de Robotics Principia
  • fév
    24
    2019
    MDSC participe à l'organisation de BIOINFORMATICS 2019

    La 10e International Conference on Bioinformatics Models, Methods and Algorithms - BIOINFORMATICS 2019 a lieu du 22 au 24 février 2019 à Prague. Elisabetta De Maria, équipe MDSC, en est "Program Chair".

    Pour en savoir plus : consultez les pages de la conférence BIOINFORMATICS 2019
  • mar
    8
    2019
    École jeunes chercheurs en informatique mathématique

    L'équipe MDSC, en particulier Bruno Marin, participe à l'organisation de École jeunes chercheurs en informatique mathématique, à Marseille, du 4 au 8 mars 2019.

    Pour en savoir plus : consultez l'EJCMI
  • mar
    22
    2019
    IEEE-RIVF 2019

    Nhan Le Thanh, équipe SPARKS, est co-Programm Chair de la conférence "IEEE-RIVF International Conference on Computing and Communication Technologies" 2019. La conférence a lieu à Danang City, Vietnam, du 20 au 22 mars 2019.

    Pour en savoir plus : consultez le site de la conférence
  • mai
    14
    2019
    Workshop HyperAgents

    L'équipe SARKS, en particulier Fabien Gandon, Olivier Corby et Franck Michel, participe à l'organisation du workshop HyperAgents 2019 les 13 et 14 mai 2019 à San Francisco, en lien avec the Web Conference. Le workshop porte sur les systèmes multi-agents et le web.

    Pour en savoir plus : consultez le site du workshop HyperAgents 2019
  • juin
    6
    2019
    ESWC 2019

    Serena Villata, équipe SPARKS, est co-chair de la session "Natural Language Processing and Information Retrieval" de la conférence Extended Semantic Web Conference (ESWC) 2019, du 2 au 6 juin 2019, à Portorož (Slovenie)

    Pour en savoir plus : consultez le site de ESWC 2019
  • sep
    6
    2019
    SPARKS participe à l'organisation de Interact 2019

    La 17e IFIP TC.13 International Conference on Human-Computer Interaction – INTERACT 2019 a lieu à Paphos (Chypre), du 2 au 6 septembre 2019. Marco Winckler, équipe Sparks, en est "Technical Program Co-Chair".

    Pour en savoir plus : consultez les pages de la conférence Interact 2019
  • sep
    13
    2019
    SLPC 2019

    L'équipe SPARKS, en particulier Philippe Collet (tutorials) et Sébastien Mosser (publicity), est impliquée dans l'organisation de la conférence SPLC 2019, 23th International Systems and Software Product Line Conference, du 9 au 13 septembre 2109 à Paris.

    Pour en savoir plus : consultez le site de SPLC 2019
  • oct
    30
    2019
    ISCW 2019

    Fabien Gadon, équipe SPARKS, est genral chair de la conférence ISWC, The 18th International Semantic Web Conference, October 26 – 30, 2019, The University of Auckland, New Zealand.

    Pour en savoir plus : consultez le site de ISWC 2019
  • déc
    31
    2019
    80 ans du CNRS

    En 2019, le CNRS fête ses 80 ans (et le laboratoire I3S ses 30 ans). La délégation régionale du CNRS Côte d'Azur (DR20) dont fait partie le laboratoire propose des manifestations pendant toute l'année 2019.

ACTUALITÉS (tout voir)

jan
1
2019
80 ans du CNRS

En 2019, le CNRS fête ses 80 ans (et le laboratoire I3S ses 30 ans). La délégation régionale du CNRS Côte d'Azur (DR20) dont fait partie le laboratoire propose des manifestations pendant toute l'année 2019.

jan
21
2019
École d’hiver du GdR Robotique

L'équipe SIS, en particulier Guillaume Allibert, participe à l'organisation de l'École d’hiver du GdR Robotique, sur les fondamentaux de la robotique. L'école se tient au centre INRIA Sophia Méditerranée, du 21 au 25 janvier 2019.

Pour en savoir plus : consultez le site de Robotics Principia
fév
22
2019
MDSC participe à l'organisation de BIOINFORMATICS 2019

La 10e International Conference on Bioinformatics Models, Methods and Algorithms - BIOINFORMATICS 2019 a lieu du 22 au 24 février 2019 à Prague. Elisabetta De Maria, équipe MDSC, en est "Program Chair".

Pour en savoir plus : consultez les pages de la conférence BIOINFORMATICS 2019
mar
4
2019
École jeunes chercheurs en informatique mathématique

L'équipe MDSC, en particulier Bruno Marin, participe à l'organisation de École jeunes chercheurs en informatique mathématique, à Marseille, du 4 au 8 mars 2019.

Pour en savoir plus : consultez l'EJCMI
mar
20
2019
IEEE-RIVF 2019

Nhan Le Thanh, équipe SPARKS, est co-Programm Chair de la conférence "IEEE-RIVF International Conference on Computing and Communication Technologies" 2019. La conférence a lieu à Danang City, Vietnam, du 20 au 22 mars 2019.

Pour en savoir plus : consultez le site de la conférence
mai
13
2019
Workshop HyperAgents

L'équipe SARKS, en particulier Fabien Gandon, Olivier Corby et Franck Michel, participe à l'organisation du workshop HyperAgents 2019 les 13 et 14 mai 2019 à San Francisco, en lien avec the Web Conference. Le workshop porte sur les systèmes multi-agents et le web.

Pour en savoir plus : consultez le site du workshop HyperAgents 2019
juin
2
2019
ESWC 2019

Serena Villata, équipe SPARKS, est co-chair de la session "Natural Language Processing and Information Retrieval" de la conférence Extended Semantic Web Conference (ESWC) 2019, du 2 au 6 juin 2019, à Portorož (Slovenie)

Pour en savoir plus : consultez le site de ESWC 2019
sep
2
2019
SPARKS participe à l'organisation de Interact 2019

La 17e IFIP TC.13 International Conference on Human-Computer Interaction – INTERACT 2019 a lieu à Paphos (Chypre), du 2 au 6 septembre 2019. Marco Winckler, équipe Sparks, en est "Technical Program Co-Chair".

Pour en savoir plus : consultez les pages de la conférence Interact 2019
sep
9
2019
SLPC 2019

L'équipe SPARKS, en particulier Philippe Collet (tutorials) et Sébastien Mosser (publicity), est impliquée dans l'organisation de la conférence SPLC 2019, 23th International Systems and Software Product Line Conference, du 9 au 13 septembre 2109 à Paris.

Pour en savoir plus : consultez le site de SPLC 2019
oct
26
2019
ISCW 2019

Fabien Gadon, équipe SPARKS, est genral chair de la conférence ISWC, The 18th International Semantic Web Conference, October 26 – 30, 2019, The University of Auckland, New Zealand.

Pour en savoir plus : consultez le site de ISWC 2019

LE LABORATOIRE I3S

 C’est sur le campus Sophia Tech, au cœur de la technopole sophipolitaine que notre laboratoire effectue des recherches dans le domaine des sciences de l’information et de la communication.
« Faire avancer la connaissance, tenir compte des réalités économiques et technologiques, tout en imaginant les solutions de demain ».

Le laboratoire I3S est un des plus importants laboratoires de recherche en sciences de l’information et de la communication de la Côte d’Azur et a été un des premiers à s’installer sur la technopole de Sophia Antipolis. Il rassemble un peu moins de 300 personnes. [+...]

En partenariat avec le CNRS et Inria, et par de très nombreuses collaborations industrielles, nous travaillons sur des thématiques de recherche innovantes, à la pointe de la science et de la technologie : systèmes et réseaux ubiquitaires, biologie et santé numériques, modélisation pour l’environnement, interactions et usages. [+...]

 

 

Le laboratoire est constitué de 4 équipes :
Equipe COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués)
Equipe MDSC (Modèles Discrets pour les Systèmes Complexes)
Équipe SIS (Signal, Image et Systèmes)
Équipe SPARKS (acronyme en anglais signifiant logiciels omniprésents à différentes échelles et systèmes centrés sur les connaissances)

 

DERNIERS DÉPÔTS I3S DANS HAL

Julien Bensmail, Thibaut Blanc, Nathann Cohen, Frédéric Havet, Leonardo Rocha.
Backbone colouring and algorithms for TDMA scheduling.
2019
 
Bruno Martin.
Pseudo-random sequence generation with cellular automata.
6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan
Clément Duffau.
Justification Factory : from justification requirements elicitation to their continuous production.
Modélisation et simulation. Université Côte d'Azur, 2018. Français. 〈NNT : 2018AZUR4094〉
 
Enrico Formenti, Sébastien Autran.
More Decision Algorithms for Global Properties of 1D Cellular Automata.
Journal of Cellular Automata, Old City Publishing, 2018
 
Alberto Dennunzio, Valentina Dorigatti, Enrico Formenti, Luca Manzoni, Antonio Porreca.
Polynomial Equations over Finite, Discrete-Time Dynamical Systems.
Cellular Automata, pp.298-306, 2018

FOCUS DU MOIS

Joëlle Despeyroux, Amy Felty, Pietro Lio and Carlos Olarte.
MLCSB 2018
 

Bioinformatic, Linear Logic, Model, Breast Cancer

Data streams for a personalised breast cancer programme could include collections of image data, tumour genome sequencing, likely at the single cell level, and liquid biopsies (DNA and Circulating Tumour Cells (CTCs)). Although they are rich in information, the full power of these datasets will not be realised until we develop methods to model the cancer systems and conduct analyses that transect these streams. In addition  to machine learning approaches, we believe that logical reasoning has the potential to provide help in clinical decision support systems for doctors. The autors develop a logical approach to modelling cancer progression, focusing on mutation analysis and CTCs, which include the appearance of driver mutations, the transformation of normal cells to cancer cells in the breast, their circulation in the blood, and their path to the bone.
Long term goal is to improve the prediction of survival of metastatic breast cancer patients. The autors model the behaviour of the CTCs as a transition system, and we use Linear Logic (LL) to reason about our model. The autors consider several important properties about CTCs and prove them in LL. In addition, The autors formalise our results in the Coq Proof Assistant, thus providing formal proofs of their model. The autors believe that our results provide a promising proof-of-principle and can be generalised to other
cancer types and groups of driver mutations.