Invited Talks

CECAM workshop - Computation and Allostery, Lausanne, Switzerland, 2018.

2nd Regional Student Group Luxembourg, congres organized by the ISCB Regional Student Group Luxembourg, Belval, Luxembourg. Plenary lecture, 2017.

XXVIth AILA (Italian Logic Association) meeting, Padova, Italy, 2017

CIBB2017: Computational Intelligence methods for Bioinformatics and Biostatistics, Cagliari, Italy, 2017.

Visualiser l'action - RES2, second meeting of the conference series "Research in data visualization", CNAM, Paris, 2017.

Bioinformatics of protein-protein interactions, course organised by the Center of Bioinformatics, Biostatistics and Integrative Biology (C3BI), Institut Pasteur, 2017.

Centre for Mathematical Medicine and Biology Seminar Series, University of Nottingham, UK, 2017.

Co-evolution, fitness landscapes and epistasis, workshop, Museum National d'Histoire Naturelle, Paris, 2017.

qBio, workshop on quantitative biology organised at IFOM, Milano, Italie, 2017.

Parikh's 80th Birthday Celebration, The Graduate Center of the City University of New York, New York, US, 2016.

Center for Studies in Physics and Biology seminar series, Rockefeller University, New York, 2016

Sciences de la vie, sciences de l'information, Château de Cerisy-la-Salle, France, 2016.

Modeling from Structures to Systems, symposium, Imperial Centre for Integrative Systems Biology and Bioinformatics and The Crick Institute, Londre, UK, 2016.

Colloque inaugurale de l'Institut de Biologie Paris-Seine, Université Pierre et Marie Curie et CNRS, Paris, France, 2015.

Colloque annuel de l'UFR de Biologie, Université Pierre et Marie Curie, Paris, France, 2015.

DMV-Jahrestagung 2015, the annual national meeting of the Deutsche Mathematiker-Vereinigung (DMV), Hamburg, Germany, 2015. Keynote Lecture.

14th International Symposium on Experimental Algorithms - SEA 2015, UPMC, Paris, France, 2015.

Jacques Monod conference ``Marine Eco-Systems Biology''. Organized by the CNRS, Roscoff, France, 2015.

Stazione Zoologica 2015 Annual Seminar Series, Stazione Zoologica Anton Dohrn, Naples, Italie, 2015.

Colloquium d'informatique de l'UPMC. Organized by the Department of Computer Science, UPMC, Paris, France, 2015.

BIOMAT-2014, Banach Center, Bedlevo, Poland. November, 2-8, 2014. Keynote Lecture.

Bringing Maths to Life, CNR, Naples, Italy, 2014. Plenary Lecture.

Computability in Europe 2014: Language, Life, Limits (CiE14), Budapest, Hungary, 2014. Plenary lecture.

3rd French-Israeli Workshop on Foundations of Computer Science (FILOFOCS), Paris, 2014.

Eukaryotic -Omics: Exploring and testing with next-generation sequencing, University of Geneva, Switzerland, 2014. Keynote Lecture.

Statistical Methods for Post Genomic Data analysis (SMPGD 2014), Paris, France, 2014.

Mathematical Modeling of Complex Systems, Department of Mathematics Applied to Systems, Ecole Centrale Paris, France, 2013.

Leçons de mathématiques d’aujourd’hui, Departments of Mathematics and Computer Science, University of Bordeaux, France, 2013.

A Changing Ocean - EUR Oceans Hot Topics Conference, Gran Canaria, Canary Islands, Spain, 2013. Keynote lecture.

1st FVG PhD Symposium, PhD school organized by the University of Udine, University of Trieste and the Institute SISSA, Grado, Italy, 2013. Keynote lectures.

19th International Conference on DNA Computing and Molecular Programming, plenary talk, Arizona State University, Tempe, Arizona, USA, 2013.

Workshop on Comparative Genomics GTGC, University of Lille 1, France, 2012.

XXIX International Colloquium on Group-Theoretical Methods in Physics (GROUP29), session ''Applications in Biology". The Chern Institute of Mathematics, Nankai University, Tianjin, China, August, 2012.

