Parcourir la source

first commit to init git repository

Jean-Christophe Bach il y a 9 ans
commit
d9541103fb
56 fichiers modifiés avec 2606 ajouts et 0 suppressions
  1. 0 0
      403.html
  2. 0 0
      404.html
  3. BIN
      adeweb_1.2.apk
  4. BIN
      files/2014-06-26_115652-these-JCBach.pdf
  5. BIN
      files/2014-08-26_160445-these-JCBach.pdf
  6. BIN
      files/2014-09-10_163158-these-JCBach.pdf
  7. BIN
      files/2014-09-12_101554-these-JCBach.pdf
  8. BIN
      files/JCBach-these.pdf
  9. 296 0
      files/jcbach.asc
  10. BIN
      gomSubtyping.pdf
  11. 5 0
      images/.htaccess
  12. BIN
      images/flag-en.gif
  13. BIN
      images/flag-fr.gif
  14. BIN
      images/glider.ico
  15. BIN
      images/glider.png
  16. 28 0
      images/glider.svg
  17. BIN
      images/glider2.png
  18. BIN
      images/jcb.jpg
  19. BIN
      images/list-item.jpg
  20. BIN
      images/list-item2.jpg
  21. 5 0
      images/misc/.htaccess
  22. BIN
      images/misc/2012-11-21_18-45_first_printing.jpg
  23. BIN
      images/misc/2012-11-26_rochers.jpg
  24. BIN
      images/misc/2012-12-09-gateaux_amandes-noisettes.jpg
  25. BIN
      images/misc/2012-12-09_meringues.jpg
  26. BIN
      images/misc/2013-01-07-131221_3200x1200_scrot.png
  27. BIN
      images/misc/2013-01-24_win.jpg
  28. BIN
      images/misc/biology_science_div_mult.jpg
  29. BIN
      images/misc/rangeCD.jpg
  30. BIN
      images/valid_css.png
  31. BIN
      images/valid_xhtml.png
  32. 186 0
      index-en.html
  33. 187 0
      index-fr.html
  34. 186 0
      index.html
  35. 124 0
      misc-fr.html
  36. 119 0
      misc.html
  37. 5 0
      papers/.htaccess
  38. 211 0
      papers/bach.bib
  39. 27 0
      papers/bachITSLE2012.bib
  40. 17 0
      papers/bachInterstices2013a.bib
  41. 37 0
      papers/bachLDTA2012.bib
  42. 38 0
      papers/bachSLE2012.bib
  43. 9 0
      papers/bachSLE2012b.bib
  44. 14 0
      papers/bachTSI2013.bib
  45. 37 0
      papers/bachTomManual2009.bib
  46. 25 0
      papers/bachWRLA2010.bib
  47. BIN
      papers/ldta2012.pdf
  48. BIN
      papers/ldta2012_presentation.pdf
  49. BIN
      papers/rec3.pdf
  50. 296 0
      research-fr.html
  51. 292 0
      research.html
  52. 4 0
      robot.txt
  53. 115 0
      style.css
  54. 120 0
      teaching-fr.html
  55. 119 0
      teaching.html
  56. 104 0
      these.html

+ 0 - 0
403.html


+ 0 - 0
404.html


BIN
adeweb_1.2.apk


BIN
files/2014-06-26_115652-these-JCBach.pdf


BIN
files/2014-08-26_160445-these-JCBach.pdf


BIN
files/2014-09-10_163158-these-JCBach.pdf


BIN
files/2014-09-12_101554-these-JCBach.pdf


BIN
files/JCBach-these.pdf


+ 296 - 0
files/jcbach.asc

