<div dir="ltr"><div>*** Call for participation, please distribute. ***</div><div><br></div><div><br></div><div>              EPIT'2015 (<a href="http://www.epit2015.website" target="_blank">http://www.epit2015.website</a>)</div><div><br></div><div>           Spring School in Theoretical Computer Science</div><div><br></div><div>              Mechanizing Proofs of Programs in Coq</div><div><br></div><div>              May 25 to May 29, 2015, Frejus, France</div><div><br></div><div><br></div><div>* Presentation</div><div><br></div><div>The french spring school in theoretical computer science (EPIT) is a</div><div>recurrent school which was created 40 years ago by Maurice Nivat.</div><div>This year, the school is about the mechanization of proofs of programs</div><div>using the proof assistant Coq. As no prerequisite is needed, the</div><div>school targets any computer scientist that is curious about what a proof</div><div>assistant is and how it can be integrated in its daily research work.</div><div><br></div><div>* Program</div><div><br></div><div>The school will take place between May 24 and May 29 and it will be</div><div>divided into eight sessions. A session will consist in a (rather</div><div>short) lecture (given in english) followed by practical exercises on</div><div>computer. The five first sessions will be dedicated to a presentation</div><div>of the main concepts and techniques used to mechanize proofs on a</div><div>computer. The two next sessions will focus on the mechanization of two</div><div>classical domains of theoretical computer science: the theory of</div><div>rational languages and the computational combinatorics. Finally,</div><div>during the last session, participants will work on the mechanization</div><div>of their specific research domain with the help of the pedagogical</div><div>team of the school.</div><div><br></div><div>* Registration</div><div><br></div><div>To get more information and to register, please go to</div><div><br></div><div>           <a href="http://www.epit2015.website" target="_blank">http://www.epit2015.website</a></div><div><br></div><div>Registration deadline : April 30, 2015</div><div><br></div><div>You can register directly by following</div><div><br></div><div><a href="https://www.azur-colloque.fr/DR01/AzurInscription/?&iColId=19&NaiveForm_id=AzChoixColloque&btnAzurP=Preinscription&lang=en" target="_blank">https://www.azur-colloque.fr/DR01/AzurInscription/?&iColId=19&NaiveForm_id=AzChoixColloque&btnAzurP=Preinscription&lang=en</a></div><div><br></div><div>* Pedagogical committee</div><div><br></div><div>- Pierre Letouzey (University Paris-Diderot) ;</div><div>- Arthur Charguéraud (INRIA) ;</div><div>- Matthieu Sozeau (INRIA) ;</div><div>- Damien Pous (CNRS) ;</div><div>- Assia Mahboubi (INRIA) ;</div><div>- Benjamin Grégoire (INRIA).</div><div><br></div><div>The school is organized by:</div><div>- Pierre Letouzey (University Paris-Diderot) ;</div><div>- Matthieu Sozeau (INRIA) ;</div><div>- Yann Régis-Gianas (University Paris-Diderot) ;</div><div>- Pierre-Marie Pédrot (University Paris-Diderot).</div><div><br></div><div>If you need any information, please contact Yann Régis-Gianas (yrg at <a href="http://pps.univ-paris-diderot.fr" target="_blank">pps.univ-paris-diderot.fr</a>).</div><div><br></div></div>