Skip to content
Snippets Groups Projects
contact.html 6.23 KiB
Newer Older
Augustin Lemesle's avatar
Augustin Lemesle committed
---
layout: default
css: contact
Augustin Lemesle's avatar
Augustin Lemesle committed
title: Contact Us
Augustin Lemesle's avatar
Augustin Lemesle committed
---

<head>
    <link rel="stylesheet" href="https://unpkg.com/leaflet@1.5.1/dist/leaflet.css"
          integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ=="
          crossorigin=""/>
    <script src="https://unpkg.com/leaflet@1.5.1/dist/leaflet.js"
            integrity="sha512-GffPMF3RvMeYyc1LWMHtK8EbPv0iNZ8/oTtHPx9/cc2ILxQ+u905qIwdpULaqDkyBKgOaB57QTMg7ztg8Jm2Og=="
            crossorigin=""></script>
<script type="text/javascript">
var url = 'https://api.stackexchange.com/2.2/questions?order=desc&sort=activity&site=stackoverflow&tagged=frama-c&filter=withbody&key=nQzVjuCq0ZwXFrvkmRKTag((';

var getJSON = function(url, callback) {
    var xhr = new XMLHttpRequest();
    xhr.open('GET', url, true);
    xhr.responseType = 'json';
    xhr.onload = function() {
      var status = xhr.status;
      if (status === 200) {
        callback(null, xhr.response);
      } else {
        callback(status, xhr.response);
      }
    };
    xhr.send();
};

var loadMap = function() {
var map = L.map('mapid', {closePopupOnClick:false}).setView([48.7130, 2.1944], 16);

L.tileLayer('https://{s}.tile.openstreetmap.org/{z}/{x}/{y}.png', {
    attribution: '&copy; <a href="https://www.openstreetmap.org/copyright">OpenStreetMap</a> contributors'
}).addTo(map);

L.marker([48.7125, 2.1945]).addTo(map)
     .bindPopup('<b>CEA LIST, Centre Nano-INNOV</b><br>2 Boulevard Thomas Gobert<br>91120 Palaiseau, France',
                {closeButton:false})
     .openPopup();
};