@@ -0,0 +1,296 @@
+-----BEGIN PGP PUBLIC KEY BLOCK-----
+Version: GnuPG v2.0.17 (GNU/Linux)
+
+mQGiBEmzoW4RBACK3I6lwqx8cqj+PBy2K/egl27OVhzuWyd02Hh2y8/C9381XGrF
+1nDloXuBNN5a/iIKWBaPrb6HbdhgPzXcsGNruhWh+74wOXlkKLRLCtyN5Gw8VTKM
+djnJEMDDeJVAjHCtkb7N0xvq/z+UDLrRoWoWapJ87QUum44BHMFO8IDNswCg2ts/
+six/mPf9YlufwSi7p1vZk2kEAIJt9d0lZ0e9wYz2FT5cbIoaSH8I7T1u5u84eWrG
+aX1lXkipo8tLXi7q+WosXyO2noIALUmqi2nsS4sqHaBjZY7Y044OBj3ZFOaAKT5p
+mSbhbU7pPV+OD1nEFgJki5AU/8VHbeNVKvefCfibQ5CK4goz8Yqh0gaX6Z+mHFEi
+miP1A/4y8SvlCNe9CS0mXw7E9UzPU4RGD/X36QO/RV9GNLo6/WRPJccCT95DyldW
+NNsYqUUpQvc4OXJoROoqNArOxHz4syzwFUID6vUGA3DcYpnYEYgkpQLPqRGHZJeu
+mA2aGHRJlEJ+sFpXzXLgltN8AGhO2AsxjGwtH3iX0zS8FCeY/rRKSmVhbi1DaHJp
+c3RvcGhlIEJhY2ggKHByb2Zlc3Npb25hbCBhZGRyZXNzKSA8amVhbmNocmlzdG9w
+aGUuYmFjaEBpbnJpYS5mcj6IZQQTEQIAJQIbIwYLCQgHAwIGFQgCCQoLBBYCAwEC
+HgECF4AFAkuoc8MCGQEACgkQg4/jc1+WsBzISACghZ8ZpaqZ5MQus0aHzTNKajQM
+jrwAoNik5UaqeXUT+Y/Cm3Dlj+fvyP9siQEcBBABAgAGBQJPOxdLAAoJEGDmYHFs
+FAtY7ogH/iJq8VkWqNi/Mbk8OxROTAlLUHYN6lu9OVMj4KPpte306u1lruxCnjzW
+gffWk010U4CTchbvj4JRl6MeotWzVoim5l6tqHUVbmMe2rRypzsQ8967YlgOep20
+aNv3Y8pAieTRi+3sfwqi1tF3ADyVzMFjQxZ9tK/IF84DvqWxoR9NShwDLKQ7ccih
+Bj0pYRvFZOE53rvRHLx7keL2/gDy8cEbBkHu7UZDDYb0qvnp9TCzKnskHGdDDFAz
+lVO1tDycT6BxOYbmx8BT2PKZljwRJck18VMp9vAQjR52FuNWWwMlpOrxsduRsXMt
+cIReQ0PoLoX9PYDVNkqm950oZGvO/8CIXgQQEQgABgUCT5vlKgAKCRB2aPLELq/x
+94F8AP9OsAyO/h0C7QSjarjwjz73p7qA3nlu+XPAf43iSDGjCgEAk0YHF8aA8zOu
+g5gtgowttEKXG3KrvoyEbad7zJxOf2aJAhwEEAECAAYFAk+1Dy4ACgkQTanTbaZu
+TZTUlhAAorQhm6SikdnFCq83tUZfS7fqX9s8QBOA25fAvMPT38V4QUuYIT2SnlUz
+fQ89rZSnbidNIf5/D9pK4+4R3E0yjS8CiKaYNF6zu+cIWHxWu8H0Kh9amxzQm+of
+cA/+65n3f8KrRSTQR0aZB8CaRhd7ne5qVGKHnRO+DiCG/AqBuY/MULc6My6sfN/q
+95WLkPY3Mu3dmk+qFPjZ0kzzRInx2L5DiYT6taTubfu8n3tcgpDaIFWE0Hjpo1O2
+hAH23RuKOh6wRbkpk0UQKQvgJK6zvPxeTtBMcy79oKO16TJgA9cBG5bJEHyDNDTl
+CTeKQYkvZvo+jvOmmN+nY/s2de/gd6kpE3vn4P5Usnqti8x+oiMXSLoFEqIWd30S
+LvNUKQ+LsqqKHg/4dYhvD1zqGIC32HK+ZRtA/QuomkqbLi7gpybV/1X33HCWDYKY
+b4njdzZuTIMDj3ZV0jYS6xuDutxCJQ4AYwjD2W6YvX36zoZQXM2tjaobx+BLIcM1
+sWOXVmPeIBaF0zOicKhtOJoEI+lmaTghY2zOeCuzCaoG9wvTPf0+EA8cCbj90gqK
+RxXjRsV/Ka7u4PN0o+VUxvMYS9UzK8yTbbLlJHuw5pcJSKKIRDh85gKg4jod8uio
+f3gfBqju38FswEaSbM8YdR1NWE36p7MQ7ySQB6+xQbraYKdqK6q0SkplYW4tQ2hy
+aXN0b3BoZSBCYWNoIChwcm9mZXNzaW9uYWwgYWRkcmVzcykgPGplYW5jaHJpc3Rv
+cGhlLmJhY2hAbG9yaWEuZnI+iGAEExECACACGyMGCwkIBwMCBBUCCAMEFgIDAQIe
+AQIXgAUCS6hzuwAKCRCDj+NzX5awHKuBAKCYbmdIMeCRuRTTzbioYk7w202lKQCe
+Kkhr8jjzoLxZKRby8iB32554ejeJARwEEAECAAYFAk87F1EACgkQYOZgcWwUC1hg
+bAf9Ech6s9/o33Pc2fWLMJvDc7lFsgNrPiSWj9Fx4GMSVCEEIGB/gX4GPdrmIkdm
+vZ2oYbPcNUpiKAfajbnprvuo5UWgUZdMEBl0GISTV73lxXna3yGpdGF2NyGPVaQG
+0m/WKc4p168UUCmox6Ocvod6NcO604A7MYgeIi1LFuHcTCZWgWZLu84Z2A6tNe1F
+NxYwtLnZfhNvCdOThTJWIAQn2mcVt1PgtT1GYd79oqMdsnAWFnpRpt+d3W17kyMg
+0gGjhIgYlBbmu0WWlXmh6iqdHdVojET57rhlweni4nwACRGoLLK6pPrP/aIKpEsa
+KxUCJdNMi1MrmLFqQtO5nFQwuYheBBARCAAGBQJPm+UqAAoJEHZo8sQur/H3BiQB
+AITPzgQ81RIF/xaxdlY/+WSLQZA5OzgCE7xoJ0c2w6ASAQDMwEgGZ776UwCpvq/q
+zBdgshS3NRGzmFLw+RCXO3ywDokBIgQQAQIADAUCT1PL7gUDABJ1AAAKCRCXELib
+yletfJYCCACQZ9bdvZBQ7oz4VeS/8LVH1aOPgGNLmN2Bc0HdOr0j8i2tvlxBQlFi
+rB0jf6pwuGYHvRoOmVfBWwYj9/FqNWcd+3v562V9QdBewP48Cjw7IaeQ/z/MazNR
+ks/5dUKvxzJxhCMC36JNoeH9C3QERN/jH5Ccvgs27JXkgP3uV7l1GZHQnvzX06gh
+A9EVzzIPTcUlu3q7fK3tMskJIhis0VMhy27+ApQSRYmc8SKA31Jia8wN/gU+J77P
+tr0WNM+p1LQOKgUn8nTewZSG1/xyysMIZArae7Se+Yx7W9+i9f4GD6teVuaMXjPw
+ba1CRFqicr2AjtqfPmrP6azPle8XT3f2iQIcBBABAgAGBQJPtQ8uAAoJEE2p022m
+bk2U0zcP/0Zi4A5QmMZYjF1b3YF993oXQcx9eLSP6BqHaQmxqATBpY2vT9X1tAkK
+3Yqi4ChEwurWLLCozgblCWdEzWP0XNOVzktEK2sypcoDG9zyqxczgwEZZIeqObeR
+1oYBo88FNMs5VGR54F0QoNsaoEHJW3h0OMa81HgxK4/+IrwPV5Q1sT/K4rmpUXtJ
+JIxEMQG2lQTFZflZJPGjJsJ0PoQWEmgLS2GMnkVWmVKivnZ8hSrgTIdnT1GS9nKk
+QUtEBnI4v4lFFVsM/EPk0RStd4DKzobqf5adbPtiA3jz5QVx+Qutil9V6DJHBGfm
+T16qes/z+LiV1/poQuBPN3kft+8Owk/OAOBq4yzsSZCJsPOtDrMdtW+VS1h56Wyb
+x/orWRoi9HdfVO08prs9yvaOsAHC/D/NhVWSknKblmZUwZaXhotN+TrGDSrYjRAc
+dMAYOAHp2Vd6tis9QXCP4TkGnyK1zpmviF6QHb/06i+Sask63YM8kOjeZ1ZQ2O/S
+DZ8BOgU3qHHufxCm1YoBcWmLIhO9K4xAz/gAugNsM6E42bTWH87BMm68Pph/a+kt
+GmrAxqDZJVmabZMr/HRiF6jIdExGZk7Ikm1SDMGj5Yo5gJ1Md+CMULULuE59aHWX
+ytuP/So5JtuIpbUz4OwGD8x5Y6kTxy1J2QEEzTJjTuuX7+ndEiAUtDpKZWFuLUNo
+cmlzdG9waGUgQmFjaCAocGVyc29uYWwgYWRkcmVzKSA8amMuYmFjaEBnbWFpbC5j
+b20+iGAEExECACACGyMGCwkIBwMCBBUCCAMEFgIDAQIeAQIXgAUCSbT6cgAKCRCD
+j+NzX5awHKBlAJ42Tgc+4AXDSDZ+6i6zk2pio0MSiQCghFRCPh4gLZrTljWPtZVv
+DtGLIZmIRgQQEQIABgUCSbk/nQAKCRBQ1ir3CaUKqsceAJ0XhSDoTstJqoB1eRSg
+QSzxiFpElgCfVqNyn4ZjhSjJOvvKFAfGSjbwtQSJARwEEAECAAYFAk87F1EACgkQ
+YOZgcWwUC1hNBQf+KLnhC7p4wTB3Knpc+1R8Bbfmd7v1AEXL99WeGgvv1iXz6bKW
+wZwVf8f7QTZJE3F8w/5keOvuS2oTX9qYyHPkDMWRvE8r+ge+U2T4r+zmDNsU4LTJ
+fBYWZGC7jXnrHVED3ITx/qcLlujgoSbBx92v8JbKEFvIvkMeDnf3HZO0PBafMkzx
+OE4J/0CQu6UOhtYvI22bzUQR8xWnRKlSzetNhYSQBCoG8hrhmTTUlceD3jNB2O+J
+bK9EZCEZ6K1SVbXdwjab/lePM8ZaTMUhJG/MI09bYLu9Y26aEDgAnAcwXQOGJspv
+qSV4W7MELy600RlklqeP5xXsNFK+EjbV/6qnToheBBARCAAGBQJPm+UqAAoJEHZo
+8sQur/H36csBAJ2Eb5t5WJ3Q4bDMaIXBeCPitNY4VbqJ1RN0Zybx2S+xAQCAdKve
+bb19LcZDouo2NjspVzRxEBbgMYjf6e/uhU5SDYkBIgQQAQIADAUCT6geDAUDABJ1
+AAAKCRCXELibyletfMA6CACC72yzHiTJxoccsh2XKEN620mFVqFayO9nL3AGKdat
+HkbbdOSnjgNfgPcHn6HHRHvaS0VvB8Fb8kDHzwXtKKaXo7GeLK1zI5mnyWHaP2Li
+a5TbJk2RC0i9wM3zrBAYml8n7+ZJHQbOo2iw7+mHGEPM9224mb2gt/Vy8qH67b6z
+g3oPhPkO2BK937b7EnRZ/A/kyIIcD45dQ3bG21ff1AQyr/B+DRmrSoKH9vs2+MbE
+d+I+O6oOKu14YDFLv/A6Pma/VPzW3IgYyYbXQE9yG7psHnD0RJLzm3L6vMYQJH1I
+w1ss9nkjONGxCKwYq6nCyrgoZiRs871D3vmyyKosKoRIiQIcBBABAgAGBQJPtQ8u
+AAoJEE2p022mbk2Uej0P/08QZ4fgbex4fMtowgJ6mMpjOx4eEYPcn8HQpEaSDtWF
+0yDGJ7XcoYQyaBiFX0wq2BgRQCapY0FkEG0kmSuzx7ilHu2/uXm63I8Dolo5tUP/
+M1Sj7fE7DPKlqN89QMIIvQlpUY9oiebYVzvCHULYxqPNewI7aAAo5IyE/CecWVYt
+/vdu7xStgaksa277AQ+DQduIkLr2y3YMuXWo49twEMDjQCZThXCf38+safJbBR6+
+S32mr1nsfS/GVLNmvxF1eV9R8H9aYE3naz98oFMinJrcf+eqImJx7gQ5HHoecDqh
+rJulQDiriaDfQlpYXz9pTP9jt73g+DjPvb1Frj7dzV7MwQpaOhV7VHtju0Q2zIwP
+n/McE4A7KRrF3Xa67/sN78sinksoXk1MLtYmjsuafsUBSOGmn7Mr7FUUmdjk7INB
+ZbNoSpiI9w1Mo1TllLiEgXti/eA5P8hdAm4cNHCJaS1Ivr701g0fWr/9YyQkcwdn
+LRqufe6IJdfUfTQZC8/jXNI+JCewViZZx9k1fTSAiEFa51PHhOG8EkaPI+op+gej
+F/OY/6uY4SUmr/Em8CJytqrsCUq9alU+rGGZwmRukecwpishjd9EvQbYl9dXN5gP
+j8P5Iu2tb2NZjaOLkRPOywObyXUwNgtdvX3l9zFHj6CrZKQBFu3dBBWNhNcZT77C
+tE1KZWFuLUNocmlzdG9waGUgQmFjaCAoRVNJQUwgbmV0d29yayBhZGRyZXNzKSA8
+amVhbi1jaHJpc3RvcGhlLmJhY2hAZXNpYWwubmV0PohgBBMRAgAgBQJJs6XpAhsj
+BgsJCAcDAgQVAggDBBYCAwECHgECF4AACgkQg4/jc1+WsBzG0QCfUUuKm7KFOcCI
+wg2WmluQvXqUB8wAmwWbRQCSasZpC+1UJ9u8n4bc8AJiiQEcBBABAgAGBQJPOxdR
+AAoJEGDmYHFsFAtYLUQH/RXhqBl6M5VzD7NQnDEKKWXcmzVr+/WR4ix8lcAzp03b
+fIX6HSPbVwjIlpAUOd2n4dJ0Y20RpXn+Fgyr0CkAs0LIkZp+rVb3ph8crh//OmS6
+5erzDqvZWofxtf60904NdHBnZomykaNsiKWlhTBU3bpOEMxPCprEM6V4luZTge0R
+byaLpxIPkUguYRHD9mZqdDcMMxDXtDxt1pwhsKNTyjlayAwIXqksmKCWZYm0dr5q
+aMrB/elH7obRe2kUP/85SpZIm3rZnQlVh154Yu+9R47UUb6S4oAtreBinuRwXLDe
+9Q08y1iVXzk54SspNy5tya0v4VUA9PU0nf14l6HpuGCIXgQQEQgABgUCT5vlKgAK
+CRB2aPLELq/x93OUAQC3QmRNxXZPVmKQiqWvhqw7+N2U6KRBi0Orj6X41GvRVwD+
+KTQyRXWY2pYhGyzm8DFPyYMQUGWiVJnvJybmQt/ab3+JASIEEAECAAwFAk+oHgwF
+AwASdQAACgkQlxC4m8pXrXw4Nwf/S+7HdD1aLVg0INwZqZcRknIiF7tyr8kHrHna
+aCZyCvUhU/EicSvOZ/jCC5hlIWBDlYvVUEJKqUIXZqedf0K64RNb5pzBSr0duwiy
+KKB7qeA90iFIcI/SsYMY/Klkf7ZO3l3WnNzewaGqDFAc+pa8zhoWWmiAMAW7RBk/
+Ktnhv5GosXEMo0Of3Uyr5Xs6zLIh9PJKA7fhtXVpqAeQssN4WPBswgwsTQ3vHA49
+4E4vCNQRqE9KVFgiYZKNPXuBKbdcbrRv0sf79VXEH53Rzi7RFiRBhYDHSPbf4bcT
+e0rIBG163lw/UPv8dAgg2XtG3kgk7fgaJ3whPmWp762ydmZLjIkCHAQQAQIABgUC
+T7UPLgAKCRBNqdNtpm5NlMU1D/wLxh319w+/iDGxFg7q4y2QKX5KGeAB7bOWRXzO
+KatbcHGyrZNaNlKmKCwIVxar0womo2LFPh+pphHH01JsKORNNtHpGlr+7NMmno2s
+3+ZaomfT753BBAxiF78NudDUKikEgI1Lm0etF5mxj5tWbE1DwjTMDvZ/WcaSwCd9
+h/Kz2Nrxw3oF6H1NQvb6Dd7meJN9rmDHrwSp1Fjpy1PRLjG4bfRDez3Z1W4+xzW4
+PJyAGHS22fJ5akAMRLpE6J6zY6Zu764hRUVBCGi23C3N/zFZ6gzV4d/agDkEMqOQ
+cm4Y88JCrQLDQItNiNOHjvxjUoQp9dA9U7i8i/LSmO87quk3WHFLgaAMZlB/eDw2
+M8JBtyidDvMyh2uWSIUA2VBW1Y5ntVNKundj8nwvGI7dTF4j4jsQSgnzOPxIPkuY
+dVGX7lzVlB2Fe5b4MVjYwzMbgPomlGQeZ6psQWL5Qqtne205va9NYghNklAE2n/w
++c6bpaHTXZBG1IhnQ0dxCJstTWjWnh6BtLTsA53b+/l1JMzZcSgIWklGPVTUlNSj
+SBZ2ZzKDGTszSNvGc/O+rRDN7gORO6z/q1tirTj052lpYkFmZXh40stb6h5Q9/SH
++HbICpe5D1pguZhGiAOHie+sYJEGRNPDE3YZ8gCG4lQY9OOjwhsHVg0nwlWoMox5
+UqgaPLQ3SmVhbi1DaHJpc3RvcGhlIEJhY2ggKHd3dy5hcHJpbC5vcmcpIDxqY2Jh
+Y2hAYXByaWwub3JnPohgBBMRAgAgBQJJ1fkFAhsjBgsJCAcDAgQVAggDBBYCAwEC
+HgECF4AACgkQg4/jc1+WsBxOjgCgsSBKw7nHxH4glfR9bTFDcV4uERMAoK/rQdKZ
+XYYP033RhxwKvxnJWxB2iQEcBBABAgAGBQJPOxdRAAoJEGDmYHFsFAtY/vIH/2U/
+Q9H6bIRevUm+yPmqTpIcXYOPzU6Iusc/7wIfuq+6R8aFZb541T0ovtxcfC6l5Q6D
+x6D7W0bMph3aH+7NZPS3ycrZw3lpzk4+lhj0/9TwMKCLeyqvcbud7ISmtgELsca7
+wrRQZYkyGFcH+2UDN/ebxXZpcBfqmhPZv9p0wTVXlXz+85e1UXyOaDry0K8AZ/Ci
+NNalTI3W9W8VX+i4iFvT72C3gJrHb04MCQkqcmRFScFU5yOg++TaLVsP93nxywwD
+xdz5CgdDBXRAVvwAqfXMRWtpVs2eezuRf3F9/+xTOn+NpUHOyP4LCW7GP/vTXi7/
+bYMVGpfbILc8pNY2q7uIXgQQEQgABgUCT5vlKgAKCRB2aPLELq/x908lAP0cX5ok
+VeXRd+ja+nb1dDzk5S5ZBFdyKHo0KUE5jWJ0lAD/W3R/DFifwOjbOzaJcsJpXL1V
+mP5ArnQ9AAHgvQKTlIqJASIEEAECAAwFAk+oHgwFAwASdQAACgkQlxC4m8pXrXzs
+Jwf/QfYRHkBqqIC4H9H7S8e/+T7rB3DDYXGkimaI655gzF+zb3PJSdA9BGidLY9E
+UVOVRkBYbiFVJAecIhiefubyf2a50GAYzKg+KySRg9Ym6nAVcRjFy6PYgBag2wkq
+MQDjKwfRC+wNDgtY9L5n9vXcBdCPA4WCDSAaq5A1Ub55sAad2GLVTzpCtpxqq0Uq
+NkM8k5/vV210H3ALftVVG4JZv1ygxjC9d+dgWB2yUwsuLXM8jbg5lBtaXlwrxtYK
+tG4EgGbn0glQnmppgrn9HlxPKPYwSrUpKMK1Gw+135jxv0i6/5UW3KU9GPZ+MMon
+/lE6E0AA1yK5LgV3d4gczBhT7YkCHAQQAQIABgUCT7UPLgAKCRBNqdNtpm5NlFkl
+D/0ULF/nFDdSyJvyybjX98W8y4iQEQ4qWjKNzZkD+zcEX18bbWjqVChFDvKSDjE3
+LZyJpGt5wb0Zm/lAzMP+NJkIF5SWaDxtm4r+Fknzm8iVjibhRKHkLrmmvj7omK6S
+HTA+bq0ipBZ6ZgwO+He4Y5P2Zd/l2O+SnpBnpgT3xjtTkhm/ScVwdhoYGEhBPBdN
+x1fMbptnffWK/yDKjb51War4o8klY+rDNC/EfebrP8DH+wCWWIo5Lfh0c4JfYmLV
+cn8B4bJANGrpCvR3ixRsPcMZJb4INzgIEaEIW1ulYBDTjUPmLF+qO4FJ4srx0FQL
+uP+D9clNcbhZh+/+4HzdoZomf7UPkVSdKd70eK+49nx1FSN8jVDO2I0nFFqpgooh
+PaQ2sqWMG2frPaqFgQQcaisGPGDqtan1R5Bx6eM+L4/0y8JJFY7zroMKM0sMoO+r
+el1aR9FR7tH7uJXTvHBqjZm/qxxa2f91PzmpPEKBHio9d5VJX5SPItjw7gX/+BlT
+dsQ/7kMq+jFpRNDYLmVi6+M8KxTYiYly2rHSC2YTZGXmAFbxYHLimt00PwqFA+hd
+XniBU8W5oO/2YDFJK6qrUKIX52mO8j8dqnsMiXoTfj+HMpV1YvQgCV/QUORPmFUJ
+gMNm5kUBCwBcjpk+XlDd+RmlXr2KKNF4+YcL7+oR1WjP8bQ7SmVhbi1DaHJpc3Rv
+cGhlIEJhY2ggKHd3dy5mc2Yub3JnKSA8amMuYmFjaEBtZW1iZXIuZnNmLm9yZz6I
+YAQTEQIAIAUCSdX9hQIbIwYLCQgHAwIEFQIIAwQWAgMBAh4BAheAAAoJEIOP43Nf
+lrAcz14AoLreCeugxacCeOH5C90Brs+PHkfLAJ93LYdsPiLQ5v9jrBqBfDvC6HML
+IYkBHAQQAQIABgUCTzsXUQAKCRBg5mBxbBQLWJ6sB/9jdwXPslPT/06yTKiS70qG
+jBRdgPECHCrEVVXcJ+HQNrk8Vmqr4H0qxuFgQFV6oGsGndeyuLe8xcXUsuVkaq/r
+VnZSOaQD0T3kp9Fu54UFN++lWqWvyhpzopCAiW9zL9Zd6WgP7ur3cMd1FqX0yict
+mPMaix7xj8fG7KA+Zue33HbuxgOAM/9eB221ev8ytYam/Dtsjy5OeZTFcQNGVa30
++gWKnZU0WnmgUgY7EZy3AiJSVLLTVBEPIU9zIdwUpI4UWH0P4ViPIK4/2YoMN7cK
+pxW4OEVztutQkN58I+SQCerP+GakHPxohyWpyWLGTUEA1WyfqMysRQr2MUQpu6lL
+iF4EEBEIAAYFAk+b5SoACgkQdmjyxC6v8ffFSAD+ON+D7XV6clembFWk4oe4KUk5
+QnBUHv+TDhq6tSUAdLoA/RWc6M/flIHfc2gEN6H9zPHTozEoVJ95FlcHZMwS81bM
+iQEiBBABAgAMBQJPqB4MBQMAEnUAAAoJEJcQuJvKV618Zg0IALKC2zv33g8+5VOB
+2g9uop1g7zQ0qupEVcHouwmxIMmBChMjeOBLe3+jZysJN3ZK2YYdBg8GTsZEZTLH
+z12J0MUryrvJ0hUhPe3MKbsUjncd3H5qwLVz4fOvCbEMJ+aySHJDNl6HTGYoKkbR
+CeRPrGXxJLuyrJM28tBWHowpT+XCap0VsdWp3hxkjQkMKYydnHroZWixKukbp6xr
+sHpVL7kfGNy4jXQQqTlW8ppbt9Mjl+F4NwfF7E+3BtQysfMOixYemDRndRVag4Iv
+eI1yscSLYFjXTh/thHsjz6id3v3cKBNRGfahz2H7iydKoQodb/+Y2Gz+rwXJoTsH
+CqAbJ0aJAhwEEAECAAYFAk+1Dy4ACgkQTanTbaZuTZRgDxAApObENPYV+dkXxjkh
+TAsIgxZuJs5CMlwncen9ID4YFOCh/GnzHInnfA6GBMQ8CO3KVJOEl0GSDg8W/gCE
+1TCB/Mu1oQpqihT+Qg60TgV9jvpzcC3cVUnxZie98RXZF2n6pGmvDjt/l9vEO464
+usbXBmIDHDXCmc/SYk66hBfYIlqFXaVhmDw1oJ3Zo2ZmUjRVN+W6hnB3Pr0WnFfT
+5iwIoX00EBEgNeA6Uvm3Oxw7/fS1J0Sp1uZFJJHpxBVCK0fBluC++77UHuq795RH
+5x1aWDRXmL3+bdvXUeJYuovexlMmUB5BXx3aS6wIPG2itHfPLO8sErfYrONop4+r
+z+tz40BpeT8T++yINN/ul8RVqGOaOjsArjfCUolT87HNyYbuUxkzzsgbSWIWZgl4
+MlVUyypz+ooIJKIBQq7G/dm+EMpuKsAmy2/rAAuKBsusZvY5zTYz/y7tCkfl3Nki
+m9T3wZG+6a8dHY7jTdraBeqqb36a6DCa8AdYJme+71w1rqp+p1c+tSZna7I3bGMY
+hRW3MHP8X1HHHhYi6JZ1gks9id7qH2cQ9ceZbc3X7S8HilfRmun8snW6g+d63Mkw
+PrynMyUSPTnI9ctngEJDlD4wCChJNJG2QRRrohqdYB4yeeIbrc9fLNbfKdVWuUyn
+iKA/4xqFsopRj6GC/NVKgvmvcam0P0plYW4tQ2hyaXN0b3BoZSBCYWNoICh3d3cu
+dHV4ZmFtaWx5Lm9yZykgPGF1c3RpbkB0dXhmYW1pbHkub3JnPohgBBMRAgAgBQJJ
+1f6NAhsjBgsJCAcDAgQVAggDBBYCAwECHgECF4AACgkQg4/jc1+WsBxkUACfSAXF
+hxgPJ3B2O37mzy5dkbC6WEsAoMOLV48t4CrcNKfjExncVBMrppUSiQEcBBABAgAG
+BQJPOxdRAAoJEGDmYHFsFAtYFZ8H/iqYHYL6LqdKLTXN448fQ0qDlSXJc0YBfsoe
+6duSKx8G0pYo44o6skIXdI3V1wrA1+XzAfzsmV7n+loBvGkFnSchT7kCJZ2NHt17
+B89YQpB6TkZiIN2rCX3nb+u8BjAT1sDexmoFahdoUwOW8k468rDvNvEfK+72+4VD
+Zw1u9hNRopyQZx14EWPx9nEAOWK3E6AiSC1s2SPOrKszN4J1yBtrSmq19rZd3mBB
+rRuq8SIPqNq4x5gl0iTLnTjLYvc4Q66zK7fMgnVZ3285Yk6iDJjQ/puJ5q+SQ1tM
+3HUxyxVXWHO06skEk02oH8o2IBIaYVyZ/4ulekUvOrApipsAX0aIXgQQEQgABgUC
+T5vlKgAKCRB2aPLELq/x97NkAP9M09aBxIvVyoMCNQTKDkkIHzMItkjQUZMu51io
+6YpLEgEAzmUFafToMQLMkuvOOJggRd9CUaEfnyPeeUQy4qPF8meJASIEEAECAAwF
+Ak+oHgwFAwASdQAACgkQlxC4m8pXrXy1Tgf9FGXZjjpGtJuszsS4GROJzmYCC8D5
++auEXDHOC2hCIh2o3+tmjlnQApnUlEMwVl7fYWW4+jUTHOkiFLdREFLVeTA7Gfux
+0gaHQNBALDC2z0+JxuMPhOkLIh5lFXbfu1yt2XR3eFZHLRBkkSs1OM41EJo8MC+1
+mckuIUsumUprWZW1br88FEjkrHlEfUjGMTLxaocj86JF/JiuvLVrFZD/Vi1rWh8Q
+bNlREg3ZRN6djmvZAsVUmYzq8z+VKySp9YiuI9cAaqoXNPWZNd1hFy6xYs1Osirk
+8YQNV3O5KGPc5AcpqV1/u3NWp46yuSUKpPJAe0WnCMljYS9m45epn9GdNokCHAQQ
+AQIABgUCT7UPLgAKCRBNqdNtpm5NlCbZD/4ucW7Vr3JLOu5QpgT7oogk1gd87Sxh
+W5zA+ZeutktawQlk7zWN6nVBqiD0k+kcOP7E/hMeVio14Y6A9gV/xmluqTa2RRM0
+40G04SBsXvyRVAWtyLiBCs5tfHRG3P+qv/5F7OVmzoCFX/OvS8SyETcupzigtz5h
+r8D+pOOj2lvVlIHMVk5OuBRz/NfdAVky9dYAc9fHcw+1jQRXixyMkWtuYiWAqvwF
+VKfFr+aE+bSlTdtarN0jpso7HXNLYubegCOu1ItzYhwj8HwmztTqP2kK9WMphbKw
+Pzqv+9D8aVyic7jQLksMCUwLXpvaKBX+dUD8iOt3hCsdJ42FDVPPVufYchO+DCBn
+VTUx5TRsZom5Tac4MKxSBSujYlYhzOMgCBgstJgjZA9fVMdT9psWPD/Jq/k+nP8z
+TDQWqebUlYYAjvp0nMJz1Sy39Ew2S+SZjgJkOnW2HSB6d2PKFWG0xYsXqbrr47Kp
+Hxs7aqenGuaNZUruxqbeDhZIrnWzxgVTFmR0/GEoDCs15pHZabunC50DcI/omcks
+EiP9EklQZfG3FPWOX3oUP3xkDMTUEO4QcdDd9GOAUsDrTEj51OzrgS0bdj2/8cHR
+v3iTTFqGRd2JMi6eRutTAIsc8SqA5uI0dAZjq0x7XL4Qlv/8I2bQ4enrHQga15Ka
+evqCgvxWM4kTRLQ9SmVhbi1DaHJpc3RvcGhlIEJhY2ggKHBlcnNvbmFsIGFkZHJl
+c3MpIDxqYy5iYWNoQHNjaHBsYWYub3JnPohiBBMRAgAiBQJN/jQ7AhsjBgsJCAcD
+AgYVCAIJCgsEFgIDAQIeAQIXgAAKCRCDj+NzX5awHIqjAJ9EEQq94UtSJVvUF4mh
+tip0OPFNEgCfW28gDUber+H85RDZtY80JIR3VcqJARwEEAECAAYFAk87F1EACgkQ
+YOZgcWwUC1hmrAf/XWZsxhzPC5XTgJ7ZCZjMQsxef7MmtJ/9DHQBG7k2lvfwrJIi
+b/x1Zn6RPVXup9rQfnoCTe/cWLg65CIJ9GQURCK07iZWwH2CpbgRH9V9STpLJGtR
+6e0q5a+a+fY8h4rUD3om1wjrvYlQ9+Yhk0bjSHg6v/HsISg2hRrHK5rHXAeIjL+K
+7e2Pn9j/9G7NVOGkfTZeCnlJhAXlJm/3uTEKw6wrNwdI7n/AgG/X2KSZO6PoGU39
+Zr1LbY0mHf5cLL91OB/gBSC3BJ917wa4QlJqAqkvCEKTmYlOSlCWa2tAcpsusd79
+FSjdZbT+tpaKe1tgcnZjiJYPfXx8iC+MN/u7eoheBBARCAAGBQJPm+UqAAoJEHZo
+8sQur/H34JkA/RWW/DlVWDd3QMvYgstCRiwI2wiZXRMvC9wrB92WgJP5AQDHyGMX
+Vjg51aEJzsbwa4BvgaHh7VcQuoE/nN/uNQ4pZokCHAQQAQIABgUCT7UPLgAKCRBN
+qdNtpm5NlPBVD/4sVvuslkc4UUn0rdofST5jdrIbxShcerHx7fV5g/IGzR/jFkHL
+RSU3JxWaOVmG+/3v7vIlVOvOZT2Cs3KhW+YB+CFE5ogOwncvA5MDR9Oqbvss/JDm
+4r1YXL9KeAX5x23hRxtln+T/nRIEXV8+5t4Y12ojyWbRNmQEeYSTTlPBOZzybhwT
+hIa+TJy4GIMSN7HkZBFaebzCh/NDZlonv5Ek0GtVRYT4dNLkQCkLUpVqmab8jHat
+XLFkzG4NjuOvWsNtAWRiSwkcdA6RpcLRCJ+RYWkMOLwyQdrlP6pHOXUwTtVwpgTo
+val/x5Qzwyy2jjhHLfnLavbHCbU8+qTYjQE9zfRLaPViejBB9702U6rLSLiAFKzU
+pgv7SBkAmuTwLCaC6hmCfNH2kIGP7bLfS5QKKHNCjaowgTpcfegKTQGZRV8pASFJ
+BW6ao/sFy5d1MnDAMPDMmwlQ0RYivi0bttOUvH5XF9/UFZ0zSf6Lg/PAgR4l39Vj
+E0fmiNlI0yUewvhhsyd4rvS4v00X+WLe5N3r3dMwCr47Y0qlysnEuwfIQUJ3e9ml
+7ccdSKhFln3o4/2yAJ8g7DV3U6Z3kVJGTKqJe4AA9y8TNOdWAmwgrO2WXS5nqHqW
+fwiWIL2WPVx50Ku8IUhmaYWpc6nX5IezVKTGNPkdMHFHhnG6DeJDYbK4erQ4SmVh
+bi1DaHJpc3RvcGhlIChwZXJzb25hbCBhZGRyZXNzKSA8amMuYmFjaEBzY2hwbGFm
+Lm9yZz6IVQQwEQIAFQUCTqUbUw4dAG1pc3NpbmcgbmFtZQAKCRCDj+NzX5awHH1i
+AKCvrBosqj8oWwcuEFPT5akZxqIMmQCglb24LRuNKpQ2ez2q3qcsadc8z/a0U0pl
+YW4tQ2hyaXN0b3BoZSBCYWNoIChwcm9mZXNzaW9uYWwgYWRkcmVzcykgPGplYW4t
+Y2hyaXN0b3BoZS5iYWNoQHVuaXYtbG9ycmFpbmUuZnI+iGIEExECACIFAk8FthsC
+GyMGCwkIBwMCBhUIAgkKCwQWAgMBAh4BAheAAAoJEIOP43NflrAcnKcAn0zcua8h
+IoXVGXrcLOxWqzE8he9zAJ9sgD9/F7+duZttzP4ctGSljJmyZ4kBHAQQAQIABgUC
+TzsXUQAKCRBg5mBxbBQLWM5KB/4zP4SnuMjYZL51VV8GOMi1wRrLUll3M/fGQOmT
+KCfxWlB4ImPCx2krJ/VU7hPIdOmWXAEKgnwtxk/tmhsjow4C0o3I5RoaA/qTJuan
+0j9haRY4hzHoQpR4RS2mfitHvBkEyIyPje0yd4elYLH9YZynRt6CuQwHfiZwuLrz
+nopUK5Mp5laJZLkFEIMXtTBL43Z1QNDq7srYYHn+n/4fnSIo1ht/cxSO+D5BOoBb
+l92BHmMB7M6lxc29JZYn8nIDlMfVrorZs7kUr8SeRSQmX/Z+asaNQCTRrtBBLEX9
+iCHPU3vgEmqiA/ArG3YnCOF4WKMQcFkLEJwBop3EbwjADuLBiF4EEBEIAAYFAk+b
+5SoACgkQdmjyxC6v8fcG5AD+PGtQCCAgjxg39Dbr2dym8z9VYBP+77p8L3uMpGoC
+tnQA/321KR6zfuJrAelWrT7Q8WMz+LC9zrspWXZJ6PAGDdO8iQIcBBABAgAGBQJP
+tQ8uAAoJEE2p022mbk2UAOAP/3iHXtHoWnlem+M/Tfq2AuD9M+UaLr8FU0xU0Q+1
+tTxro8n4Bvslqi2mMMR1VSTUYxlQO7bIBMZn6d7k/VZBlQ8BFjlqVMUxloEaQF3K
+EIAlEExXo/6XFOecnV/7D8Zu/gFcd5ONHCr4Rarv2zvOHv6PqAATVt2BQ4HTbZxh
+LMst62etKFMAcxhLiVWCf64S08Ze3SW9ftfnN2PhxUOz7BLK4tCN20bZTucBcoLt
+QW+OIiHHkgBcog8cttOxEQUv6b7eXnis/gIFduvT3nAAtHvKzZnGVqVAeXgr8FCv
+f7ODqf7ikOiVCjCT01Oj/HkoXHk7WpHR9EmUsGUByVLmTfkmg+08XiZn0pk9F3Kt
+LjpZfTCZcpo1qZ5jMQdPFbPmmgjwj9Le3UfVglcTF3MJPXqbStIFqWHf/9MGmsXa
+d265JQ/VMRq5eDiwoeO+YMJKJb0FXeDRJf6LKIiMwgQuY2O6mObYjh50aCd76ddl
+IYa4uDU5a4C/ZwgUhimoFWvAnItjf3SZBNdAaWmHQn+9UWTNbMXLuuD+pXJ1NPq6
+Y/Kqk6T/YoxUGJnan2fZy7YH6KT905IA1nLZNuhG7EgUxobXUFLq09j4L3DDelGo
+EYHHHoi30JdxvSMp3ZAzNxA/0ScIJQ9VuC6gRBnTg2L07mQMnaxSS15bojhLSrVG
+Jay3tFdKZWFuLUNocmlzdG9waGUgQmFjaCAoTWluZXMgZGUgTmFuY3kgLSBJTlBM
+KSA8amVhbi1jaHJpc3RvcGhlLmJhY2hAbWluZXMuaW5wbC1uYW5jeS5mcj6IYgQT
+EQIAIgUCTuyDTgIbIwYLCQgHAwIGFQgCCQoLBBYCAwECHgECF4AACgkQg4/jc1+W
+sBxnigCgmXt1AGynITUdYklaFg97x4Q/g8sAnikMCiVOEjwcLNUPYzlPTEHWBzER
+iQEcBBABAgAGBQJPOxdRAAoJEGDmYHFsFAtY8hsIAJZcHmwoiQ7oZQ9QJXGmZSew
+mLgshGk7jS53X1CJx0qaE69JLiJ6ha2nSo7KOHBEzhyhvhyfRLpl9u34/eQAH8k7
+RI1VluBNrsoysrqDoYFt8grIdXdBvfZHznyx8oSDAolSWrDYrB6dS7NYJNb4omqB
+ufplIiVAbRBjd/2AVavCZH3XOhW0V9FE5jg9Dn+t2Fjum5W2AbbSkkB/lTOecRwk
+lKzQ/YKtALXmucmMQp+4ufGaPuTjicdVkxObAt44GT8HyH7l3aVLHbDqGZrLs8lc
+CekgN0B1dO4mE2yFcdpFXf60Pw3MBYMn3tTqYug037nKVlWk0Yb271r0sGHqUGWI
+XQQQEQgABgUCT5vlKgAKCRB2aPLELq/x9zTvAP421jRTrRycuwZZ8y0F3ukPf7Aa
+qt/reEgCH4EqUT3DgwD45ordS5b/u76rOuWgVFvT7ag4NtE2vAKuvgbtFLxlqYkC
+HAQQAQIABgUCT7UPLgAKCRBNqdNtpm5NlIiVEACPY94UdtcJa8dnV6/9qsKo0aoz
+2gWiTbAHUaA3UcnK8RnRGCP1Jolf6ddoCO/cKo6WW6n19ii/qt8HrYolpXEichzo
+jceXF8TVOtJFd3+3nGxdhBgUtRe0tJRcISUT9BcNQDsFQUd2Eyf7hWjeBmlEc6Bo
+2tBWuJ2j2oBjoF8Mi+tfXabYrNzFku1L+Ub49NYmB2rQmrcS+wF4IeoAR6bwsO5t
+7+n+5uG4Nd7FhL5Kh5J9lDG6bSSvh8chCaAf876JMoxdFwnkyltfR24oLJO4mpb6
+aRDZrI4ycZ+td0Y3wgYIGvYwFt2rS44EsS/T3lKQ4LiaphNNqTJQ9aYnw1asE2yI
+ZVSNJlpQ3rmKOG71SFmVYrulcljvAxqKR4QUOGnqV3jFNCGc7oBFTVitKgxRqHJs
+NKuR5V1hE0KOkLhhlpV7oHnsymNjx82Z4wdUONxiJ2oNRyl/7gIxqTBjb8a+kxIJ
+DGxc20rglBqI2ER4Iy/BiVSnhnjy49UyU30on30HvlsXHcgRajBZJMobdksOsgRl
+7hRi7Kp489dsPZoIg/WB02iqbjmB3Db6W54tb03DscVOSVWjR4Wd9McoOk09emBq
+mWfqyplUlPK0zj73S0ddJ7EKg2qtYramlSmT8ZGjUqYf3zYA954NpaetQHoMOdJy
+eDBck6QCMFSFcFlRB7kCDQRJs6FuEAgA83TDmvz+ScLKi25a45En0DeEgW6hor3E
+h6f3zCOlOaD5bpjcbDQh5zdWFSpqcP0W7ZTddwjfb14NtV38MNz7MunKbwJJm/Ac
+VHhAXGxPduv7pGAEi3VgudOEux+EcCWRacmFm47zdSSSsPYLYFfUqNu+uBHSKD/o
+VmLHSoOt36stuNf/okOR3fXts1AHWFlMBL+YkpIL4FVH+p6RCu+UwoYCjkYFn1rR
+UOA8YaHZtVKGgcs0qG8iC/o15AO1TmTAUTGrf+luuJmvVQs9ZtduXsMjx/HviJPv
+vOhXIq1jQZjirdPcw6QYNOZg+Q1THeeDclHYun/OvQHrsE8DAj67owADBQf/Rdef
+OV3UNFgoJqHc49rnLyD7HOloPPPV9u9D8xo74Dl1FyGKGcJdn8Vg1j7hKiGzCz5w
+eg6RYBc+gb+O2FZwIUzCXKgGRrtY4+nsxdZIQ6sWU559fx52Gjr+g9Z+WYbhe6Gq
+O57evSwgswsuMvlbRqLqE7w4H2oURniiRtRauo66PnotD3ssfgLAOgvl1TvEhppz
+s7FxZuG8oAqNebaTcAubywv09wpngaUgFuqKvVQ+LJ61eNaSex8RTAP24rmGq5um
+ql9ggO9pEi+8AkwFbELvgOHdHVHKCJlS2bH7eqs2//MYSTH71RzeOug3fO98mdT2
+wZdww7djS+z9u+kuuIhJBBgRAgAJBQJJs6FuAhsMAAoJEIOP43NflrAclNcAnR3N
+NScpQpk5vBizdV/BUzVYeRwlAKCFFgUReqqD2iE+t0qPokNSjGw3bg==
+=ZM/m
+-----END PGP PUBLIC KEY BLOCK-----

