• NEW: Amaury Pouly (PhD co-supervised with Daniel D. Graça in University of Algarve, Portugal) has been selected as the recipient of Ackermann Award 2017
• NEW: We solved Rubel's Conjecture. The paper has been accepted at ICALP'2017
• NEW: Our paper at ICALP'2016 received the Best paper award (track B)
• NEW: Our paper at CIE' 2016 received the Best paper award

• NEW interesting webpages (not from me)
  • UN ARTICLE EXCELLENT SUR LES CALCULS ANALOGIQUES de Aurélien Alvarez, Bastien Le Gloannec, Vivien Pelletier
  • Un site web EXCELLENT à propos du prototype concret de machine de Turing de Marc Raynaud

Professor of Computer Science at Ecole Polytechnique

• Ecole Polytechnique is in Paris-Saclay area.
• DIX (Département d'Informatique de l'X) is the Computer Science Department of Ecole Polytechnique

Computer Science Laboratory of Ecole Polytechnique (LIX)

• Former Director of the LIX (Laboratoire d'Informatique de l'X) is the Computer Science Laboratory of Ecole Polytechnique from March 2010 to 31 December 2015
• LIX is a joint lab Ecole Polytechnique / CNRS, known as UMR 7161

Some teaching responsabilities

• Internships for Students of Ecole Polytechnique / Stage @ Ecole Polytechnique New: A flyer
• COURS INF412 @ Ecole Polytechnique (Fondements de l'informatique: Logique, Modèles, Calculs)
• COURS INF423 @ Ecole Polytechnique -> see INF412 @ Ecole Polytechnique from 2014.
• COURS INF421 @ Ecole Polytechnique (Les bases de la programmation et de l'algorithmique) (version 2010)
• COURS 2.33.1 @ MPRI (Théorie des Calculs = Computation Theory)

Research

• The (Paris-Saclay) Algorithmic & Complexity Seminar .
• List of publications:
  • Publications organized by topics
  • Publications organized by years
  • Publications organized by categories (journal, conferences, etc...)

• Topics of resarch (past and present, most recent boldfaced)

NEW: UN ARTICLE EXCELLENT

• Continuous Time Models of Computations
  • Surveys / General Considerations
  • General Purpose Analog Computer / Ordinary Differential Equations with Polynomial Right-hand Side
  • R-Recursive Functions
• Computations and dynamical systems
  • Complexity of questions related to dynamical systems
  • Dynamical Systems and Computations
• Distributed Computing
  • Population Protocols and variants
  • Computing with Large Populations
• Blum Shub Smale Model of Computation:
• Learning in Games / Algorithmic Game Theory
  • Games and Distributed algorithms
  • Distributed Learning in games
• Verification:
  • Frontier between decidability and undecidability in verification
  • Tools for verification / Model-Checking
• Programming with rules and strategies / Rewriting
  • Rewriting with probabilities or fuzzyness
  • Generating Chemical Rules with Rewriting Rules & Strategies
• Computer Vision
• Misc.
  • Teaching documents / Polycopiés
  • General texts or surveys
  • Habilitation or PhD documents
• Other stuffs

Computability in Europe (CIE)

• CIE is an association, and also a conference series.
• I am in charge of sending every month the CIE's newsletter
• I am managing the CIE association membership.
• I am a member of the editorial board of the Computability journal. (flyer)

Some dynamically generated Events related to computability

Here is a dynamically generated list of 20 recent events related to computability (more events here)

• The Online Algorithmic Complexity Calculator
• CiE 2017: call for participation
• REMINDER: ACiE Important Notification and Dates
• TTCS - Last CFP and deadline extension
• 19th OeMG Congress and Annual DMV Meeting: Call for abstracts
• AUTOMATA 2017 - Call for participation
• CSR 2017: Call for Participation
• [[http://www.lix.polytechnique.fr/~bournez/PHP/affiche-news.php?id=ad0db81b3476ea944666e33d74ba47ed&from=http://www.lix.polytechnique.fr/~bournez/FLUX/flux-publicite-cie.xml|Symposium honouring Grzegorz Rozenberg on the occasion of his 75th

 birthday]] 

• UCNC 2017 Final Call for Participation
• RP 2017 - EXTENDED deadlines
• Re: 3 CfPs for the upcoming CiE newsletter
• PLS11: THE ELEVENTH PANHELLENIC LOGIC SYMPOSIUM Last Call
• [[http://www.lix.polytechnique.fr/~bournez/PHP/affiche-news.php?id=fab90369d7d69a93794e1e6a4c680537&from=http://www.lix.polytechnique.fr/~bournez/FLUX/flux-publicite-cie.xml|CFP -AFL 2017 15th International Conference on Automata and Formal

 Languages  Debrecen, Hungary  September 4-6, 2017 ]] 

• Logic in Stockholm 2017: Call for Submissions and Participation
• UCNC 2017 Second Call for Participation
• CiE 2017: call for informal presentations
• [[http://www.lix.polytechnique.fr/~bournez/PHP/affiche-news.php?id=4bbcab4a4bbec5a9e85ac71e8efc4827&from=http://www.lix.polytechnique.fr/~bournez/FLUX/flux-publicite-cie.xml|ALC 2017: Asian Logic Conference, Daejeon (South Korea), 10-14 Jul

 2017]] 

• [[http://www.lix.polytechnique.fr/~bournez/PHP/affiche-news.php?id=17524a931e27aea16970ab7700382dc9&from=http://www.lix.polytechnique.fr/~bournez/FLUX/flux-publicite-cie.xml|CfP New Deadline: LACompLing2017 - Logic and Algorithms in

 Computational Linguistics 2017]] 

• Fundamentals of Computation Theory (FCT 2017) ? 2nd CFP
• [[http://www.lix.polytechnique.fr/~bournez/PHP/affiche-news.php?id=83ce8ef32572a67ecbdd492dbbdb2e58&from=http://www.lix.polytechnique.fr/~bournez/FLUX/flux-publicite-cie.xml|Continuity, Computability, Constructivity 2017; second call for

 submission; extended deadline; please distribute]] 

Some dynamically generated deadlines

Other stuffs (not up to date)

• (my personal agenda is here )
• Projects or Networks
  • Association Française d'Informatique Fondamentale (AFIF).
  • Computability in Europe Network
• Formal Conferences
  • Reachability Problems
    • Reachability Problems 2012
    • Reachability Problems 2011
  • Computability in Europe
    • Computability in Europe 2011
    • Computability in Europe 2010
    • Computability in Europe 2009
    • Computability in Europe 2008
    • Computability in Europe 2007
    • Computability in Europe 2006
  • CSDM
    • CSDM 2010
• New Book:
  • New Computational Paradigms, Changing Conceptions of What is Computable, Cooper, S.Barry; Loewe, Benedikt; Sorbi, Andrea (Eds.) 2008, XIII, 560 p. 19 illus., HardcoverISBN: 978-0-387-36033-1 '''
• Music:
  • Franck Avitabile est la douzième des “109 raisons d’aimer 2009”, d’après Télérama

• Some co-organized or supported workshop/Days/Talks/Projects
  • Physics and Computation, On the Nile, Egypt, September 3-6 2010
  • Reachability Problems 2009, Ecole Polytechnique, France
  • Physics and Computation 2009, September 7-11th,Ponta-Delgada, Azores, Portugal
  • Unconventional Computations 2008, August 25-29, Vienna, Austria
  • Workshop "Reachability Problems 2008", September 15-17th Liverpool, UK
  • Les rencontres arithmétique de l'informatique mathématique. Montpellier 22-25 Janvier 2007.
  • Complexité Modèles Finis Bases de Données 2007, Nancy, 21-22 Mai 2007.
  • Workshop on "Reachability Problems in Computational Models (RP'07)", 7-8 of July 2007, Turku, Finland. Part of "Developments in Language Theory Conference" (DLT2007)
  • Journée Théorie Algorithmique des Jeux. Réseaux de Télécommunications & de capteurs", Paris II, May 16th, 2006
  • Continuous Dynamics and Computability, Workshop, Rue d'Ulm, May 3th 2006
  • Journée QSL Théorie des jeux AlGorithmique et Applications Dans les réseAux", Nancy, February 28th, 2006
  • International Workshop on "Computations on the continuum", Lisbon, June 27-28, 2005
  • SOGEA project.

• May 6th 2007: Ilan is born. Ilan is the little brother of Pierrick and Laëtitia.

Visitor counter: 3.4