TEACHING

• Algorithmique @ Orsay-Rectorat-Versailles Formation à l'enseignement en informatique: Algorithmique
• Stage @ Ecole Polytechnique Internships for Students of Ecole Polytechnique
• CINE @ Ecole Polytechnique (Colloquium d'INformatique pour les Élèves)
• COURS INF423 @ Ecole Polytechnique (Fondements de l'informatique: Logique, Modèles, Calculs)
• COURS INF421 @ Ecole Polytechnique (Les bases de la programmation et de l'algorithmique) (version 2010)
• COURS INF561 @ Ecole Polytechnique (Algorithmes et Complexité )
• COURS 2.33.1 @ MPRI (Théorie des Calculs)

RESEARCH

SOME EVENTS:

A New Seminar: http://www.lix.polytechnique.fr/~bodirsky/seminaire/

A New Journal: COMPUTABILITY (flyer)

(what follows is dynamically generated from a personal list / my personal agenda is here / see here for more events)

Some events:

• Workshop on Reachability Problems 2011 (Extended Deadline: 23 May 2011)
• Unconventional Computation 2011, Turku, Finland (June 6-10, 2011)
• CiE Newsletter No.47, May 18, 2011
• CiE 2011 in Sofia - Call for Participation
• Final Call for Papers - Developments in Computational Models 2011

20 recent events related to computability:  more events

• Re: [FOM] CiE Newsletter No.53, December 28, 2011
• MFPS 28 Second Call for Papers
• 2nd call for participation: Winter FRAC 2012
• Turing Centenary Conference (CiE 2012) - Final submission arrangements
• SAT 2012: Call for Papers
• LPAR-18 Short Papers and Workshops
• LARSIM/QuPa workshops on foundations of physics
• Last CALL for PARTICIPATION, SOFSEM 2012, January 21-27, 2012
• In memoriam Ernst P. Specker 1920-2011
• Turing Centenary Conference in Cambridge - Submission Deadline Jan. 20, 2012
• Newly Published Book: "Proofs and Computations" from Helmut Schwichtenberg & Stanley S. Wainer.
• 2nd CfP: Logical Approaches to Barriers in Complexity II, Cambridge (U.K.), 26-30 Mar 2012
• [LOGIC] Turing in Context (TiC@King's), Cambridge (U.K.), 18-19 February 2012
• Alan Turing Year mailing list
• Updated "Turing Centenary" edition of Martin Davis' "The Universal Computer: The Road from Leibniz to Turing"
• IJCAR 2012: 2nd Call for Papers
• Postdoc position in TCS at KTH Royal Institute of Technology
• BCTCS: British Colloquium for Theoretical Computer Science, Manchester (U.K.), 2-5 April 2012
• "Natural/Unconventional Computing and its philosophical significance", Birmingham (U.K.), 2-3 July 2012
• SOFSEM2012 - 3rd CALL FOR PARTICIPATION (fwd)

SOME LINKS:

• Hot facts
  • A New Journal: COMPUTABILITY (flyer)
• Projects or Networks
  • Association Française d'Informatique Fondamentale (AFIF).
  • Computability in Europe Network
• Formal Conferences
  • Reachability Problems
    • 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