BIN
gomSubtyping.pdf


+ 5 - 0
images/.htaccess

@@ -0,0 +1,5 @@
+order deny,allow
+allow from all
+AddDefaultCharset UTF-8
+AddCharset UTF-8 .html
+Options -Indexes

BIN
images/flag-en.gif


BIN
images/flag-fr.gif


BIN
images/glider.ico


BIN
images/glider.png


+ 28 - 0
images/glider.svg

@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN" "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd">
+<!-- Created by Keith Packard -->
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.0" x="0" y="0" width="140" height="140" id="glider">
+   
+<g transform="translate(10, 10)">&gt;
+    <g id="scale" transform="scale(20)">
+	<g id="grid" style="fill: none; stroke-linejoin: round; stroke-linecap: butt; stroke: rgb(0, 0, 0); stroke-width: 0.1;">
+	   	<!-- outside -->
+		<path d="m 0 0 L 6 0 L 6 6 L 0 6 Z"/>
+	   	
+		<!-- inside -->
+		<path d="M 0 2 L 6 2"/>
+		<path d="M 0 4 L 6 4"/>
+		
+		<path d="M 2 0 L 2 6"/>
+		<path d="M 4 0 L 4 6"/>
+	</g>
+	<g id="dots" style="fill: rgb(64, 0, 64);">
+		<ellipse cx="3" cy="1" rx=".7" ry=".7" id="C1"/>
+		<ellipse cx="5" cy="3" rx=".7" ry=".7" id="C1"/>
+		<ellipse cx="1" cy="5" rx=".7" ry=".7" id="C1"/>
+		<ellipse cx="3" cy="5" rx=".7" ry=".7" id="C1"/>
+		<ellipse cx="5" cy="5" rx=".7" ry=".7" id="C1"/>
+	</g>
+    </g>
+</g>
+</svg>

BIN
images/glider2.png


BIN
images/jcb.jpg


BIN
images/list-item.jpg


BIN
images/list-item2.jpg


+ 5 - 0
images/misc/.htaccess

@@ -0,0 +1,5 @@
+order deny,allow
+allow from all
+AddDefaultCharset UTF-8
+AddCharset UTF-8 .html
+Options -Indexes

BIN
images/misc/2012-11-21_18-45_first_printing.jpg


BIN
images/misc/2012-11-26_rochers.jpg


BIN
images/misc/2012-12-09-gateaux_amandes-noisettes.jpg


BIN
images/misc/2012-12-09_meringues.jpg


BIN
images/misc/2013-01-07-131221_3200x1200_scrot.png


BIN
images/misc/2013-01-24_win.jpg


BIN
images/misc/biology_science_div_mult.jpg


BIN
images/misc/rangeCD.jpg


BIN
images/valid_css.png


BIN
images/valid_xhtml.png


+ 186 - 0
index-en.html

