---
layout: default
css: contact
title: Contact Us
---
<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: '© <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">
<div id="wrapper" class="hfeed">
{% include headers.html header="contact" %}
<div id="container" class="mainContainer">
<div class="pageContact pages">
<h1 class="pageTitle">Contact Us</h1>
<div class="contactInfo">
<p>If you think Frama-C could be part of any kind of scientific collaboration, including research projects, internships,
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>
</div>
<div class="usefulLinks" id="side-content">
<h3 class="subTitle">Community</h3>
<div id="sidebar-content">
<ul class="side-feed">
<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).
</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>
<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>
<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">
<div class="slideCaption">
Frama-C on Gitlab
</div>
<div class="description">
Frama-C development repositories (including daily snapshots and related code bases, such as open source case studies).
</div>
</a>
</li>
<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>
<div class="icon-com"><img src="/assets/img/community/twitter.png"></div>
<li class="icon_6">
<a href="https://twitter.com/frama_c" target="_blank">
<div class="slideCaption">
Twitter
</div>
<div class="description">
@frama_c
</div>
</a>
</li>
</ul>
</div>
</div>
<div class="stackPost" id="stackpots">
<h3 class="subTitle">Newest Frama-C Questions & Answers on Stack Overflow</h3>
<ul id="postsStack">
</ul>
</div>
<h1 style="clear: both;">Find us</h1>
<div class="locate">
<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>
</div>
{% include footer.html %}
<div class="clear"></div>
</div>
</div>