---
layout: default
css: contact
---

<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="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="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">An Applicant</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(https://framac.s3.amazonaws.com/production/uploads/2017/07/PrtScr-capture_2686.jpg) no-repeat center bottom; background-size: cover;">
	  </figure>

	  <div class="acf-map" id="googleMap">
		<div class="marker" data-lat="48.712144" data-lng="2.194427000000019">
		  <p class="address">8 Avenue de la Vauve, 91120 Palaiseau, France</p>
		</div>
	  </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.kirchnera@cea.fr">Florent.Kirchnera@cea.fr</a><small>|</small><a href=
	  "mailto:loic.corrensona@cea.fr">Loic.Corrensona@cea.fr</a></p>
	</div>

	<div class="usefulLinks" id="side-content">
	  <h3 class="subTitle">Community</h3>

	  <div id="sidebar-content">
		<ul class="side-feed">
		  <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>

		  <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>

		  <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>

		  <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>

		  <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>

		  <li class="icon_6">
			<a href="https://framac-staging.eu-staging.kacdn.net/careers" target="_blank">
			<div class="slideCaption">
			  Careers
			</div>

			<div class="description">
			  Reference site about Lorem Ipsum, giving information on its origins, as well as a random Lipsum generator.
			</div></a>
		  </li>
		</ul>
	  </div>
	</div>
  </div>
</div>
</div>