@@ -0,0 +1,186 @@
+<!-- -*- ispell-local-dictionary: "english"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #home_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage"/>
+  <meta name="keywords" content="jean-christophe, bach, homepage, inria, loria, pareo, tom" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%" summary="On the left, informations about my work. On the right, contact details">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+	  
+    <!--img src="images/jcb.jpg" longdesc="A%20photo" width="180" height="178" align="right" style="border:0" alt="Jean-Christophe Bach's picture"/-->
+
+    <div id="header">
+      <h1>Jean-Christophe Bach</h1>
+      <h4>PhD student - <a href="http://www.loria.fr/equipes/pareo/">Pareo</a> Team - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a>: <a href="http://info-fst.dep.univ-lorraine.fr">Computer Science Department</a> of <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index.html">home</a></li>
+        <li><a id="research_menu" href="./research.html">research</a></li>
+        <li><a id="teaching_menu" href="./teaching.html">teaching</a></li>
+        <li><a id="misc_menu" href="./misc.html">misc</a></li>
+        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
+      </ul>
+    </div>
+
+    <table>
+          <tr><td class="textbf">Physical address</td><td>Centre de recherche Inria Nancy-Grand Est, Pareo team</td><td rowspan="8"><img style="float:right border:0" src="images/jcb.jpg" longdesc="A%20photo" width="180" height="178" alt="Jean-Christophe Bach's picture"/></td></tr>
+	  <tr><td class="textbf"></td><td>54600 Villers-lès-Nancy</td></tr>
+	  <tr><td class="textbf"></td><td>France</td></tr>
+	  <tr><td class="textbf">Phone</td><td>(+33) (0)3 54 95 84 05</td></tr>
+	  <tr><td class="textbf">Office</td><td>C307</td></tr>
+	  <!--tr><td class="textbf">Email</td><td> <span class="green">x</span><span class="blue">y</span>.<span class="red">z</span>@{inria,loria}.fr <i>with</i> <span class="green">x</span> &#8594; jean, <span class="blue">y</span> &#8594; christophe and <span class="red">z</span> &#8594; bach</td></tr-->
+	  <tr><td class="textbf">Email</td><td> <span class="green">x</span><span class="blue">y</span>.<span class="red">z</span>@{inria,loria}.fr <i>or</i> <span class="green">x</span>-<span class="blue">y</span>.<span class="red">z</span>@univ-lorraine.fr</td></tr>
+	  <tr><td class="textbf"></td><td><i>with</i> <span class="green">x</span> &#8594; jean, <span class="blue">y</span> &#8594; christophe and <span class="red">z</span> &#8594; bach</td></tr>
+	  <!--arrow : entity number : &#8594; / entity name : &rarr;-->
+	  <tr><td class="textbf">Public key</td><td><a href="http://pgp.mit.edu:11371/pks/lookup?op=get&amp;search=0x520E0E85EA19F34E">EA19F34E</a> / Fingerprint=A8C3 C208 1C6A 209B DE2A  2D6C 520E 0E85 EA19 F34E</td></tr>
+	  <tr><td class="textbf">(former one)</td><td><a href="http://pgp.mit.edu:11371/pks/lookup?op=get&amp;search=0x838FE3735F96B01C">5F96B01C</a> / Fingerprint=6B01 787A A62D D8FF 7CAA  8601 838F E373 5F96 B01C</td></tr>
+	  <tr><td class="textbf">Jabber (IM)</td><td>jc.bach@im.apinc.org</td></tr>
+	  <tr><td class="textbf">Tox ID</td><td>BCD619585BDFB2426EFEB9622E7C4C7FF2D78459AF4CE2D18864B8B392F07C6A82117456EA95</td></tr>
+    </table>
+
+    <h3>Introduction</h3>
+
+    <p style="text-align:justify">
+
+    Since November 2010, I am a PhD student at <a
+	    href="http://www.loria.fr">LORIA</a> working on models
+    transformations under the supervision of <a
+	    href="http://www.loria.fr/~moreau">Pierre-Étienne Moreau</a> and <a
+	    href="http://www.enseeiht.fr/~pantel">Marc Pantel</a> in the <a
+	    href="http://www.loria.fr/la-recherche-en/equipes/pareo">Pareo</a>
+    team. In the context of my PhD, I am involved in the <a
+	    href="http://quarteft.loria.fr">Quarteft</a> project, funded by <a
+	    href="http://www.fnrae.org">FNRAE</a> (Fondation de Recherche pour
+    l'Aéronautique et l'Espace / Research Foundation for Aeronautics and Space)
+
+    From November 2010 to October 2013, I was funded by <a
+	    href="http://www.inria.fr">Inria</a>. Since November 2013, I have
+    an <acronym title="Attaché Temporaire d'Enseignement et de Recherche, which
+	    stands for Temporary Teaching and Researching
+	    Assistant">ATER</acronym> contract at the <acronym title="Faculté des Sciences et Technologies, which stands for Sciences and Technologies Faculty">FST</acronym> of Université de Lorraine.
+
+    <br/>
+    <br/>
+
+    Previously, I graduated from the <a
+      href="http://www.esial.uhp-nancy.fr">ESIAL</a> -Software Engineering
+    specialization- (now known as <a href="http://www.telecomnancy.eu"/>TELECOM
+      Nancy</a>), then I have worked for two years as an IT security engineer
+    at <a href="http://www.advens.fr">Advens</a>, an IT security services
+    company located in Lille.
+
+    <br/>
+
+    I also have worked for two years on the <a
+	    href="http://tom.loria.fr">Tom</a> compiler as development
+    engineer in the <a href="http://www.loria.fr/la-recherche-en/equipes/pareo">Pareo</a> team.
+
+    <br/>
+
+    For the 2014-2015 year, I will have an ATER contract at the university of Lille 1.
+    </p>
+
+  <!--h3>Research, publications and talks</h3-->
+
+  <p style="text-align:justify">
+  <b>Research, publications and talks</b>:
+  </p>
+      <ul>
+        <li>You can find more information about my research topics, my publications and talks on <a href="./research.html">this page</a>.</li>
+	<li>On <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bach:Jean=Christophe.html">DBLP</a></li>
+	<!--li>HAL tool query</li>
+	<li>Google Schoolar</li-->
+      </ul>
+
+  <!--h4>Teaching</h4-->
+
+  <p style="text-align:justify">
+  <b>Teaching:</b><br/>
+  In addition to my PhD I taught at the <a
+    href="http://www.mines.inpl-nancy.fr">École des Mines in Nancy</a> as
+  teaching assistant (2010-2013). I currently teach at the <a
+    href="http://info-fst.dep.univ-lorraine.fr" >computer science
+    department</a> of <a
+    href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">Sciences
+    and Technologies Faculty</a> as <acronym title="Attaché Temporaire
+    d'Enseignement et de Recherche, which stands for Temporary Teaching and
+    Researching Assistant">ATER</acronym> (2013-2014). For detailed
+  information, please see <a href="./teaching.html">this page</a>.
+  </p>
+
+  <!--h4>Misc</h4-->
+  <p style="text-align:justify">
+  <b>Misc:</b><br/>
+  I have been elected to represent PhD students, temporary researchers and
+  engineers within the laboratory council. There is a meeting once every two
+  months. If you have problems, remarks or questions for laboratory council,
+  please send me an email and I will transmit it (<b>anonymously</b>) during the next
+  meeting.
+  <br/>
+  Past laboratory council meetings:
+  </p>
+      <ul>
+        <li>April, 18th 2013 at 8:30am: first meeting</li>
+        <li>May, 21st 2013 at 10.00am: a special laboratory council meeting, dedicated to ATER (Temporary Teaching and Research Assistant)</li>
+	<li>June, 18th 2013 at 10.00am [canceled, reported to July, 2nd 2013 at 10.00am]</li>
+	<li>October, 8th 2013 at 10.00am</li>
+	<li>December, 10th 2013 at 10.00am</li>
+	<li>February, 4th 2014 at 10.00am</li>
+	<li>February, 28th 2014 at 2.00pm: a special laboratory council meeting dedicated to organization when hiring a professor assistant.</li>
+	<li>April, 15th 2014 at 10.00am</li>
+	<li>June, 27th 2014 at 2.00pm</li>
+	<!--li></li-->
+</ul>
+I leave the laboratory, therefore I will resign. A new election will stand in Sebtember or October and the remaining representative is Stéphane Glondu (stephane _dot_ glondu _at_ inria.fr).
+  <p style="text-align:justify">
+  <br/>
+  <br/>
+  Apart my research and teaching, I have interest in other activities as detailed on the <a href="./misc.html">following page</a>.
+  <br/>
+  Special thanks to Clément Hurlin and Paul Brauner who allowed me to use their css and the design of their personal pages :)
+  </p>
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<!--a href="index.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a-->
+	<a href="index-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a>
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Last modification: 2014-08-18</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>

+ 187 - 0
index-fr.html

@@ -0,0 +1,187 @@
+<!-- -*- ispell-local-dictionary: "french"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #home_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage"/>
+  <meta name="keywords" content="jean-christophe, bach, inria, loria, pareo, tom" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%" summary="À gauche, informations à propos de mon travail. A droite, comment me contacter">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+
+	  <!--img src="images/photo.jpg" longdesc="A%20photo" width="129" height="210" align="right" style="border:0" alt=" "/-->
+
+    <div id="header">
+    <h1>Jean-Christophe Bach</h1>
+      <h4>Doctorant - Équipe <a href="http://www.loria.fr/la-recherche/equipes/pareo?set_language=fr">Pareo</a> - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a> : <a href="http://info-fst.dep.univ-lorraine.fr">département informatique</a> de la <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index-fr.html">accueil</a></li>
+        <li><a id="research_menu" href="./research-fr.html">recherche</a></li>
+        <li><a id="teaching_menu" href="./teaching-fr.html">enseignement</a></li>
+        <li><a id="misc_menu" href="./misc-fr.html">divers</a></li>
+        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
+      </ul>
+    </div>
+
+    <table>
+          <tr><td class="textbf">Adresse postale</td><td>Centre de recherche Inria Nancy-Grand Est, équipe Pareo</td><td rowspan="8"><img style="float:right border:0" src="images/jcb.jpg" longdesc="A%20photo" width="180" height="178" alt="Photo de Jean-Christophe Bach"/></td></tr>
+	  <tr><td class="textbf"></td><td>54600 Villers-lès-Nancy</td></tr>
+	  <tr><td class="textbf"></td><td>France</td></tr>
+	  <tr><td class="textbf">Téléphone</td><td>(+33) (0)3 54 95 84 05</td></tr>
+	  <tr><td class="textbf">Bureau</td><td>C307</td></tr>
+	  <!--tr><td class="textbf">Courriel</td><td> <span class="green">x</span>.<span class="red">y</span>@inria.fr <i>avec</i> <span class="green">x</span> &#8594; jeanchristophe et <span class="red">y</span> &#8594; bach</td></tr-->
+	  <tr><td class="textbf">Courriel</td><td> <span class="green">x</span><span class="blue">y</span>.<span class="red">z</span>@{inria,loria}.fr <i>ou</i> <span class="green">x</span>-<span class="blue">y</span>.<span class="red">z</span>@univ-lorraine.fr</td></tr>
+	  <tr><td class="textbf"></td><td><i>avec</i> <span class="green">x</span> &#8594; jean, <span class="blue">y</span> &#8594; christophe et <span class="red">z</span> &#8594; bach</td></tr>
+	  <!--arrow : entity number : &#8594; / entity name : &rarr;-->
+	  <tr><td class="textbf">Clef publique</td><td><a href="http://pgp.mit.edu:11371/pks/lookup?op=get&amp;search=0x520E0E85EA19F34E">EA19F34E</a> / Fingerprint=A8C3 C208 1C6A 209B DE2A  2D6C 520E 0E85 EA19 F34E</td></tr>
+
+	  <tr><td class="textbf">(ancienne)</td><td><a href="http://pgp.mit.edu:11371/pks/lookup?op=get&amp;search=0x838FE3735F96B01C">5F96B01C</a> / Fingerprint=6B01 787A A62D D8FF 7CAA  8601 838F E373 5F96 B01C</td></tr>
+	  <tr><td class="textbf">Jabber (IM)</td><td>jc.bach@im.apinc.org</td></tr>
+	  <tr><td class="textbf">Tox ID</td><td>BCD619585BDFB2426EFEB9622E7C4C7FF2D78459AF4CE2D18864B8B392F07C6A82117456EA95</td></tr>
+    </table>
+
+    <h3>Présentation</h3>
+
+    <p style="text-align:justify">
+
+    Depuis novembre 2010, je suis doctorant au <a
+	    href="http://www.loria.fr">LORIA</a> travaillant sur la
+    transformation de modèles sous la supervision de <a
+	    href="http://www.loria.fr/~moreau">Pierre-Étienne Moreau</a> et <a
+	    href="http://www.enseeiht.fr/~pantel">Marc Pantel</a>, dans
+    l'équipe <a
+	    href="http://www.loria.fr/la-recherche/equipes/pareo?set_language=fr">Pareo</a>.
+    Dans le cadre de ma thèse, je suis impliqué dans le projet <a
+	    href="http://quarteft.loria.fr">Quarteft</a>, financé par la <a
+	    href="http://www.fnrae.org">FNRAE</a> (Fondation de Recherche pour
+    l'Aéronautique et l'Espace).
+
+    De novembre 2010 à octobre 2013, j'étais financé par l'<a
+      href="http://www.inria.fr">Inria</a>. Depuis novembre 2013, je suis
+    <acronym title="Attaché Temporaire d'Enseignement et de
+      Recherche">ATER</acronym> dans le <a href="http://info-fst.dep.univ-lorraine.fr">département informatique</a> de la <acronym title="Faculté des Sciences et
+      Technologies">FST</acronym> de l'Université de Lorraine.
+
+    <br/>
+    <br/>
+
+    Diplômé de l'<a href="http://www.esial.uhp-nancy.fr">ESIAL</a>
+    -spécialisation Ingénierie du Logiciel- (actuellement <a
+      href="http://www.telecomnancy.eu"/>TELECOM Nancy</a>), j'ai travaillé
+    pendant un peu plus de deux ans en tant qu'ingénieur sécurité chez <a
+      href="http://www.advens.fr">Advens</a>, une société de service et conseil
+    en sécurité des systèmes d'information.
+
+    <br/>
+
+    J'ai ensuite travaillé deux ans sur le compilateur <a
+	    href="http://tom.loria.fr">Tom</a> en tant qu'ingénieur dans
+    l'équipe <a href="http://www.loria.fr/la-recherche/equipes/pareo?set_language=fr">Pareo</a>.
+
+    <br/>
+
+    Pour l'année 2014-2015, je serai ATER à l'université de Lille 1.
+    </p>
+
+  <!--h3>Recherche, publications et exposés</h3-->
+
+      <p style="text-align:justify">
+  <b>Recherche, publications et exposés :</b>
+    </p>
+      <ul>
+        <li>Vous pouvez trouver des informations concernant mes thèmes de recherche, mes publications et mes exposés sur cette <a href="./research-fr.html">page</a>.</li>
+	<li>Sur <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bach:Jean=Christophe.html">DBLP</a></li>
+	<!--li>HAL tool query</li>
+	<li>Google Schoolar</li-->
+      </ul>
+
+  <!--h3>Enseignement</h3-->
+
+  <p style="text-align:justify">
+  <b>Enseignement :</b><br/>
+  En parallèle de ma thèse j'ai enseigné à l' <a
+    href="http://www.mines.inpl-nancy.fr">École des Mines de Nancy</a> en tant
+  que moniteur (2010-2013). J'enseigne actuellement au sein <a
+    href="http://info-fst.dep.univ-lorraine.fr" >département informatique</a>
+  de la <a
+    href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">Faculté
+    des Sciences et Technologies</a> en tant qu'ATER (2013-2014). Pour plus de
+  détails, vous pouvez vous référer à la <a href="./teaching-fr.html">page
+    suivante</a>.  </p>
+
+  <!--h3>Divers</h3-->
+  <p style="text-align:justify">
+  <b>Divers : </b><br/>
+  Je suis élu représentant du collège C (doctorants, ATER, post-doc et
+  ingénieurs jeunes diplômés) au conseil du laboratoire. Les conseils ont lieu
+  une fois tous les deux mois. Si vous avez des problèmes, des remarques ou des
+  questions, envoyez-moi un mail que je transmettrai (<b>anonymement</b>) lors du
+  prochain conseil.
+  <br/>
+  Réunions du conseil de laboratoire :
+  </p>
+  <ul>
+    <li>18 avril 2013 à 8h30 : première réunion</li>
+    <li>21 mai 2013 à 10h00 : un conseil de laboratoire spécifique à la procédure de recrutement des ATER</li>
+	  <li>18 juin 2013 à 10h00 [annulé, reporté au 2 juillet à 10h00]</li>
+	  <li>8 octobre 2013, 10h</li>
+	  <li>10 décembre 2014, 10h</li>
+	  <li>4 février 2014, 10h</li>
+	  <li>28 février  2014, 14h : un conseil de laboratoire spécifique à l'aménagement dans le cadre du recrutement des enseignants-chercheurs (décharge de service).</li>
+	  <li>15 avril 2014, 10h</li>
+	  <li>27 juin 2014, 14h</li>
+	  <!--li>, 10h</li-->
+  </ul>
+  Je quitte le laboratoire à la rentrée et je démissionnerai donc de mon mandat. Une nouvelle élection pour le collège C aura lieu en septembre ou octobre. Le représentant restant du collège C est Stéphane Glondu (stephane _dot_ glondu _at_ inria.fr)
+  <p style="text-align:justify">
+  <br/>
+  <br/>
+  Quelques détails d'activités hors recherche et enseignement sont disponibles sur la <a href="./misc-fr.html">page suivante</a>.
+  <br/>
+  Remerciement spécial à Clément Hurlin et Paul Brauner qui m'ont autorisé à
+  reprendre leurs css et le design de leurs pages :)
+  </p>
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<a href="index.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a>
+	<!--a href="index-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a-->
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Dernière modification : 2014-08-18</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>

+ 186 - 0
index.html