The Biology and Physics of Bacterial Genome Organization. Workshop at the Lorentz Center, Leiden, the Netherlands. June 2012.

Jacques Monod conference ``Theoretical and empirical advances in evolutionary genomics''. Organized by the CNRS, Roscoff, France, April 2012.

Discrete and Topological Models in Mathematical Biology, satellite workshop of the annual conference of the American Mathematical Society, University of Florida, Tampa, USA, March 2012.

Conférences du jeudi, organised by the Scientific Committee of the National Institute of Biological Sciences (INSB), CNRS, Paris, France, January 2012.

Skima 2011. 5th IEEE International Conference on Software Knowledge Information, Industrial Management and Applications. Organised by the University of Sannio, Benevento. Institute of Genetic Research Gaetano Salvatore, Ariano Irpino, Italy, September, 2011. Keynote speaker.

High Performance Computing for Biology. Organized by the Department of Computer Science, University of Lille 1, France, June 2011.

TIPP Retreat 2011. Organized by the Max Planck Institute for Developmental Biology and the Friedrich Miescher Laboratory of the Max Planck Society, Tübingen. Schwarzwald, Germany, May 2011.

Graphs, Trees and Automata In Computer Music. Special event of the MaMuX seminar series. IRCAM, Paris, France, May 2011.

Combinatorial and Algorithmic Aspects of Sequence Processing - Dagstuhl-Seminar 11081. Schloss Dagstuhl - Leibniz-Center for Informatics, Wadern, German, February 2011.

When mathematics meet biology at the IFM, organized by the Institut du Fer à Moulin, Paris, France, January 2011.

LIX Bioinformatics Colloquium. Ecole Polytechnique, Palaiseau, France, November 2010.

Theoretical Approaches for the Genome and the proteins (TAGp 2010). Annecy-le-Vieux, France, October 2010.

Annual Congress of the Centre De Recherche "Saint Antoine". Fontainebleau, October 2010.

Workshop on mechanisms of global regulation in bacteria, ENS Cachan, Octobre 2010

Statistical Physics of Complexity, Optimization and Biological Information. Workshop organized at LPTMS, Orsay, France. September 2010.

Logic, Combinatorics and Computation in finite and infinite structures. Satellite workshop of the joint conferences Mathematical Foundations of Computer Science & Computer Science Logic. Brno, Czech Republic, August 2010.

Logic Colloquium 2010, European Summer Meeting of the Association of Symbolic Logic, special session in "Simplicity of Proofs", Université Paris-Diderot, Paris, France, July 2010.

Proof Complexity. Workshop organized at the Department of Philosophy, Université Paris 7, April 2010.

Logical Approaches to Barriers in Computing and Complexity. Keynote speaker. Alfried Krupp Kolleg Greifswald Foundation, Greifswald, Germany, February 2010.

Mathematical Methods in Biophysics and Genomics, minisymposium at ICNAAM (7th International Conference of Numerical Analysis and Applied Mathematics), Crete, Greece, September 2009.

