Conferences

I am a member of

I have participated in the organization of the following conferences:

  • Modélisation formelle de réseaux de régulation biologique Ile de Porquerolles, 4-9 June 2023.
  • Computational Systems Biology for Complex Diseases ENS Paris Saclay, 28-29 Nov. 2019.
  • Formal methods for the synthesis of biomolecular circuits, Shonan Village, Japan, 2-6 Sep 2019.
  • France-Taiwan Summer School on New Strategies in Medical Diagnosis and Precision Medicine, NTU, Taipei, Taiwan, 9-10 July 2019.
  • Modélisation Formelle de Réseaux de Régulation Biologique Ile de Porquerolles du 23 au 28 juin 2019 .
  • Constraints and Life Sciences Track of CP'2019 (co-chair with S. Soliman) 25th International Conference on Principles and Practice of Constraint Programming, Stamford, CT, U.S. | September 30 to October 4, 2019
  • Summer School on New Strategies in Medical Diagnosis and Precision Medicine, Ninh Binh, Vietnam, July 2018.
  • CSBC'18 (co-Chair) Workshop Computational Systems Biology for Cancer, Institut des Systèmes Complexes, Paris, France, 24-26 jan 2018.
  • BPPC’15 (co-Chair) Sixth International Workshop in Bin Packing and Placement Constraints, associated to CP'15, Cork Ireland, August 2015.
  • 44ième Congrès de la Société Francophone de Chronobiologie (session co-chair), ESPCI ParisTech, Oct. 29-31 2014.
  • FMMB’14 (PC co-Chair) First International Conference on Formal Methods for Macro Biology, Noumea, Nouvelle Calédonie, September 2014 (opening video)
  • BPPC’14 (co-Chair) Fifth International Workshop in Bin Packing and Placement Constraints, associated to CPAIOR’14, Cork Ireland, May 2014.
  • BPPC’12 (co-Chair) Fourth International Workshop on Bin Packing and Placement Constraints, co-located with CPAIOR’12, May 29th 2012, Nantes, France
  • CMSB’11 (PC Chair), 9th International Conference on Computational Methods in Systems Biology in cooperation with the ACM SIG Bioinformatics Institut Henri Poincaré, Paris, France September 21-23, 2011 (70 participants).
  • BPPC’10 (co-Chair), Third International Workshop on Bin Packing and Placement Constraints, associated to CPAIOR 2010, 15th June 2010, Bologna, Italy
  • BPPC’09 (co-Chair) Second International Workshop in Bin Packing and Placement Constraints, associated to CP’09, Lisbon Portugal, September 2009.
  • EAID’08 (Conference co-Chair) European American Innovation Day, Boston, December 2008 (150 participants).
  • BPPC’08 (co-Chair) First International Workshop in Bin Packing and Placement Constraints, associated to CPAIOR’08.
  • CP-AI-OR’08 (Conference co-Chair) International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Paris, May 2008 (150 participants).
  • WCB’08 (co-Chair), Workshop on Constraint based Methods for Bioinformatics, associated to CPAIOR’08, Paris, May 2008.
  • CSCLP’08 (co-Chair), ERCIM workshop on Constraints, Rome, Italie, May 2008.
  • JFPC’07 (PC Chair), Journées Francophones de Programmation par Contraintes, Rocquencourt, June 2007.
  • PPSWR’05 (PC Chair), Third Int. Workshop on Principles and Practice of SemanticWeb Reasoning, Dagstuhl, Allemagne, October 2005.
  • ASTI’01 (co-Chair) Congrès Sciences et Technologies de l’Information, Paris, April 2001 (300 participants).
  • PPDP’99 (Conference Chair) ACM SIGPLAN Int. Conf. on Principles and Practice of Declarative Programming, Paris, October 1999 (90 participants).
  • JFPLC’99 (PC Chair), Journées Francophones de Programmation en Logique et par Contraintes, Lyon, June 1999.

