TEACHING

• Stage @ Ecole Polytechnique Internships for Students of Ecole Polytechnique
• 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)
• Algorithmique @ Orsay-Rectorat-Versailles Formation à l'enseignement en informatique: Algorithmique
• CINE @ Ecole Polytechnique (Colloquium d'INformatique pour les Élèves)

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)

20 recent events related to computability:  more events

• CiE Newsletter No.69, May 16, 2013
• ParQ 2013 - Call for Papers
• CiE 2013 - 2nd Call for Informal Presentations
• NCMA 2013: Final Call for Papers
• Wivace 2013 - 2 days to the deadline!
• Very Sad News: Ivan Soskov
• Continuity, Computability, Constructivity ? From Logic to Algorithms - CCC 2013
• LPAR-19: Logic for Programming, Artificial Intelligence and Reasoning, Stellenbosch (South Africa), 14-19 Dec 2013
• A special issue of Theoretical Computer Science on Non-uniform cellular automata: Call for Papers
• Call for papers: Quantum Physics and Logic, JULY 2013, Barcelona
• Latin American Theoretical INformatics (LATIN 2014) March 31-April 4, 2014, Montevideo, Uruguay
• Call for Course and Workshop Proposals: ESSLLI 2014, Tuebingen (Germany), 11-22 Aug 2014
• 2nd Call for Papers: Workshop on Quantum and Classical Complexity, Riga, Latvia, July 7 2013 (Satellite event to ICALP 2013)
• British Logic Colloquium 2013, Leeds (U.K.), 4-5 Sep 2013
• LCC'13 : 14th Logic and Computational Complexity
• MATCOS-13: CFP
• 2nd CfP Conf. History and Philosophy of Computing (HaPoC 2013, 28-31 October, Paris)
• Call for Informal Presentations: CCA 2013 (Computability and Complexity in Analysis), Nancy (France), 8-10 July 2013
• GandALF 2013
• RP 2013: Reachability Problems, Uppsala (Sweden), 25-27 Sep 2013

Some events:

• CfP Reachability Problems (RP'12) - Bordeaux, France

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 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