window.onload = function () {
    getJSON(url,
function(err, data) {
  if (err !== null) {
    alert('Something went wrong: ' + err);
  } else {
    posts = data['items'];
	html = "";
	for (let i = 0; i < 5; i++){
	  post = posts[i];
	  tags = "";
	  for (let tag = 0; tag < post['tags'].length; tag++){
		tags += "<label class=\"tag\"><a href=\"https://stackoverflow.com/questions/tagged/" + post['tags'][tag] + "\" target=\"_blank\">" + post['tags'][tag] + "</a></label>";
	  }
	  html += "<li><a class=\"qus\" href=\"" + post['link'] + "\" target=\"_blank\">" + post['title'] + "</a> <span class=\"ans\">" + post['body'].replace(/<[^>]*>?/gm, '').substring(0, 320) +"...<p class=\"tags\">"+ tags +"</p><aside>" + "<span class=\"vote-count\">" + post['score'] + "<br>Score</span> <span class=\"answer-count\">" + post['answer_count'] + "<br>Answer</span> <span class=\"views-count\">" + post['view_count'] + "<br>Views</span></label></aside></li>";
	}
    document.getElementById("postsStack").innerHTML = html;
 });
    loadMap();
}
</script>
</head>
<body class="page-template page-template-page-contact page-template-page-contact-php page page-id-18 nonTouch">
Augustin Lemesle's avatar
Augustin Lemesle committed
<div id="wrapper" class="hfeed">

	{% include headers.html header=6 %}
Augustin Lemesle's avatar
Augustin Lemesle committed

<div id="container" class="mainContainer">
  <div class="pageContact pages">

	<h1 class="pageTitle">Contact Us</h1>

Augustin Lemesle's avatar
Augustin Lemesle committed
	<div class="contactInfo">

	  <p>If you think Frama-C could be part of any kind of scientific collaboration, including research projects, internships,
Augustin Lemesle's avatar
Augustin Lemesle committed
	  PhDs, post-doctoral positions and dissemination activities, please contact	<a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a> or <a href=
	  "mailto:loic.correnson@cea.fr">loic.correnson(at)cea.fr</a>.</p>
Augustin Lemesle's avatar
Augustin Lemesle committed
	</div>
Augustin Lemesle's avatar
Augustin Lemesle committed
	<div class="usefulLinks" id="side-content">
	  <h3 class="subTitle">Community</h3>

	  <div id="sidebar-content">
	    <ul class="side-feed">
Augustin Lemesle's avatar
Augustin Lemesle committed
        <div class="icon-com"><img src="/assets/img/community/gitlab.png"></div>
	    <li class="icon_1">
		<a href="https://git.frama-c.com/pub/frama-c/issues" target="_blank">
		<div class="slideCaption">
		    Gitlab Issues
		</div>

		<div class="description">
		    The official Frama-C issues on its Gitlab (for bug reporting and feature requests).
Augustin Lemesle's avatar
Augustin Lemesle committed
		</div>
        </a>
	    </li>

         <div class="icon-com"><img src="/assets/img/community/stack_overflow.png"></div>
	      <li class="icon_2">
		<a href="https://stackoverflow.com/tags/frama-c/" target="_blank">
		  <div class="slideCaption">
		    Stack Overflow
		  </div>

		  <div class="description">
		    The Frama-C community uses Stack Overflow for general-purpose questions.
		  </div>
                </a>
	      </li>

Augustin Lemesle's avatar
Augustin Lemesle committed
         <div class="icon-com"><img src="/assets/img/community/mails.png"></div>
	      <li class="icon_3">
		<a href="https://lists.gforge.inria.fr/pipermail/frama-c-discuss/" target="_blank">
		  <div class="slideCaption">
		    Frama-C-discuss
		  </div>

		  <div class="description">
		    The official Frama-C mailing list (announcements and general questions).
		  </div>
                </a>
	      </li>

Augustin Lemesle's avatar
Augustin Lemesle committed
        <div class="icon-com"><img src="/assets/img/community/gitlab.png"></div>
	    <li class="icon_4">
		  <a href="https://git.frama-c.com/pub" target="_blank">
Augustin Lemesle's avatar
Augustin Lemesle committed
			<div class="slideCaption">
		    Frama-C on Gitlab
			</div>
Augustin Lemesle's avatar
Augustin Lemesle committed
			<div class="description">
		    Frama-C development repositories (including daily snapshots and related code bases, such as open source case studies).
Augustin Lemesle's avatar
Augustin Lemesle committed
			</div>
          </a>
	    </li>
Augustin Lemesle's avatar
Augustin Lemesle committed
         <div class="icon-com"><img src="/assets/img/community/github.png"></div>
	      <li class="icon_5">
		<a href="https://github.com/acsl-language" target="_blank">
		  <div class="slideCaption">
		    ACSL on Github
		  </div>

		  <div class="description">
		    Official Github repositories for the ANSI/ISO C Specification Language (ACSL).
		  </div>
                </a>
	      </li>

Augustin Lemesle's avatar
Augustin Lemesle committed
         <div class="icon-com"><img src="/assets/img/community/twitter.png"></div>
	      <li class="icon_6">
Yaelle Vincont's avatar
Yaelle Vincont committed
		<a href="https://twitter.com/frama_c" target="_blank">
		  <div class="slideCaption">
Yaelle Vincont's avatar
Yaelle Vincont committed
		    Twitter
		  </div>

		  <div class="description">
Yaelle Vincont's avatar
Yaelle Vincont committed
		    @frama_c
		  </div>
                </a>
	      </li>
	    </ul>
Augustin Lemesle's avatar
Augustin Lemesle committed
	  </div>
	</div>
	<div class="stackPost" id="stackpots">
          <h3 class="subTitle">Newest Frama-C Questions & Answers on Stack Overflow</h3>

          <ul id="postsStack">
Augustin Lemesle's avatar
Augustin Lemesle committed
    <h1 style="clear: both;">Find us</h1>
	<div class="locate">
Augustin Lemesle's avatar
Augustin Lemesle committed
	  <figure style=
	  "background:url(/assets/img/nano_innov.jpg) no-repeat center bottom; background-size: cover;">
	  </figure>

          <div id="mapid" style="z-index: 0;"></div>
	</div>

Augustin Lemesle's avatar
Augustin Lemesle committed
  </div>
Augustin Lemesle's avatar
Augustin Lemesle committed
      {% include footer.html %}

      <div class="clear"></div>
Augustin Lemesle's avatar
Augustin Lemesle committed
</div>
</div>