CINXE.COM

<?xml version="1.0" encoding="utf-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd" [ <!ENTITY h 'http://'> <!ENTITY hs 'https://'> <!ENTITY irif '&hs;www.irif.fr/'> <!ENTITY W 'wikipedia.org/wiki/'> <!ENTITY w '&h;en.&W;'> <!ENTITY y '&h;www.youtube.com/watch?v='> <!ENTITY moodle 'https://moodle.u-paris.fr/course/view.php?id='> <!ENTITY gaufre 'https://gaufre.informatique.univ-paris-diderot.fr/'> <!ENTITY phd '<a href="&w;Doctor_of_Philosophy"> <acronym title="Philosophi忙 doctor">PhD</acronym></a>'> <!ENTITY drops '&h;drops.dagstuhl.de/opus/volltexte/'> <!ENTITY bibConf '&h;dblp.uni-trier.de/rec/bibtex/conf/'> <!ENTITY bibJ '&h;dblp.uni-trier.de/rec/bibtex/journals/'> <!ENTITY pdf '<acronym title="Portable Document Format">pdf</acronym>'> <!ENTITY bi '<a href="&w;Bioinformatics">bioinformatics</a>'> <!ENTITY cafo '<a href="http://www.unive.it/nqcontent.cfm?a_id=10497">Ca' Foscari</a>'> <!ENTITY cs '<a href="&w;Computer_science"> <acronym title="Computer Science">CS</acronym></a>'> <!ENTITY cv '<acronym title="Curriculm Vitae">CV</acronym>'> <!ENTITY d '<a href="&maps;dublin">Dublin</a>'> <!ENTITY dr '<acronym title="Doctor">dr.</acronym>'> <!ENTITY extabs ', (Extended abstract)'> <!ENTITY l '<a href="&maps;leiden">Leiden</a>'> <!ENTITY L '<a href="&maps;london">London</a>'> <!ENTITY LMCS '<a href="&h;lmcs-online.org"><acronym title="Logical Methods in Computer Science">LMCS</acronym></a>'> <!ENTITY v '<a href="&maps;venice">Venice</a>'> <!ENTITY maps '&h;maps.google.com/maps?q='> <!ENTITY mg '&h;genealogy.math.ndsu.nodak.edu/id.php?id='> <!ENTITY j 'jointly with'> <!ENTITY me '<acronym title="Giovanni">G.</acronym> Bernardi'> <!ENTITY mgp '<acronym title="Math Genealogy Project">MGP</acronym>'> <!ENTITY msc '<acronym title="Master of Science">M.Sc.</acronym>'> <!ENTITY ms '&h;research.microsoft.com/en-us/events/'> <!ENTITY MSCS '<a href="&h;journals.cambridge.org/action/displayJournal?jid=msc"><acronym title="Mathematical Structures in Computer Science">MSCS</acronym></a>'> <!ENTITY nc '<a href="&w;Natural_computing">natural computing</a>'> <!ENTITY prof '<acronym title="Professor">prof.</acronym>'> <!ENTITY home '&irif;~gio/'> <!ENTITY sem '&w;Semantics_of_programming_languages'> <!ENTITY imdea '&h;software.imdea.org/'> <!ENTITY bonsangue '<a href="&uliacs;~marcello"> <acronym title="Marcello">M</acronym>. Bonsangue</a>'> <!ENTITY castellani '<a href="&h;www-sop.inria.fr/members/Ilaria.Castellani/"> <acronym title="Ilaria">I</acronym>. Castellani</a>'> <!ENTITY cerone '<a href="&imdea;~andrea.cerone/"> <acronym title="Andrea">A</acronym>. Cerone</a>'> <!ENTITY foughali '<a href="&hs;mo-f.github.io/Mo-F/"> <acronym title="Mohammed">M</acronym>. Foughali</a>'> <!ENTITY yang '<a href="&h;www.cs.ox.ac.uk/people/hongseok.yang/Public/Home.html"> <acronym title="Hongseok">H</acronym>. Yang</a>'> <!ENTITY gotsman '<a href="&imdea;~gotsman/"> <acronym title="Alexey">A</acronym>. Gotsman</a>'> <!ENTITY hennessy '<a href="&hs;www.cs.tcd.ie/Matthew.Hennessy/"> <acronym title="Matthew">M</acronym>. Hennessy</a>'> <!ENTITY francalanza '<a href="&h;staff.um.edu.mt/afra1/"> <acronym title="Adrian">A</acronym>. Francalanza</a>'> <!ENTITY stefanesco '<a href="&h;stefanesco.com/"> <acronym title="L茅o">L</acronym>. Stefanesco</a>'> <!ENTITY laforgue '<a href="&h;www.linkedin.com/in/paul-laforgue-16bb48114/"> <acronym title="Paul">P</acronym>. Laforgue</a>'> <!ENTITY hooge '<a href="&uliacs;~hoogeboo/"><acronym title="Hendrik Jan">H.J.</acronym> Hoogeboom</a>'> <!ENTITY bugliesi '<a href="&h;www.dsi.unive.it/~michele"> <acronym title="Michele">M</acronym>. Bugliesi</a>'> <!ENTITY rossi '<a href="&h;www.dsi.unive.it/~srossi"> <acronym title="Sabina">S</acronym>. Rossi</a>'> <!ENTITY mace '<a href="&h;www.dsi.unive.it/~mace"> <acronym title="Damiano">D</acronym>. Macedonio</a>'> <!ENTITY vasco '<a href="&h;www.di.fc.ul.pt/~vv/"> <acronym title="Vasco">V</acronym>. <acronym title="Thudicum">T</acronym>. Vasconcelos</a>'> <!ENTITY tcd '<a href="&h;www.tcd.ie"><acronym title="Trinity College Dublin">TCD</acronym></a>'> <!ENTITY scss '&h;www.scss.tcd.ie'> <!ENTITY tv '<a href="&maps;treviso">Treviso</a>'> <!ENTITY ul '<a href="&h;www.leidenuniv.nl/en/">Universiteit</a> &l;'> <!ENTITY uliacs '&h;www.liacs.nl/'> <!ENTITY fmg '<acronym title="Foundations and Methods Group">FMG</acronym>'> <!ENTITY concur '&h;www.concur-conferences.org'> <!ENTITY ICCT 'International Conference on Concurrency Theory'> <!ENTITY concur2013 '<a href="&concur;/concur2013/">CONCUR 2013</a>'> <!ENTITY concur2014 '<a href="&h;concur2014.org/">CONCUR 2014</a>'> <!ENTITY concur2015 '<a href="&h;mafalda.fdi.ucm.es/concur2015/">CONCUR 2015</a>'> <!ENTITY concur2016 '<a href="&h;www.concur2016.ulaval.ca/">CONCUR 2016</a>'> <!ENTITY coord2017 '<a href="&h;2017.discotec.org/calls/coordination-2017">COORDINATION 2017</a>'> <!ENTITY tgc2014 '<a href="&h;www.cs.le.ac.uk/events/tgc2014/">TGC 2014</a>'> <!ENTITY beat2 '<a href="&h;www.dcs.gla.ac.uk/beat2/">BEAT 2</a>'> <!ENTITY esop2025 '<a href="&hs;etaps.org/2025/conferences/esop/">ESOP 2025</a>'> <!ENTITY ecoop2025 '<a href="&hs;2025.ecoop.org/">ECOOP 2025</a>'> <!ENTITY simon '<a href="&h;www.dcs.gla.ac.uk/~simon/"><acronym title="Simon">S</acronym>. Gay</a>'> <!ENTITY st '<span class="ordinal">st</span>'> <!ENTITY nd '<span class="ordinal">nd</span>'> <!ENTITY rd '<span class="ordinal">rd</span>'> <!ENTITY th '<span class="ordinal">th</span>'> ]> <html xmlns="&h;www.w3.org/1999/xhtml" xml:lang="en"> <head> <meta http-equiv="content-type" content="text/xhtml; charset=UTF-8" /> <meta http-equiv="Content-Language" content="en, nl, it"/> <meta name="description" content="Giovanni Bernardi's home page" /> <meta name="keywords" content="Giovanni, Bernardi, computer science, Ca'Foscari" /> <meta name="author" content="Giovanni Bernardi" /> <meta name="rating" content="general" /> <link href="s/b.css" rel="stylesheet" type="text/css" /> <link href="s/k.css" rel="stylesheet" type="text/css" /> <title>Giovanni Tito Bernardi's home page</title> </head> <body> <h1>Giovanni Tito Bernardi</h1> <h2><a href="&h;el.&W;螘位位畏谓喂魏萎_纬位蠋蟽蟽伪">Ioannis</a>, <a href="&h;es.&W;Idioma_espa帽ol">Juan</a>, <a href="&h;fr.&W;Fran%C3%A7ais">Jean</a>, <a href="&h;pt.&W;L铆ngua_portuguesa">João</a>, <a href="&h;ga.&W;An_Ghaeilge">Eoin</a>, <a href="&w;English_language">John</a>, Johan, <a href="&h;nl.&W;Nederlands">Jan</a>, Ian, Ivan, <a href="&h;sr.&W;%D0%A1%D1%80%D0%BF%D1%81%D0%BA%D0%B8_%D1%98%D0%B5%D0%B7%D0%B8%D0%BA">Jovan</a>, ...</h2> <p id="update"> Last update: <span class="date">01&st; Mar 2025</span> </p> <ul id="menu"> <li><a href="#int">Interests</a></li> <li><a href="#teaching">Teaching</a></li> <li><a href="#pubs">Pubblications</a></li> <li><a href="#useful">Useful links</a></li> <li><a href="#trivia">Varia</a></li> </ul> <div id="berny"> <p id="contacts"> <span id="email">e-mail: (<em><a href="&w;Lambda_calculus">λ</a>υι</em>.<em>ι@υ</em>fr) irif. gio</span> <span id="office">office: 3012, <a href="&h;www.google.fr/maps/@48.827202,2.380745,18z">bâtiment Sophie Germain, 8 place Aurélie Nemours</a>, <a href="&h;www.univ-paris-diderot.fr/">Université Paris Diderot</a>, Paris</span> <br />   <span>My face (according to my webcam): <a href="./i/me.jpg">unshaven</a>, <a href="./i/me_shaved.jpg">shaved</a> </span> </p> <div class="quot"> <p> <em>"Common sense is far more fallible than it likes to believe."</em> <br/> -- <a href="&h;www.jstor.org/stable/2369948">Mathematical Logic as based on the Theory of Types</a>, <a href="&w;Bertrand_Russell">B. Russell</a> </p> </div> <div id="links" class="quot"> <ul> <li><a href="https://www.youtube.com/watch?v=ZW9JpZXwGXc">Allons-nous continuer la recherche scientifique? (CERN, 27/01/1972)</a>, <a href="&w;Alexander_Grothendieck">A. Grothendieck</a> </li> </ul> </div> <div id="teach"> <h4>Teaching</h4> <h3>2024 - 2025</h3> <h5>First term</h5> <ul> <li><a href="https://www.irif.fr/~kesner/enseignement/licence/pf/">PF5: Programmation Fonctionelle</a> (L3)</li> <li><a href="teaching/2024-25/pprog/index.xhtml">Projet de programmation</a> (M1)</li> <li>Bases de donn茅es sp茅cialis茅es (M2), <a href="&moodle;11046">moodle</a></li> </ul> <h5>Second term</h5> <ul> <li><a href="teaching/2024-25/pprog/index.xhtml">Projet de programmation</a> (M1)</li> <li><a href="https://moule.informatique.univ-paris-diderot.fr/giovanni/pfa-2425">Programmation fonctionelle avanc茅e</a> (M1)</li> <li><a href=".">Genie Logiciel Avanc茅e (dangling link)</a> (M1)</li> </ul> </div> <div id="int"> <h4>Interests</h4> <ul> <li><a href="&w;Formal_methods">Formal methods</a>, Semantics of programming languages [<a href="&w;Semantics">1</a>, <a href="&sem;">2</a>]; <a href="&w;Concurrency_(computer_science)">concurrency</a>, testing theory, <a href="&w;Type_theory">types</a> (overall behavioural ones [<a href="&h;www.operationalsemantics.net/behaviouralwiki/doku.php">BETTY</a>]), and models of types</li> <li><a href="&w;Music">Music</a></li> <li>If I am not in the <a href="#office">office</a>, chances are I am travelling, or <a href="#events">listening to smart persons</a>, or <a href="&w;Climbing">climbing</a>, or doing my <a href="&w;Yoga">yoga</a></li> <li><a href="&w;Literature">Literature</a> [why? <a href="&y;wrBk780aOis">1</a>]; northern one in particular [<a href="&h;www.iperborea.com/">Iperborea</a>]</li> <li> Photography and <a href="&w;Darkroom">dark rooms</a></li> </ul> </div> <div id="pubs"> <h4>Publications</h4> <h5>Journals</h5> <ul id="jrnls" class="inline"> <li id="fa-scp"> <span class="title">Full-abstraction for client testing preorders</span> <ol class="authors"> <li>&j;</li> <li>&francalanza;</li> </ol> <em class="bib"> Science of Computer Programming (<a href="https://www.sciencedirect.com/journal/science-of-computer-programming">SCP</a>), 168, 2018</em> <ol class="links"> <li>[<a class="pdf" href="https://doi.org/10.1016/j.scico.2018.08.004">&pdf; via doi</a>]</li> </ol> </li> <li id="lmcs-ho-model"> <span class="title"> Using higher-order contracts to model session types </span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">Logical Methods in Computer Science (&LMCS;), 12(2), 2016</em> <ol class="links"> <li>[<a class="arxiv" href="&h;lmcs-online.org/ojs/viewarticle.php?id=1858">LMCS</a>],</li> <li>[<a href="&bibJ;corr/BernardiH13">bibTeX</a>]</li> </ol> </li> <li id="mscs-fo-model"> <span class="title">Modelling session types using contracts</span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">Mathematical Structures in Computer Science (&MSCS;), 26(3), 2016</em> <ol class="links"> <li>[<a class="pdf" href="&home;papers/journals/BH-mscs-2013-modelling_session_types.pdf">&pdf;</a>]</li> <li>[<a href="&h;dblp.uni-trier.de/rec/bibtex/journals/mscs/BernardiH16">bibTeX</a>]</li> </ol> </li> <li id="lmcs-mutually-testing"> <span class="title">Mutually testing processes</span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">Invited contribution to Logical Methods in Computer Science (&LMCS;), 11(2), 2015</em> <ol class="links"> <li>[<a class="pdf" href="&h;www.lmcs-online.org/ojs/viewarticle.php?id=1501">LMCS</a>]</li> <li>[<a href="&h;dblp.uni-trier.de/rec/bibtex/journals/corr/BernardiH15">bibTeX</a>]</li> </ol> </li> </ul> <h5>Conferences</h5> <ul id="confs" class="inline"> <li id="ecoop2025"> <span class="title">A theory of (linear-time) timed monitors</span> <ol class="authors"> <li>&j;</li> <li>M. Amara</li> <li>&foughali;</li> <li>&francalanza;</li> </ol> <em class="bib">to appear at &ecoop2025; <span class="date">Jun 2025</span>.</em> </li> <li id="esop2025"> <span class="title">Constructive characterisations of the must-preorder for asynchrony</span> <ol class="authors"> <li>&j;</li> <li>&castellani;</li> <li>&laforgue;</li> <li>&stefanesco;</li> </ol> <em class="bib">to appear at &esop2025; <span class="date">May 2025</span>.</em> <ol class="links"> <li>[<a class="pdf" href="./papers/esop2025-camera-ready.pdf">camera ready</a>]</li> <li>[<a class="pdf" href="./papers/esop2025-full-report.pdf">full report</a>]</li> <li>[<a href="&hs;hal.science/hal-04642776">&pdf; on HAL</a>]</li> <li>[<a href="&hs;arxiv.org/abs/2501.13002">&pdf; on arXiv</a>]</li> <li>[<a href="&h;github.com/gbtito/testing-theory">artifact on github</a>]</li> </ol> </li> <li id="coordiation2017"> <span class="title"> Full-abstraction for Must Testing Preorders (Extended Abstract) </span> <ol class="authors"> <li>&j;</li> <li>&francalanza;</li> </ol> <em class="bib">19&th; International Conference on Coordination Models and Languages (&coord2017;), Neuch芒tel, <span class="date">19 - 22 Jun 2017</span>.</em> <ol class="links"> <li>[<a href="./papers/BFcoordination2017.pdf">pdf</a>]</li> <li>[<a href="&bibConf;/coordination/BernardiF17">bibTeX</a>]</li> </ol> </li> <li id="concur2016"> <span class="title"> Robustness Against Consistency Models with Atomic Visibility </span> <ol class="authors"> <li>&j;</li> <li>&gotsman;</li> </ol> <em class="bib">27&th; &ICCT; (&concur2016;), Québec City, <span class="date">23 - 26 Aug 2016</span>.</em> <ol class="links"> <li>[<a href="&drops;2016/6165/">DROPS</a>],</li> <li>[<a href="&imdea;~gotsman/papers/robustness-concur16.pdf">full version</a>]</li> <li>[<a href="&bibConf;concur/0002G16">bibtex</a>]</li> </ol> </li> <li id="concur2015"> <span class="title">A Framework for Transactional Consistency Models with Atomic Visibility</span> <ol class="authors"> <li>&j;</li> <li>&cerone;</li>, <li>&gotsman;</li> </ol> <em class="bib">26&th; &ICCT; (&concur2015;), Madrid, <span class="date">1 - 4 Sep 2015</span>.</em> <ol class="links"> <li>[<a href="&drops;2015/5375/">DROPS</a>],</li> <li>[<a href="&imdea;~andrea.cerone/works/Framework.pdf">full version</a>],</li> <li>[<a href="&bibConf;concur/Cerone0G15">bibTeX</a>]</li> </ol> </li> <li id="concur2014"> <span class="title">Using higher-order contracts to model session types&extabs;</span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">25&th; &ICCT; (&concur2014;), Rome, <span class="date">2 - 5 Sep 2014</span>.</em> <ol class="links"> <li>[<a href="#ho-model">full version</a>],</li> <li>[<a href="&bibConf;concur/BernardiH14">bibTeX</a>]</li> </ol> </li> <li id="tgc2014"> <span class="title">On duality relations for session types</span> <ol class="authors"> <li>&j;</li> <li><a href="&h;www.dcs.gla.ac.uk/~ornela/"><acronym title="Ornela">O.</acronym> Dardha</a>, </li> <li>&simon;, </li> <li><a href="&h;mrg.doc.ic.ac.uk/people/dimitrios-kouzapas.html"><acronym title="Dimitris">D.</acronym> Kouzapas</a></li> </ol> <em class="bib">9&th; International Symposium on Trustworthy Global Computing (&tgc2014;), Rome, <span class="date">5 - 6 Sep 2014</span>.</em> <ol class="links"> <li>[<a class="pdf" href="&home;/papers/conf/BDGK-TGC-2014.pdf">pdf</a>],</li> <li>[<a href="&bibConf;tgc/BernardiDGK14">bibTeX</a>]</li> </ol> </li> <li id="concur2013"><span class="title">Mutually testing processes&extabs;</span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">24&th; &ICCT; (&concur2013;), Buenos Aires, <span class="date">27 - 30 August 2013</span>.</em> <ol class="links"> <li>[<a href="#lmcs-mutually-testing">full version</a>],</li> <li>[<a class="pdf" href="&home;papers/BH-CONCUR2013-talk.pdf">slides</a>],</li> <li>[<a href="&bibConf;concur/BernardiH13">bibTeX</a>]</li> </ol> </li> <li> <span class="title">Modelling session types using contracts&extabs;</span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">27&th; Symposium on Applied Computing (<a href="http://www.acm.org/conferences/sac/sac2012/">SAC 2012</a>), Riva del Garda, <span class="date">26 - 30 March 2012</span>.</em>  <ol class="links"> <li>[<a href="#mscs-fo-model">full version</a>],</li> <li>[<a class="pdf" href="&home;papers/BH-SAC2012.pdf">&pdf;</a>],</li> <li>[<a class="pdf" href="&home;papers/BH-SAC2012-talk.pdf">slides</a>],</li> <li>[<a href="&bibConf;sac/BernardiH12">bibTex</a>]</li> </ol> </li> <li> <span class="title">A Theory of Adaptable Contract-Based Service Composition</span> <ol class="authors"><li>&j;</li><li> &bugliesi;,</li> <li> &mace;,</li><li> and &rossi;</li></ol> <em class="bib">10&th; International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (<a href="&h;synasc08.info.uvt.ro/">SYNASC '08</a>),  Timisoara, <span class="date">26 - 29 September 2008</span>.</em> <ol class="links"> <li>[<a class="pdf" href="&home;papers/BBMR08.pdf">&pdf;</a>],</li> <li>[<a href="&bibConf;synasc/BernardiBMR08">bibTeX</a>]</li> </ol> </li> </ul> <div id="ws"> <h5>Workshops</h5> <ul class="inline">  <li><span class="title">Analysing and Optimising Parallel Snapshot Isolation</span> <ol class="authors"> <li>&j;</li> <li>&cerone;,</li> <li>&gotsman;,</li> <li>&yang;</li> </ol> <em class="bib"> Workshop on Principles and Practice of Consistency for Distributed Data (<a href="&h;papoc.di.uminho.pt/">PaPoC '15</a>), Bordeaux, <span class="date">April 21, 2015</span>.</em> <ol class="links"> <li>[<a class="pdf" href="&home;papers/CBGY-papoc15.pdf">&pdf;</a>]</li> </ol> </li> <li><span class="title">Compliance and testing preorders differ</span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">2&nd; International Workshop on Behavioural Types (&beat2;), Madrid, <span class="date">23 - 24 September 2013</span>.</em> <ol class="links"> <li>[<a class="pdf" href="&home;papers/BH-BEAT2-2013.pdf">&pdf;</a>],</li> <li>[<a href="&bibConf;sefm/BernardiH13">bibTeX</a>],</li> <li>[<a class="pdf" href="&home;slides/BH-BEAT2-2013-talk.pdf">slides</a>]</li> </ol> </li> </ul> </div> <h5>Technical reports</h5> <ul id="tech-reps" class="inline"> <li> <span class="title">Cuddling cats</span> <ol class="authors"> <li>&me;</li> </ol> <em class="bib">Technical Report TCD-CS-2012-16, <span class="date">5 Jun 2012</span>.</em>  <ol class="links"> <li>[<a class="pdf" href="&home;papers/tech-reports/tcd-cs-2012-16.pdf">&pdf;</a>]</li> </ol> </li> <li> <span class="title">Modelling session types using contracts</span> <ol class="authors"> <li>&j;</li> <li>&hennessy;</li> </ol> <em class="bib">Technical Report TCD-CS-2011-07, <span class="date">9 Aug 2011</span>.</em> <ol class="links"> <li>[<a class="pdf" href="&home;papers/tech-reports/TCD-CS-2011-07.pdf">&pdf;</a>]</li> </ol> </li> </ul> <h5>&phd; thesis</h5> <p> <a href="http://www.tara.tcd.ie/handle/2262/77595">Behavioural Equivalences for Web Services</a><br/><br/> On <span class="date">March the 28th, 2013</span> I submitted my thesis, and I passed the <a href="&w;Oral_exam">viva</a> on <span class="date">May the 22nd, 2013</span>. My examiners were <a href="&h;www.dcs.gla.ac.uk/~simon/"><acronym title="Simon">S</acronym>. Gay</a> and <a href="&hs;www.scss.tcd.ie/andrew.butterfield/"><acronym title="Andrew">A</acronym>. Butterfield</a>. </p> <p>Chapter 4 is subsumed by this <a href="#lmcs-mutually-testing">paper</a>. Chapters 7 and 8 are subsumed by this <a href="#ho-model">report</a>. </p>  Other links: <a href="&h;scholar.google.com/citations?user=hEunXYQAAAAJ&hl=en&oi=ao">Google Scholar</a>,  <a href="&h;dblp.uni-trier.de/pers/hd/b/Bernardi:Giovanni_Tito">DBLP</a>, <a href="&h;genealogy.math.ndsu.nodak.edu/id.php?id=219749">MGP</a> </div>  <div id="events"> <h4>Events</h4> Future <ol class="links"> <li>&esop2025;</li> </ol> <br /> Past <ol class="links"> <li><a href= "&h;//www.discotec.org/2024/forte.html">FORTE 2024</a></li> <li><a href="&hs;www.uantwerpen.be/en/conferences/confest-2023/workshops/yrconcur/">YR-CONCUR 2023</a></li> </ol> <ol class="links"> <li><a href="&hs;popl19.sigplan.org/track/opct-2019-papers">OPCT 2019</a></li> </ol> <ol class="links"> <li><a href="&hs;www.irif.fr/en/vip2018">VIP workshop</a></li> </ol> <ol class="links"> <li><a href="&h;opct2017.famaf.unc.edu.ar/">OPCT 2017</a></li> <li>&coord2017;</li> <li><a href="&hs;www.dagstuhl.de/en/program/calendar/semhp/?semnr=17051">Dagstuhl 17051</a></li> <li><a href="&hs;www.dagstuhl.de/en/program/calendar/semhp/?semnr=16471">Dagstuhl 16471</a></li> <li>&concur2016;</li> <li><a href="&h;summerschool2016.behavioural-types.eu/">BETTY summer school</a></li> <li><a href="&ms;micw2016/">MICW 2016</a></li> <li><a href="&h;www.behavioural-types.eu/meetings/wg-mc-meetings-friday-4th-september-2015-in-madrid">BETTY meeting</a></li> <li><a href="http://cimini.info/yr-concur2015/">YR-CONCUR 2015</a></li> <li>&concur2015;</li> <li><a href="&h;dl.dropboxusercontent.com/u/26024007/ICW2015/icw2015.html">Imperial Concurrency Workshop</a></li> <li><a href="&h;www.sti.uniurb.it/events/sfm15mp/">SFM 2015</a></li> <li><a href="&h;papoc.di.uminho.pt/">PaPoC 2015</a></li> <li><a href="&h;www.behavioural-types.eu/meetings/wg-mc-meetings-friday-17th-april-2015-in-london">BETTY meeting</a></li> <li><a href="&ms;micw2015/">MICW 2015</a></li> </ol> <ol class="links"> <li><ol style="display:inline"> <li><a href="&h;icetcs.ru.is/MATTHEWFEST/">MatthewFEST</a></li> <li><a href="&h;concur2014.org/">CONCUR 2014</a></li> <li><a href="&h;www.cs.le.ac.uk/events/tgc2014">TGC 2014</a></li> <li><a href="&h;www.behavioural-types.eu/meetings/wg-mc-meetings-sunday-31st-august-2014-in-rome">BETTY meeting</a></li> <li><a href="https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=workshop_5">Certification of ... programs</a></li> <li><a href="&h;summerschool2014.behavioural-types.eu/">BETTY summer school</a></li> <li><a href="&h;www.cs.nott.ac.uk/~txa/mgs.2014/">MGS 2014</a></li> <li><a href="&h;chocola.ens-lyon.fr/events/seminaire-2014-04-03/talks/bernardi/">CHoCoLa</a></li> <li><a href="&h;smc2014.univ-lyon1.fr/">MSC - Lyon 2014</a></li> </ol></li> <li><ol style="display:inline"> <li>&beat2;</li> <li>&concur2013;</li> </ol></li> <li><ol style="display:inline"> <li><a href="&h;www.cs.ox.ac.uk/people/hongseok.yang/ccw12/">Oxford Concurrency Workshop</a></li> <li><a href="&h;events.cs.bham.ac.uk/mgs2012/">MGS 2012</a></li> <li><a href="&h;www.acm.org/conferences/sac/sac2012/">SAC 2012</a></li> </ol></li> <li><ol style="display:inline"> <li><a href="&h;www.cs.nott.ac.uk/~vxc/mgs/mgs.html">MGS 2011</a></li> </ol></li> </ol> </div> <div id="trivia"> <h4>Varia</h4> <ul class="inline"> <li><a href="&h;bleau.info">bleau.info</a></li> <li><a href="&y;8Zt8svS2w1I">A fundamental question</a></li> <li><a href="&y;m8gR4sQvjt4"><strike>A fundamental observation</strike></a></li> <li><a href="&y;Sm6_dhqmdyE">Abolitionist approach to animal rights</a></li> <li>In Italian <a href="&h;www.ilfattoquotidiano.it/blog/lzanardo/">Lorella Zanardo</a>, <a href="http://www.ilfattoquotidiano.it/blog/eeretica/">Eretica</a></li> <li>Less technical literature: <ul> <li><a href="&w;Cees_Nooteboom">Cees Nooteboom</a>,</li> <li><a href="&w;Lars_Gustafsson">Lars Gustafsson</a></li> </ul> </li> <li>Family matters: my sister Stella wrote <a href="&h;www.ncbi.nlm.nih.gov/pubmed?term=stella%20bernardi%5BAuthor%5D">these</a>, my mom Gina wrote <a href="&h;civiltarussa.blogspot.it/">this</a>, and my father Antonio managed <a href="&h;linuxdidattica.org/">this</a></li> <li> Comics: <ul> <li><a href="&hs;www.dropbox.com/sh/94xi699zxwtwrrx/AABItC5AoRWcDCZZkyVC91y2a/Fun/CalvinHobbes">Calvin & Hobbes</a>,</li> <li>and a remark on <a href="&h;www.phdcomics.com/comics/archive.php?comicid=148">PhD</a>.</li> </ul> </li>  </ul> </div>  <hr /> <div> <p class="quot"> <em>N茫o o prazer, não a glória, não o poder: a liberdade, unicamente a liberdade.</em><br /> -- <a href="&h;pt.wikipedia.org/wiki/Livro_do_Desassossego">Livro do Desassossego</a>, <a href="&w;Fernando_Pessoa">F. Pessoa</a> </p> <p class="quot"> <em>"I'm not over the moon. I have health, for the time being, enough money, no immediate worries. That, I believe, is about as good as it gets. Are <strong>you</strong> happy?"</em> <br/> -- That They May Face the Rising Sun, <a href="&w;John_McGahern">J. McGahern</a> </p> <p class="quot"><em> "Our guns<br/> We shot them in the things we said<br/> Ah we didn't need no bullets<br/> Cos we rely on some words instead<br/> Kill someone in argument<br/> Outwit them with our brains<br/> And we'd kill ourselves laughing<br/> At the funny things we'd say" </em></p> -- <a href="&y;aSY7PKbwjX4">The Chariot</a>, <a href="&h;thecatempire.com/">The Cat Empire</a> </div> </div> </body> </html>