@@ -0,0 +1,186 @@
+<!-- -*- ispell-local-dictionary: "english"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #home_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage"/>
+  <meta name="keywords" content="jean-christophe, bach, homepage, inria, loria, pareo, tom" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%" summary="On the left, informations about my work. On the right, contact details">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+	  
+    <!--img src="images/jcb.jpg" longdesc="A%20photo" width="180" height="178" align="right" style="border:0" alt="Jean-Christophe Bach's picture"/-->
+
+    <div id="header">
+      <h1>Jean-Christophe Bach</h1>
+      <h4>PhD student - <a href="http://www.loria.fr/equipes/pareo/">Pareo</a> Team - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a>: <a href="http://info-fst.dep.univ-lorraine.fr">Computer Science Department</a> of <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index.html">home</a></li>
+        <li><a id="research_menu" href="./research.html">research</a></li>
+        <li><a id="teaching_menu" href="./teaching.html">teaching</a></li>
+        <li><a id="misc_menu" href="./misc.html">misc</a></li>
+        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
+      </ul>
+    </div>
+
+    <table>
+          <tr><td class="textbf">Physical address</td><td>Centre de recherche Inria Nancy-Grand Est, Pareo team</td><td rowspan="8"><img style="float:right border:0" src="images/jcb.jpg" longdesc="A%20photo" width="180" height="178" alt="Jean-Christophe Bach's picture"/></td></tr>
+	  <tr><td class="textbf"></td><td>54600 Villers-lès-Nancy</td></tr>
+	  <tr><td class="textbf"></td><td>France</td></tr>
+	  <tr><td class="textbf">Phone</td><td>(+33) (0)3 54 95 84 05</td></tr>
+	  <tr><td class="textbf">Office</td><td>C307</td></tr>
+	  <!--tr><td class="textbf">Email</td><td> <span class="green">x</span><span class="blue">y</span>.<span class="red">z</span>@{inria,loria}.fr <i>with</i> <span class="green">x</span> &#8594; jean, <span class="blue">y</span> &#8594; christophe and <span class="red">z</span> &#8594; bach</td></tr-->
+	  <tr><td class="textbf">Email</td><td> <span class="green">x</span><span class="blue">y</span>.<span class="red">z</span>@{inria,loria}.fr <i>or</i> <span class="green">x</span>-<span class="blue">y</span>.<span class="red">z</span>@univ-lorraine.fr</td></tr>
+	  <tr><td class="textbf"></td><td><i>with</i> <span class="green">x</span> &#8594; jean, <span class="blue">y</span> &#8594; christophe and <span class="red">z</span> &#8594; bach</td></tr>
+	  <!--arrow : entity number : &#8594; / entity name : &rarr;-->
+	  <tr><td class="textbf">Public key</td><td><a href="http://pgp.mit.edu:11371/pks/lookup?op=get&amp;search=0x520E0E85EA19F34E">EA19F34E</a> / Fingerprint=A8C3 C208 1C6A 209B DE2A  2D6C 520E 0E85 EA19 F34E</td></tr>
+	  <tr><td class="textbf">(former one)</td><td><a href="http://pgp.mit.edu:11371/pks/lookup?op=get&amp;search=0x838FE3735F96B01C">5F96B01C</a> / Fingerprint=6B01 787A A62D D8FF 7CAA  8601 838F E373 5F96 B01C</td></tr>
+	  <tr><td class="textbf">Jabber (IM)</td><td>jc.bach@im.apinc.org</td></tr>
+	  <tr><td class="textbf">Tox ID</td><td>BCD619585BDFB2426EFEB9622E7C4C7FF2D78459AF4CE2D18864B8B392F07C6A82117456EA95</td></tr>
+    </table>
+
+    <h3>Introduction</h3>
+
+    <p style="text-align:justify">
+
+    Since November 2010, I am a PhD student at <a
+	    href="http://www.loria.fr">LORIA</a> working on models
+    transformations under the supervision of <a
+	    href="http://www.loria.fr/~moreau">Pierre-Étienne Moreau</a> and <a
+	    href="http://www.enseeiht.fr/~pantel">Marc Pantel</a> in the <a
+	    href="http://www.loria.fr/la-recherche-en/equipes/pareo">Pareo</a>
+    team. In the context of my PhD, I am involved in the <a
+	    href="http://quarteft.loria.fr">Quarteft</a> project, funded by <a
+	    href="http://www.fnrae.org">FNRAE</a> (Fondation de Recherche pour
+    l'Aéronautique et l'Espace / Research Foundation for Aeronautics and Space)
+
+    From November 2010 to October 2013, I was funded by <a
+	    href="http://www.inria.fr">Inria</a>. Since November 2013, I have
+    an <acronym title="Attaché Temporaire d'Enseignement et de Recherche, which
+	    stands for Temporary Teaching and Researching
+	    Assistant">ATER</acronym> contract at the <acronym title="Faculté des Sciences et Technologies, which stands for Sciences and Technologies Faculty">FST</acronym> of Université de Lorraine.
+
+    <br/>
+    <br/>
+
+    Previously, I graduated from the <a
+      href="http://www.esial.uhp-nancy.fr">ESIAL</a> -Software Engineering
+    specialization- (now known as <a href="http://www.telecomnancy.eu"/>TELECOM
+      Nancy</a>), then I have worked for two years as an IT security engineer
+    at <a href="http://www.advens.fr">Advens</a>, an IT security services
+    company located in Lille.
+
+    <br/>
+
+    I also have worked for two years on the <a
+	    href="http://tom.loria.fr">Tom</a> compiler as development
+    engineer in the <a href="http://www.loria.fr/la-recherche-en/equipes/pareo">Pareo</a> team.
+
+    <br/>
+
+    For the 2014-2015 year, I will have an ATER contract at the university of Lille 1.
+    </p>
+
+  <!--h3>Research, publications and talks</h3-->
+
+  <p style="text-align:justify">
+  <b>Research, publications and talks</b>:
+  </p>
+      <ul>
+        <li>You can find more information about my research topics, my publications and talks on <a href="./research.html">this page</a>.</li>
+	<li>On <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bach:Jean=Christophe.html">DBLP</a></li>
+	<!--li>HAL tool query</li>
+	<li>Google Schoolar</li-->
+      </ul>
+
+  <!--h4>Teaching</h4-->
+
+  <p style="text-align:justify">
+  <b>Teaching:</b><br/>
+  In addition to my PhD I taught at the <a
+    href="http://www.mines.inpl-nancy.fr">École des Mines in Nancy</a> as
+  teaching assistant (2010-2013). I currently teach at the <a
+    href="http://info-fst.dep.univ-lorraine.fr" >computer science
+    department</a> of <a
+    href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">Sciences
+    and Technologies Faculty</a> as <acronym title="Attaché Temporaire
+    d'Enseignement et de Recherche, which stands for Temporary Teaching and
+    Researching Assistant">ATER</acronym> (2013-2014). For detailed
+  information, please see <a href="./teaching.html">this page</a>.
+  </p>
+
+  <!--h4>Misc</h4-->
+  <p style="text-align:justify">
+  <b>Misc:</b><br/>
+  I have been elected to represent PhD students, temporary researchers and
+  engineers within the laboratory council. There is a meeting once every two
+  months. If you have problems, remarks or questions for laboratory council,
+  please send me an email and I will transmit it (<b>anonymously</b>) during the next
+  meeting.
+  <br/>
+  Past laboratory council meetings:
+  </p>
+      <ul>
+        <li>April, 18th 2013 at 8:30am: first meeting</li>
+        <li>May, 21st 2013 at 10.00am: a special laboratory council meeting, dedicated to ATER (Temporary Teaching and Research Assistant)</li>
+	<li>June, 18th 2013 at 10.00am [canceled, reported to July, 2nd 2013 at 10.00am]</li>
+	<li>October, 8th 2013 at 10.00am</li>
+	<li>December, 10th 2013 at 10.00am</li>
+	<li>February, 4th 2014 at 10.00am</li>
+	<li>February, 28th 2014 at 2.00pm: a special laboratory council meeting dedicated to organization when hiring a professor assistant.</li>
+	<li>April, 15th 2014 at 10.00am</li>
+	<li>June, 27th 2014 at 2.00pm</li>
+	<!--li></li-->
+</ul>
+I leave the laboratory, therefore I will resign. A new election will stand in Sebtember or October and the remaining representative is Stéphane Glondu (stephane _dot_ glondu _at_ inria.fr).
+  <p style="text-align:justify">
+  <br/>
+  <br/>
+  Apart my research and teaching, I have interest in other activities as detailed on the <a href="./misc.html">following page</a>.
+  <br/>
+  Special thanks to Clément Hurlin and Paul Brauner who allowed me to use their css and the design of their personal pages :)
+  </p>
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<!--a href="index.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a-->
+	<a href="index-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a>
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Last modification: 2014-08-18</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>

Fichier diff supprimé car celui-ci est trop grand
+ 124 - 0
misc-fr.html


Fichier diff supprimé car celui-ci est trop grand
+ 119 - 0
misc.html


+ 5 - 0
papers/.htaccess

@@ -0,0 +1,5 @@
+order deny,allow
+allow from all
+AddDefaultCharset UTF-8
+AddCharset UTF-8 .html
+Options -Indexes

+ 211 - 0
papers/bach.bib