6th Annual Conference on Theory and Applications of Models of Computation (TAMC'09), special session "Models of Computation", ChangSha, China, Mai 2009.

Flexibility and Biological Recognition: from Biophysics to Data Model, INRIA Sophia-Antipolis, France, March 2009.

CiE 2008: Logical approaches to computational barriers, special session "Biology and Computation", University of Athens, Greece, june 2008.

Think Tank in Systems Biology - Statistical semantics of genomes: from sequence to function, évry, France, May 2008.

Journées Franciliennes de Recherche Opérationnelle. Organisées par la Société Française de Recherche Opérationnelle (ROADEF). Tutorial. CNAM, Paris, janvier 2008.

WoLLIC'2007 - 14th Workshop on Logic, Language, Information and Computation, 2 invited talks. Rio de Janeiro, Brasil, 2007.

Methods of Proof Theory in Mathematics, Max-Planck Institute, Bonn, Germany, 2007.

Biological Complexity and Modeling: modeling complex biological systems in the context of genomics. 5th International Thematic School, organised by the Epigenomics Program. Evry, France, 2007.

Genetics meets Systems Biology: Theory and Practice. International meeting organised by the Société Française de Génétique, Institut Curie, Paris, France, 2006.

The First International Conference on Computational Systems Biology. Keynote speaker. Fudan University, Shanghai, China, 2006.

Transgressive Computing 2006. Conference in honor of the 60th birthday of Jean Della Dora. University of Granada, Spain, 2006.

Dynamics and structure of biological networks. Workshop organised within the framework of "Géométrie du calcul" GEOCAL06. CIRM, Marseille-Luminy, France, 2006.

Bioinformatics: algorithms, structures and statistics. Laboratoire d'Informatique de l'Ecole Polytechnique, Palaiseau, France, 2005.

Geometry of Genomes: Unravelling of Structures Hidden in Genomic Sequences. University of Leicester, England, 2005.

43ème Congrés du Groupement Francophone de Protistologie. Centre de Congrés de Dourdan, France, 2005.

BBSRC/EPSRC Workshop on Mathematical Challenges in Systems Biology. Keynote lecture. Scarman House, University of Warwick, England, 2004.

Modeling and Simulating Materials Nanoworld. Special Symposium of the 3rd International Conference on Computational Modeling and Simulation of Materials, Acireale, Sicile, Italy, 2004.

Non-linéarité, irréversibilité, complexité et écodynamique. Interrogations et perspectives dans les sciences de la nature et du vivant. école des Hautes études en Sciences Sociales, Maison des Sciences de l'Homme, Paris, France, 2004.

BMS-NCM Study Day on Genomics. Organised by the Société Mathématique Belge and the Comité Nationale de Mathématiques, Royal Academy of Sciences, Bruxelles, Belgium, 2003.

The First Joint Meeting of the American Mathematical Society and the Real Sociedad Matematica Espanola. In the special session "Biomolecular Mathematics". Seville, Spain, 2003.

Workshop on Proof Theory and Algorithms. International Centre of Mathematical Sciences, Edinburgh, Scotland, 2003.

Colloquium Jacques Morgenstern. Organized by INRIA and I3S on the thematic "20 years of research in the sciences and technologies of information and communication, what kind of research in 20 years?", Sophia-Antipolis, France, 2003.

Physique en Biologie. 7th meeting "Journées de Physique", Institut de Mathématiques de Jussieu, Paris, France, 2003.

5ème Journée de la Recherche: les Biosciences. Faculté des Sciences, Université de Paris 12, Paris, France, 2003.

24th International Colloquium on Group Theoretical Methods in Physics. Université de Paris 7, Paris, France, 2002.

Nouveaux Modèles de Calcul: Algorithmes et Complexité. Institut Henri Poincaré, Paris, France, 2002.

Journée Modélisation Mathématique en Biologie et Medecine. Short talk opening the conference. Université d'Evry et ENS Paris, France, 2002.

New York City Logic Symposium. City University of New York, USA, 2001.

Complexité, Modèles Finis et Bases de Données. Groupe de travail AMI-ALP, Université de Paris 2, Paris, France, 2001.

Algorithmique et Calcul Formel - Ecole jeunes chercheurs. Ecole Normale Supérieure, Lyon, France, 2001.

Linear Logic and Applications. Dagstuhl Seminar N.99341, Dagstuhl, Germany, 1999.

Methodology in Cognitive Science. Fondation des Treilles, Nice, France, 1998.

Complexity. Technische Universität Wien, Austria, 1998.

Logic, Proofs and Algorithms. Semaine de cours: 4 lectures. University of Campinas, San Paulo, Brasil, 1998.

Journée sur la Complexité. Ecole Normale Supérieure, Lyon, France, 1998.

Geometry and Complexity. The Fields Institute, Toronto, Canada, 1997.

Section in Honor of Prof. Parikh - 16 FST-TCS Conference. Hyderabad, India, 1996.

Workshop on Feasible Arithmetics and Length of Proofs. DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), Rutgers University, USA, 1996.

Proof Theory, Complexity, Metamathematics. Technische Universität Wien, Vienna, Austria, 1994.

Proof Theory and Proof Search. Université de Paris 7, Paris, France, 1994.


Public Lectures (invited)

Atelier de formation des professeurs de lycée à la modélisation mathématique, Institut Henri Poincaré, Paris, France, 2016.

