{"id":119,"date":"2012-07-09T18:01:12","date_gmt":"2012-07-09T17:01:12","guid":{"rendered":"http:\/\/sites.google.com\/feeds\/content\/site\/tcsunica\/4853844862183259429"},"modified":"2013-11-22T15:37:24","modified_gmt":"2013-11-22T14:37:24","slug":"phd-course-bisimulation-process-algebras-and-coinduction","status":"publish","type":"post","link":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/2012\/07\/09\/phd-course-bisimulation-process-algebras-and-coinduction\/","title":{"rendered":"PhD Course: Bisimulation, process algebras, and coinduction"},"content":{"rendered":"
Upcoming PhD course
<\/font><\/div>

<\/div>
Bisimulation, process algebras, and coinduction<\/font><\/b>
<\/div>

<\/div>
July 2012
<\/font>\n<\/div>\n
Dipartimento di Matematica e Informatica - Via Ospedale 72, Cagliari<\/font>
<\/div>

Emilio Tuosto<\/font><\/b>
Department of Computer Science<\/font>
University of Leicester (UK)<\/font>

Abstract.<\/b> After a brief (non technical) introduction of the abstract concept<\/span> <\/span>of bisimulation, the course will show how this notion can be used<\/span> <\/span>to define observational semantics of concurrent computations expressed as process algebras (with names). Finally, the course will highlight the coinductive nature of bisimulation and how to use coinduction to reason about the behaviour of concurrent (or diverging) applications.<\/span>

The\n official presentation of the course will be on July 10 (Tuesday) in Aula Magna Matematica, at 18:00. The schedule of the course will be fixed during this \nmeeting.<\/span>

Course schedule.<\/b>
<\/span><\/font>
  • Tuesday 10, 18.00-19.00 Aula Magna Matematica<\/span><\/font><\/li>
  • Thursday 12, 18.00-19.00 Aula C<\/span><\/font><\/li>
  • Monday 16, 15.00-17.00 Aula C<\/span><\/font><\/li>
  • Tuesday 17, 15.00-17.00 Aula C
    <\/span><\/font><\/li><\/ul>
    The course has been funded by the Autonomous Region of Sardinia through the Visiting Professor Program 2011-12.<\/span>
    <\/font>
    <\/div><\/div><\/div><\/td><\/tr><\/tbody><\/table><\/div>","protected":false},"excerpt":{"rendered":"

    Upcoming PhD courseBisimulation, process algebras, and coinductionJuly 2012<\/p>\n

    Dipartimento di Matematica e Informatica – Via Ospedale 72, CagliariEmilio TuostoDepartment of Computer ScienceUniversity of Leicester (UK)Abstract. After a brief (non technic…<\/p>\n","protected":false},"author":1325,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10,13],"tags":[],"class_list":["post-119","post","type-post","status-publish","format-standard","hentry","category-events","category-httpschemas-google-comsites2008announcement","category-10-id","category-13-id","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/119","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/users\/1325"}],"replies":[{"embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/comments?post=119"}],"version-history":[{"count":1,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/119\/revisions"}],"predecessor-version":[{"id":138,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/posts\/119\/revisions\/138"}],"wp:attachment":[{"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/media?parent=119"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/categories?post=119"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dottorati.unica.it\/matematicaeinformatica\/wp-json\/wp\/v2\/tags?post=119"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}