diff --git a/index.html b/index.html index 5cab7d7836cc336658edd0e1c0da1da632e0bafe..0652c54388073ab90ee66621adeb950dea38a3ab 100644 --- a/index.html +++ b/index.html @@ -711,6 +711,11 @@ complex data types.</div> <tr ><th colspan="3", style="padding:10pt">Thursday November 4, 2021</th></tr> <tr valign="top"><td align="right"><a href="http://www.timeanddate.com/worldclock/fixedtime.html?iso=2021-11-04T06:00:00">7:00</a></td><td colspan="2", style="padding:5pt"><b >Breakfast</b></td></tr> +<tr> +<td align="right">9:00</td> +<td></td> +<td align="left">Session 9. Chair <i>Barbara König</i></td> +</tr> <tr style="background-color:#fafcff", valign="top"> <td align="right"><a href="http://www.timeanddate.com/worldclock/fixedtime.html?iso=2021-11-04T08:00:00">9:00</a></td> @@ -748,6 +753,11 @@ complex data types.</div> <tr valign="top"><td align="right"><a href="http://www.timeanddate.com/worldclock/fixedtime.html?iso=2021-11-04T09:30:00">10:30</a></td><td colspan="2", style="padding:5pt"><b >Coffee break</b></td></tr> +<tr> +<td align="right">11:00</td> +<td></td> +<td align="left">Session 10. Chair <i>Bernhard Möller</i></td> +</tr> <tr style="background-color:#fafcff", valign="top"> <td align="right"><a href="http://www.timeanddate.com/worldclock/fixedtime.html?iso=2021-11-04T10:00:00">11:00</a></td> @@ -943,7 +953,8 @@ Mika-Michalski) <td align="left"><i ><u >Roland Glück</u></i></td> <td align="left", width="60%"> <a href="javascript:toggleDiv('T41')">On the Computation of Isolated Sublattices (short talk)</a> -<div style="display:none", id="T41"><br /><br />In this short notice we give somei deas how toc ompute isolated sublattices which can be used to derive a recursive algorithm for the com- putation of the number of closure operators on a finite lattice. We give an asymptoticaly optimal algorithm for deciding the existence and - in the case of existence - the computation of useful nontrivial isolated summit sublattices. The general case (i.e., an optimal algorithm for the computa- tion of general nontrivial useful isolated sublattices) remains unsolved, however, we try to give some ideas and hints for future research.</div> +<div style="display:none", id="T41"><br /><br />In this short notice + we give some ideas how to compute isolated sublattices which can be used to derive a recursive algorithm for the computation of the number of closure operators on a finite lattice. We give an asymptotically optimal algorithm for deciding the existence and - in the case of existence - the computation of useful nontrivial isolated summit sublattices. The general case (i.e., an optimal algorithm for the computation of general nontrivial useful isolated sublattices) remains unsolved, however, we try to give some ideas and hints for future research.</div> </td> </tr>