Femmes de sciences. Seminars series addressed to high school students organized by the Association Française pour l'Avancement des Sciences (AFAS), the association "Femmes & Sciences", and "Universcience". Palais de la Découverte, Paris, France, 2011.

The Concept of Information Today. Centre d'Alembert, Centre Interdisciplinaire d'Etude de l'Evolution des Idées, des Sciences et des Techniques, Université d'Orsay, France, 2010.

Techfest 2010 - Annual International Science and Technology festival. Keynote speaker. Indian Institute of Technology, Bombay, India, 2010.

Evolution. Seminar series organised by the Université Inderdisciplinaire de Paris. April 2009.

A la Rencontre des Déchiffreurs. Musée du Quai Branly, Paris. Organized at the occasion of the 50th anniversary of the IHéS by the IHéS, the Fondation EDF, the Musée du Quai Branly and Pour la Science. September 2008.

Lezioni Pubbliche: Matematica, Cultura e Societa. Seminar series organized by the Centro di Ricerca Matematica Ennio de Giorgi de la Scuola Normale Superiore di Pisa, Italy. June 2005.

Fête de la Science 2001. Organised by the Ministère de la Recherche, Amphithéâtre Poincaré, Carré des Sciences, Paris. October 2001.

Voyage dans l'Imaginaire Mathématique. Colloquium organized by the review Pour la Science and by the Institut des Hautes Etudes Scientifiques in the framework of the "2000, Année mondiale des Mathématiques". Centre Pompidou, Paris. September 2000.


Other invited talks delivered to a mixed audience

Celebration of the International Women Day. Organized by the Science Section at the
U.S. Embassy, along with the National Science Foundation. Talks given to a large number
of women students. Université Pierre et Marie Curie, 2011.

Math club. February 2011. Series of seminar talks on applications of mathematics addressed to first and second year university students, Université Denis Diderot, Paris, France.

Workshop on Women in Computability. Juin 2008. Organised as a satellite working group of the conference Computability in Europe 2008, Athens, Greece.

Conference at the Lycée de la Vallée des Chevreuses. January 31, 2003. Meeting with the last year high-school students, in occasion of the exposition "Femmes en maths, pourquoi pas vous?", Courcelle-sur-Yvette.

Femmes en Maths 2002. November 22-23, 2002. Meeting organized by the Association Femmes et Mathématiques. Institut de Recherches Mathématiques Avancés de Strasbourg et Observatoire, Strasbourg.

Séminaires Jeunes: "Quelques grandes problèmes de mathématiques". November 13, 2002. Seminar for undergraduate and graduate students in mathematics. Department of Mathematics, Université de Cergy-Pontoise.

Modélisation et aspects expérimentaux en mathématiques. May 12-13, 2001. Annual Seminar of the Association of High School Teachers in Mathematics of the Public Educational Board. FIAP, Paris.


Other talks in conferences

6th CAPRI Evaluation Meeting, University of Tel Aviv, Tel Aviv, Israel, 2016.

DNA 8, Hokkaido University, Sapporo, Japan, June 2002.

The 2nd Barcelona Logic Meeting, Centro de Recerca Matematica, Barcelone, Spain, July 1995.

The Sacks Symposium in Mathematical Logic, May 1993; M.I.T., Boston, USA.

Annual Meeting of the Association for Symbolic Logic, March 1993; Notre Dame, USA.

Logic Colloquium '88, Annual European Summer Meeting de l'Association for Symbolic Logic; Padova, Italy, 1988.

Third National Conference on Logic Programming GULP, May 1988; Rome, Italy.



LRI / LIX bioinformatics seminar, 2017.

Ecole Normale Supérieure, working seminar in G.Longo team, Dept. of Computer Science, Paris, 2017.

IFOM, Milan, Italy, 2016.

Università degli Studi Milano-Bicocca, Dept. of Computer Science, Milan, Italy, 2013, 2016.

Center of Bioinformatics, Biostatistics and Integrative Biology (C3BI), Institut Pasteur, 2016.

Laboratoire Jacques-Louis Lions, colloquium, Université Pierre et Marie Curie, 2015.

