<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear colleagues,<br>
<br>
The recently started web Seminar on Semantic and Formal
Approaches to Complexity (SCOT) can be of interest to some members
of the Types community. The next talk will be given by Georg Moser:<br>
<br>
* Tuesday May 18th 2021, 3pm-4pm (CEST). <b>Georg Moser </b>(University
of Innsbruck). <b>Title</b>: Automated Analysis of Splaying et al.
<br>
( the virtual room will open at 2:40 for coffee/chat)<br>
<br>
Abstract: Being able to argue about the performance of
self-adjusting data structures such as splay trees has been a main
objective, when Sleator and Tarjan introduced the notion of
*amortised* complexity. Analysing these data structures requires
sophisticated potential functions, which typically contain
logarithmic expressions. Possibly for these reasons, and despite the
recent progress in automated resource analysis, they have so far
eluded automation.<br>
In this talk, I will report on the first fully-automated
amortised complexity analysis of self-adjusting data structures and
the underlying theory. Following earlier work, the analysis is based
on potential function templates with unknown coefficients.<br>
This is joint work with Lorenz Leutgeb, David Obwaller and Florian
Zuleger.<br>
<br>
* <b>Connexion informations:</b> To get the connexion link please
subscribe to the mailing list; for that send an email with subject
"subscribe scot_webinar" and empty body to <a class="moz-txt-link-abbreviated" href="mailto:sympa@groupes.renater.fr">sympa@groupes.renater.fr</a><br>
<br>
*<b> About the seminar:</b><br>
The SCOT Seminar is devoted to the problem of reasoning on the
complexity of programs in formal and compositional ways. Many
approaches have been exploited for that, taking advantage from
logic, category theory, denotational semantics, type systems,
interpretations, etc. This seminar aims at providing a forum of
discussion for all issues related to these questions, from
foundational aspects on semantics of complexity to automated time or
space complexity analysis. The seminar is held virtually and on a
monthly basis.<br>
<br>
Best regards<br>
For the seminar:<br>
Isabel Oitavem, Patrick Baillot, Ugo Dal Lago<br>
<br>
------------------------<br>
Seminar web page: <a class="moz-txt-link-freetext" href="http://www.cs.unibo.it/~dallago/SCOSEM/">http://www.cs.unibo.it/~dallago/SCOSEM/</a><br>
The list's homepage:
<a class="moz-txt-link-freetext" href="https://groupes.renater.fr/sympa/info/scot_webinar">https://groupes.renater.fr/sympa/info/scot_webinar</a><br>
General information about mailing lists:
<a class="moz-txt-link-freetext" href="https://groupes.renater.fr/sympa/help/introduction">https://groupes.renater.fr/sympa/help/introduction</a><br>
To unsubscribe from this list: send an email with subject
"unsubscribe scot_webinar" and empty body to
<a class="moz-txt-link-abbreviated" href="mailto:sympa@groupes.renater.fr">sympa@groupes.renater.fr</a><br>
If you wish to subscribe: same procedure with subject "subscribe
scot_webinar" <br>
</body>
</html>