@@ -0,0 +1,211 @@
+@ARTICLE{bachTSI2013,
+    hal_id = {hal-00786254},
+    url = {http://hal.inria.fr/hal-00786254},
+    title = {{Une approche hybride GPL-DSL pour transformer des mod{\`e}les}},
+    author = {\textbf{Bach}, \textbf{Jean-Christophe}},
+    language = {Fran{\c c}ais},
+    affiliation = {PAREO - INRIA Nancy - Grand Est / LORIA},
+    pages = {1--26},
+    note = {{Technique et Science Informatiques, TSI, à paraître}}, 
+    year = {2013},
+    month = Jan,
+    address = {France},
+    pdf = {http://hal.inria.fr/hal-00786254/PDF/TSI-avant\_review.pdf}
+}
+
+@INPROCEEDINGS{bachSLE2012,
+  author = {Ali Afroozeh and \textbf{Jean-Christophe Bach} and Mark van den Brand and
+	Adrian Johnstone and Maarten Manders and Pierre-Etienne Moreau and
+	Elizabeth Scott},
+  title = {{Island Grammar-Based Parsing Using GLL and Tom}},
+  booktitle = {Software Language Engineering, 5th International Conference, SLE 2012},
+  year = {2012},
+  month = Sep,
+  editor = {Czarnecki, Krzysztof and Hedin, Görel},
+  volume = {7745},
+  series = {Lecture Notes in Computer Science},
+  pages = {224-243},
+  address = {Dresden, Germany},
+  publisher = {Springer Berlin Heidelberg},
+  abstract = {{Extending a language by embedding within it another language presents
+	significant parsing challenges, especially if the embedding is recursive.
+	The composite grammar is likely to be nondeterministic as a result
+	of tokens that are valid in both the host and the embedded language.
+	In this paper we examine the challenges of embedding the Tom language
+	into a variety of general-purpose high level languages. Tom provides
+	syntax and semantics for advanced pattern matching and tree rewriting
+	facilities. Embedded Tom constructs are translated into the host
+	language by a preprocessor, the output of which is a composite program
+	written purely in the host language. Tom implementations exist for
+	Java, C, C#, Python and Caml. The current parser is complex and difficult
+	to maintain. In this paper, we describe how Tom can be parsed using
+	island grammars implemented with the Generalised LL (GLL) parsing
+	algorithm. The grammar is, as might be expected, ambiguous. Extracting
+	the correct derivation relies on our disambiguation strategy which
+	is based on pattern matching within the parse forest. We describe
+	different classes of ambiguity and propose patterns for resolving
+	them.}},
+  doi = {10.1007/978-3-642-36089-3_13},
+  isbn = {978-3-642-36088-6},
+  keywords = {GLL; Tom; island grammars; parsing; disambiguation},
+  url = {http://dx.doi.org/10.1007/978-3-642-36089-3_13},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-36089-3}
+}
+
+@INPROCEEDINGS{bachWRLA2010,
+  author = {Dur\'{a}n, Francisco and Rold\'{a}n, Manuel and \textbf{Bach},
+    \textbf{Jean-Christophe} and Balland, Emilie and Van Den Brand, Mark and Cordy, James R. and
+	Eker, Steven and Engelen, Luc and De Jonge, Maartje and Kalleberg,
+	Karl Trygve and Kats, Lennart C. L. and Moreau, Pierre-Etienne and
+	Visser, Eelco},
+  title = {The Third Rewrite Engines Competition},
+  booktitle = {Proceedings of the 8th international conference on Rewriting logic
+	and its applications},
+  year = {2010},
+  series = {WRLA'10},
+  pages = {243-261},
+  publisher = {Springer-Verlag},
+  abstract = {This paper presents the main results and conclusions of the Third
+	Rewrite Engines Competition (REC III). This edition of the competition
+	took place as part of the 8th Workshop on Rewriting Logic and its
+	Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT,
+	Tom, and TXL participated in it.},
+  acmid = {1927829},
+  isbn = {978-3-642-16309-8},
+  address = {Paphos, Cyprus},
+  location = {Paphos, Cyprus},
+  numpages = {19},
+  url = {http://dl.acm.org/citation.cfm?id=1927806.1927829}
+}
+
+@INPROCEEDINGS{bachLDTA2012,
+  author = {\textbf{Jean-Christophe Bach} and Xavier Crégut and Pierre-Etienne Moreau and Marc Pantel},
+  title = {{Model transformations with Tom}},
+  booktitle = {Proceedings of the 12th Workshop on Language Descriptions,
+    Tools, and Applications},
+  series = {LDTA '12},
+  address = {Tallinn, Estonia},
+  location = {Tallinn, Estonia},
+  year = {2012},
+  articleno = {4},
+  pages = {4:1--4:9},
+  numpages = {9},
+  publisher = {ACM},
+  abstract = {Model Driven Engineering (MDE) advocates the use of Model Transformations
+	(MT) in order to automate repetitive development tasks. Many different
+	model transformation languages have been proposed with a significant
+	development cost as classical elements like expressions, statements,
+	. . . must be developed from scratch in each language. The Tom language
+	is a shallow extension of Java tailored to describe and implement
+	transformations of tree based data-structures. Expressions, statements
+	and many other elements rely directly on Java constructs and are
+	thus almost costless. A key feature of Tom allows to map any Java
+	data-structure to tree based data abstractions that can be accessed
+	by pattern matching. In this paper, we present how this approach
+	can be extended in order to describe model transformations, and in
+	particular EMF (Eclipse Modeling Framework) based model transformations.
+	This allows to provide a low cost transformation language both on
+	the language tool development and on the developpers training side.},
+  hal_id = {hal-00646350},
+  keywords = {model transformation;Tom;language;Java;EMF;term structure},
+  type = {inproceedings},
+  isbn = {978-1-4503-1536-4/12/03},
+  doi = {10.1145/2427048.2427052},
+  acmid = {2427052},
+  keywords = {EMF, Java, Tom, language, model transformation, term structure},
+  url = {http://doi.acm.org/10.1145/2427048.2427052}
+}
+
+@INPROCEEDINGS{bachITSLE2012,
+  author = {\textbf{Bach}, \textbf{Jean-Christophe} and Moreau, Pierre-Etienne and Pantel, Marc},
+  title = {{Tom-Based Tools to Transform EMF Models in Avionics Context}},
+  booktitle = {ITSLE},
+  month = Sep,
+  year = {2012},
+  address = {Dresden, Germany},
+  note = {To appear},
+  abstract = {{Model Driven Engineering (MDE) is now widely used in many industrial
+	contexts such as the AeroSpace domain which requires a high level
+	of system safety. Model-checking is one of the formal techniques
+	which are considered to ensure a system compliance to its requirements.
+	It relies on verification dedicated languages to model the system
+	under verification. In order to ease the use of these tools, model
+	transformations are provided that translate the end user provided
+	input model of the system to the formal languages than can be verified.
+	In order to rely on these activities for system certification, the
+	correctness of these transformation steps must be assessed (qualification
+	of the development and verification tools). One of the goal of our
+	work is to provide tools to implement the transformation steps between
+	the end user source languages used for the system development and
+	the target languages used for formal verification. In this paper,
+	we present a Tom rule-based approach which is used in a research
+	project involving industrial partners: Airbus and Ellidiss.}},
+  keywords = {model transformation, language, Tom, Java, EMF, Domain Specific Language,
+	DSL, AADL, Fiacre},
+}
+
+@INPROCEEDINGS{bach2012SLEb,
+  author = {\textbf{Bach}, \textbf{Jean-Christophe} and Moreau, Pierre-Etienne and Pantel, Marc},
+  title = {{EMF Models Transformations with Tom}},
+  howpublished = {Poster},
+  address = {Dresden, Germany},
+  booktitle = {SLE}, 
+  year = {2012},
+  month = Sep
+}
+
+@ARTICLE{bachInterstices2013a,
+  author = {Quinson, Martin and \textbf{Bach}, \textbf{Jean-Christophe}},
+  title = {{L'informatique nomade, c'est la libert{\'e} !}},
+  journal = {Interstices},
+  year = {2013},
+  month = Feb,
+  affiliation = {ALGORILLE - INRIA Nancy - Grand Est / LORIA , PAREO - INRIA Nancy
+	- Grand Est / LORIA},
+  audience = {nationale },
+  hal_id = {hal-00794187},
+  keywords = {id{\'e}e re{\c c}ue, debunking, libert{\'e}, freedom, mobile, Turing,
+	Church},
+  language = {Fran{\c c}ais},
+  address = {France},
+  publisher = {INRIA},
+  url = {http://hal.inria.fr/hal-00794187}
+}
+
+@TECHREPORT{bachTomManual2009,
+  author = {\textbf{Bach, Jean-Christophe} and Balland, Emilie and Brauner, Paul and Kopetz,
+	Radu and Moreau, Pierre-Etienne and Reilles, Antoine},
+  title = {{Tom Manual}},
+  institution = {PAREO - INRIA Lorraine - LORIA - INRIA - CNRS : UMR7503 - Universit{\'e}
+	Henri Poincar{\'e} - Nancy I - Universit{\'e} Nancy II - Institut
+	National Polytechnique de Lorraine},
+  year = {2009},
+  type = {Rapport Technique},
+  abstract = {This manual contains information for Tom version 2.7. Tom is a language
+	extension which adds new matching primitives to languages like C,
+	Java, and Caml. Although rich and complex, Tom is not a stand-alone
+	language: like a preprocessor, it strongly relies on the underlying
+	language (C, Java, or Caml), called host-language in the following.
+	To this language, Tom adds several constructs. The main construct,
+	\%match, is similar to the match primitive found in functional languages:
+	given an object (called subject) and a list of patterns-actions,
+	the match primitive selects the first pattern that matches the subject
+	and performs the associated action. The sub ject against which we
+	match can be any object, but in practice, this ob ject is usually
+	a tree-based data-structure, also called term in the algebraic programming
+	community. The match construct may be seen as an extension of the
+	classical switch/case construct. The main difference is that the
+	discrimination occurs on a term and not on atomic values like characters
+	or integers: the patterns are used to discriminate and retrieve information
+	from an algebraic data structure. There- fore, Tom is a good language
+	for programming by pattern matching, and it is particularly well-suited
+	for programming various transformations on trees/terms or Xml data-structures.},
+  affiliation = {PAREO - INRIA Lorraine - LORIA - INRIA - CNRS : UMR7503 - Universit{\'e}
+	Henri Poincar{\'e} - Nancy I - Universit{\'e} Nancy II - Institut
+	National Polytechnique de Lorraine},
+  hal_id = {inria-00121885},
+  language = {Anglais},
+  pages = {155},
+  pdf = {http://hal.inria.fr/inria-00121885/PDF/manual-2.7.pdf},
+  url = {http://hal.inria.fr/inria-00121885/en/}
+}

+ 27 - 0
papers/bachITSLE2012.bib

@@ -0,0 +1,27 @@
+@INPROCEEDINGS{bachITSLE2012,
+  author = {\textbf{Bach}, \textbf{Jean-Christophe} and Moreau, Pierre-Etienne and Pantel, Marc},
+  title = {{Tom-Based Tools to Transform EMF Models in Avionics Context}},
+  booktitle = {ITSLE},
+  month = Sep,
+  year = {2012},
+  address = {Dresden, Germany},
+  note = {To appear},
+  abstract = {{Model Driven Engineering (MDE) is now widely used in many industrial
+	contexts such as the AeroSpace domain which requires a high level
+	of system safety. Model-checking is one of the formal techniques
+	which are considered to ensure a system compliance to its requirements.
+	It relies on verification dedicated languages to model the system
+	under verification. In order to ease the use of these tools, model
+	transformations are provided that translate the end user provided
+	input model of the system to the formal languages than can be verified.
+	In order to rely on these activities for system certification, the
+	correctness of these transformation steps must be assessed (qualification
+	of the development and verification tools). One of the goal of our
+	work is to provide tools to implement the transformation steps between
+	the end user source languages used for the system development and
+	the target languages used for formal verification. In this paper,
+	we present a Tom rule-based approach which is used in a research
+	project involving industrial partners: Airbus and Ellidiss.}},
+  keywords = {model transformation, language, Tom, Java, EMF, Domain Specific Language,
+	DSL, AADL, Fiacre},
+}

+ 17 - 0
papers/bachInterstices2013a.bib

@@ -0,0 +1,17 @@
+@ARTICLE{bachInterstices2013a,
+  author = {Quinson, Martin and \textbf{Bach}, \textbf{Jean-Christophe}},
+  title = {{L'informatique nomade, c'est la libert{\'e} !}},
+  journal = {Interstices},
+  year = {2013},
+  month = Feb,
+  affiliation = {ALGORILLE - INRIA Nancy - Grand Est / LORIA , PAREO - INRIA Nancy
+	- Grand Est / LORIA},
+  audience = {nationale },
+  hal_id = {hal-00794187},
+  keywords = {id{\'e}e re{\c c}ue, debunking, libert{\'e}, freedom, mobile, Turing,
+	Church},
+  language = {Fran{\c c}ais},
+  address = {France},
+  publisher = {INRIA},
+  url = {http://hal.inria.fr/hal-00794187}
+}

+ 37 - 0
papers/bachLDTA2012.bib

@@ -0,0 +1,37 @@
+@INPROCEEDINGS{bachLDTA2012,
+  author = {\textbf{Jean-Christophe Bach} and Xavier Crégut and Pierre-Etienne Moreau and Marc Pantel},
+  title = {{Model transformations with Tom}},
+  booktitle = {Proceedings of the 12th Workshop on Language Descriptions,
+    Tools, and Applications},
+  series = {LDTA '12},
+  address = {Tallinn, Estonia},
+  location = {Tallinn, Estonia},
+  year = {2012},
+  articleno = {4},
+  pages = {4:1--4:9},
+  numpages = {9},
+  publisher = {ACM},
+  abstract = {Model Driven Engineering (MDE) advocates the use of Model Transformations
+	(MT) in order to automate repetitive development tasks. Many different
+	model transformation languages have been proposed with a significant
+	development cost as classical elements like expressions, statements,
+	. . . must be developed from scratch in each language. The Tom language
+	is a shallow extension of Java tailored to describe and implement
+	transformations of tree based data-structures. Expressions, statements
+	and many other elements rely directly on Java constructs and are
+	thus almost costless. A key feature of Tom allows to map any Java
+	data-structure to tree based data abstractions that can be accessed
+	by pattern matching. In this paper, we present how this approach
+	can be extended in order to describe model transformations, and in
+	particular EMF (Eclipse Modeling Framework) based model transformations.
+	This allows to provide a low cost transformation language both on
+	the language tool development and on the developpers training side.},
+  hal_id = {hal-00646350},
+  keywords = {model transformation;Tom;language;Java;EMF;term structure},
+  type = {inproceedings},
+  isbn = {978-1-4503-1536-4/12/03},
+  doi = {10.1145/2427048.2427052},
+  acmid = {2427052},
+  keywords = {EMF, Java, Tom, language, model transformation, term structure},
+  url = {http://doi.acm.org/10.1145/2427048.2427052}
+}

+ 38 - 0
papers/bachSLE2012.bib

@@ -0,0 +1,38 @@
+@INPROCEEDINGS{bachSLE2012,
+  author = {Ali Afroozeh and \textbf{Jean-Christophe Bach} and Mark van den Brand and
+	Adrian Johnstone and Maarten Manders and Pierre-Etienne Moreau and
+	Elizabeth Scott},
+  title = {{Island Grammar-Based Parsing Using GLL and Tom}},
+  booktitle = {Software Language Engineering, 5th International Conference, SLE 2012},
+  year = {2012},
+  month = Sep,
+  editor = {Czarnecki, Krzysztof and Hedin, Görel},
+  volume = {7745},
+  series = {Lecture Notes in Computer Science},
+  pages = {224-243},
+  address = {Dresden, Germany},
+  publisher = {Springer Berlin Heidelberg},
+  abstract = {{Extending a language by embedding within it another language presents
+	significant parsing challenges, especially if the embedding is recursive.
+	The composite grammar is likely to be nondeterministic as a result
+	of tokens that are valid in both the host and the embedded language.
+	In this paper we examine the challenges of embedding the Tom language
+	into a variety of general-purpose high level languages. Tom provides
+	syntax and semantics for advanced pattern matching and tree rewriting
+	facilities. Embedded Tom constructs are translated into the host
+	language by a preprocessor, the output of which is a composite program
+	written purely in the host language. Tom implementations exist for
+	Java, C, C#, Python and Caml. The current parser is complex and difficult
+	to maintain. In this paper, we describe how Tom can be parsed using
+	island grammars implemented with the Generalised LL (GLL) parsing
+	algorithm. The grammar is, as might be expected, ambiguous. Extracting
+	the correct derivation relies on our disambiguation strategy which
+	is based on pattern matching within the parse forest. We describe
+	different classes of ambiguity and propose patterns for resolving
+	them.}},
+  doi = {10.1007/978-3-642-36089-3_13},
+  isbn = {978-3-642-36088-6},
+  keywords = {GLL; Tom; island grammars; parsing; disambiguation},
+  url = {http://dx.doi.org/10.1007/978-3-642-36089-3_13},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-36089-3}
+}

+ 9 - 0
papers/bachSLE2012b.bib

@@ -0,0 +1,9 @@
+@INPROCEEDINGS{bach2012SLEb,
+  author = {\textbf{Bach}, \textbf{Jean-Christophe} and Moreau, Pierre-Etienne and Pantel, Marc},
+  title = {{EMF Models Transformations with Tom}},
+  howpublished = {Poster},
+  address = {Dresden, Germany},
+  booktitle = {SLE}, 
+  year = {2012},
+  month = Sep
+}

+ 14 - 0
papers/bachTSI2013.bib

@@ -0,0 +1,14 @@
+@ARTICLE{bachTSI2013,
+    hal_id = {hal-00786254},
+    url = {http://hal.inria.fr/hal-00786254},
+    title = {{Une approche hybride GPL-DSL pour transformer des mod{\`e}les}},
+    author = {\textbf{Bach}, \textbf{Jean-Christophe}},
+    language = {Fran{\c c}ais},
+    affiliation = {PAREO - INRIA Nancy - Grand Est / LORIA},
+    pages = {1--26},
+    note = {{Technique et Science Informatiques, TSI, à paraître}}, 
+    year = {2013},
+    month = Jan,
+    address = {France},
+    pdf = {http://hal.inria.fr/hal-00786254/PDF/TSI-avant\_review.pdf}
+}

+ 37 - 0
papers/bachTomManual2009.bib

@@ -0,0 +1,37 @@
+@TECHREPORT{bachTomManual2009,
+  author = {\textbf{Bach, Jean-Christophe} and Balland, Emilie and Brauner, Paul and Kopetz,
+	Radu and Moreau, Pierre-Etienne and Reilles, Antoine},
+  title = {{Tom Manual}},
+  institution = {PAREO - INRIA Lorraine - LORIA - INRIA - CNRS : UMR7503 - Universit{\'e}
+	Henri Poincar{\'e} - Nancy I - Universit{\'e} Nancy II - Institut
+	National Polytechnique de Lorraine},
+  year = {2009},
+  type = {Rapport Technique},
+  abstract = {This manual contains information for Tom version 2.7. Tom is a language
+	extension which adds new matching primitives to languages like C,
+	Java, and Caml. Although rich and complex, Tom is not a stand-alone
+	language: like a preprocessor, it strongly relies on the underlying
+	language (C, Java, or Caml), called host-language in the following.
+	To this language, Tom adds several constructs. The main construct,
+	\%match, is similar to the match primitive found in functional languages:
+	given an object (called subject) and a list of patterns-actions,
+	the match primitive selects the first pattern that matches the subject
+	and performs the associated action. The sub ject against which we
+	match can be any object, but in practice, this ob ject is usually
+	a tree-based data-structure, also called term in the algebraic programming
+	community. The match construct may be seen as an extension of the
+	classical switch/case construct. The main difference is that the
+	discrimination occurs on a term and not on atomic values like characters
+	or integers: the patterns are used to discriminate and retrieve information
+	from an algebraic data structure. There- fore, Tom is a good language
+	for programming by pattern matching, and it is particularly well-suited
+	for programming various transformations on trees/terms or Xml data-structures.},
+  affiliation = {PAREO - INRIA Lorraine - LORIA - INRIA - CNRS : UMR7503 - Universit{\'e}
+	Henri Poincar{\'e} - Nancy I - Universit{\'e} Nancy II - Institut
+	National Polytechnique de Lorraine},
+  hal_id = {inria-00121885},
+  language = {Anglais},
+  pages = {155},
+  pdf = {http://hal.inria.fr/inria-00121885/PDF/manual-2.7.pdf},
+  url = {http://hal.inria.fr/inria-00121885/en/}
+}

+ 25 - 0
papers/bachWRLA2010.bib

@@ -0,0 +1,25 @@
+@INPROCEEDINGS{bachWRLA2010,
+  author = {Dur\'{a}n, Francisco and Rold\'{a}n, Manuel and \textbf{Bach},
+    \textbf{Jean-Christophe} and Balland, Emilie and Van Den Brand, Mark and Cordy, James R. and
+	Eker, Steven and Engelen, Luc and De Jonge, Maartje and Kalleberg,
+	Karl Trygve and Kats, Lennart C. L. and Moreau, Pierre-Etienne and
+	Visser, Eelco},
+  title = {The Third Rewrite Engines Competition},
+  booktitle = {Proceedings of the 8th international conference on Rewriting logic
+	and its applications},
+  year = {2010},
+  series = {WRLA'10},
+  pages = {243-261},
+  publisher = {Springer-Verlag},
+  abstract = {This paper presents the main results and conclusions of the Third
+	Rewrite Engines Competition (REC III). This edition of the competition
+	took place as part of the 8th Workshop on Rewriting Logic and its
+	Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT,
+	Tom, and TXL participated in it.},
+  acmid = {1927829},
+  isbn = {978-3-642-16309-8},
+  address = {Paphos, Cyprus},
+  location = {Paphos, Cyprus},
+  numpages = {19},
+  url = {http://dl.acm.org/citation.cfm?id=1927806.1927829}
+}

BIN
papers/ldta2012.pdf


BIN
papers/ldta2012_presentation.pdf


BIN
papers/rec3.pdf


+ 296 - 0
research-fr.html

@@ -0,0 +1,296 @@
+<!-- -*- ispell-local-dictionary: "french"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #research_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage, Recherche"/>
+  <meta name="keywords" content="jean-christophe, bach, inria, loria, pareo, tom, research, PhD subject, articles, publications" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+
+    <div id="header">
+    <h1>Jean-Christophe Bach</h1>
+      <h4>Doctorant - Équipe <a href="http://www.loria.fr/la-recherche/equipes/pareo?set_language=fr">Pareo</a> - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a> : <a href="http://info-fst.dep.univ-lorraine.fr">département informatique</a> de la <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index-fr.html">accueil</a></li>
+        <li><a id="research_menu" href="./research-fr.html">recherche</a></li>
+        <li><a id="teaching_menu" href="./teaching-fr.html">enseignement</a></li>
+        <li><a id="misc_menu" href="./misc-fr.html">divers</a></li>
+        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
+      </ul>
+    </div>
+
+    <h3>Thèse</h3>
+    <p style="text-align:justify">
+
+    <b>Soutenance le vendredi 12 septembre 2014 à 13h30, au Loria, salle C005 (salle du conseil)</b> ; ma thèse est accessible <a href="./these.html">ici</a>.<br/>
+    Jury: <ul>
+      <li>Rapporteurs :<ul>
+        <li>Antoine Beugnard, Telecom Bretagne</li>
+        <li>Laurence Duchien, Université de Lille 1, LIFL</li>
+      </ul>
+      </li>
+      <li>Examinateurs :<ul>
+        <li>Mark van den Brand, Eindhoven University of Technology</li>
+        <li>Benoît Combemale, Université de Rennes 1, IRISA, Inria</li>
+        <li>Marc Pantel, Université de Toulouse, INPT, IRIT</li>
+      </ul></li>
+      <li>Encadrant de thèse :<ul>
+        <li>Pierre-Etienne Moreau, Université de Lorraine, École des Mines de Nancy, LORIA.</li>
+      </ul></li>
+      </ul>
+
+
+
+
+    Mon sujet de thèse s'intitule <b>« Transformation de modèles et
+	    certification »</b> et s'inscrit dans dans le cadre du projet <a
+	    href="http://quarteft.loria.fr">Quarteft</a>. Ce projet s'intéresse
+    aux chaînes de développement de systèmes critiques qui reposent sur des
+    langages de modélisation spécifiques au métier ciblé (<i><a
+		    href="http://en.wikipedia.org/wiki/Domain-Specific_Modeling">Domain
+		    Specific Modeling Language</a></i>) et sur des
+    transformations qualifiées (assurance que la transformation préserve lis
+    propriétés d'intérêt) entre languages. Le projet Quarteft vise à développer
+    des technologies pour faciliter cette approche dans le contexte des sytèmes
+    embarqués temps-réel.  Le projet s'appuie d'une part sur la définition de
+    langages pivots dédiés (DSML) et sur l'exploitation de techniques formelles
+    pour spécifier et prouver la correction des transformations. L'étude
+    proposée s'appuie sur le langage <a
+	    href="http://homepages.laas.fr/bernard/fiacre/">FIACRE</a>, un des
+    langages pivots pour la vérification formelle des aspects temps réel dans
+    le projet <a href="http://www.topcased.org">TOPCASED</a> ; il factorise et
+    optimise la chaîne de traduction entre les langages métier tels que <a
+	    href="http://fr.wikipedia.org/wiki/Specification_and_Description_Language">SDL</a>,
+    <a href="http://fr.wikipedia.org/wiki/Aadl">AADL</a>, … et les outils de
+    vérifications de modèles tels que <a
+	    href="http://homepages.laas.fr/bernard/tina/">TINA</a> et <a
+	    href="http://www.inrialpes.fr/vasy/cadp/">CADP</a>. 
+
+    <br/>
+    <br/>
+
+    Je m'intéresse donc à développer des techniques de spécification et
+    d'implantation des transformations dont les cas d'applications seront des
+    extensions de FIACRE (dont RT-FIACRE pour des constructions plus abstraites
+    spécifiques au temps réel), en ayant pour objectif de proposer des méthodes
+    permettant de valider et de vérifier formellement ces transformations.
+
+    <br/>
+    <br/>
+
+    Pour implanter ces transformations, je propose dans un premier temps
+    d'utiliser le langage <a href="http://tom.loria.fr">Tom</a> couplé à un
+    langage hôte tel que Java, ainsi qu'un framework de modélisation comme <a
+	    href="http://www.eclipse.org/modeling/emf/">EMF</a>. Ensuite, je
+    propose d'étendre le langage pour exprimer facilement ces transformations.
+
+    </p>
+  
+    <p>
+    <b>Thèmes d'intérêt :</b>
+    </p>
+    <ul>
+      <li>Ingénierie du logiciel</li>
+      <li>Langages</li>
+      <li>Transformations, transformations qualifiables</li>
+      <li>Transformations de modèles</li>
+      <li>Traçabilité des transformations</li>
+      <!--li></li-->
+    </ul>
+
+
+    <h3>Publications et exposés</h3>
+    <p>
+    Sur <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bach:Jean=Christophe.html">DBLP</a> et <a href="http://hal.inria.fr/index.php?action_todo=search&amp;submit=1&amp;s_type=simple&amp;submit=1&amp;f[0]=@auteur&amp;v[0]=Jean-Christophe%20Bach&amp;search_without_file=YES&amp;orderby=DATEPROD&amp;ascdesc=DESC">HAL</a>.
+    <br/>
+    <br/>
+    Liste des publications :</p>
+  <table>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[8]
+</td>
+<td class="bibtexitem">
+Martin Quinson and <b>Jean-Christophe</b> <b>Bach</b>.
+ L'informatique nomade, c'est la libert&eacute; !
+ <em>Interstices</em>, February 2013.
+ Article de vulgarisation.
+[&nbsp;<a href="papers/bachInterstices2013a.bib">bib</a>&nbsp;| 
+<a href="http://hal.inria.fr/hal-00794187">hal</a>&nbsp;|
+<a href="http://interstices.info/jcms/int_69503/linformatique-nomade-cest-la-liberte">Interstices</a>]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[7]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>.
+ Une approche hybride GPL-DSL pour transformer des mod&egrave;les.
+ pages 175-201, 3/33 2014.
+ Technique et Science Informatiques, TSI.
+[&nbsp;<a href="papers/bachTSI2013.bib">bib</a>&nbsp;|
+<!--DOI&nbsp;|-->
+<a href="http://hal.inria.fr/hal-00786254">hal</a>&nbsp;]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[6]
+</td>
+<td class="bibtexitem">
+Ali Afroozeh, <b>Jean-Christophe Bach</b>, Mark van&nbsp;den Brand, Adrian
+  Johnstone, Maarten Manders, Pierre-Etienne Moreau, and Elizabeth Scott.
+ Island Grammar-Based Parsing Using GLL and Tom.
+ In Krzysztof Czarnecki and Görel Hedin, editors, <em>Software
+  Language Engineering, 5th International Conference, SLE 2012</em>, volume 7745 of
+  <em>Lecture Notes in Computer Science</em>, pages 224-243, Dresden, Germany,
+  September 2012. Springer Berlin Heidelberg.
+[&nbsp;<a href="papers/bachSLE2012.bib">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-642-36089-3_13">DOI</a>&nbsp;<!--|
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[5]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
+ Tom-Based Tools to Transform EMF Models in Avionics Context.
+ In <em>ITSLE</em>, Dresden, Germany, September 2012.
+ To appear.
+[&nbsp;<a href="papers/bachITSLE2012.bib">bib</a>&nbsp;
+<!--|DOI&nbsp;|>
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[4]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
+ EMF Models Transformations with Tom.
+ In <em>SLE</em>, Dresden, Germany, September 2012.
+[&nbsp;<a href="papers/bach2012SLEb.bib">bib</a>&nbsp;
+<!--DOI&nbsp;|>
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[3]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe Bach</b>, Xavier Crégut, Pierre-Etienne Moreau, and Marc
+  Pantel.
+ Model transformations with Tom.
+ In <em>Proceedings of the 12th Workshop on Language Descriptions,
+  Tools, and Applications</em>, LDTA '12, pages 4:1-4:9, Tallinn, Estonia, 2012.
+  ACM.
+[&nbsp;<a href="papers/bachLDTA2012.bib">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2427048.2427052">DOI</a>&nbsp;
+<!--
+<a href="http://doi.acm.org/10.1145/2427048.2427052">ACM</a>&nbsp;| 
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[2]
+</td>
+<td class="bibtexitem">
+Francisco Dur&aacute;n, Manuel Rold&aacute;n, <b>Jean-Christophe</b> <b>Bach</b>,
+  Emilie Balland, Mark Van Den&nbsp;Brand, James&nbsp;R. Cordy, Steven Eker, Luc Engelen,
+  Maartje De&nbsp;Jonge, Karl&nbsp;Trygve Kalleberg, Lennart C.&nbsp;L. Kats, Pierre-Etienne
+  Moreau, and Eelco Visser.
+ The third rewrite engines competition.
+ In <em>Proceedings of the 8th international conference on Rewriting
+  logic and its applications</em>, WRLA'10, pages 243-261, Paphos, Cyprus, 2010.
+  Springer-Verlag.
+[&nbsp;<a href="papers/bachWRLA2010.bib">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-642-16310-4_16">DOI</a>|
+<!--<a href="http://hal.inria.fr/....">hal</a>&nbsp;|-->
+<a href="http://dl.acm.org/citation.cfm?id=1927806.1927829">ACM</a>&nbsp;| 
+<a href="http://www.springerlink.com/content/436358m836203763/">SpringerLink</a>
+<!--| Local copy-->]
+</td>
+</tr>
+
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[1]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe Bach</b>, Emilie Balland, Paul Brauner, Radu Kopetz,
+  Pierre-Etienne Moreau, and Antoine Reilles.
+ Tom Manual.
+ Rapport technique, PAREO - INRIA Lorraine - LORIA - INRIA - CNRS :
+  UMR7503 - Universit&eacute; Henri Poincar&eacute; - Nancy I - Universit&eacute; Nancy
+  II - Institut National Polytechnique de Lorraine, 2009.
+[&nbsp;<a href="papers/bachTomManual2009.bib">bib</a>&nbsp;| 
+<a href="http://hal.inria.fr/inria-00121885/en/">hal</a>&nbsp;| 
+<a href="http://hal.inria.fr/inria-00121885/PDF/manual-2.7.pdf">.pdf</a>&nbsp;]
+</td>
+</tr>
+
+  </table>
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<a href="research.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a>
+	<!--a href="research-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a-->
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Dernière modification : 2014-06-14</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>

+ 292 - 0
research.html

@@ -0,0 +1,292 @@
+<!-- -*- ispell-local-dictionary: "english"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #research_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage, Research"/>
+  <meta name="keywords" content="jean-christophe, bach, inria, loria, pareo, tom, research, PhD subject, articles, publications" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+
+    <div id="header">
+    <h1>Jean-Christophe Bach</h1>
+      <h4>PhD student - <a href="http://www.loria.fr/la-recherche-en/equipes/pareo">Pareo</a> Team - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a>: <a href="http://info-fst.dep.univ-lorraine.fr">Computer Science Department</a> of <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index.html">home</a></li>
+        <li><a id="research_menu" href="./research.html">research</a></li>
+        <li><a id="teaching_menu" href="./teaching.html">teaching</a></li>
+        <li><a id="misc_menu" href="./misc.html">misc</a></li>
+        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
+      </ul>
+    </div>
+
+    <h3>Thesis subject</h3>
+    <p style="text-align:justify">
+
+    <b>Defense on friday 12th Septembre 2014 at 01:30 pm, Loria, room C005</b> (my thesis can be found <a href="./these.html">here</a>)<br/>
+    Jury: <ul>
+      <li>Reviewers:
+      <ul>
+        <li>Antoine Beugnard, Telecom Bretagne</li>
+        <li>Laurence Duchien, Université de Lille 1, LIFL</li>
+      </ul>
+      </li>
+      <li>Examinators: <ul>
+        <li>Mark van den Brand, Eindhoven University of Technology</li>
+        <li>Benoît Combemale, Université de Rennes 1, IRISA, Inria</li>
+        <li>Marc Pantel, Université de Toulouse, INPT, IRIT</li>
+      </ul></li>
+      <li>Supervisor: <ul>
+        <li>Pierre-Etienne Moreau, Université de Lorraine, École des Mines de Nancy, LORIA.</li>
+      </ul></li>
+      </ul>
+
+    My PhD subject is <b>« Models transformation and
+	    certification »</b> and is a part of the <a
+	    href="http://quarteft.loria.fr">Quarteft</a> project. This project
+    focuses on critical systems development chains which rely on <a
+		    href="http://en.wikipedia.org/wiki/Domain-Specific_Modeling">Domain
+		    Specific Modeling Language</a> and on qualified
+    transformations (insurance that the transformation preserves thes
+    interesting properties) between languages. The Quarteft project aims to
+    develop technologies to make this approach easier in the real time embedded
+    systems context. On one hand, the project relies on the definition of
+    dedicated intermediate languages (DSML) and on the application of formal
+    methods to specify and to proove the transformations correctness.  The
+    proposed study relies on the <a
+	    href="http://homepages.laas.fr/bernard/fiacre/">FIACRE</a>
+    language, which is one of the intermediate languages for the formal
+    verification of real time aspects in the <a
+	    href="http://www.topcased.org">TOPCASED</a> project; it factorize
+    and optimize the translation chain between languages such as <a
+	    href="http://fr.wikipedia.org/wiki/Specification_and_Description_Language">SDL</a>,
+    <a href="http://fr.wikipedia.org/wiki/Aadl">AADL</a>, … and model checking
+    tools such as <a href="http://homepages.laas.fr/bernard/tina/">TINA</a> and
+    <a href="http://www.inrialpes.fr/vasy/cadp/">CADP</a>. 
+
+    <br/>
+    <br/>
+
+    Therefore, I am interested in developping specification and implementation
+    techniques for transformations whose use cases will be extensions of FIACRE
+    (RT-FIACRE for more abstract constructs which are specific to real time).
+    My goal is to propose methods allowing to validate and to verify formally
+    these transformations.
+
+    <br/>
+    <br/>
+
+To implement these transformations, I propose to use the <a
+	href="http://tom.loria.fr">Tom</a> language in an host language such as
+Java, and a modeling framework such as <a
+	href="http://www.eclipse.org/modeling/emf/">EMF</a>. Then, I propose to
+extend the Tom language to express easily theses transformations.
+
+    </p>
+
+    <p>
+    <b>Research interests:</b>
+    </p>
+    <ul>
+      <li>Software engineering</li>
+      <li>Languages</li>
+      <li>Transformations, qualifiable transformations</li>
+      <li>Model transformations</li>
+      <li>Transformation traceability</li>
+      <!--li></li-->
+    </ul>
+
+    <h3>Publications and talks</h3>
+    <p>
+    On <a href="http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bach:Jean=Christophe.html">DBLP</a> and <a href="http://hal.inria.fr/index.php?action_todo=search&amp;submit=1&amp;s_type=simple&amp;submit=1&amp;f[0]=@auteur&amp;v[0]=Jean-Christophe%20Bach&amp;search_without_file=YES&amp;orderby=DATEPROD&amp;ascdesc=DESC">HAL</a>.
+    <br/> 
+    <br/>
+    List of publications:</p>
+    <table>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[8]
+</td>
+<td class="bibtexitem">
+Martin Quinson and <b>Jean-Christophe</b> <b>Bach</b>.
+ L'informatique nomade, c'est la libert&eacute; !
+ <em>Interstices</em>, February 2013.
+ Popularization article in French.
+[&nbsp;<a href="papers/bachInterstices2013a.bib">bib</a>&nbsp;| 
+<a href="http://hal.inria.fr/hal-00794187">hal</a>&nbsp;|
+<a href="http://interstices.info/jcms/int_69503/linformatique-nomade-cest-la-liberte">Interstices</a>]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[7]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>.
+ Une approche hybride GPL-DSL pour transformer des mod&egrave;les.
+ pages 175-201, 3/33 2014.
+ Technique et Science Informatiques, TSI.
+[&nbsp;<a href="papers/bachTSI2013.bib">bib</a>&nbsp;|
+<!--DOI&nbsp;|-->
+<a href="http://hal.inria.fr/hal-00786254">hal</a>&nbsp;]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[6]
+</td>
+<td class="bibtexitem">
+Ali Afroozeh, <b>Jean-Christophe Bach</b>, Mark van&nbsp;den Brand, Adrian
+  Johnstone, Maarten Manders, Pierre-Etienne Moreau, and Elizabeth Scott.
+ Island Grammar-Based Parsing Using GLL and Tom.
+ In Krzysztof Czarnecki and Görel Hedin, editors, <em>Software
+  Language Engineering, 5th International Conference, SLE 2012</em>, volume 7745 of
+  <em>Lecture Notes in Computer Science</em>, pages 224-243, Dresden, Germany,
+  September 2012. Springer Berlin Heidelberg.
+[&nbsp;<a href="papers/bachSLE2012.bib">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-642-36089-3_13">DOI</a>&nbsp;<!--|
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[5]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
+ Tom-Based Tools to Transform EMF Models in Avionics Context.
+ In <em>ITSLE</em>, Dresden, Germany, September 2012.
+ To appear.
+[&nbsp;<a href="papers/bachITSLE2012.bib">bib</a>&nbsp;|
+<!--DOI&nbsp;|>
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[4]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe</b> <b>Bach</b>, Pierre-Etienne Moreau, and Marc Pantel.
+ EMF Models Transformations with Tom.
+ In <em>SLE</em>, Dresden, Germany, September 2012.
+[&nbsp;<a href="papers/bach2012SLEb.bib">bib</a>&nbsp;
+<!--DOI&nbsp;|>
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[3]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe Bach</b>, Xavier Crégut, Pierre-Etienne Moreau, and Marc
+  Pantel.
+ Model transformations with Tom.
+ In <em>Proceedings of the 12th Workshop on Language Descriptions,
+  Tools, and Applications</em>, LDTA '12, pages 4:1-4:9, Tallinn, Estonia, 2012.
+  ACM.
+[&nbsp;<a href="papers/bachLDTA2012.bib">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1145/2427048.2427052">DOI</a>&nbsp;
+<!--
+<a href="http://doi.acm.org/10.1145/2427048.2427052">ACM</a>&nbsp;| 
+<a href="http://hal.inria.fr/....">hal</a>&nbsp;|
+Local copy-->]
+</td>
+</tr>
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[2]
+</td>
+<td class="bibtexitem">
+Francisco Dur&aacute;n, Manuel Rold&aacute;n, <b>Jean-Christophe</b> <b>Bach</b>,
+  Emilie Balland, Mark Van Den&nbsp;Brand, James&nbsp;R. Cordy, Steven Eker, Luc Engelen,
+  Maartje De&nbsp;Jonge, Karl&nbsp;Trygve Kalleberg, Lennart C.&nbsp;L. Kats, Pierre-Etienne
+  Moreau, and Eelco Visser.
+ The third rewrite engines competition.
+ In <em>Proceedings of the 8th international conference on Rewriting
+  logic and its applications</em>, WRLA'10, pages 243-261, Paphos, Cyprus, 2010.
+  Springer-Verlag.
+[&nbsp;<a href="papers/bachWRLA2010.bib">bib</a>&nbsp;| 
+<a href="http://dx.doi.org/10.1007/978-3-642-16310-4_16">DOI</a>|
+<!--<a href="http://hal.inria.fr/....">hal</a>&nbsp;|-->
+<a href="http://dl.acm.org/citation.cfm?id=1927806.1927829">ACM</a>&nbsp;| 
+<a href="http://www.springerlink.com/content/436358m836203763/">SpringerLink</a>
+<!--| Local copy-->]
+</td>
+</tr>
+
+
+<tr valign="top">
+<td align="right" class="bibtexnumber">
+[1]
+</td>
+<td class="bibtexitem">
+<b>Jean-Christophe Bach</b>, Emilie Balland, Paul Brauner, Radu Kopetz,
+  Pierre-Etienne Moreau, and Antoine Reilles.
+ Tom Manual.
+ Rapport technique, PAREO - INRIA Lorraine - LORIA - INRIA - CNRS :
+  UMR7503 - Universit&eacute; Henri Poincar&eacute; - Nancy I - Universit&eacute; Nancy
+  II - Institut National Polytechnique de Lorraine, 2009.
+[&nbsp;<a href="papers/bachTomManual2009.bib">bib</a>&nbsp;| 
+<a href="http://hal.inria.fr/inria-00121885/en/">hal</a>&nbsp;| 
+<a href="http://hal.inria.fr/inria-00121885/PDF/manual-2.7.pdf">.pdf</a>&nbsp;]
+</td>
+</tr>
+
+  </table>
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<!--a href="research.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a-->
+	<a href="research-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a>
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Last modification: 2014-06-14</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>

+ 4 - 0
robot.txt

@@ -0,0 +1,4 @@
+User-agent: *
+Disallow: /files
+Disallow: /images
+Disallow: /papers

+ 115 - 0
style.css

@@ -0,0 +1,115 @@
+a:visited { color :#4C1B1B /*#416DFF*/; text-decoration : none; }
+a:link    { color :#B9121B /*#416DFF*/; text-decoration : none; font-weight : bold; }
+a:hover   { color : Red; text-decoration : underline; }
+a:active  { color : Red; text-decoration : underline; }
+
+/* everest strong: #145C8C */
+/* everest light : #B1D3DC */
+
+/*ul{ 	list-style-image: url('images/list-item.jpg');	}*/
+
+/* .corner1 { 
+   border: 0.1cm 0.1cm 0.1cm 0.1cm;
+   background: url('images/corner1.jpg') 100% 100% no-repeat #B1D3DC; 
+   width: 18.5em;
+}
+
+.corner2 { 
+   background: url('images/corner2.jpg') 0% 0% no-repeat; 
+} */
+
+/*palettes : http://www.code-couleur.com/palettes.html*/
+/*
+#B9121B	
+#4C1B1B	
+#F6E497	
+#FCFAE1	
+#BD8D46
+*/
+h3 {	
+   /*border-top: 2px solid #145C8C; */
+   border-top: 2px solid #B9121B;
+   /*border-bottom: 2px solid #145C8C;*/
+   border-bottom: 2px solid #B9121B;
+   /*background-color: #B1D3DC;*/
+   background-color:#FCFAE1 /*#F6E497*/;
+}
+
+#menu{list-style:none;padding:0}
+#menu li{padding:0px;margin:0px}
+#menu li a{
+  float:left;
+  text-align:center;
+  padding:1px 15px 2px 15px;
+  min-width:45px;
+  display:block;
+  /*background:#eeeeee;*/
+  background:#FCFAE1;
+  /*border-color:#bbb;*/
+  border-color:#B9121B;
+  border-width:1px;
+  margin-right:-1px;
+  border-style:solid
+  }
+/*#menu li a:hover{background-color:#cccccc}*/
+#menu li a:hover{background-color:#F6E497/*#BD8D46*/}
+
+/*#menu li a{
+	float:left;
+	text-align:center;
+	padding:1px 15px 2px 15px;
+	min-width:45px;
+	display:block;
+	background:#eeeeee;
+	border-color:#bbb;
+	border-width:1px;
+	margin-right:-1px;
+	border-style:solid
+}
+#menu li a:hover{background-color:#cccccc}*/
+
+#header {
+   padding:1em;
+   border:2px solid #b9121b/*#145C8C*/; /*bbb;*/
+   background-color:#FCFAE1/*#B1D3DC*/; /*#eeeeee;*/
+   margin-bottom:3em
+}
+#header h1 {
+   margin:0px;
+   padding:0px;
+   color:#000000;
+   text-align:center
+}
+
+td.textbf { 
+	  font-weight: bold; 
+	  width: 160px;
+}
+td.textbf2 { 
+	  font-weight: bold; 
+}
+td.rotate {
+	transform:rotate(-90deg);
+	-moz-transform:rotate(-90deg);
+	-webkit-transform:rotate(-90deg);
+	-o-transform:rotate(-90deg);
+        -ms-transform:rotate(-90deg);
+}
+/* classe */
+.code {
+	margin-left: 2em;
+	margin-top: 0em;
+	margin-bottom: 1em;
+	font-family: monospace;
+        white-space: pre;
+}
+
+/* classe */
+.date {
+	font-size: medium;
+        font-weight: bold;
+        display: inline;
+}
+
+.red { color: #FF0000 }
+.green { color: #008000 }

+ 120 - 0
teaching-fr.html

@@ -0,0 +1,120 @@
+<!-- -*- ispell-local-dictionary: "french"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #teaching_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage, Enseignement"/>
+  <meta name="keywords" content="jean-christophe, bach, inria, loria, pareo, tom, enseignement" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%" summary="On the left, informations about my work. On the right, contact details">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+
+    <div id="header">
+      <h1>Jean-Christophe Bach</h1>
+      <h4>Doctorant - Équipe <a href="http://www.loria.fr/la-recherche/equipes/pareo?set_language=fr">Pareo</a> - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a> : <a href="http://info-fst.dep.univ-lorraine.fr">département informatique</a> de la <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index-fr.html">accueil</a></li>
+        <li><a id="research_menu" href="./research-fr.html">recherche</a></li>
+        <li><a id="teaching_menu" href="./teaching-fr.html">enseignement</a></li>
+        <li><a id="misc_menu" href="./misc-fr.html">divers</a></li>
+        <!--li><a id="tuto_menu" href="./tuto-fr.html">test</a></li-->
+      </ul>
+    </div>
+
+    <p style="text-align:justify">
+      
+    </p>
+
+    <p style="text-align:justify"> En parallèle de ma thèse j'enseigne à l'<a
+      href="http://www.univ-lorraine.fr">Université de Lorraine</a> : d'abord à
+    l'<a href="http://www.mines.inpl-nancy.fr">École des Mines de Nancy</a>, et
+    maintenant au <a href="http://info-fst.dep.univ-lorraine.fr"> département
+      informatique</a> de la <a
+      href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">Faculté
+      des Sciences et Technologies</a>. J'interviens dans plusieurs cours, de
+    niveau <a
+      href="http://licence-informatique.formation.univ-lorraine.fr">licence</a>
+    à <a
+      href="http://master-informatique.formation.univ-lorraine.fr">master</a>.
+  </p>
+
+  <table width="100%">
+	  <tr><td></td><td class="textbf2" style="width:10%">Année</td><td class="textbf2"
+			  style="width:10%">Niveau</td><td class="textbf2"
+			  style="width:80%">Matière</td></tr>
+
+	  <tr><td class="rotate" rowspan="7"><a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">Faculté des Sciences et Technologies</a></td><td class="textbf2">2013-2014</td><td>L1</td><td>Algorithmique et programmation #1 (fondamentaux d'informatique, langage Python)</td></tr>
+	  <tr><td></td><td>L1</td><td>O2I/<a href="http://www.c2i.education.fr">C2I</a> (utilisation de l'ordinateur, des outils de bureautique et d'Internet pour des étudiants non-informaticiens, introduction aux bonnes pratiques de sécurité, identité numérique, données privées vs données publiques, etc.)</td></tr>
+	  <tr><td></td><td>L1</td><td>Méthodologie de conception et programmation C</td></tr>
+	  <tr><td></td><td>L2</td><td>Algorithmique et programmation #3 (complexité, recursiveté, structures de données, langage C)</td></tr>
+	  <tr><td></td><td>M1</td><td>Analyse et conception du logiciel (bonnes pratiques en programmation OO, patrons de conception, modélisation, langage Java)</td></tr>
+	  <tr><td></td><td>M1</td><td>Conception d'architectures distribuées</td></tr>
+	  <tr class="border-bottom"><td></td><td>M2</td><td>Projet génie logiciel</td></tr>
+	  <!--tr><td colspan="3"><a href="http://www.mines.inpl-nancy.fr">École des Mines de Nancy</a>:</td></tr-->
+	  <tr><td class="rotate" rowspan="15"><a href="http://www.mines.inpl-nancy.fr">École des Mines de Nancy</a></td><td class="textbf2">2012-2013</td><td>1A (L3)</td><td>Informatique (algorithmique, Java)</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td>Sensibilisation aux bonnes pratiques de sécurité</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Ingénierie du logiciel (méthode <i>Lean</i>, outils de gestion de versions, tests unitaires, optimisation de code, moteurs de production : Ant et Maven, patrons de conception)</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Modélisation UML</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Sensibilisation aux bonnes pratiques de sécurité</td></tr>
+	  <tr><td></td><td>3A (M2)</td><td>Encadrement de projet (Étude, utilisabilité, optimisation et évolution d'un langage de transformation dédié basé sur <a href="http://tom.loria.fr">Tom</a>)</td></tr>
+
+	  <tr><td class="textbf2">2011-2012</td><td>1A (L3)</td><td>Informatique (algorithmique, Java)</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td>Introduction aux systèmes de type Unix</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td>Introduction à LaTeX</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Ingénierie du logiciel (méthode <i>Lean</i>, outils de gestion de versions, tests unitaires, optimisation de code, moteurs de production : Ant et Maven, patrons de conception)</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Modélisation UML</td></tr>
+
+	  <tr><td class="textbf2">2010-2011</td><td>1A (L3)</td><td>Informatique (Java, SQL et XML)</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td><a href="http://www.c2i.education.fr">C2I</a></td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Encadrement de projet (groupe de 3 étudiants : refonte du parser <a href="http://tom.loria.fr">Tom</a>)</td></tr>
+	  <tr><td></td><td>3A (M2)</td><td>Encadrement de projet (transformation de modèles en <a href="http://tom.loria.fr">Tom</a>)</td></tr>
+
+  </table>
+
+  <p style="text-align:justify">
+    Je suis aussi impliqué dans des événements de vulgarisation scientifique avec <acronym title="NancY BIdouille Création Construction">nybi.cc</acronym> et le laboratoire. Pour plus de détails, se référer à la <a href="./misc.html">page suivante</a>.
+  </p>
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<a href="teaching.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a>
+	<!--a href="teaching-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a-->
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Dernière modification : 2014-06-14</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>

+ 119 - 0
teaching.html

@@ -0,0 +1,119 @@
+<!-- -*- ispell-local-dictionary: "english"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #teaching_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage, Teaching"/>
+  <meta name="keywords" content="jean-christophe, bach, inria, loria, pareo, tom, teaching" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%" summary="On the left, informations about my work. On the right, contact details">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+
+    <div id="header">
+      <h1>Jean-Christophe Bach</h1>
+      <h4>PhD student - <a href="http://www.loria.fr/la-recherche-en/equipes/pareo">Pareo</a> Team - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a>: <a href="http://info-fst.dep.univ-lorraine.fr">Computer Science Department</a> of <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index.html">home</a></li>
+        <li><a id="research_menu" href="./research.html">research</a></li>
+        <li><a id="teaching_menu" href="./teaching.html">teaching</a></li>
+        <li><a id="misc_menu" href="./misc.html">misc</a></li>
+        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
+      </ul>
+    </div>
+
+    <p style="text-align:justify">
+      
+    </p>
+
+    <p style="text-align:justify">
+  During my PhD I also teach at the <a
+    href="http://www.univ-lorraine.fr">Université de Lorraine</a>: first at the
+  <a href="http://www.mines.inpl-nancy.fr">École des Mines in Nancy</a>, and
+  now at the <a href="http://info-fst.dep.univ-lorraine.fr">computer science
+    department</a> of the <a
+    href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">Sciences
+    and Technologies Faculty</a>.
+I teach in several courses, from <a
+  href="http://licence-informatique.formation.univ-lorraine.fr">licence</a> to
+<a href="http://master-informatique.formation.univ-lorraine.fr">master</a>.
+  </p>
+
+  <table width="100%">
+	  <tr><td></td><td class="textbf2" style="width:10%">Year</td><td class="textbf2"
+			  style="width:10%">Level</td><td class="textbf2"
+			  style="width:80%">Subject</td></tr>
+	  
+	  <tr><td class="rotate" rowspan="7"><a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">Sciences and Technologies Faculty</a></td><td class="textbf2">2013-2014</td><td>L1</td><td>Algorithmic and programming #1 (basics in computer science, Python language)</td></tr>
+	  <tr><td></td><td>L1</td><td>O2I/<a href="http://www.c2i.education.fr">C2I</a> (use of computers, tools and the Internet for non-computer scientist students, introduction to good security practices, digital identity, private data vs public data, etc.)</td></tr>
+	  <tr><td></td><td>L1</td><td>Methodology (designing and programming with C language)</td></tr>
+	  <tr><td></td><td>L2</td><td>Algorithmic and programming #3 (complexity, recursion, data structures, C language)</td></tr>
+	  <tr><td></td><td>M1</td><td>Software analysis and design (good practices in OO programming, design patterns, modeling, Java language)</td></tr>
+	  <tr><td></td><td>M1</td><td>Distributed architectures design</td></tr>
+	  <tr class="border-bottom"><td></td><td>M2</td><td>Software engineering project</td></tr>
+	  <!--tr><td colspan="3"><a href="http://www.mines.inpl-nancy.fr">École des Mines de Nancy</a>:</td></tr-->
+	  <tr><td class="rotate" rowspan="15"><a href="http://www.mines.inpl-nancy.fr">École des Mines de Nancy</a></td><td class="textbf2">2012-2013</td><td>1A (L3)</td><td>Basic computer science (algorithmic, Java)</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td>Introduction to good security practices</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Software engineering (<i>Lean</i> method, source code management tools, unit tests, code optimization, build tools: Ant and Maven, design patterns)</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>UML modeling</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Introduction to good security practices</td></tr>
+	  <tr><td></td><td>3A (M2)</td><td>Project supervisor (Study, usability, optimization and evolution of a models transformation language based on <a href="http://tom.loria.fr">Tom</a>)</td></tr>
+	  <tr><td class="textbf2">2011-2012</td><td>1A (L3)</td><td>Basic computer science (algorithmic, Java)</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td>Introduction to Unix-like systems</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td>Introduction to LaTeX</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Software engineering (<i>Lean</i> method, source code management tools, unit tests, code optimization, build tools: Ant and Maven, design patterns)</td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>UML modeling</td></tr>
+
+	  <tr><td class="textbf2">2010-2011</td><td>1A (L3)</td><td>Basic computer science (Java, SQL and XML)</td></tr>
+	  <tr><td></td><td>1A (L3)</td><td><a href="http://www.c2i.education.fr">C2I</a></td></tr>
+	  <tr><td></td><td>2A (M1)</td><td>Project supervisor (<a href="http://tom.loria.fr">Tom</a> parser re-engineering)</td></tr>
+	  <tr><td></td><td>3A (M2)</td><td>Project supervisor</td></tr>
+
+  </table>
+  
+  <p style="text-align:justify">
+    A am also involved in scientific popularization events with <acronym title="NancY BIdouille Création Construction, which stands for Nancy Hacking Creation Construction">nybi.cc</acronym> and the laboratory. For more details, please look at the <a href="./misc.html">following page</a>.
+  </p>
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<!--a href="teaching.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a-->
+	<a href="teaching-fr.html">FR<!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--></a>
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Last modification: 2014-06-14</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>

+ 104 - 0
these.html

@@ -0,0 +1,104 @@
+<!-- -*- ispell-local-dictionary: "english"; coding: utf-8 -*- -->
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+<!--!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"-->
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+  <title>Jean-Christophe Bach</title>
+  <link rel="shortcut icon" href="images/glider.png"/>
+  <link href="style.css" rel="stylesheet" type="text/css"/>
+  <style type="text/css">
+    #menu #home_menu {
+      background-color:#F6E497;  /*#BD8D46*/ /* #b9121b;*/
+    }
+  </style>
+  <meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
+  <meta name="description" content="Jean-Christophe Bach's homepage"/>
+  <meta name="keywords" content="jean-christophe, bach, homepage, inria, loria, pareo, tom" />
+  <meta name="author" content="jean-christophe bach" />
+</head>
+
+<body>
+<table width="100%" summary="On the left, informations about my work. On the right, contact details">
+<tr>
+
+  <td style="width:15%">
+  </td>
+
+  <td style="width:70%">
+	  
+    <!--img src="images/jcb.jpg" longdesc="A%20photo" width="180" height="178" align="right" style="border:0" alt="Jean-Christophe Bach's picture"/-->
+
+    <div id="header">
+      <h1>Jean-Christophe Bach</h1>
+      <h4>PhD student - <a href="http://www.loria.fr/equipes/pareo/">Pareo</a> Team - <a href="http://www.inria.fr">Inria</a> / <a href="http://www.loria.fr">LORIA</a> / <a href="http://www.univ-lorraine.fr">Universit&eacute; de Lorraine</a>: <a href="http://info-fst.dep.univ-lorraine.fr">Computer Science Department</a> of <a href="http://www.univ-lorraine.fr/content/faculté-des-sciences-et-technologies">FST</a></h4>
+      <ul id="menu">
+        <li><a id="home_menu" href="./index.html">home</a></li>
+        <li><a id="research_menu" href="./research.html">research</a></li>
+        <li><a id="teaching_menu" href="./teaching.html">teaching</a></li>
+        <li><a id="misc_menu" href="./misc.html">misc</a></li>
+        <!--li><a id="tuto_menu" href="./tuto.html">test</a></li-->
+      </ul>
+    </div>
+
+    <h3>Thèse / Thesis</h3>
+
+    <p style="text-align:justify">
+
+    <a href="./files/JCBach-these.pdf">Dernière version / latest version</a>
+    
+    </p>
+    Historique des versions / Versions history (commentaire / comment) :
+    <ul>
+  	    <li><a href="./files/2014-09-12_101554-these-JCBach.pdf">2014-09-12_101554</a> (day of PhD defense, minor fixes, typos)</li>
+	      <li><a href="./files/2014-09-10_163158-these-JCBach.pdf">2014-09-10_163158</a> (minor fixes, acknowledgments)</li>
+        <li><a href="./files/2014-08-26_160445-these-JCBach.pdf">2014-08-26_160445</a> (version that contains remarks of the first reviewer: typos, bibliography, consistency in figures, UML corrections, rephrasing, details, etc.)</li>
+        <li><a href="./files/2014-06-26_115652-these-JCBach.pdf">2014-06-26_115652</a> (first one)</li>
+	      <!--li></li-->
+      </ul>
+
+
+    <b>Soutenance le vendredi 12 septembre 2014 à 13h30, au Loria, salle C005 (salle du conseil) / Defense on friday 12th Septembre 2014 at 01:30 pm, Loria, room C005</b><br/>
+    Jury : <ul>
+      <li>Rapporteurs :<ul>
+        <li>Antoine Beugnard, Telecom Bretagne</li>
+        <li>Laurence Duchien, Université de Lille 1, LIFL</li>
+      </ul>
+      </li>
+      <li>Examinateurs :<ul>
+        <li>Mark van den Brand, Eindhoven University of Technology</li>
+        <li>Benoît Combemale, Université de Rennes 1, IRISA, Inria</li>
+        <li>Marc Pantel, Université de Toulouse, INPT, IRIT</li>
+      </ul></li>
+      <li>Encadrant de thèse :<ul>
+        <li>Pierre-Etienne Moreau, Université de Lorraine, École des Mines de Nancy, LORIA.</li>
+      </ul></li>
+      </ul>
+
+
+
+  <hr/>
+  <table width="100%">
+    <tr>
+      <td style="width:35%" align="left">
+	<!--a href="index.html">EN<!--img src="images/flag-en.gif" style="border:0" width="20" height="12" alt="this page"/--></a-->
+	<!--a href="index-fr.html">FR--><!--img src="images/flag-fr.gif" style="border:0" width="20" height="12" alt="this page in french"/--><!--/a-->
+      </td>
+      <!--td style="width:30%" align="center">
+	<a href="http://validator.w3.org/check?uri=referer"><img src="images/valid_xhtml.png" style="border:0" alt="Valid XHTML 1.1"/></a>
+	<a href="http://jigsaw.w3.org/css-validator/validator?uri=http://www.loria.fr/~bachjeje/style.css"><img src="images/valid_css.png" style="border:0" alt="Valid CSS"/></a>
+      </td-->
+      <td style="width:35%" align="right">
+	<i>Last modification: 2014-09-12</i>
+      </td>
+    </tr>
+  </table>
+  </td>
+
+  <td style="width:15%">
+  </td>
+</tr>
+</table>
+</body>
+</html>