Stanford University, Department of Statistics, Susan Holmes Lab. Stanford, USA, 2014.

Institute of Genetic Research Gaetano Salvatore, Ariano Irpino, Italy, 2014.

Laboratoire de Biochimie Théorique, UPR 9080 CNRS / Université Paris 7, 2014.

Institut Pasteur, Artur Scherf Lab, Biology of Host-Parasite Interactions, 2013.

Laboratoire d'Analyse, Géométrie et Applications, séminaires "Mathématiques et Biologie", Institut Galilée, Université de Paris 13, 2013.

Laboratoire de Physique Théorique et de la Matière Condensée, UPMC, 2012

Colloquium de Mathématiques, Université de Lille 1, 2012

Centre de Recherches des Cordeliers, UPMC and Université de Paris V, Paris, 2011

CEA, Saclay, 2011.

Institut des Mathématiques de Jussieu, colloquium, 2010.

Institut des Systèmes Complexes, Paris, 2010.

INRA, Jouy-en-Josas, 2010.

Institute of Mathematical Sciences. Department of Physics, Madras, India, 2010.

Université d'Annecy, Department of Physics, 2009.

Université d'Angers, Mathematics Colloquium, 2009.

Université de Marseille III, Department of Mathematics, 2008.

Workshop on random structures generation, Departments of Computer Science of Paris 6, Paris 7, Marne-la-Vallée, 2008.

Institut de Recherche Mathématiques (IRMAR), Rennes, 2007.

Technische Universität Wien, Vienna, Austria, 2007.

Université de Grenoble, Institut d'Informatique et de Mathématiques Appliquées, 2007.

LIAFA, Université de Paris 7, 2006.

Génoscope, Evry, 2006.

Université de Paris 6, LIP6, 2004.

Laboratoire de Cristallographie et RMN Biologiques, Paris 5, 2004.

Centro di Ricerca Matematica Ennio de Giorgi, Scuola Normale Superiore, Pisa, Italy, 2003.

Université de Limoges, Mathematics Colloquium, 2003.

Laboratoire d'Enzymologie et Biologie Structurale, Gif-sur-Yvette, 2003.

LLAIC, Université de Clermont-Ferrand, 2003.

Université de Paris 12 et ESIEE - Marne-la-Vallée, 2003.

Institut Gaspard Monge, Université de Marne-la-Vallée, 2003.

LaMI, Université d'Evry, 2003.

Instituto Superior Tecnico de Lisboa, Lisbon, Portugal, 2002.

Bioinformatics Group, New York University, New York, USA, 2002.

Institut André Lwoff, Laboratoire de Oncogenèse, Différentiation et Transduction du Signal, Villejuif, 2002.

Institut Jacques Monod, Université de Paris 7, 2002.

Université de Paris 12, Department of Mathematics : 2002.

Université de Paris 12, Department of Computer Science : 1996, 1997, 1999, 2002.

Université de Paris 11, Laboratoire de Recherche Informatique. 1996, 2001, 2002.

Université de Paris 7, Department of Mathematics : 1997, 2000.

IRISA - INRIA, Université de Rennes, 2000.

E.N.S. de Lyon et Université de Lyon, 2000.

Institut Henri Poincaré, Paris, 1996, 2000.

The City University of New York, New York, USA, 1997, 1999.

BRICS (Basic Research Center for Computer Science), Aarhus, Danemark. 1997.

E.N.S. de Paris, Seminars of Philosophy and Mathematics. 1997.

INRIA Lorraine, Nancy, 1996.

Institute of Mathematical Sciences. Seminars at the Department of Theoretical Computer Science and Mathematics Colloquium at the Department of Mathematics. Madras, India. 1996.

DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), Rutgers University and Princeton University, Piscataway, USA. 1996.

University of Maryland at College Park, Washington, USA, 1996.

Laboratoire de Mathématiques Discretes, Université d'Aix-Marseille II, Luminy, 1995.

Institut des Hautes Etudes Scientifiques, Bures-sur-Yvette, 1995.


Alessandra Carbone - Alessandra DOT Carbone AT lip6 DOT fr
Génomique Analytique