reactiveml.github.io/contact.src.html at main · reactiveml/reactiveml.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<script type="text/javascript">
<!--
  function email(name,dom,ext){
    addr=(name + '@' + dom + '.' + ext)
    document.write('<a href="mailto:' + addr + '">' + addr + '</a>')
  }
//-->
</script>

<div class="row">
  <div class="col-md-12">

<h1>Contact us</h1>
<hr>
<!-- <hr>  ************************************************************* -->
<h3>Mailing lists</h3>
<p>
  Mailing-list:
  <script type="text/javascript">
    <!--
	email("list","reactiveml","org")
    //-->
  </script>
  <noscript>list [@] reactiveml [dot] org</noscript>
  (send me an email to subscribe:
  <script type="text/javascript">
    <!--
	email("louis.mandel","reactiveml","org")
    //-->
  </script>
  <noscript>louis.mandel [@] reactiveml [dot] org</noscript>)<br>

  Bugs:
  <script type="text/javascript">
    <!--
	email("bugs","reactiveml","org")
    //-->
  </script>
  <noscript>bugs [@] reactiveml [dot] org</noscript><br>

  Developers:
  <script type="text/javascript">
    <!--
	email("devel","reactiveml","org")
    //-->
  </script>
  <noscript>devel [@] reactiveml [dot] org</noscript>
</p>

<!-- <hr>  ************************************************************* -->

<br>
<h3>People</h3>
<p><a href="http://www.lri.fr/~mandel">Louis Mandel</a> - <a href="http://www.research.ibm.com">IBM Research</a><br>
 <!-- <a href="http://www.lri.fr">Laboratoire de Recherche en Informatique</a><br> -->
<a href="http://www.di.ens.fr/~pouzet">Marc Pouzet</a> - <a href="http://www.di.ens.fr">D&eacute;partement d'informatique de l'&Eacute;cole normale sup&eacute;rieure</a><br>
<a href="http://www.di.ens.fr/~pasteur">C&eacute;dric Pasteur</a> - <a href="http://www.di.ens.fr">D&eacute;partement d'informatique de l'&Eacute;cole normale sup&eacute;rieure</a></p>

<!-- <hr>  ************************************************************* -->

<br>
<h3>Contributors</h3>
<p>
  Guillaume Baudart <!-- (2012-2013) --><br>
  Matthieu Carlier <!-- (2004): Examples --><br>
  Mehdi Dogguy <!-- (2012) --><br>
  Sarah Maarek <!-- (2004): Emacs mode --><br>
  Florence Plateau <!-- (2008) --><br>
</p>

</div>
</div>