<?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:COMETE</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Dissemination - Popularization"/>
    <meta name="dc.title" content="Dissemination - Popularization"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2018-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="COMETE"/>
    <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 Comete</a>
        </div>
        <span>
          <a href="uid1.html">Team, Visitors, External Collaborators</a>
        </span>
      </div>
      <div class="TdmEntry">
        <a href="./uid3.html">Overall Objectives</a>
      </div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid5.html&#10;&#9;&#9;  ">Probability and information theory</a></li><li><a href="uid6.html&#10;&#9;&#9;  ">Expressiveness of Concurrent Formalisms</a></li><li><a href="uid7.html&#10;&#9;&#9;  ">Concurrent constraint programming</a></li><li><a href="uid10.html&#10;&#9;&#9;  ">Model checking</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid12.html&#10;&#9;&#9;  ">Security and privacy</a></li></ul></div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid14.html&#10;&#9;&#9;  ">libqif - A Quantitative Information Flow C++ Toolkit Library</a></li><li><a href="uid17.html&#10;&#9;&#9;  ">F-BLEAU</a></li><li><a href="uid20.html&#10;&#9;&#9;  ">Location Guard</a></li><li><a href="uid24.html&#10;&#9;&#9;  ">dspacenet</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid29.html&#10;&#9;&#9;  ">Foundations of information hiding </a></li><li><a href="uid36.html&#10;&#9;&#9;  ">Foundations of Concurrency</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid41.html&#10;&#9;&#9;  ">Regional Initiatives</a></li><li><a href="uid54.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid67.html&#10;&#9;&#9;  ">International Initiatives</a></li><li><a href="uid124.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid144.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid212.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li class="tdmActPage"><a href="uid235.html&#10;&#9;&#9;  ">Popularization</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>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</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 
	    2018</a> | <a href="http://www.inria.fr/en/teams/comete">Presentation of the Project-Team COMETE</a> | <a href="http://www.lix.polytechnique.fr/comete/">COMETE Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="comete.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="comete.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-comete-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../comete/comete.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-comete-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="./uid212.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">Popularization</h3>
        <a name="uid236"/>
        <h4 class="titre4">Education</h4>
        <p>Konstantinos Chatzikokolakis and Catuscia Palamidessi have designed, and coordinate, a course on the Foundations of Privacy at the
<a href="https://wikimpri.dptinfo.ens-cachan.fr/doku.php">MPRI</a>, the Master Parisien pour la Recherche en Informatique. University of Paris VII. A.Y. Since 2015.</p>
        <p>Catuscia Palamidessi has been:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid237"> </a>Invited speaker at <a href="https://popl19.sigplan.org/track/PLMW-2019-papers">PLMW@POPL 2019</a>, the Programming Logic Mentoring Workshop 2019 (affiliated to POPL 2019). This workshop aims at encouraging graduate students and senior undergraduate students to pursue careers in programming language research, and at educating them on the research career.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid238"> </a>A participant in the round table at the <a href="https://easychair.org/smart-program/FLoC2018/WiL-program.html">FLOC Women in Logic workshop</a>, a workshop organized to encourage women's presence in the logic community. Oxford, UK, 8 July 2018.</p>
          </li>
        </ul>
        <a name="uid239"/>
        <h4 class="titre4">Interventions</h4>
        <p>Catuscia Palamidessi and Frank Valencia have supervised a group of high school children in stage d'observation. April 2018.</p>
        <p>Catuscia Palamidessi has given an invited talk at:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid240"> </a><a href="https://jnim2018.sciencesconf.org/">JNIM 2018</a>. Journées Nationales 2018 du GDR Informatique Mathématique (Journée du 6 Avril en Hommage à Maurice Nivat). Palaiseau, France, 3-6 April 2018.</p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid212.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>
