 |
Invited
Talks
Mathematical Modeling of Complex Systems, Department of Mathematics Applied to Systems, Ecole Centrale Paris, 2013.
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.
TOP
|
