Les séminaires sont l'occasion pour l'équipe MC3 de se retrouver de manière informelle, autour d'un thème introduit par l'orateur du jour.

Ils ont généralement lieu le jeudi à 14h30 et sont ouverts à tous.

Pour être informés des séminaires à venir, consultez régulièrement cette page ou écrivez à gabriele.fici [at] unice.fr pour vous inscrire ou vous désinscrire de la liste de diffusion. Si vous utilisez un logiciel d'agenda au format iCalendar, vous pouvez également vous abonner au calendrier à l'adresse webcal://mc3.i3s.unice.fr/seminaires/ical_1112.php  

Signalons au passage le séminaire du pôle MDSC dont fait partie notre équipe ainsi que le Colloquium Jacques Morgenstern.

Programme des exposés

  • date à déterminer

Exposés précédents

  • Automated Validation of Internet Security Protocols using AVISPA, Sheikh Ziauddin (I3S, Sophia Antipolis).
    Jeudi 10 mai 2012. 14h30, salle de réunion (I3S).
    Résumé.
  • On non-standard string matching: problems and algorithms, Zsuzsanna Lipták (Università di Verona, Italie).
    Jeudi 26 avril 2012. 14h30, salle de conférences (I3S).
    Résumé.
  • Transducteurs bidirectionnels, Olivier Carton (LIAFA, Paris).
    Jeudi 19 avril 2012. 15h, salle de réunion (I3S).
    Résumé.
  • Cellular automata between sofic tree shifts, Francesca Fiorenzi (LRI, Orsay).
    Jeudi 05 avril 2012. 14h30, salle de conférences (I3S).
    Résumé.
  • Planar Configurations Induced by Exact Polyominoes, Daniela Battaglino (Università di Siena, Italie).
    Jeudi 16 février 2012. 15h30, salle de conférences (I3S).
    Résumé.
  • String inference from integer arrays, Arnaud Lefebvre (LITIS, Rouen).
    Jeudi 16 février 2012. 14h30, salle de conférences (I3S).
    Résumé.
  • Particle dynamics in cellular automata: known results and open questions, Enrico Formenti (I3S, Sophia Antipolis).
    Jeudi 09 février 2012. 14h30, salle de conférences (I3S).
    Résumé.
  • Modélisation spatiale et déplacements pédestres, Fabrice Decoupigny (Université de Nice - Sophia Antipolis).
    Jeudi 19 janvier 2012. 14h30, salle de conférences (I3S).
    Résumé.
  • Soutenance de thèse : Des codes pour engendrer les langages de mots infinis, Tran Vinh Duc (I3S, Sophia Antipolis).
    Vendredi 16 décembre 2011. 14h, salle de conférences (I3S).
    Résumé.
  • Complexité abélienne, Gwénaël Richomme (LIRMM, Montpellier).
    Vendredi 16 décembre 2011. 10h, salle de conférences (I3S).
    Résumé.
  • Classification des règles de rayon 2 d'automates cellulaires élémentaires vis à vis de la résilience, Bruno Martin (I3S, Sophia Antipolis).
    Jeudi 08 décembre 2011. 14h30, salle de conférences (I3S).
    Résumé.
  • Complexity of Non-Uniform Cellular Automata, Julien Provillard (I3S, Sophia Antipolis).
    Jeudi 27 octobre 2011. 14h30, salle de conférences (I3S).
    Résumé.
  • Réseaux d'automates : trente ans de recherche, Eric Goles (Universidad Adolfo Ibanez, Santiago du Chili).
    Jeudi 20 octobre 2011. 11h, Colloquium Jacques Morgenstern (INRIA).
  • Minimal uncompletable words, Sandrine Julia (I3S, Sophia Antipolis).
    Jeudi 13 octobre 2011. 15h30, salle de conférences (I3S).
    Résumé.
  • Yet Another Talk on Sub-Computabilities, Grégory Lafitte (LIF, Marseille).
    Jeudi 29 septembre 2011. 13h, salle de conférences (I3S).
    Résumé.
  • Stochastic modelling of biological systems: membrane systems in Systems Biology, Giancarlo Mauri (Università di Milano-Bicocca, Milano).
    Mercredi 28 septembre 2011. 13h30, salle 4/2 Bat. TP Physique (Valrose).
    Résumé.