plus the Program Committees of :

  • CMSB 2024 22nd International Conference on Computational Methods in Systems Biology, Pisa, Italy,16th-18th September 2024.
  • Simultech 2024 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Dijon, Fra,ce 10-14 July 2024.
  • CMSB 2023 21st International Conference on Computational Methods in Systems Biology, Luxembourg, 13th-15th September 2023
  • CMSB 2022 20th International Conference on Computational Methods in Systems Biology, Bucharest, Romania, 14th-16th September 2022
  • CMSB 2021 19th International Conference on Computational Methods in Systems Biology, Bordeaux, France, 22nd-24th September 2021
  • IJCAI-PRICAI 2020, 29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence. Yokohama, Japan, July 11-17 2020.
  • CMSB 2020 18th International Conference on Computational Methods in Systems Biology. University of Konstanz, Germany, 23th-25th September 2020.
  • BIOINFORMATICS'20 11th International Conference on Bioinformatics Models, Methods and Algorithms, co-located with BIOSTEC'20, Valetta, Malta, 24-26 Feb 2020.
  • CP'19 (Senior PC member) 25th International Conference on Principles and Practice of Constraint Programming, Stamford, CT, U.S. | September 30 to October 4, 2019
  • CIBCB'19 16th IEEE International Conference on Computational Intelligence in Bioinformatics and Computational Biology – Certosa di Pontignano, Siena - Tuscany, Italy, July 9-11, 2019
  • CMSB'19 17th International Conference on Computational Methods in Systems Biology. Trieste, Italy, September 2019.
  • HSB'19, 6th International Workshop on Hybrid Systems and Biology, will be held at the Charles University, Prague (CZ) on the 6th and 7th April 2019, and is colocated with ETAPS 2019.
  • BIOINFORMATICS'19 10th International Conference on Bioinformatics Models, Methods and Algorithms” co-located with BIOSTEC'19, Prague, Czech republic, Feb 2019.
  • WCB'18 13th International Workshop on Constraint-based methods for Bioinformatics, Oxford co-located with FLOC'18, July 2018.
  • DataMod'18 7th International Symposium “From Data to Models and Back”, 25-26 June 2018, Toulouse, France
  • VEMDP'18 Verification of Engineered Molecular Devices and Programs. July 19, 2018, Oxford, United Kingdom. An affiliated workshop of CAV 2018.
  • CMSB'18 16th International Conference on Computational Methods in Systems Biology. 12th-14th September 2018, Faculty of Informatics, Masaryk University, Brno, CZ.
  • MCU'18 8th International Conference on Machines, Computations and Universality, June 28-30, 2018, Fontainebleau, France.
  • IJCAR'18 9th International Joint Conference on Automated Reasoning, part of the Federated Logic Conference FLOC'18, July 14-17, 2018, Oxford, UK.
  • CMSB'17 The 15th conference on Computational Methods for Systems Biology, September 27th to 29th 2017, Darmstadt, Germany.
  • FroCos'17 The 11th International Symposium on Frontiers of Combining Systems, 25-29 September 2017, Brasilia, Brazil.
  • SASB'16 The Seventh International Workshop on Static Analysis and Systems Biology, September 8--10, 2016, Edinburgh, UK
  • CMSB'16 14th International Conference on Computational Methods in Systems Biology, Computer Laboratory, University of Cambridge, UK, 21st - 23rd September 2016.
  • HSB'16 5th international workshop on Hybrid Systems Biology, Grenoble, October 20-21, 2016.
  • CP'16 22nd International Conference on Principles and Practice of Constraint Programming, Toulouse, France, September 5-9, 2016.
  • IJCAI'16 25th International Joint Conference on Artificial Intelligence, New York, 2016.
  • CIE'16 Computability in Europe, Paris, 2016.
  • WCB'16 12th International Workshop on Constraint-Based Methods for Bioinformatics, Toulouse, 2016.
  • HSB'15 Fourth International Workshop on Hybrid Systems Biology, Madrid, Spain, September 3-4, 2015
  • CP'15 21st International Conference on Principles and Practice of Constraint Programming, Cork, Ireland, Aug 31-Sep 4, 2015.
  • ICLP'15 31st International Conference on Logic Programming, Cork, Ireland, Aug 31-Sep 4, 2015.
  • WCB'15 11th Workshop on Constraint-based methods for Bioinformatics, associated to CP'15, Cork, Ireland, August 31st 2015.
  • CMSB'15, 13th International Conference on Computational Methods in Systems Biology -- , Nantes, France, Sept. 16-18, 2015.
  • LMBS'15, 1st International Workshop on Logical Modeling of Biological Systems, satellite workshop of CMSB'15, Nantes, France, Sept. 18, 2015.
  • VEMDP'15, Verification of Engineered Molecular Devices and Programs, July 19, 2015, San Francisco, USA.
  • FroCoS'15, Wroclaw, Poland, 15-19 Sep 2015.
  • CMSB'14, Twelth International Conference on Computational Methods in Systems Biology -- Nov. 17-19, Manchester, 2014.
  • WCB 2014 10th Workshop on Constraint-based methods for Bioinformatics, associated to CP, Lyon France, September 2014.
  • VEMDP'14 The 1st International Workshop on Verification of Engineered Molecular Devices and Programs -- An affiliated workshop of CAV 2014 hosted in Vienna, Austria on July 17, 2014.
  • HSB'14 Third workshop Hybrid Systems Biology -- Vienna Summer of Logic, July 23-24, 2014.
  • CHR'14 11th International Workshop on Constraint Handling Rules — Vienna Summer of Logic, July 18, 2014.
  • CHR’13, Tenth International Workshop on Constraint Handling Rules Berlin, Germany – July 13th, 2013.
  • CMSB’13, Eleventh Conference on Computational Methods in Systems Biology, IST Klosterneuburg, Austria, September 2013.
  • FroCoS’13, Frontiers of Combining Systems, co-located with Tableaux 2013, Nancy, France, September 18-20, 2013.
  • HSB’13, Second International Workshop on Hybrid Systems and Biology associated to ECAL 2013, Taormina, Italy, September 2, 2013.
  • ICLP’13, 29th International Conference on Logic Programming 24 - 29 August 2013, Istanbul, Turkey.
  • WCB’13,Workshop on Constraint-Based-Methods for Bioinformatics, Budapest, Hungary, co-located with CP’13, Uppsala, Sweden September 16-20, 2013.
  • ICORES’13, second International Conference on Operations Research and Enterprise Systems, held in conjunction with h ICAART 2013 and ICPRAM 2013, Barcelona, Spain, Feb 2013.
  • CHR’12, 9th International Workshop on Constraint Handling Rules, associated to ICLP’12, Budapest, Hungary, September 2012.
  • CMSB’12, The 10th Conference on Computational Methods in Systems Biology The Royal Society, London, UK, October 2012.
  • CS2BIO’12, 3rd International Workshop on Interactions between Computer Science and Biology 16th of June 2012- Stockholm, Sweden affliated to DisCoTec’12.
  • FHIES’12, Foundations of Health Information Engineering and Systems - FHIES 2012, International Symposium, colocated with FM 2012, Paris, August 27-28, 2012
  • ICORES’12, 1st International Conference on Operations Research and Enterprise Systems, in conjunction with ICAART 2012 and ICPRAM 2012, Vilamoura, Portugal, Feb 2012.
  • SASB’12, The Third International Workshop on Static Analysis and Systems Biology SAS workshop, 10 September 2012, Deauville, France.
  • WCB’12, Constraint Based Methods for Bioinformatics, associated to ICLP’12, Budapest, Hungary, September 2012.
  • CHR’11, Eighth International Workshop on Constraint Handling Rules, 5th to 9th of September, 2011 – Cairo, Egypt
  • CompMod’11, 3rd International Workshop on Computational Models for Cell Processes CompMod 2011 September 10, 2011, Aachen, Germany In conjunction with CONCUR 2011
  • CS2BIO’11, 3rd International Workshop on Interactions between Computer Science and Biology 9th of June 2011 - Reykjavik, Iceland affiliated to DisCoTec’11.
  • ICECCS’11, IEEE ICECCS 2011, 16th IEEE International Conference on, Engineering of Complex Computer Systems , April 2011.
  • ICLP’11, 27th International Conference on Logic Programming, Lexington KE? USA? July 2011.
  • JFPC’11, Septièmes Journées Francophones de Programmation par Contraintes, Lyon June 2011.
  • MELO’11, Model-Driven Engineering, Logic and Optimization. 6th of June, 2011 - University of Birmingham, Birmingham, UK.
  • RuleML’11
  • SASB’11, The Second InternationalWorkshop on Static Analysis and Systems Biology, SAS workshop, 13 September 2011, Venice, Italy.
  • WCB’11, Workshop on Constraint Based Methods for Bioinformatics September 12th, 2011 Perugia colocated with CP 2011.
  • CMSB’10, The 8th Conference on Computational Methods in Systems Biology, Trento, Italy, October 2010.
  • CS2Bio’10, CS2Bio’10 1st International Workshop on Interactions between Computer Science and Biology 10th of June 2010 - Amsterdam, Netherlands Aliated to DisCoTec’10.
  • PPDP’10, Principles and Practice of Declarative Programming 12th International ACM SIGPLAN Symposium, July 26-28, 2010 Hagenberg, Austria.
  • WCB’10, Workshop on Constraint Based Methods for Bioinformatics July 21st, 2010 Edinburgh colocated to ICLP 2010.
  • AAAI’10 AI and Bioinformatics track, Atlanta USA, juillet 2010.
  • FBTC’10 Third Workshop “From Biology to Concurrency and Back”, Paphos Chypre, mars 2010.
  • JFPC’10 Journées Francophones de Programmation par Contraintes, Lille, June 2010.
  • CMSB’09 Seventh Conference on Computational Methods in Systems Biology, Bologna, Italy, September 2009.
  • CHR’09 Int. workshop on Constraint Handling Rules, associated to ICLP’09, Pasadena USA, juillet 2009.
  • HiBi’09 High-Performance Computational Systems Biology, Trento, Italy, October 2009.
  • ICLP’09 International Conference on Logic Programming, Pasadena USA, juillet 2009.
  • JFPC’09 Journées Francophones de Programmation par Contraintes, Orléans, June 2009.
  • WCB’09Workshop on Constraint based Methods for Bioinformatics, associated to CP’09, Lisbon Portugal, September 2009.
  • AB’09 Int. Conference on Algebraic Biology, Hagenberg, Autriche, juillet 2009.
  • ATM-CT’08 International Workshop on Constraint Programming and Air Trac Control and Management, Brétigny-surorge, décember 2008.
  • CHR’08 Int. workshop on Constraint Handling Rules,
  • CMSB’08 Sixth Conference on Computational Methods in Systems Biology, Rostock, Allemagne, October 2008.
  • AB’08, Int. Conference on Algebraic Biology, Hagenberg, Autriche, juillet 2008.
  • AB’07, Int. Conference on Algebraic Biology, Hagenberg, Autriche, juillet 2007.
  • TACAS’07, Int. Conf. on Tools and Analysis for the Construction and Analysis of Systems, Braga, Portugal, April.
  • WWV’06, Int’l Workshop on Automated Specification and Verification of Web Systems, Chypre, nov. 2006.
  • WCB’06 Workshop on Constraint Based Methods for Bioinformatics, associated to CP’06, Nantes, sep. 2006.
  • Rule’06, Int. workshop on Rule-based Programming, associated to RTA’06, Seattle, août 2006.
  • CHR’06, Int. workshop on Constraint Handling Rules, associated to ICALP, Venise, juillet 2006.
  • DCM’06, Int. workshop on Developments in Computational Models, associated to ICALP, Venise, juillet 2006.
  • CSCLP’06, ERCIM workshop on Constraints, Lisbonne, Portugal, June 2006.
  • RoW’06, workshop Reasoning on the Web, associated to WWW’06, Edimburgh, mai 2006.
  • WCB’05, Workshop on Constraint-based Methods for Bioinformatics, associé à CP’05, Sitgès, sep. 2005.
  • CSCLP’05, Joint ERCIM COLOGNET Workshop on Constraints, Uppsala Suède, June 2005. 8
  • JFPC’05, Journées Francophones de Programmation par Contraintes, Lens, June 2005.
  • CMSB’05, Workshop on Computational Methods in Systems Biology, Edinburgh, April 2005.
  • ICLP’04, Int. Conference on Logic Programming, Saint-Malo, France, September 2004.
  • KI’04, 27th German Conference on Artificial Intelligence, Ulm, Allemagne, September 2004.
  • PPSWR’04, Workshop on Principles and Practice of Semantic Web Reasoning, Saint-Malo, sep. 2004.
  • CSCLP’04, Joint ERCIM COLOGNET Workshop on Constraints, Lausanne, Suisse, June 2004.
  • CMSB’04, Second Int. Workshop on Computational Methods in Systems Biology, Paris, April 2004.
  • JFPLC’04, Journées Francophones de Programmation en Logique et par Contraintes, Angers, June 2004.
  • CP-CV’04 workshop Constraint Programming and Constraint for Verification, Barcelone, April 2004.
  • FLOPS’04, Seventh Int. Symposium on Functional and Logic Programming, Nara, Japon, mars 2004.
  • CMSB’03, First Int. Workshop on Computational Method in Systems Biology, Rovereto, Italie, mars 2003.
  • JFPLC’03, Journées Francophones de Programmation en Logique et par Contraintes, Amiens, mai 2003.
  • Joint ERCIM COLOGNET Workshop Constraints, Budapest, Hongrie, June 2003.
  • ICLP’2002, Int. Conf. on Logic Programming, Copenhague, Danmark, juillet 2002.
  • PPDP’2002, ACM SIGPLAN Principles and Practice of Declarative Programming, Pittsburg, oct. 2002.
  • Joint ERCIM COLOGNET Workshop Constraints, Cork, Irlande, June 2002.
  • RULE’2002, ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburg, USA, October 2002.
  • Workshop partenariat et transfert technologique, journées du RNTL, Toulouse, October 2002.
  • WFLP’2002, Int. Workshop on Functional and (constraint) Logic Programming, Grado, Italie, June 2002.
  • Workshop Formal Methods in Systems Biology associé à ICSB’02, Stockholm, Suède, décember 2002.
  • JFPLC’2001, Journées Francophones de Programmation en Logique et par Contraintes, Paris, April 2001.
  • Challenge ROADEF 2001 Société Française de Recherche Opérationnelle et d’Aide à la Décision, June 2001.
  • Workshop Musical Constraints associé à la conférence CP’2001 , Paphos, Chypre, décember 2001.
  • Workshop Rule-Based Constraint Reasoning and Programming CP’2000, Singapour, September 2000.
  • JFPLC’00, Journées Francophones de Programmation en Logique et par Contraintes, Marseille, June 2000.
  • CP’99 Int. Conf. on Principles and Practice of Constraint Programming, Alexandria, USA, October 1999.
  • TCLP’98, workshop Types for Constraint Logic Programming associé à JICLP’98, Manchester, June 1998.
  • PLILP/ALP’98. Int. Conf. on Algebraic and Logic Programming, Pise, Italie, September 1998.
  • JFPLC’97, Journées Francophones de Programmation en Logique et par Contraintes, Orléans, June 1997.
  • ALP’97, Int. Conf. on Algebraic and Logic Programming, Southampton UK, September 1997.
  • JFPLC’96, Journées Francophones de Programmation en Logique et par Contraintes, 1996o