---
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=3 %}
<div id="container" class="mainContainer">
<div class="pageContact pages">
<div class="bgTextbig">
Contact
</div>
<h1 class="pageTitle">Contact Us</h1>
<div class="contact-form"></div>
<form action="" method="post" id="contact_form" data-parsley-validate="" name="contact_form">
<span class="formALert alertError apply_error-common" style="display:none;"></span> <span class="formALert alertSuccess"
id="apply_success_msg" style="display:none;"></span>
<div class="leftBlock">
<div class="inputWrap">
<div class="textError"></div><input type="text" name="name" placeholder="Your name" class="textbox" data-parsley-required=
"" data-parsley-pattern="^[a-zA-Z_ ]+$" data-parsley-errors-container=".textError">
</div>
<div class="inputWrap">
<div class="emailError"></div><input type="email" name="email" placeholder="Your email" class="textbox"
data-parsley-required="" data-parsley-errors-container=".emailError">
</div>
<div class="choose">
<div class="radioError"></div><span>You are:</span>
<p><input id="radio1" name="you_are" type="radio" value="An Academic" data-parsley-required=""
data-parsley-errors-container=".radioError"> <label for="radio1">An academic</label></p>
<p><input id="radio2" name="you_are" type="radio" value="An Industrial" data-parsley-required=""
data-parsley-errors-container=".radioError"> <label for="radio2">An industrial</label></p>
<p><input id="radio3" name="you_are" type="radio" value="An Applicant" data-parsley-required=""
data-parsley-errors-container=".radioError"> <label for="radio3">A candidate</label></p>
</div>
</div>
<div class="messageWrap">
<span>Type your message</span>
<textarea id="contact_textarea" name="message" placeholder="Your message" data-parsley-required=""
data-parsley-errors-container=".textareaError" maxlength="220">
</textarea>
<div class="textareaError"></div>
<div class="submitWrap">
<button id="cf_submit"><i class="icon-btn-submit"></i></button>
</div><i id="textarea_count" class="characterLimit"></i>
</div>
</form>
<div class="locate">
<figure style=
"background:url(/assets/img/nano_innov.jpg) no-repeat center bottom; background-size: cover;">
</figure>
<div id="mapid"></div>
</div>
<div class="contactInfo">
<h4>Please Contact</h4>
<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,</p>
<p><a href="mailto:florent.kirchner@cea.fr">florent.kirchner(at)cea.fr</a><small>|</small><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">
<img class="icon" src="/assets/img/community/BTS_Mantis.png">
<li class="icon_1">
<a href="https://bts.frama-c.com/my_view_page.php" target="_blank">
<div class="slideCaption">
Bug Tracker
</div>
<div class="description">
The official Frama-C bug tracking system (BTS).
</div>
</a>
</li>
<img class="icon" src="/assets/img/community/stack_overflow.png">
<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>
<img class="icon" src="/assets/img/community/mails.png">
<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>
<img class="icon" src="/assets/img/community/github.png">
<li class="icon_4">
<a href="https://github.com/frama-c" target="_blank">
<div class="slideCaption">
Frama-C on Github
</div>
<div class="description">
Frama-C snapshots and related code bases (Qed, open source case studies...).
</div>
</a>
</li>
<img class="icon" src="/assets/img/community/github.png">
<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>
</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>
</div>
{% include footer.html %}
<div class="clear"></div>
</div>
</div>