look at the call for paper here, .pdf file
deadlines :

• submissions: December, 31, 2010
• notifications of decisions: May, 1, 2011
• if accepted, revised version: July, 1st, 2011
• final decision for revised version: October, 1st, 2011

Now

1. Turing machines
   • non-erasing deterministic machines
   • self-describing machines
   • descriptive study of the motion of the machine head on its tape
   
   
2. molecular computing
   • test-tube model
   • time-varying distributed models
     technical report, ps file
     paper being presented to DNA6, in LNCS 2054, ps file
     paper being presented to DNA7, in LNCS 2340, ps file
     paper being presented to SCI'2001, ps file
     paper being presented at Curta de Arges, August 2001, ps file
     paper being presented to DNA9, in LNCS 2943, ps file
     
   • P systems, membrane computing;
     paper in Fundamenta Informaticae, 59
     paper being presented to WMC'03, Taragona, in LNCS 2933, ps file
     
   
   
3. hyperbolic tilings
   • a pentagonal à la Wang tile
   • regular rectangular grids of the hyperbolic plane
     JUCS, 9,5, technical report, ps file
     
   • infinigons and infinigrids of the hyperbolic plane
     paper in Fundamenta Informaticae, 56 ,
     technical report, ps file
   • the tiling of the hyperbolic 4D space by the 120-cell
     paper in JUCS, 10,9 , also available here: technical report, ps file
     
   • the undecidability of the generalized origin-constrained tiling problem for the hyperbolic plane
     click here for the new gz compressed file technical report, ps.gz file
     and also, an uncompressed .pdf file: technical report, .pdf file
     
   • the undecidability of the tiling problem for the hyperbolic plane
     click here for the new gz compressed file technical report, ps.gzip file
     and also, an uncompressed .pdf file: technical report, .pdf file
     and a new complement: pdf file, very similar to arXiv:07050086
     a synthesis of the previous papers is now published in the Bulletin of the EATCS, vol. 93
     also see arXiv site, here where you find my paper under the reference arXiv:0706.4161
     the full paper is here for a .pdf file
     a full paper is under press now in TCS: click here to access the paper on line and indicate doi:10.1016/j.tcs.2008.04.038 or insert Margenstern on the author field
   
   
4. cellular automata in hyperbolic geometry
   • the pentagrid of the hyperbolic plane
     JUCS, 5,9 , JUCS, 6,12, TCS site
     technical report, ps file
     
   • the rectangular dodecahedral tiling of the hyperbolic 3D space
     paper in Fundamenta Informaticae, 58 ,
     technical report, ps file
     
   • NEW! A book:
     Cellular Automata in Hyperbolic spaces, vol. 1: Theory, Old City Publishing, Philadelphia, 422p.,
     available here, with the possibility to order
     and also here, with another possibility to order
     also available on amazon.fr and on amazon.com
     
   • a NEW result:
     the injectivity of the global function of a cellular automaton on the ternary heptagrid is undecidable: see arXiv, paper arXiv:0806.1602v2, or/and an abridged version, see here for a .pdf file of it
     
   • Universality results:
     weak universality results (infinite initial configuration, but a regular one), using the railway circuit model devised by Ian Stewart, see Scientific American, (1994), 90-92.
     • In the pentagrid: a long time ago, with Francine Hermann, 22 states, Theoretical Computer Science 296, (2003), 327-364.
       recently, with Yu Song: 9 states, Parallel Processing Letters, 19(2), (2009), 225-246.
     • In the heptagrid: recently, with Yu Song: 6 states, Electronic Notes in Theoretical Computer Science, 223,(2008), 167-185.
5. Simulations by hyperbolic cellular automata on a triangular grid
   See the slides here.

Once upon a time

1. à la Markov constructive analysis
2. a simple extension of the predicate calculus
3. practical numbers