-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtalks.html
97 lines (97 loc) · 108 KB
/
talks.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<!DOCTYPE html><html><head><title>Ana Sokolova Talks</title><meta http-equiv="Content-type" content="text/html;charset=UTF-8" /><meta name="viewport" content="width=1000" /><meta name="generator" content="EverWeb 3.7.1 (2646)" /><meta name="buildDate" content="Thursday, 15. December 2022" /><meta property="og:url" content="http://www.cs.uni-salzburg.at/~anas/talks.html" /><meta property="og:title" content="Ana Sokolova Talks" /><link rel="stylesheet" type="text/css" href="ew_css/textstyles.css?3753981555" /><link rel="stylesheet" type="text/css" href="ew_css/responsive.css?3753981555" /><script src="//ajax.googleapis.com/ajax/libs/jquery/2.1.3/jquery.min.js"></script>
<script type="text/javascript">
if (typeof jQuery == 'undefined')
{
document.write(unescape("%3Cscript src='ew_js/jquery.min.js' type='text/javascript'%3E%3C/script%3E"));
}
</script><script type="text/javascript" src="ew_js/imageCode.js" defer></script><script type="text/javascript" src="ew_js/sclicknav.js" defer></script><link rel="stylesheet" type="text/css" href="ew_css/slicknav.css" /><style type="text/css">a img {border:0px;}body {background: url('images/talks/browser/iStock-518411878.jpg') no-repeat fixed center center;-webkit-background-size: cover;-moz-background-size: cover;-o-background-size: cover;background-size: cover;background-color: #FFFEFE;margin: 0px auto;}div.container {margin: 0px auto;width: 1000px;height: 5965px;background: url('images/talks/iStock-518411878.jpg') no-repeat;}@media only screen and (-moz-min-device-pixel-ratio: 1.5), only screen and (-o-min-device-pixel-ratio: 3/2), only screen and (-webkit-min-device-pixel-ratio: 1.5), only screen and (min-devicepixel-ratio: 1.5), only screen and (min-resolution: 1.5dppx) {body {}}@media only screen and (-moz-min-device-pixel-ratio: 1.5), only screen and (-o-min-device-pixel-ratio: 3/2), only screen and (-webkit-min-device-pixel-ratio: 1.5), only screen and (min-devicepixel-ratio: 1.5), only screen and (min-resolution: 1.5dppx) { div.container {background: url('images/talks/[email protected]') no-repeat;background-size: 1000px 5965px;}}@media all and (max-device-width: 768px),(max-device-width: 568px),(max-device-width: 480px),(max-device-width: 667px),(max-device-width: 736px),(max-device-width: 360px) {body {background: url('images/talks/browser/iStock-518411878.jpg') no-repeat fixed center 0;-webkit-background-size: auto;-moz-background-size: auto;-o-background-size: auto;background-size: auto;max-width: 100%;}}.browser_mobile_back {left:0;top:0px;width:100%;min-height:100%;height:100%;z-index:-1;position: fixed;margin:0;padding:0;}.browser_mobile_back img {display:block !important;object-fit:cover;height:100%;width:100%}#navmenu_menu0 a.item0 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu0 a.item1 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu0 a.item2 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu0 a.item3 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu0 a.item4 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu0 {clear:both;float:left;margin:0;padding:0;width:100%;font-family:'Helvetica',sans-serif;font-size:18px;z-index:1000;}#navmenu_menu0 ul {margin:0;padding:0;list-style:none;position:relative;}#navmenu_menu0 ul li {margin:0 30px 0 0;padding:0;float:left;position:relative;min-width: 120px;}#navmenu_menu0 ul li a {display:block;margin:0;padding:0px;height: 18px;line-height: 18px;text-decoration:underline;color:#D4D4D4;text-align: left;}#navmenu_menu0 ul li a:visited {text-decoration:none;color:#919191;}#navmenu_menu0 ul li a:hover {text-decoration:none;color:#CA297A;}#navmenu_menu0 ul li:hover a,#navmenu_menu0 ul li.hover a {text-decoration:none;color:#CA297A;}#navmenu_menu0 ul ul {z-index:22009;display:none;position:absolute;left:0;float:left;right:auto;padding-top:2px;}#navmenu_menu0 ul ul li {left:auto;margin:0;clear:left;float:left;width:100%;}#navmenu_menu0 ul ul li a,#navmenu_menu0 ul li.active li a,#navmenu_menu0 ul li:hover ul li a,#navmenu_menu0 ul li.hover ul li a {background:#CBCBCB;text-decoration:underline;color:#D4D4D4;padding-top:0px;padding-bottom:0px;border-bottom:1px solid #97185D;float:left;width:120px;width:100%;text-align: left;white-space:nowrap;}#navmenu_menu0 ul ul li a:hover,#navmenu_menu0 ul li.active ul li a:hover,#navmenu_menu0 ul li:hover ul li a:hover,#navmenu_menu0 ul li.hover ul li a:hover {background:#97185D;text-decoration:none;color:#CA297A;float:left;}#navmenu_menu0 ul li.last ul {left:auto; right:0;}#navmenu_menu0 ul li.last ul li {float:right;position:relative;right:0px;}#navmenu_menu0 ul li:hover ul,#navmenu_menu0 ul li.hover ul {display:block;}.slicknav_menu {display:none}@media screen And (max-width: 700px) {#navmenu_menu0 {display:none;}.slicknav_menu {display:block;}}.slicknav_menu
{
font-size:18px;/*font size of label and icon*/
padding:0px;/*remove the padding from the menu items, looks nice*/
font-family:Helvetica;/*font settings For menu label And all submenus*/
}
.slicknav_btn
{
background-color:#ffffff;/*remove for no background Color*/
font-family:'Helvetica',sans-serif;
font-size:24px;
color:#000000;
text-decoration:none;
}
.slicknav_menubar>div:first-child
{
width:100%;/*Text Color*/
}
.slicknav_nav
{
color:#D4D4D4;/*Text Color*/
background-color:#c0c0c0;
}
.slicknav_nav a:hover
{
color:#CA297A;/*Text Color*/
background-color:#84004B;/*For a custom background Color, remove To use default, In EW always use In Case thye want a transprent menu*/
}
.slicknav_nav a
{
color:#D4D4D4;
}
.responsive-mobile-menu
{
top:0px;
z-index:200000;
width:100%;
display:block;
position:absolute;
right:0px;
left:auto;
}
.slicknav_menu .slicknav_icon-bar
{
background-color:#84004B;
}#navmenu_menu1 a.item0 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu1 a.item1 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu1 a.item2 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu1 a.item3 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu1 a.item4 {background: #D4D4D4;background-size:121px 18px;}#navmenu_menu1 {clear:both;float:left;margin:0;padding:0;width:100%;font-family:'Helvetica',sans-serif;font-size:18px;z-index:1000;}#navmenu_menu1 ul {margin:0;padding:0;list-style:none;position:relative;}#navmenu_menu1 ul li {margin:0 30px 0 0;padding:0;float:left;position:relative;min-width: 120px;}#navmenu_menu1 ul li a {display:block;margin:0;padding:0px;height: 18px;line-height: 18px;text-decoration:underline;color:#941651;text-align: left;}#navmenu_menu1 ul li a:visited {text-decoration:none;color:#919191;}#navmenu_menu1 ul li a:hover {text-decoration:none;color:#CA297A;}#navmenu_menu1 ul li:hover a,#navmenu_menu1 ul li.hover a {text-decoration:none;color:#CA297A;}#navmenu_menu1 ul ul {z-index:22010;display:none;position:absolute;left:0;float:left;right:auto;padding-top:2px;}#navmenu_menu1 ul ul li {left:auto;margin:0;clear:left;float:left;width:100%;}#navmenu_menu1 ul ul li a,#navmenu_menu1 ul li.active li a,#navmenu_menu1 ul li:hover ul li a,#navmenu_menu1 ul li.hover ul li a {background:#D4D4D4;text-decoration:underline;color:#941651;padding-top:0px;padding-bottom:0px;border-bottom:1px solid #97185D;float:left;width:120px;width:100%;text-align: left;white-space:nowrap;}#navmenu_menu1 ul ul li a:hover,#navmenu_menu1 ul li.active ul li a:hover,#navmenu_menu1 ul li:hover ul li a:hover,#navmenu_menu1 ul li.hover ul li a:hover {background:#97185D;text-decoration:none;color:#CA297A;float:left;}#navmenu_menu1 ul li.last ul {left:auto; right:0;}#navmenu_menu1 ul li.last ul li {float:right;position:relative;right:0px;}#navmenu_menu1 ul li:hover ul,#navmenu_menu1 ul li.hover ul {display:block;}.slicknav_menu {display:none}@media screen And (max-width: 700px) {#navmenu_menu1 {display:none;}.slicknav_menu {display:block;}}.slicknav_menu
{
font-size:18px;/*font size of label and icon*/
padding:0px;/*remove the padding from the menu items, looks nice*/
font-family:Helvetica;/*font settings For menu label And all submenus*/
}
.slicknav_btn
{
background-color:#ffffff;/*remove for no background Color*/
font-family:'Helvetica',sans-serif;
font-size:24px;
color:#000000;
text-decoration:none;
}
.slicknav_menubar>div:first-child
{
width:100%;/*Text Color*/
}
.slicknav_nav
{
color:#941651;/*Text Color*/
background-color:#CBCBCB;
}
.slicknav_nav a:hover
{
color:#CA297A;/*Text Color*/
background-color:#84004B;/*For a custom background Color, remove To use default, In EW always use In Case thye want a transprent menu*/
}
.slicknav_nav a
{
color:#941651;
}
.responsive-mobile-menu
{
top:0px;
z-index:200000;
width:100%;
display:block;
position:absolute;
right:0px;
left:auto;
}
.slicknav_menu .slicknav_icon-bar
{
background-color:#84004B;
}</style></head><body><div class="browser_mobile_back wddsk-hide"><img style="display:none" alt="background" src="images/talks/browser/iStock-518411878.jpg"></div><div class="container" style="height:5965px"><header><div style="position:relative"><div Class="responsive-mobile-menu"></div><div class="ewnavmenu" id="navmenu_menu0" style="left:10px;top:18px;height:60px;width:990px;z-index:21009;position: absolute;"><ul id="navigation_menu0"><li style='min-width:120px;'><a class="main item0" href="index.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Home</a></li><li style='min-width:120px;'><a class="main item1" href="papers.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Papers</a></li><li style='min-width:120px;'><a class="main item2" href="talks.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Talks</a></li><li style='min-width:120px;'><a class="main item3" href="teaching.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Teaching</a></li><li style='min-width:120px;margin-right:0px;' class="last"><a class="main item4" href="personal.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Personal</a></li></ul></div><script type='text/javascript'>$(function(){$('#navigation_menu0').slicknav({prependTo: '.responsive-mobile-menu',label: 'MENU',});});</script></div><div style="position:relative"><div Class="responsive-mobile-menu"></div><div class="ewnavmenu" id="navmenu_menu1" style="left:10px;top:18px;height:60px;width:990px;z-index:21010;position: absolute;"><ul id="navigation_menu1"><li style='min-width:120px;'><a class="main item0" href="index.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Home</a></li><li style='min-width:120px;'><a class="main item1" href="papers.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Papers</a></li><li style='min-width:120px;'><a class="main item2" href="talks.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Talks</a></li><li style='min-width:120px;'><a class="main item3" href="teaching.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Teaching</a></li><li style='min-width:120px;margin-right:0px;' class="last"><a class="main item4" href="personal.html" data-linkuuid="348596D61D0045BEBD1A5D6E502EAF42">Personal</a></li></ul></div><script type='text/javascript'>$(function(){$('#navigation_menu1').slicknav({prependTo: '.responsive-mobile-menu',label: 'MENU',});});</script></div></header><div class="content" data-minheight="1000"><div style="position:relative"><div style="left:340px;top:136px;height:70px;width:490px;position: absolute;z-index: 1;" id="custom-background-1"><!--490--> <h1 style="text-align:Left;font-family:'Helvetica',sans-serif;font-size:30px;color:#EAEAEA;margin:0">My Talks</h1></div></div><div style="position:relative"><div class="shape_2" style="left:798px;top:100px;width:176px;height:77px;z-index:2;position: absolute;"><img src="images/talks/shape_pic-1.png" height="77" width="176" data-src2x="images/talks/[email protected]" srcset="images/talks/shape_pic-1.png 1x, images/talks/[email protected] 2x" /></div></div><div style="position:relative"><div class="shape_3" style="left:10px;top:100px;width:321px;height:321px;z-index:3;position: absolute;"><img src="images/talks/shape_pic-5.png" height="321" width="321" /></div></div><div style="position:relative"><div class="shape_4" style="left:63px;top:451px;width:922px;height:5403px;z-index:4;position: absolute;"><p class="para7"><span style="line-height:17px" class="Style16">Tracing coalgebras: a case for monads </span><span style="line-height:17px" class="Style27">CMCS 2022 Keynote Talk</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style28"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:30px" class="Style19"> </span><span style="line-height:30px" class="Style19"> </span><span style="line-height:17px" class="linkStyle_13"><a href="https://www.coalg.org/cmcs22/" class="linkStyle_13">CMCS 2022</a></span><span style="line-height:17px" class="Style8">, 2nd of April 2022, ETAPS, Munich (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CMCS-Keynote-2-4-2022.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="linkStyle_13"><a href="http://cs.uni-salzburg.at/~anas/papers/CMCS-Keynote-2-4-2022.pdf" class="linkStyle_13">
</a></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Monads leave traces </span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style28"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_13"><a href="https://www8.cs.fau.de/people/" class="linkStyle_13">FAU Erlangen</a></span><span style="line-height:17px" class="Style8">, 8th of February 2022, Erlangen (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/FAU-Erlangen-8-2-2022.pdf" class="linkStyle_9">slides (pdf</a></span><span style="line-height:17px" class="Style22">)</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively </span><span style="line-height:17px" class="Style27">CALCO 2021 Best Presentation Award
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style28"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://www.coalg.org/calco-mfps2021/" class="linkStyle_9">CALCO 2021</a></span><span style="line-height:17px" class="Style8">, 3rd of September 2021, Salzburg (20 min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CALCO-2021-Nawrotski-all-stages.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Algebraic Traces for Probability and Nondeterminism
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Invited talk ONLINE, </span><span style="line-height:17px" class="linkStyle_9"><a href="https://kwarc.info/events/GI2020/index.html" class="linkStyle_9">GI Meeting Deduction and Logic</a></span><span style="line-height:17px" class="Style8">, 26th of March 2021, FAU Erlangen-Nürnberg (45 min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/GI-invited-talk--26-3-2021.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Tracing Probability and Nondeterminism
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Invited talk ONLINE, </span><span style="line-height:17px" class="linkStyle_9"><a href="https://concurrency-theory.org/events/workshops/trends" class="linkStyle_9">TRENDS 2020</a></span><span style="line-height:17px" class="Style8">, CONCUR 2020 Workshop, 5th of September 2020 (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Trends20-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">The Theory of Traces for Nondeterminism and Probability
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Seminar talk ONLINE, 24th of April 2020, University of Birmingham (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Birmingham-Online-24.4.2020.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://hvmw.github.io/hvw2020/" class="linkStyle_9">HVW20</a></span><span style="line-height:17px" class="Style8">, 28th of January 2020, Turracher Höhe (1 hour tutorial talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/HVW20.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Coalgebra Day, 28th of October 2019, NII Tokyo (45 min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Coalgebra-Day-NII-Tokyo-2019-all-stages.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Seminar talk, 15th of April 2019, University of Pisa (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Pisa-2019.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Semantics of Probabilistic Automata via Coalgebra
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://panhellenic-logic-symposium.org/" class="linkStyle_9">PLS</a></span><span style="line-height:17px" class="Style8">, special session on computer science, 29th of June 2019 (40 min invited talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/PLS-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://sites.google.com/site/womeninlogic2019/home" class="linkStyle_9">WiL</a></span><span style="line-height:17px" class="Style8">, 23rd of June 2019 (30 min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/WiL-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">On coalgebra, loving what you do, and doing beautiful science
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://lics.siglog.org/lics19/lmw.php" class="linkStyle_9">LMW</a></span><span style="line-height:17px" class="Style8">, 22nd of June 2019 (30 min invited talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/LMW19-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Syntax and Semantics for Probability and Nondeterminism
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://hvmw.github.io/hvw2019/?fbclid=IwAR0a7dwxoqyPrKQFl79hwlLdtAoSvKgf2xOgOyWz707ZTJPhoSNbiUW6HPw" class="linkStyle_9">HVW19</a></span><span style="line-height:17px" class="Style8">, 19th of March 2019, Turracher Höhe (30 min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/HVW19.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Semantics Meets Syntax in Coalgebra
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://events.illc.uva.nl/SYSMICS2019/" class="linkStyle_9">SYSMICS19</a></span><span style="line-height:17px" class="Style8">, 23rd of Janury 2019, Amsterdam (30 min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/SYSMICS.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Semantics of Concurrent Data Structures</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://avm2018.iaik.tugraz.at/" class="linkStyle_9">AVM 2018</a></span><span style="line-height:17px" class="Style8">, RiSE Highlights talk, 25th of September 2018, Wagrain (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/AVM-2018-Wagrain.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://www.benedikt-bollig.org/movep-2018" class="linkStyle_9">MOVEP</a></span><span style="line-height:17px" class="Style8"> summer school, invited tutorial, 18th of July 2018, ENS Paris-Saclay, Cachan (2.5 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/MOVEP-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://ifipwg13.cs.ovgu.de/meetings/28" class="linkStyle_9">IFIP WG 1.3 Meeting Royal Holloway</a></span><span style="line-height:17px" class="Style8">, invited observer talk, 6th of July 2018, RHUL (40 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Ifip-WG-1.3-July-2018.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style16">Convexity Meets Coalgebra in Probabilistic Systems
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.coalg.org/coalgebra-now-floc18/" class="linkStyle_9">Coalgebra Now</a></span><span style="line-height:17px" class="Style8"> workshop @ </span><span style="line-height:17px" class="linkStyle_9"><a href="https://www.floc2018.org/" class="linkStyle_9">FLoC</a></span><span style="line-height:17px" class="Style8">, invited talk, 8th of July 2018, Oxford (45min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CoalgebraNow-Slides-Ana.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16"> </span><span style="line-height:17px" class="Style16"> </span><span style="line-height:17px" class="Style16">
</span></p><p class="para7"><span style="line-height:17px" class="Style16">Linearizability via Order-extension Results
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://www.irif.fr//en/index" class="linkStyle_9">IRIF</a></span><span style="line-height:17px" class="Style8"> seminar, 28th of May 2018, IRIF, University Paris Diderot (Paris 7) (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Paris-slides-May-2018.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=18211" class="linkStyle_9">Dagstuhl Seminar 18211</a></span><span style="line-height:17px" class="Style8">, 25th of May 2018, Dagstuhl (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Dagstuhl-slides-May-2018.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Proper Semirings and Proper Convex Functors</span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://www.etaps.org/index.php/2018/fossacs" class="linkStyle_9">FoSSaCS 2018</a></span><span style="line-height:17px" class="Style8">, 17th of April 2018, Thessaloniki (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/FoSSaCS2018-all-stages.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Probabilistic Systems Semantics via Coalgebra
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://events.illc.uva.nl/Tbilisi/Tbilisi2017/" class="linkStyle_9">TbiLLC 2017, invited tutoria</a></span><span style="line-height:17px" class="Style8">18th-22nd of September 2017, Lagodekhi, Georgia (3 x 1 hour talk)
slides </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/TbiLLC-tutorial-part1.pdf" class="linkStyle_9">part1 (pdf)</a></span><span style="line-height:17px" class="Style16">, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/TbiLLC-tutorial-part2.pdf" class="linkStyle_9">part2 (pdf)</a></span><span style="line-height:17px" class="Style16">, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/TbiLLC-tutorial-part3.pdf" class="linkStyle_9">part3 (pdf)</a></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">The Power of Convex Algebras
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://shonan.nii.ac.jp/shonan/blog/2016/09/07/4410/" class="linkStyle_9">NII Shonan Meeting No.097 on Enhanced Coinduction</a></span><span style="line-height:17px" class="Style8">, 15th of November 2017, Shonan (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Shonan17-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://www.concur2017.tu-berlin.de/" class="linkStyle_9">CONCUR 2017</a></span><span style="line-height:17px" class="Style8">, 7th of September 2017, Berlin (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CONCUR17-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://ifipwg13.cs.ovgu.de/" class="linkStyle_9">IFIP WG1.3 Meeting Binz</a></span><span style="line-height:17px" class="Style8">, 9th of January 2017, Binz (40 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/Talks_files/IFIP-WG1.3-Binz-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style16">Convex Algebras for Probabilistic Systems
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://concurrency-theory.org/events/workshops/trends" class="linkStyle_9">TRENDS 2017</a></span><span style="line-height:17px" class="Style8">, 9th of September 2017, Berlin (25 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/TRENDS17-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Proper Convex Functors for Probabilistic Systems Semantics
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://ifipwg13.cs.ovgu.de/meetings/27" class="linkStyle_9">IFIP WG1.3 Meeting Berlin</a></span><span style="line-height:17px" class="Style8">, 4th of September 2017, Berlin (40 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/Talks_files/Ana-IFIP-WG-1.3-Talk-Berlin-4-9-2017.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style16">Concurrent Data Structures: Semantics and Relaxations
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://software.imdea.org/events/invited_talks_2017.html" class="linkStyle_9">IMDEA, Madrid, invited talk</a></span><span style="line-height:17px" class="Style8">, 17th of July 2017, Berlin (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/IMDEA-Madrid-17-July-17-talk.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Termination in Convex Sets of Distributions
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://coalg.org/mfps-calco2017/cfp-calco.html" class="linkStyle_9">CALCO 2017</a></span><span style="line-height:17px" class="Style8">, 14th of June 2017, Ljubljana (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CALCO17-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style16">Local Linearizability
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://ciit.finki.ukim.mk/" class="linkStyle_9">CiiT’18</a></span><span style="line-height:17px" class="Style8">, 20th of April 2018, Mavrovo (50 min. keynote talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/Talks_files/CiiT2018-slides-all-stages.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cbr.uibk.ac.at/events/hvw/" class="linkStyle_9">HVW’17</a></span><span style="line-height:17px" class="Style8">, 1st of February 2017, Obergurgl (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/Talks_files/Obergurgl2017.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.concur2016.ulaval.ca/no_cache/home/" class="linkStyle_9">CONCUR’16</a></span><span style="line-height:17px" class="Style8">, 23th of August 2016, Quebec City (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/Talks_files/CONCUR16-slides.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://puma.informatik.tu-muenchen.de/wiki/BadGriesbach_2015" class="linkStyle_9">RiSE/PUMA meeting 2015</a></span><span style="line-height:17px" class="Style8">, 19th of October 2015, Bad Griesbach (40 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/Talks_files/RiSE-PUMA-2015.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://discotec2015.inria.fr/workshops/frida-2015/" class="linkStyle_9">FRIDA Workshop (at DisCoTec)</a></span><span style="line-height:17px" class="Style8">, 5th of June 2015, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://discotec2015.inria.fr/" class="linkStyle_9">DisCoTec</a></span><span style="line-height:17px" class="Style8">, Grenoble (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/Talks_files/FRIDA2015.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style16">Probabilistic systems coalgebraically
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebHome" class="linkStyle_9">QAIS Workshop</a></span><span style="line-height:17px" class="Style8">, 16th of September 2013, University of Minho, Braga (1 hour tutorial) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/AnaQAIS2013.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style16">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://event.cwi.nl/cmcs10/" class="linkStyle_9">CMCS</a></span><span style="line-height:17px" class="Style8">, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.etaps10.cs.ucy.ac.cy/" class="linkStyle_9">ETAPS</a></span><span style="line-height:17px" class="Style8">, invited talk, 26th of March 2010, Paphos, Cyprus (1 hour) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CMCS2010.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style16">Congruences of Convex Algebras</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12411" class="linkStyle_9">Dagstuhl Seminar 12411 on Coalgebraic Logics</a></span><span style="line-height:17px" class="Style8">, 12th of October 2012, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.dagstuhl.de/en/about-dagstuhl/" class="linkStyle_9">Schloss Dagstuhl</a></span><span style="line-height:17px" class="Style8"> (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Dagstuhl-PCA.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Quantitatively Relaxed Data Structures</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Seminar talk, 21st of November 2014, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://depend.cs.uni-sb.de/" class="linkStyle_9">Dependable Systems and Software</a></span><span style="line-height:17px" class="Style8">, Saarland University, Saarbruecken (1 hour talk)</span><span style="line-height:17px" class="Style22"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Saarbruecken-concurrency-relaxations.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://vsl2014.at/meetings/FRIDA-index.html" class="linkStyle_9">FRIDA Workshop (at VSL)</a></span><span style="line-height:17px" class="Style8">, 23rd of July 2014, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://vsl2014.at/" class="linkStyle_9">VSL</a></span><span style="line-height:17px" class="Style8">, Vienna (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/FRIDA-concurrency-relaxations.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.resourcereasoning.com/popl13yak/" class="linkStyle_9">Concurrency Yak (at POPL)</a></span><span style="line-height:17px" class="Style8">, 22nd of January 2013, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://popl.mpi-sws.org/2013/#events" class="linkStyle_9">POPL, Rome</a></span><span style="line-height:17px" class="Style8"> (40 min. informal talk on current research) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/cYak-21-1-13.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www2.le.ac.uk/departments/computer-science/news/researchevents/external/computer-science-seminars" class="linkStyle_9">Computer Science Seminar</a></span><span style="line-height:17px" class="Style8">, 14th of December 2012, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www2.le.ac.uk/departments/computer-science" class="linkStyle_9">University of Leicester</a></span><span style="line-height:17px" class="Style8"> (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Leicester-14-12-2012.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12461" class="linkStyle_9">Dagstuhl Seminar 12461 on Games and Decisions for Rigorous Systems Engineering</a></span><span style="line-height:17px" class="Style8">, 16th of November 2012, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.dagstuhl.de/en/about-dagstuhl/" class="linkStyle_9">Schloss Dagstuhl</a></span><span style="line-height:17px" class="Style8"> (20 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Dagstuhl-Relaxations.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://docs.google.com/document/d/102PKvEzNr963L7usyZBUDr1nJ2nc8Tk9ravhf_ndcAg/edit?hl=en_US" class="linkStyle_9">Seminar talk</a></span><span style="line-height:17px" class="Style8">, 30th of October 2012, University of Tokyo (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Tokyo-30-10-2012.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://compass2.di.unipi.it/prenotazioneEventi/seminari.aspx" class="linkStyle_9">Seminar talk</a></span><span style="line-height:17px" class="Style8">, 3rd of September 2012, University of Pisa (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Pisa-3-9-2012.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://arise.or.at/?id=seminar" class="linkStyle_9">RISE Seminar</a></span><span style="line-height:17px" class="Style8">, 14th of June 2012, TU Vienna (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/RiSE-14-6-2012.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Trace Semantics via Determinization</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="https://sites.google.com/site/shonanmeeting026/" class="linkStyle_9">NII Shonan Meeting 26</a></span><span style="line-height:17px" class="Style8"> on Coinduction, 10th of October 2013, Shonnan (40 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/ShonanNII26.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://homepages.cwi.nl/~winter/coin.html" class="linkStyle_9">COIN seminar</a></span><span style="line-height:17px" class="Style8">, 6th of December 2012, Nijmegen (40 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/COIN-talk.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cs.mcgill.ca/~prakash/wshop.html" class="linkStyle_9">Theory of Probabilistic Systems (Workshop)</a></span><span style="line-height:17px" class="Style8">, 4th of April 2012, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.mcgill.ca/bellairs/" class="linkStyle_9">Bellairs Research Institute</a></span><span style="line-height:17px" class="Style8">, Barbados (75 min. blackboard talk)
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://coalg.org/cmcs12/" class="linkStyle_9">CMCS 2012</a></span><span style="line-height:17px" class="Style8">, 31st of March 2012, Tallinn (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CMCS2012.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Sound and Complete Axiomatization of Trace Semantics for Probabilistic Transition Systems</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://wiki.di.uminho.pt/twiki/pub/DI/FMHAS/News/QAIS2011.pdf" class="linkStyle_9">QAIS</a></span><span style="line-height:17px" class="Style8"> research workshop and kick-off meeting, 17th of October 2011, University of Minho, Braga (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/QAIS-Braga.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://129.81.170.14/~mfps/MFPS27/MFPS_XXVII.html" class="linkStyle_9">MFPS XXVII</a></span><span style="line-height:17px" class="Style8">, 27th of May 2011, CMU, Pittsburgh (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/MFPS2011-Ana.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Response times versus utilization in scheduler overhead accounting</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.rtas.org/" class="linkStyle_9">RTAS</a></span><span style="line-height:17px" class="Style8">, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cpsweek2010.se/" class="linkStyle_9">CPS Week</a></span><span style="line-height:17px" class="Style8">, 15th of April 2010, Stockholm (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/RTAS2010.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Coalgebraic behaviour via coinduction</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.ist.ac.at/" class="linkStyle_9">IST Austria</a></span><span style="line-height:17px" class="Style8">, seminar, 5th of March 2010 (45 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/ISTAtalk.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Short-term memory for self-collecting mutators: Towards time- and space-predictable virtualization</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">RISE Workshop, Graz, 23rd of February 2010 (30 min. talk). Together with </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~ahaas/" class="linkStyle_9">Andreas Haas</a></span><span style="line-height:17px" class="Style8">, slides mainly by</span><span style="line-height:17px" class="Style22"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~ck/" class="linkStyle_9">Christoph Kirsch</a></span><span style="line-height:17px" class="Style8">, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/RISE10-STMVirtualization.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">A workload-oriented programming model for temporal isolation with VBS</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.tik.ee.ethz.ch/~jchen/RePP/" class="linkStyle_9">RePP Workshop 2009</a></span><span style="line-height:17px" class="Style8">, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://esweek09.inrialpes.fr/" class="linkStyle_9">ESWeek</a></span><span style="line-height:17px" class="Style8"> Grenoble, 15th of October 2009 (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/RePP-pdf.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/RePP.odp" class="linkStyle_9">slides (open office with animations)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Traces, Executions, and Schedulers, Coalgebraically</span><span style="line-height:17px" class="Style8">
</span><span style="line-height:17px" class="linkStyle_9"><a href="http://calco09.dimi.uniud.it/" class="linkStyle_9">CALCO 2009</a></span><span style="line-height:17px" class="Style8">, Udine, 8th of September 2009 (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CALCO09Talk.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Explicit, dynamic memory management with temporal and spatial guarantees</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.artist-embedded.org/artist/ARTIST-Summer-School-in-China-2009.html" class="linkStyle_9">Artist Design Summer School</a></span><span style="line-height:17px" class="Style8">, Beijing, Tsinghua University, 20.-24. July 2009 replacing </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~ck/" class="linkStyle_9">Christoph Kirsch</a></span><span style="line-height:17px" class="Style8"> (6 hours of lectures planned and mainly prepared by </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~ck/" class="linkStyle_9">Christoph Kirsch</a></span><span style="line-height:17px" class="Style8">) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~ck/lectures/ARTIST09-Summer-School-Beijing.pdf" class="linkStyle_9">course slides (pdf)</a></span><span style="line-height:17px" class="Style8"> and </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/usenix08-slides.pdf" class="linkStyle_9">additional CF slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Classification of probabilistic systems</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.kurims.kyoto-u.ac.jp/~cs/seminar.html" class="linkStyle_9">Seminar of the Computer Science Group</a></span><span style="line-height:17px" class="Style8">, Research Institute for Mathematical Sciences (RIMS), Kyoto University, 19th of November 2008 (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/RIMSNov2008.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Exemplaric Expressivity of Modal Logics</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=09502" class="linkStyle_9">Dagstuhl Seminar on Coalgebraic Logics </a></span><span style="line-height:17px" class="Style8">, Dagstuhl, 7th of December 2009 (30min talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Dagstuhl-2009.pptx" class="linkStyle_9">slides (pptx, huge)</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Dagstuhl-2009.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.win.tue.nl/prose/" class="linkStyle_9">ProSe </a></span><span style="line-height:17px" class="Style8">(Process Seminar), TU Eindhoven, 9th of February 2009 (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/TUE-February-2009.pptx" class="linkStyle_9">slides (pptx, huge)</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/TUE-February-2009.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.kurims.kyoto-u.ac.jp/~cs/seminar.html" class="linkStyle_9">Seminar of the Computer Science Group</a></span><span style="line-height:17px" class="Style8">, Research Institute for Mathematical Sciences (RIMS), Kyoto University, 4th of December 2008 (1 hour talk). Informal talk extending the coalgebra day talk (slides below). New slides correspondingto this talk are the ones from TUE (above).</span></p><p class="para7"><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cs.ru.nl/~ichiro/coalgebraday08/" class="linkStyle_9">Coalgebra Day 2008</a></span><span style="line-height:17px" class="Style8">, Radboud University Nijmegen, 11th of March 2008 (30 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CoalgebraDay08_Ana.pptx" class="linkStyle_9">slides (pptx, huge)</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CoalgebraDay08_Ana.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Bisimilarity and Trace via Coinduction</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Researcher's Seminar of the Theory and Logic Group, Vienna University of Technology (TU Wien), 23rd of January 2008 (1 hour talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/TUWienPresentation.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">The Microcosm Principle and Concurrency in Coalgebra</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://institutzamatematika.com/index.php/Mathematical_Conference:_85_YEARS_OF_PROFESSOR_BLAGOJ_POPOV_LIFE" class="linkStyle_9">Mathematical conference in honour of Prof. Blagoj Popov's 85th birthday</a></span><span style="line-height:17px" class="Style8">, Ohrid, Macedonia, 6th of September 2008 (25 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Ohrid2008ana.pptx" class="linkStyle_9">slides (pptx)</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Ohrid2008ana.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">. Thanks to </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.kurims.kyoto-u.ac.jp/~ichiro/" class="linkStyle_9">Ichiro Hasuo</a></span><span style="line-height:17px" class="Style8"> for letting me use and edit his (already most beautiful) FoSSaCS slides.
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.win.tue.nl/prose/" class="linkStyle_9">ProSe </a></span><span style="line-height:17px" class="Style8">(Process Seminar), TU Eindhoven, 22nd of February 2007 </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/MicrocosmPresentation.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cs.ru.nl/icis/Research/colloquium/index.html" class="linkStyle_9">ICIS Colloquium </a></span><span style="line-height:17px" class="Style8">, RU Nijmegen, 12th of February 2007 </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/MicrocosmPresentation.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Probabilistic automata: types and semantics</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.win.tue.nl/ipa/activities/falldays2006/index.html" class="linkStyle_9">IPA Herfstdagen on Stochastic Systems</a></span><span style="line-height:17px" class="Style8">, Bergen NH, 28th of November 2006 (45 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/IPA-Herfst-2006.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Compositionality and algebraic properties of process operations</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.sos.cs.ru.nl/coalgebraday06/Site/Main.html" class="linkStyle_9">Coalgebra Day 2006</a></span><span style="line-height:17px" class="Style8">, Nijmegen, 30 October 2006 (20 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CoalgebraDay2006.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Probabilistic models for verification</span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Computational Systems Group, Department of Computer Sciences, University of Salzburg, 13th of October 2006 (1 hour talk) invited by </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cs.uni-salzburg.at/~ck/" class="linkStyle_9">Prof. Christoph Kirsch</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Salzburg-Presentation.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Probabilistic systems: a place where categories meet probability</span><span style="line-height:17px" class="Style8"> </span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">Computer Science Colloquium, University Dortmund, 12th of June 2006 (1 hour talk) invited by </span><span style="line-height:17px" class="linkStyle_9"><a href="http://ls10-www.cs.uni-dortmund.de/index.php?id=33" class="linkStyle_9">Prof. Ernst Doberkat</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Dortmund-Presentation.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Generic Trace Theory</span><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span><span style="line-height:17px" class="linkStyle_9"><a href="http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html" class="linkStyle_9">CMCS'06</a></span><span style="line-height:17px" class="Style8"> workshop, satellite event of </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.complang.tuwien.ac.at/etaps06/" class="linkStyle_9">ETAPS'06</a></span><span style="line-height:17px" class="Style8">, Vienna, Austria, 25th of March 2006 (40 min. talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/CMCS06-Presentation.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">On Semantic Relations: From probabilistic systems to coalgebras and back</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="linkStyle_23"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:36px" class="Style26"> </span><span style="line-height:36px" class="Style26"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://iml.univ-mrs.fr/geocal06/" class="linkStyle_9">GEOCAL'06</a></span><span style="line-height:17px" class="Style8"> meeting, workshop on </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.pps.jussieu.fr/~danos/geocal06_pts.php" class="linkStyle_9">Probabilistic Transition Systems</a></span><span style="line-height:17px" class="Style8">, </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cirm.univ-mrs.fr/" class="linkStyle_9">CIRM</a></span><span style="line-height:17px" class="Style8">, Marseille - Luminy, 1st of March 2006 (90 min. talk)</span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_13"><a href="http://cs.uni-salzburg.at/~anas/papers/CIRM-Presentation.pdf" class="linkStyle_13">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Coalgebraic analysis of probabilistic systems</span><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">PhD Defense - lekenpraatje (short talk 10 min), 3-11-2005, TU Eindhoven </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/DefensePres.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/defense.html" class="linkStyle_9">more-info</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">Weak bisimulation for action-type coalgebras</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.win.tue.nl/zic/" class="linkStyle_9">ZIC colloquium</a></span><span style="line-height:17px" class="Style8">, TU Eindhoven, December 2004, and </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.ii.pmf.ukim.edu.mk/" class="linkStyle_9">Institute of Informatics</a></span><span style="line-height:17px" class="Style8">, PMF, Skopje, June 2004 </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cwi.nl/htbin/acg/ACG.php4" class="linkStyle_9">ACG Seminar</a></span><span style="line-height:17px" class="Style8">, CWI, Amsterdam, May 2004, (long detailed talk) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/WeakBis-ACG.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.itu.dk/research/theory/ctcs2004/" class="linkStyle_9">CTCS'04</a></span><span style="line-height:17px" class="Style8">, Kopenhagen, Denmark, August 2004 (short talk 30 min.) </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/WeakBis-CTCS.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">A hierarchy of probabilistic system types</span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://fmt.cs.utwente.nl/" class="linkStyle_9">FMT</a></span><span style="line-height:17px" class="Style8"> group, TU Twente, April 2005 </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Hierarchy-Twente.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.ii.pmf.ukim.edu.mk/" class="linkStyle_9">Institute of Informatics</a></span><span style="line-height:17px" class="Style8">, PMF, Skopje, June 2003 (the conference talk from below)
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.win.tue.nl/zic/" class="linkStyle_9">ZIC Colloquium</a></span><span style="line-height:17px" class="Style8">, TU Eindhoven, May 2003 (long detailed talk). Together with </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.nordfrost.de/fbartels/index.html" class="linkStyle_9">Falk Bartels</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Hierarchy-ZIC.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8">
</span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.mathematik.uni-marburg.de/~cmcs/" class="linkStyle_9">CMCS'03</a></span><span style="line-height:17px" class="Style8">, Warsaw, Polland, April 2003 (short talk 30 min.). Together with </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.nordfrost.de/fbartels/index.html" class="linkStyle_9">Falk Bartels</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Hierarchy-CMCS.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8"> </span></p><p class="para7"><span style="line-height:17px" class="Style8">
</span></p><p class="para7"><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.cwi.nl/htbin/acg/ACG.php4" class="linkStyle_9">ACG Seminar</a></span><span style="line-height:17px" class="Style8">, CWI, Amsterdam, March 2003 (long detailed talk). Together with </span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.nordfrost.de/fbartels/index.html" class="linkStyle_9">Falk Bartels</a></span><span style="line-height:17px" class="Style8"> </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Hierarchy-ACG.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8">
</span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style12"><span style="line-height:17px;"><br /></span></p><p style="font-size: 0; text-align:left; padding-bottom:0px; margin-top:0px; padding-top:0px;" class="Style17"><span style="line-height:17px;"><br /></span></p><p class="para7"><span style="line-height:17px" class="Style16">On relational properties of lumpability</span><span style="line-height:17px" class="Style8">
</span><span style="line-height:17px" class="linkStyle_9"><a href="http://www.ics.ele.tue.nl/~svlad/ees5202/" class="linkStyle_9">(A)MaPAoTS</a></span><span style="line-height:17px" class="Style8"> project meeting, June 2003, TU Eindhoven </span><span style="line-height:17px" class="linkStyle_9"><a href="http://cs.uni-salzburg.at/~anas/papers/Pres-17-06-03-Lump.pdf" class="linkStyle_9">slides (pdf)</a></span><span style="line-height:17px" class="Style8"> </span></p></div></div><div style="position:relative"><div class="shape_5" style="left:736px;top:233px;width:231px;height:163px;z-index:5;position: absolute;"><div class="paraWrap" style="padding: 0px 2.16px 0px 2.16px; "><p class="para1"><span style="line-height:22px" class="Style2">Jakob-Haringer-Str. 2</span></p><p class="para1"><span style="line-height:22px" class="Style2">5020 Salzburg</span></p><p class="para1"><span style="line-height:22px" class="Style2">Room 2.17</span></p><p class="para1"><span style="line-height:22px" class="Style2">+43 662 8044 6417</span></p><p class="para1"><span style="line-height:22px" class="Style2">[email protected]</span></p></div></div></div><div style="position:relative"><div class="shape_6" style="left:339.5px;top:403.5px;width:638px;height:2px;z-index:6;position: absolute;"><img src="images/talks/shape_6.png" height="2" width="638" style="vertical-align:top;" alt="(placeholder)" data-src2x="images/talks/[email protected]" srcset="images/talks/shape_6.png 1x, images/talks/[email protected] 2x" /></div></div><div style="position:relative"><div class="shape_7" style="left:348px;top:232px;width:316px;height:163px;z-index:7;position: absolute;"><div class="paraWrap" style="padding: 0px 2.16px 0px 2.16px; "><p class="para1"><span style="line-height:22px" class="Style2">Ana Sokolova</span></p><p class="para1"><span style="line-height:22px" class="Style2">Associate Professor</span></p><p class="para1"><span style="line-height:22px" class="linkStyle_3"><a href="https://www.plus.ac.at/computer-sciences/divisions/software-systems-center/christoph-kirsch-group/?lang=en" class="linkStyle_3">Computational Systems Group</a></span></p><p class="para1"><span style="line-height:22px" class="linkStyle_3"><a href="https://www.plus.ac.at/computer-science/?lang=en" class="linkStyle_3">Department of Computer Science</a></span></p><p class="para1"><span style="line-height:22px" class="linkStyle_3"><a href="https://www.plus.ac.at" class="linkStyle_3">University of Salzburg</a></span></p></div></div></div><div style="position:relative"><div class="shape_8" style="left:345.5px;top:136.5px;width:638px;height:126px;z-index:8;position: absolute;"><img src="images/talks/shape_8.png" height="126" width="638" alt="(placeholder)" data-src2x="images/talks/[email protected]" srcset="images/talks/shape_8.png 1x, images/talks/[email protected] 2x" /></div></div></div><footer data-top='5854' data-height='111'><div style="position:relative"><a href="http://www.everwebapp.com" class="outerlink"><div class="shape_0" style="left:414px;top:5915px;width:130px;height:50px;z-index:0;position: absolute;"><img src="images/talks/black2.png" height="50" width="130" alt="Website Building Application" data-src2x="images/talks/[email protected]" srcset="images/talks/black2.png 1x, images/talks/[email protected] 2x" /></div></a></div></footer></div></body></html>