<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:TEA</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Dissemination - Teaching - Supervision - Juries"/>
    <meta name="dc.title" content="Dissemination - Teaching - Supervision - Juries"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2017-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="TEA"/>
    <script type="text/javascript" src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Tea</a>
        </div>
        <span>
          <a href="uid1.html">Personnel</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Introduction</a></li><li><a href="./uid4.html">Context</a></li><li><a href="./uid5.html">Motivations</a></li><li><a href="./uid9.html">Challenges</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid11.html&#10;&#9;&#9;  ">Previous Works</a></li><li><a href="uid14.html&#10;&#9;&#9;  ">Modeling Times</a></li><li><a href="uid18.html&#10;&#9;&#9;  ">Modeling Architectures</a></li><li><a href="uid24.html&#10;&#9;&#9;  ">Scheduling Theory</a></li><li><a href="uid30.html&#10;&#9;&#9;  ">Virtual Prototyping</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid35.html&#10;&#9;&#9;  ">Automotive and Avionics</a></li><li><a href="uid36.html&#10;&#9;&#9;  ">Factory Automation</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid38.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid40.html&#10;&#9;&#9;  ">ADFG</a></li><li><a href="uid43.html&#10;&#9;&#9;  ">POLYCHRONY</a></li><li><a href="uid48.html&#10;&#9;&#9;  ">Polychrony AADL2SIGNAL</a></li><li><a href="uid53.html&#10;&#9;&#9;  ">POP</a></li><li><a href="uid58.html&#10;&#9;&#9;  ">Sigali</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid61.html&#10;&#9;&#9;  ">ADFG: Affine data-flow graphs scheduler synthesis</a></li><li><a href="uid65.html&#10;&#9;&#9;  ">Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard</a></li><li><a href="uid66.html&#10;&#9;&#9;  ">New trends and developments in Polychrony</a></li><li><a href="uid67.html&#10;&#9;&#9;  ">Modular verification of cyber-physical systems using contract theory</a></li><li><a href="uid69.html&#10;&#9;&#9;  ">Parametric verification of time synchronization protocols</a></li><li><a href="uid70.html&#10;&#9;&#9;  ">Modular analysis and verification of system libraries</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid72.html&#10;&#9;&#9;  ">Bilateral Grants with Industry</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid79.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid97.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid131.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid135.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li class="tdmActPage"><a href="uid151.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2017</a> | <a href="http://www.inria.fr/en/teams/tea">Presentation of the Project-Team TEA</a> | <a href="https://team.inria.fr/TEA">TEA Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="tea.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="tea.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-tea-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../tea/tea.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-tea-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid135.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./bibliography.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Dissemination</h2>
        <h3 class="titre3">Teaching - Supervision - Juries</h3>
        <a name="uid152"/>
        <h4 class="titre4">Teaching</h4>
        <p>Jean-Pierre Talpin gave a one week class “Introduction to model-checking” at Nankai University in July and at Beihang University in November.</p>
        <a name="uid153"/>
        <h4 class="titre4">Supervision</h4>
        <p>Jean-Pierre Talpin co-supervises the PhD Thesis of Simon Lunel, Liangcong Zhang and Jean-Joseph Marty</p>
        <a name="uid154"/>
        <h4 class="titre4">Juries</h4>
        <p>Jean-Pierre Talpin served as rapporteur at the HDR Thesis defense of Jérôme Hugues, entitled “Architecture in the Service of Real-Time Middleware, Contributions to Architecture Description Languages”, which took place at INP Toulouse on February 22.</p>
        <p>Jean-Pierre Talpin served as rapporteur at the HDR Thesis defense of Maxime Pelcat, entitled “Models, methods and tools for bridging the design productivity gap of embedded signal processing systems”, which took place at Institut Poincarré in Clermond-Ferrand on July 10.
</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid135.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./bibliography.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
