From mulzer@zedat.fu-berlin.de Tue Apr 01 10:54:24 2025 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tzXO3-00000003whw-20PU; Tue, 01 Apr 2025 10:54:23 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Message-Id:Content-Type:MIME-Version:To:From: In-Reply-To:Subject:Date:Sender:Reply-To:Cc:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:References:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=HXHHtQEv3B4cOqAlA+RGrNADXcvjHhE3J3H/K3EKLUA=; t=1743497663; x=1744102463; b=O4oPta7lnzDP1UrJX65S6o0jXm1NHtwqLzecH9C5s55VteIWD4ZIQsYHPMEKuM1ZxYwTtdO04vS EpGwfs032GU24p8XAH9LoCt61Yxno9GaVPQX4rZIOtEKvNOzwoDM5Ole8hy9LKHBkCjcUPKlta7Nk ztC7/ws3Nei3T198CZwDT3Fj/l8ypcD4s8+JLKpL1sUEqOyRB+I5ggfAy1b4wnTPpczpO1uZ1oy+P 8iCnxUQZlZ47lJs+D6W6E0nCw8MAymqG6NN5jCAOmhVNwVXLV0nZCGIebhbW/U3dbppvxNULgY/uJ sHSdUDWP+1CyiL/4yAzWF/mYxzcTOwuaDdVQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tzXO3-00000001e8R-1gJH; Tue, 01 Apr 2025 10:54:23 +0200 Received: from tmo-085-3.customers.d1-online.com ([80.187.85.3] helo=[IPv6:2a01:599:102:3483:e508:66d3:f207:9bcc]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tzXO3-00000002bVV-0UKw; Tue, 01 Apr 2025 10:54:23 +0200 SavedFromEmail: mulzer@inf.fu-berlin.de Date: Tue, 01 Apr 2025 10:54:22 +0200 In-Reply-To: <50469.91.64.3.65.1743493881.webmail@webmail.zedat.fu-berlin.de> Importance: normal From: Wolfgang Mulzer To: agti-Mittagsseminar@lists.fu-berlin.de MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="--_com.samsung.android.email_1146385434061110" Message-Id: X-Original-Sender: mulzer@inf.fu-berlin.de X-Originating-IP: 80.187.85.3 X-ZEDAT-Hint: PAHO X-purgate: suspect X-purgate-type: suspect X-purgate-ID: 151147::1743497663-45B76E9F-B64E287B/2/63603292949 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000005, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-49.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,FU_XPURGATE_SUSP,HTML_MESSAGE, RCVD_IN_DNSWL_BLOCKED X-Spam-Checker-Version: SpamAssassin 3.4.6 on Niue.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 01.04. X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.29 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 01 Apr 2025 08:54:24 -0000 ----_com.samsung.android.email_1146385434061110 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 RGVhciBUSXMsdGhpcyB3aWxsIGJlIHRvZGF5J3MgTWl0dGFnc3NlbWluYXIuwqBBbnRvbiBpcyBz aWNrIGFuZCBJIGhhdmUgdG8gc3RheSBob21lIHdpdGggaGltLCBzbyB0aGUgZGVmZW5zZSB3aWxs IGJlIG9ubGluZS7CoFRoZSB0YWxrIGlzIGluIEVuZ2xpc2guwqBDaGVlcnPCoFdvbGZnYW5nwqAK LS0tLS0tLS0gVXJzcHLDvG5nbGljaGUgTmFjaHJpY2h0IC0tLS0tLS0tVm9uOiBPc2thciBCZXNs ZXIgPGJlc2xlbzAwQHplZGF0LmZ1LWJlcmxpbi5kZT4gRGF0dW06IDAxLjA0LjI1ICAxMDowOCAg KEdNVCswMTowMCkgQW46IE9za2FyIEJlc2xlciA8YmVzbGVvMDBAemVkYXQuZnUtYmVybGluLmRl PiBDYzogaS1wcm9mc0BpbmYuZnUtYmVybGluLmRlLCBpLXdpbWlzQGluZi5mdS1iZXJsaW4uZGUs IGktc3R1ZGlAaW5mLmZ1LWJlcmxpbi5kZSwgbWFyaWEua29la2VuaG9mZkBmdS1iZXJsaW4uZGUg QmV0cmVmZjogUmU6IFtpLXByb2ZdIEludml0YXRpb24gdG8gdGhlIGRlZmVuc2Ugb2YgbXkgbWFz dGVyJ3MgdGhlc2lzIERlYXIgYWxsLGR1ZSB0byBpbGxuZXNzLCB3ZSBuZWVkIHRvIG1vdmUgdGhl IHRoZXNpcyBkZWZlbnNlIHRvIGFuIG9ubGluZSBzZXR0aW5nLiBJYXBvbG9naXplIGZvciB0aGUg aW5jb252ZW5pZW5jZS5Zb3XigJlsbCBmaW5kIHRoZSBhY2Nlc3MgbGluayBiZWxvdy5CZXN0IHJl Z2FyZHMsT3NrYXIgQmVzbGVyTGluazpodHRwczovL2Z1LWJlcmxpbi53ZWJleC5jb20vZnUtYmVy bGluLWVuL2oucGhwP01USUQ9bTBmMjIwNzQ2MTk3NzgwYzUyZjRmODZhMGQwYjRiZjEwTWVldGlu ZyBudW1iZXIgKGFjY2VzcyBjb2RlKTogMjc5MSA5MTcgMDA0OU1lZXRpbmcgcGFzc3dvcmQ6IFh2 NUNRWmJuVjg0ICg5ODUyNzkyNiBmcm9tIHBob25lcyBhbmQgdmlkZW8gc3lzdGVtcyk+IERlYXIg YWxsLD4+IEkgaGVyZWJ5IGludml0ZSB5b3UgdG8gdGhlIGRlZmVuc2Ugb2YgbXkgbWFzdGVyJ3Mg dGhlc2lzIHdpdGggdGhlIHRpdGxlPiAiSG93IHRvIEZpbmQgYSBQb2ludCBXaXRoaW4gdGhlIFVu aW9uIG9mIFNxdWFyZXMgVXNpbmcgYSBEaWZmZXJlbnRpYWxseT4gUHJpdmF0ZSBBbGdvcml0aG0i Lj4+IFRoZSBkZWZlbnNlIHdpbGwgdGFrZSBwbGFjZSBvbiBUdWVzZGF5LCAwMS4wNC4yMDI1IGF0 IDEyOjAwYW0gaW4+IFRha3VzdHJhw59lIDksIHNlbWluYXIgcm9vbSAwNTUuPj4gVGhlIGRlZmVu c2Ugd2lsbCBiZSBoZWxkIGluIEVuZ2xpc2guPj4gRmlyc3QgZXhhbWluZXIgJiBTdXBlcnZpc29y OiBQcm9mLiBEci4gV29sZmdhbmcgTXVsemVyPiBTZWNvbmQgZXhhbWluZXI6IFByb2YuIERyLiBM w6FzemzDsyBLb3ptYT4+IEJlc3QgcmVnYXJkcyw+IE9za2FyIEJlc2xlcj4+IF9fX19fX19fX19f X19fX19fX19fX19fXz4+IEFic3RyYWN0Oj4+IEJhY2tncm91bmQ6IEluIHRoZSBhZ2Ugb2Ygc29j aWFsIG1lZGlhIGFuZCBiaWcgZGF0YSwgcHJpdmFjeSBjb25jZXJucyBhcmU+IGEgZ3Jvd2luZz4g aXNzdWUgYXMgaW5kaXZpZHVhbHMgd29ycnkgYWJvdXQgdGhlIG1pc3VzZSBvZiB0aGVpciBzZW5z aXRpdmU+IGluZm9ybWF0aW9uLiBEaWZmZXJlbnRpYWw+IHByaXZhY3kgaXMgY29uc2lkZXJlZCB0 aGUgZ29sZCBzdGFuZGFyZCBmb3IgcHJpdmFjeSBwcm90ZWN0aW9uIGluIGRhdGE+IGFuYWx5c2lz LCBhcyBpdD4gcHJvdmlkZXMgYSBtYXRoZW1hdGljYWwgZ3VhcmFudGVlIHRoYXQgYW4gaW5kaXZp ZHVhbCB3aWxsIG5vdCBiZT4gc2lnbmlmaWNhbnRseSBhZmZlY3RlZD4gd2hlbiB0aGVpciBzZW5z aXRpdmUgZGF0YSBpcyB1c2VkIGZvciBkYXRhIGFuYWx5c2lzLiBUaGUgdGFzayBvZj4gZXh0cmFj dGluZyB1c2VmdWwgaW5mb3JtYXRpb24gYWJvdXQgYSBncm91cCBvZiBwZW9wbGUgd2l0aG91dCBy ZXZlYWxpbmc+IG1lYW5pbmdmdWwgZGV0YWlscyBhYm91dCBpbmRpdmlkdWFscz4gY2FuIGJlIGRl c2NyaWJlZCBieSB0aGUgcHJpdmF0ZSBpbnRlcmlvciBwb2ludCBwcm9ibGVtLCB3aGljaCBpbnZv bHZlcz4gZmluZGluZyBhIHBvaW50PiBpbnNpZGUgYSBjb252ZXggaHVsbCB1c2luZyBhIGRpZmZl cmVudGlhbGx5IHByaXZhdGUgYWxnb3JpdGhtLj4+IEdvYWxzOiBTaW5jZSBkYXRhIGNhbiBiZSBy ZXByZXNlbnRlZCBieSBtb3JlIHRoYW4ganVzdCBwb2ludHMsIHRoaXMgdGhlc2lzPiBhaW1zIHRv PiBleHRlbmQgdGhlIGRlZmluaXRpb24gb2YgdGhlIHByaXZhdGUgaW50ZXJpb3IgcG9pbnQgcHJv YmxlbSBieSByZWRlZmluaW5nPiBpdCBhcyBmaW5kaW5nPiBhIHBvaW50IGluc2lkZSB0aGUgdW5p b24gb2YgZ2l2ZW4gc3F1YXJlcyB1c2luZyBhIGRpZmZlcmVudGlhbGx5IHByaXZhdGU+IGFsZ29y aXRobS4+PiBNZXRob2RzOiBUbyBhY2hpZXZlIHRoaXMsIHdlIHdpbGwgZGV2ZWxvcCBhbmQgYW5h bHl6ZSB0d28gZGlmZmVyZW50aWFsPiBwcml2YXRlIGFsZ29yaXRobXMgdGhhdCBhZGRyZXNzIHR3 byB2YXJpYXRpb25zIG9mIHRoaXMgcHJvYmxlbS4gVGhlIGZpcnN0PiBhbGxvd3Mgb25seSBheGlz LT4gYWxpZ25lZCBzcXVhcmVzIGFzIGlucHV0IChBU1BJUCksIHdoaWxlIHRoZSBzZWNvbmQgaW1w b3NlcyBubyByZXN0cmljdGlvbnM+IG9uIHRoZT4gaW5wdXQgc3F1YXJlcyAoU1BJUCkuPj4gUmVz dWx0czogVGhlIGV4cGVyaW1lbnRzIHNob3cgdGhhdCBib3RoIGFsZ29yaXRobXMgcGVyZm9ybSB3 ZWxsIGluIHNvbHZpbmc+IHRoZWlyPiByZXNwZWN0aXZlIHZhcmlhdGlvbiBvZiB0aGlzIHByb2Js ZW0uIEZ1cnRoZXJtb3JlLCB0aGUgYW5hbHlzaXMgcmV2ZWFscz4gdGhhdCBhIGdvb2Q+IGJvdW5k IG9uIHRoZSBpbnB1dCBzaXplIGNhbiBiZSBlc3RhYmxpc2hlZCBpZiBhIGNlcnRhaW4gb3Zlcmxh cCBvZiBpbnB1dD4gc3F1YXJlcyBpcz4ga25vd24gYmVmb3JlaGFuZCwgZW5zdXJpbmcgdGhhdCB0 aGUgY29uc3RyYWludHMgb2YgZGlmZmVyZW50aWFsIHByaXZhY3k+IGFyZSBzdGlsbCBtZXQuPj4g Q29uY2x1c2lvbjogQm90aCBhbGdvcml0aG1zIHByb3ZpZGUgYSBnb29kIGluaXRpYWwgc3RlcCB0 b3dhcmRzIGJldHRlcj4gdW5kZXJzdGFuZGluZz4gdGhpcyB2ZXJzaW9uIG9mIHRoZSBwcml2YXRl IGludGVyaW9yIHBvaW50IHByb2JsZW0gYnkgb2ZmZXJpbmcgdXNlZnVsPiBib3VuZHMgb24gaW5w dXQ+IHNpemUsIGFzIHdlbGwgYXMgYWNjZXB0YWJsZSBleGVjdXRpb24gdGltZSBhbmQgc3BhY2Ug dXNhZ2UuIEhvd2V2ZXIsIHRoZXJlPiBpcyBzdGlsbD4gZnV0dXJlIHdvcmsgdGhhdCBuZWVkcyB0 byBiZSBhZGRyZXNzZWQsIHN1Y2ggYXMgZ2VuZXJhbGl6aW5nIHRoaXMgcHJvYmxlbT4gdG8gaGln aGVyPiBkaW1lbnNpb25zLl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fQXV0b21hdGlzY2hlciBNYWlsdmVydGVpbGVyIGFuIEdydXBwZSAnbWwtaS1wcm9mLW1p Jy5IaW53ZWlzZSBkYXp1IHNpZWhlIEhpbGZlc2VpdGU6aHR0cHM6Ly93d3cubWkuZnUtYmVybGlu LmRlL3cvVGVjL0Fua3VlbmRpZ3VuZ3NWZXJ0ZWlsZXI= ----_com.samsung.android.email_1146385434061110 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PG1ldGEgaHR0cC1lcXVpdj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0 L2h0bWw7IGNoYXJzZXQ9VVRGLTgiPjwvaGVhZD48Ym9keSBkaXI9ImF1dG8iPkRlYXIgVElzLDxk aXYgZGlyPSJhdXRvIj48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPnRoaXMgd2lsbCBiZSB0b2Rh eSdzIE1pdHRhZ3NzZW1pbmFyLiZuYnNwOzwvZGl2PjxkaXYgZGlyPSJhdXRvIj5BbnRvbiBpcyBz aWNrIGFuZCBJIGhhdmUgdG8gc3RheSBob21lIHdpdGggaGltLCBzbyB0aGUgZGVmZW5zZSB3aWxs IGJlIG9ubGluZS4mbmJzcDs8L2Rpdj48ZGl2IGRpcj0iYXV0byI+PGJyPjwvZGl2PjxkaXYgZGly PSJhdXRvIj5UaGUgdGFsayBpcyBpbiBFbmdsaXNoLiZuYnNwOzwvZGl2PjxkaXYgZGlyPSJhdXRv Ij48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPkNoZWVycyZuYnNwOzwvZGl2PjxkaXYgZGlyPSJh dXRvIj48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPldvbGZnYW5nJm5ic3A7PC9kaXY+PGRpdj48 YnI+PC9kaXY+PGRpdiBhbGlnbj0ibGVmdCIgZGlyPSJhdXRvIiBzdHlsZT0iZm9udC1zaXplOjEw MCU7Y29sb3I6IzAwMDAwMCI+PGRpdj4tLS0tLS0tLSBVcnNwcsO8bmdsaWNoZSBOYWNocmljaHQg LS0tLS0tLS08L2Rpdj48ZGl2PlZvbjogT3NrYXIgQmVzbGVyICZsdDtiZXNsZW8wMEB6ZWRhdC5m dS1iZXJsaW4uZGUmZ3Q7IDwvZGl2PjxkaXY+RGF0dW06IDAxLjA0LjI1ICAxMDowOCAgKEdNVCsw MTowMCkgPC9kaXY+PGRpdj5BbjogT3NrYXIgQmVzbGVyICZsdDtiZXNsZW8wMEB6ZWRhdC5mdS1i ZXJsaW4uZGUmZ3Q7IDwvZGl2PjxkaXY+Q2M6IGktcHJvZnNAaW5mLmZ1LWJlcmxpbi5kZSwgaS13 aW1pc0BpbmYuZnUtYmVybGluLmRlLCBpLXN0dWRpQGluZi5mdS1iZXJsaW4uZGUsIG1hcmlhLmtv ZWtlbmhvZmZAZnUtYmVybGluLmRlIDwvZGl2PjxkaXY+QmV0cmVmZjogUmU6IFtpLXByb2ZdIElu dml0YXRpb24gdG8gdGhlIGRlZmVuc2Ugb2YgbXkgbWFzdGVyJ3MgdGhlc2lzIDwvZGl2PjxkaXY+ PGJyPjwvZGl2PjwvZGl2PkRlYXIgYWxsLDxicj48YnI+ZHVlIHRvIGlsbG5lc3MsIHdlIG5lZWQg dG8gbW92ZSB0aGUgdGhlc2lzIGRlZmVuc2UgdG8gYW4gb25saW5lIHNldHRpbmcuIEk8YnI+YXBv bG9naXplIGZvciB0aGUgaW5jb252ZW5pZW5jZS48YnI+PGJyPllvdeKAmWxsIGZpbmQgdGhlIGFj Y2VzcyBsaW5rIGJlbG93Ljxicj48YnI+QmVzdCByZWdhcmRzLDxicj5Pc2thciBCZXNsZXI8YnI+ PGJyPkxpbms6PGJyPmh0dHBzOi8vZnUtYmVybGluLndlYmV4LmNvbS9mdS1iZXJsaW4tZW4vai5w aHA/TVRJRD1tMGYyMjA3NDYxOTc3ODBjNTJmNGY4NmEwZDBiNGJmMTA8YnI+PGJyPk1lZXRpbmcg bnVtYmVyIChhY2Nlc3MgY29kZSk6IDI3OTEgOTE3IDAwNDk8YnI+PGJyPk1lZXRpbmcgcGFzc3dv cmQ6IFh2NUNRWmJuVjg0ICg5ODUyNzkyNiBmcm9tIHBob25lcyBhbmQgdmlkZW8gc3lzdGVtcyk8 YnI+PGJyPiZndDsgRGVhciBhbGwsPGJyPiZndDs8YnI+Jmd0OyBJIGhlcmVieSBpbnZpdGUgeW91 IHRvIHRoZSBkZWZlbnNlIG9mIG15IG1hc3RlcidzIHRoZXNpcyB3aXRoIHRoZSB0aXRsZTxicj4m Z3Q7ICJIb3cgdG8gRmluZCBhIFBvaW50IFdpdGhpbiB0aGUgVW5pb24gb2YgU3F1YXJlcyBVc2lu ZyBhIERpZmZlcmVudGlhbGx5PGJyPiZndDsgUHJpdmF0ZSBBbGdvcml0aG0iLjxicj4mZ3Q7PGJy PiZndDsgVGhlIGRlZmVuc2Ugd2lsbCB0YWtlIHBsYWNlIG9uIFR1ZXNkYXksIDAxLjA0LjIwMjUg YXQgMTI6MDBhbSBpbjxicj4mZ3Q7IFRha3VzdHJhw59lIDksIHNlbWluYXIgcm9vbSAwNTUuPGJy PiZndDs8YnI+Jmd0OyBUaGUgZGVmZW5zZSB3aWxsIGJlIGhlbGQgaW4gRW5nbGlzaC48YnI+Jmd0 Ozxicj4mZ3Q7IEZpcnN0IGV4YW1pbmVyICZhbXA7IFN1cGVydmlzb3I6IFByb2YuIERyLiBXb2xm Z2FuZyBNdWx6ZXI8YnI+Jmd0OyBTZWNvbmQgZXhhbWluZXI6IFByb2YuIERyLiBMw6FzemzDsyBL b3ptYTxicj4mZ3Q7PGJyPiZndDsgQmVzdCByZWdhcmRzLDxicj4mZ3Q7IE9za2FyIEJlc2xlcjxi cj4mZ3Q7PGJyPiZndDsgX19fX19fX19fX19fX19fX19fX19fX19fPGJyPiZndDs8YnI+Jmd0OyBB YnN0cmFjdDo8YnI+Jmd0Ozxicj4mZ3Q7IEJhY2tncm91bmQ6IEluIHRoZSBhZ2Ugb2Ygc29jaWFs IG1lZGlhIGFuZCBiaWcgZGF0YSwgcHJpdmFjeSBjb25jZXJucyBhcmU8YnI+Jmd0OyBhIGdyb3dp bmc8YnI+Jmd0OyBpc3N1ZSBhcyBpbmRpdmlkdWFscyB3b3JyeSBhYm91dCB0aGUgbWlzdXNlIG9m IHRoZWlyIHNlbnNpdGl2ZTxicj4mZ3Q7IGluZm9ybWF0aW9uLiBEaWZmZXJlbnRpYWw8YnI+Jmd0 OyBwcml2YWN5IGlzIGNvbnNpZGVyZWQgdGhlIGdvbGQgc3RhbmRhcmQgZm9yIHByaXZhY3kgcHJv dGVjdGlvbiBpbiBkYXRhPGJyPiZndDsgYW5hbHlzaXMsIGFzIGl0PGJyPiZndDsgcHJvdmlkZXMg YSBtYXRoZW1hdGljYWwgZ3VhcmFudGVlIHRoYXQgYW4gaW5kaXZpZHVhbCB3aWxsIG5vdCBiZTxi cj4mZ3Q7IHNpZ25pZmljYW50bHkgYWZmZWN0ZWQ8YnI+Jmd0OyB3aGVuIHRoZWlyIHNlbnNpdGl2 ZSBkYXRhIGlzIHVzZWQgZm9yIGRhdGEgYW5hbHlzaXMuIFRoZSB0YXNrIG9mPGJyPiZndDsgZXh0 cmFjdGluZyB1c2VmdWwgaW5mb3JtYXRpb24gYWJvdXQgYSBncm91cCBvZiBwZW9wbGUgd2l0aG91 dCByZXZlYWxpbmc8YnI+Jmd0OyBtZWFuaW5nZnVsIGRldGFpbHMgYWJvdXQgaW5kaXZpZHVhbHM8 YnI+Jmd0OyBjYW4gYmUgZGVzY3JpYmVkIGJ5IHRoZSBwcml2YXRlIGludGVyaW9yIHBvaW50IHBy b2JsZW0sIHdoaWNoIGludm9sdmVzPGJyPiZndDsgZmluZGluZyBhIHBvaW50PGJyPiZndDsgaW5z aWRlIGEgY29udmV4IGh1bGwgdXNpbmcgYSBkaWZmZXJlbnRpYWxseSBwcml2YXRlIGFsZ29yaXRo bS48YnI+Jmd0Ozxicj4mZ3Q7IEdvYWxzOiBTaW5jZSBkYXRhIGNhbiBiZSByZXByZXNlbnRlZCBi eSBtb3JlIHRoYW4ganVzdCBwb2ludHMsIHRoaXMgdGhlc2lzPGJyPiZndDsgYWltcyB0bzxicj4m Z3Q7IGV4dGVuZCB0aGUgZGVmaW5pdGlvbiBvZiB0aGUgcHJpdmF0ZSBpbnRlcmlvciBwb2ludCBw cm9ibGVtIGJ5IHJlZGVmaW5pbmc8YnI+Jmd0OyBpdCBhcyBmaW5kaW5nPGJyPiZndDsgYSBwb2lu dCBpbnNpZGUgdGhlIHVuaW9uIG9mIGdpdmVuIHNxdWFyZXMgdXNpbmcgYSBkaWZmZXJlbnRpYWxs eSBwcml2YXRlPGJyPiZndDsgYWxnb3JpdGhtLjxicj4mZ3Q7PGJyPiZndDsgTWV0aG9kczogVG8g YWNoaWV2ZSB0aGlzLCB3ZSB3aWxsIGRldmVsb3AgYW5kIGFuYWx5emUgdHdvIGRpZmZlcmVudGlh bDxicj4mZ3Q7IHByaXZhdGUgYWxnb3JpdGhtcyB0aGF0IGFkZHJlc3MgdHdvIHZhcmlhdGlvbnMg b2YgdGhpcyBwcm9ibGVtLiBUaGUgZmlyc3Q8YnI+Jmd0OyBhbGxvd3Mgb25seSBheGlzLTxicj4m Z3Q7IGFsaWduZWQgc3F1YXJlcyBhcyBpbnB1dCAoQVNQSVApLCB3aGlsZSB0aGUgc2Vjb25kIGlt cG9zZXMgbm8gcmVzdHJpY3Rpb25zPGJyPiZndDsgb24gdGhlPGJyPiZndDsgaW5wdXQgc3F1YXJl cyAoU1BJUCkuPGJyPiZndDs8YnI+Jmd0OyBSZXN1bHRzOiBUaGUgZXhwZXJpbWVudHMgc2hvdyB0 aGF0IGJvdGggYWxnb3JpdGhtcyBwZXJmb3JtIHdlbGwgaW4gc29sdmluZzxicj4mZ3Q7IHRoZWly PGJyPiZndDsgcmVzcGVjdGl2ZSB2YXJpYXRpb24gb2YgdGhpcyBwcm9ibGVtLiBGdXJ0aGVybW9y ZSwgdGhlIGFuYWx5c2lzIHJldmVhbHM8YnI+Jmd0OyB0aGF0IGEgZ29vZDxicj4mZ3Q7IGJvdW5k IG9uIHRoZSBpbnB1dCBzaXplIGNhbiBiZSBlc3RhYmxpc2hlZCBpZiBhIGNlcnRhaW4gb3Zlcmxh cCBvZiBpbnB1dDxicj4mZ3Q7IHNxdWFyZXMgaXM8YnI+Jmd0OyBrbm93biBiZWZvcmVoYW5kLCBl bnN1cmluZyB0aGF0IHRoZSBjb25zdHJhaW50cyBvZiBkaWZmZXJlbnRpYWwgcHJpdmFjeTxicj4m Z3Q7IGFyZSBzdGlsbCBtZXQuPGJyPiZndDs8YnI+Jmd0OyBDb25jbHVzaW9uOiBCb3RoIGFsZ29y aXRobXMgcHJvdmlkZSBhIGdvb2QgaW5pdGlhbCBzdGVwIHRvd2FyZHMgYmV0dGVyPGJyPiZndDsg dW5kZXJzdGFuZGluZzxicj4mZ3Q7IHRoaXMgdmVyc2lvbiBvZiB0aGUgcHJpdmF0ZSBpbnRlcmlv ciBwb2ludCBwcm9ibGVtIGJ5IG9mZmVyaW5nIHVzZWZ1bDxicj4mZ3Q7IGJvdW5kcyBvbiBpbnB1 dDxicj4mZ3Q7IHNpemUsIGFzIHdlbGwgYXMgYWNjZXB0YWJsZSBleGVjdXRpb24gdGltZSBhbmQg c3BhY2UgdXNhZ2UuIEhvd2V2ZXIsIHRoZXJlPGJyPiZndDsgaXMgc3RpbGw8YnI+Jmd0OyBmdXR1 cmUgd29yayB0aGF0IG5lZWRzIHRvIGJlIGFkZHJlc3NlZCwgc3VjaCBhcyBnZW5lcmFsaXppbmcg dGhpcyBwcm9ibGVtPGJyPiZndDsgdG8gaGlnaGVyPGJyPiZndDsgZGltZW5zaW9ucy48YnI+PGJy Pl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fPGJyPkF1dG9t YXRpc2NoZXIgTWFpbHZlcnRlaWxlciBhbiBHcnVwcGUgJ21sLWktcHJvZi1taScuPGJyPkhpbndl aXNlIGRhenUgc2llaGUgSGlsZmVzZWl0ZTo8YnI+aHR0cHM6Ly93d3cubWkuZnUtYmVybGluLmRl L3cvVGVjL0Fua3VlbmRpZ3VuZ3NWZXJ0ZWlsZXI8YnI+PC9ib2R5PjwvaHRtbD4= ----_com.samsung.android.email_1146385434061110-- From mulzer@zedat.fu-berlin.de Thu Apr 03 11:51:27 2025 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1u0HEM-000000004EP-3dT0; Thu, 03 Apr 2025 11:51:26 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Message-Id:Content-Type:MIME-Version:To:From: Subject:Date:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=jFmDDcTt60yq9Pzxz2+YgEq8VTgouGDViShLAnP1SgI=; t=1743673886; x=1744278686; b=LpCQb1OGhyNU/rGhwkvT1pw0JmWWyUHdygOgtYEU6tBupJh0d3Y/pNhs3eoC2LOlek0hQ58pSGC bMTTtiL7u82jhMZMgVDw2hcfzT3EsYKuBb9TgTrYBb7TJrtLV1UTEZbq5ldYGISjR92MCKB/8tcqF ho9rTtZvWTcFRj2jdyXNAGGpRwAszW/SD4QVC5LTONF9HEnN5uzNXDAFTvLjV2vW8lLag4Y3qiAb9 27bcMZ0l0RtdhgGvmjCsoDp7j+L4IWElz2y2L1o6jToTy7+1hG/yrwdQPC3SJ41u7GVNBIiBZ2bll nbwwGsJ/mChuNAv5siSttwkhIaeB2HTyWzkw==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1u0HEM-000000005OS-3JwK; Thu, 03 Apr 2025 11:51:26 +0200 Received: from i68973e31.versanet.de ([104.151.62.49] helo=[172.16.73.152]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1u0HEM-000000015XR-2Ik3; Thu, 03 Apr 2025 11:51:26 +0200 SavedFromEmail: mulzer@inf.fu-berlin.de Date: Thu, 03 Apr 2025 11:51:26 +0200 Importance: normal From: Wolfgang Mulzer To: agti-Mittagsseminar@lists.fu-berlin.de MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="--_com.samsung.android.email_2030893793121620" Message-Id: X-Original-Sender: mulzer@inf.fu-berlin.de X-Originating-IP: 104.151.62.49 X-ZEDAT-Hint: PAHO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1743673886-BADF4F62-709CE6D8/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-46.5 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HTML_MESSAGE,RCVD_IN_SBL_CSS X-Spam-Checker-Version: SpamAssassin 3.4.6 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Kein Mittagsseminar am 03.04. X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.29 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 03 Apr 2025 09:51:27 -0000 ----_com.samsung.android.email_2030893793121620 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 RGVhciBUSXMsZHVlIHRvIGdpcmxzIGRheSBhbmQgZXhhbXMsIHRoZXJlIHdpbGwgYmUgbm8gTWl0 dGFnc3NlbWluYXIgdG9kYXkuwqBDaGVlcnPCoFdvbGZnYW5nwqAKLS0tLS0tLS0gVXJzcHLDvG5n bGljaGUgTmFjaHJpY2h0IC0tLS0tLS0tVm9uOiBXb2xmZ2FuZyBNdWx6ZXIgPG11bHplckBpbmYu ZnUtYmVybGluLmRlPiBEYXR1bTogMDEuMDQuMjUgIDEwOjU0ICAoR01UKzAxOjAwKSBBbjogYWd0 aS1NaXR0YWdzc2VtaW5hckBsaXN0cy5mdS1iZXJsaW4uZGUgQmV0cmVmZjogTWl0dGFnc3NlbWlu YXIgMDEuMDQuIERlYXIgVElzLHRoaXMgd2lsbCBiZSB0b2RheSdzIE1pdHRhZ3NzZW1pbmFyLsKg QW50b24gaXMgc2ljayBhbmQgSSBoYXZlIHRvIHN0YXkgaG9tZSB3aXRoIGhpbSwgc28gdGhlIGRl ZmVuc2Ugd2lsbCBiZSBvbmxpbmUuwqBUaGUgdGFsayBpcyBpbiBFbmdsaXNoLsKgQ2hlZXJzwqBX b2xmZ2FuZ8KgLS0tLS0tLS0gVXJzcHLDvG5nbGljaGUgTmFjaHJpY2h0IC0tLS0tLS0tVm9uOiBP c2thciBCZXNsZXIgPGJlc2xlbzAwQHplZGF0LmZ1LWJlcmxpbi5kZT4gRGF0dW06IDAxLjA0LjI1 ICAxMDowOCAgKEdNVCswMTowMCkgQW46IE9za2FyIEJlc2xlciA8YmVzbGVvMDBAemVkYXQuZnUt YmVybGluLmRlPiBDYzogaS1wcm9mc0BpbmYuZnUtYmVybGluLmRlLCBpLXdpbWlzQGluZi5mdS1i ZXJsaW4uZGUsIGktc3R1ZGlAaW5mLmZ1LWJlcmxpbi5kZSwgbWFyaWEua29la2VuaG9mZkBmdS1i ZXJsaW4uZGUgQmV0cmVmZjogUmU6IFtpLXByb2ZdIEludml0YXRpb24gdG8gdGhlIGRlZmVuc2Ug b2YgbXkgbWFzdGVyJ3MgdGhlc2lzIERlYXIgYWxsLGR1ZSB0byBpbGxuZXNzLCB3ZSBuZWVkIHRv IG1vdmUgdGhlIHRoZXNpcyBkZWZlbnNlIHRvIGFuIG9ubGluZSBzZXR0aW5nLiBJYXBvbG9naXpl IGZvciB0aGUgaW5jb252ZW5pZW5jZS5Zb3XigJlsbCBmaW5kIHRoZSBhY2Nlc3MgbGluayBiZWxv dy5CZXN0IHJlZ2FyZHMsT3NrYXIgQmVzbGVyTGluazpodHRwczovL2Z1LWJlcmxpbi53ZWJleC5j b20vZnUtYmVybGluLWVuL2oucGhwP01USUQ9bTBmMjIwNzQ2MTk3NzgwYzUyZjRmODZhMGQwYjRi ZjEwTWVldGluZyBudW1iZXIgKGFjY2VzcyBjb2RlKTogMjc5MSA5MTcgMDA0OU1lZXRpbmcgcGFz c3dvcmQ6IFh2NUNRWmJuVjg0ICg5ODUyNzkyNiBmcm9tIHBob25lcyBhbmQgdmlkZW8gc3lzdGVt cyk+IERlYXIgYWxsLD4+IEkgaGVyZWJ5IGludml0ZSB5b3UgdG8gdGhlIGRlZmVuc2Ugb2YgbXkg bWFzdGVyJ3MgdGhlc2lzIHdpdGggdGhlIHRpdGxlPiAiSG93IHRvIEZpbmQgYSBQb2ludCBXaXRo aW4gdGhlIFVuaW9uIG9mIFNxdWFyZXMgVXNpbmcgYSBEaWZmZXJlbnRpYWxseT4gUHJpdmF0ZSBB bGdvcml0aG0iLj4+IFRoZSBkZWZlbnNlIHdpbGwgdGFrZSBwbGFjZSBvbiBUdWVzZGF5LCAwMS4w NC4yMDI1IGF0IDEyOjAwYW0gaW4+IFRha3VzdHJhw59lIDksIHNlbWluYXIgcm9vbSAwNTUuPj4g VGhlIGRlZmVuc2Ugd2lsbCBiZSBoZWxkIGluIEVuZ2xpc2guPj4gRmlyc3QgZXhhbWluZXIgJiBT dXBlcnZpc29yOiBQcm9mLiBEci4gV29sZmdhbmcgTXVsemVyPiBTZWNvbmQgZXhhbWluZXI6IFBy b2YuIERyLiBMw6FzemzDsyBLb3ptYT4+IEJlc3QgcmVnYXJkcyw+IE9za2FyIEJlc2xlcj4+IF9f X19fX19fX19fX19fX19fX19fX19fXz4+IEFic3RyYWN0Oj4+IEJhY2tncm91bmQ6IEluIHRoZSBh Z2Ugb2Ygc29jaWFsIG1lZGlhIGFuZCBiaWcgZGF0YSwgcHJpdmFjeSBjb25jZXJucyBhcmU+IGEg Z3Jvd2luZz4gaXNzdWUgYXMgaW5kaXZpZHVhbHMgd29ycnkgYWJvdXQgdGhlIG1pc3VzZSBvZiB0 aGVpciBzZW5zaXRpdmU+IGluZm9ybWF0aW9uLiBEaWZmZXJlbnRpYWw+IHByaXZhY3kgaXMgY29u c2lkZXJlZCB0aGUgZ29sZCBzdGFuZGFyZCBmb3IgcHJpdmFjeSBwcm90ZWN0aW9uIGluIGRhdGE+ IGFuYWx5c2lzLCBhcyBpdD4gcHJvdmlkZXMgYSBtYXRoZW1hdGljYWwgZ3VhcmFudGVlIHRoYXQg YW4gaW5kaXZpZHVhbCB3aWxsIG5vdCBiZT4gc2lnbmlmaWNhbnRseSBhZmZlY3RlZD4gd2hlbiB0 aGVpciBzZW5zaXRpdmUgZGF0YSBpcyB1c2VkIGZvciBkYXRhIGFuYWx5c2lzLiBUaGUgdGFzayBv Zj4gZXh0cmFjdGluZyB1c2VmdWwgaW5mb3JtYXRpb24gYWJvdXQgYSBncm91cCBvZiBwZW9wbGUg d2l0aG91dCByZXZlYWxpbmc+IG1lYW5pbmdmdWwgZGV0YWlscyBhYm91dCBpbmRpdmlkdWFscz4g Y2FuIGJlIGRlc2NyaWJlZCBieSB0aGUgcHJpdmF0ZSBpbnRlcmlvciBwb2ludCBwcm9ibGVtLCB3 aGljaCBpbnZvbHZlcz4gZmluZGluZyBhIHBvaW50PiBpbnNpZGUgYSBjb252ZXggaHVsbCB1c2lu ZyBhIGRpZmZlcmVudGlhbGx5IHByaXZhdGUgYWxnb3JpdGhtLj4+IEdvYWxzOiBTaW5jZSBkYXRh IGNhbiBiZSByZXByZXNlbnRlZCBieSBtb3JlIHRoYW4ganVzdCBwb2ludHMsIHRoaXMgdGhlc2lz PiBhaW1zIHRvPiBleHRlbmQgdGhlIGRlZmluaXRpb24gb2YgdGhlIHByaXZhdGUgaW50ZXJpb3Ig cG9pbnQgcHJvYmxlbSBieSByZWRlZmluaW5nPiBpdCBhcyBmaW5kaW5nPiBhIHBvaW50IGluc2lk ZSB0aGUgdW5pb24gb2YgZ2l2ZW4gc3F1YXJlcyB1c2luZyBhIGRpZmZlcmVudGlhbGx5IHByaXZh dGU+IGFsZ29yaXRobS4+PiBNZXRob2RzOiBUbyBhY2hpZXZlIHRoaXMsIHdlIHdpbGwgZGV2ZWxv cCBhbmQgYW5hbHl6ZSB0d28gZGlmZmVyZW50aWFsPiBwcml2YXRlIGFsZ29yaXRobXMgdGhhdCBh ZGRyZXNzIHR3byB2YXJpYXRpb25zIG9mIHRoaXMgcHJvYmxlbS4gVGhlIGZpcnN0PiBhbGxvd3Mg b25seSBheGlzLT4gYWxpZ25lZCBzcXVhcmVzIGFzIGlucHV0IChBU1BJUCksIHdoaWxlIHRoZSBz ZWNvbmQgaW1wb3NlcyBubyByZXN0cmljdGlvbnM+IG9uIHRoZT4gaW5wdXQgc3F1YXJlcyAoU1BJ UCkuPj4gUmVzdWx0czogVGhlIGV4cGVyaW1lbnRzIHNob3cgdGhhdCBib3RoIGFsZ29yaXRobXMg cGVyZm9ybSB3ZWxsIGluIHNvbHZpbmc+IHRoZWlyPiByZXNwZWN0aXZlIHZhcmlhdGlvbiBvZiB0 aGlzIHByb2JsZW0uIEZ1cnRoZXJtb3JlLCB0aGUgYW5hbHlzaXMgcmV2ZWFscz4gdGhhdCBhIGdv b2Q+IGJvdW5kIG9uIHRoZSBpbnB1dCBzaXplIGNhbiBiZSBlc3RhYmxpc2hlZCBpZiBhIGNlcnRh aW4gb3ZlcmxhcCBvZiBpbnB1dD4gc3F1YXJlcyBpcz4ga25vd24gYmVmb3JlaGFuZCwgZW5zdXJp bmcgdGhhdCB0aGUgY29uc3RyYWludHMgb2YgZGlmZmVyZW50aWFsIHByaXZhY3k+IGFyZSBzdGls bCBtZXQuPj4gQ29uY2x1c2lvbjogQm90aCBhbGdvcml0aG1zIHByb3ZpZGUgYSBnb29kIGluaXRp YWwgc3RlcCB0b3dhcmRzIGJldHRlcj4gdW5kZXJzdGFuZGluZz4gdGhpcyB2ZXJzaW9uIG9mIHRo ZSBwcml2YXRlIGludGVyaW9yIHBvaW50IHByb2JsZW0gYnkgb2ZmZXJpbmcgdXNlZnVsPiBib3Vu ZHMgb24gaW5wdXQ+IHNpemUsIGFzIHdlbGwgYXMgYWNjZXB0YWJsZSBleGVjdXRpb24gdGltZSBh bmQgc3BhY2UgdXNhZ2UuIEhvd2V2ZXIsIHRoZXJlPiBpcyBzdGlsbD4gZnV0dXJlIHdvcmsgdGhh dCBuZWVkcyB0byBiZSBhZGRyZXNzZWQsIHN1Y2ggYXMgZ2VuZXJhbGl6aW5nIHRoaXMgcHJvYmxl bT4gdG8gaGlnaGVyPiBkaW1lbnNpb25zLl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fQXV0b21hdGlzY2hlciBNYWlsdmVydGVpbGVyIGFuIEdydXBwZSAnbWwt aS1wcm9mLW1pJy5IaW53ZWlzZSBkYXp1IHNpZWhlIEhpbGZlc2VpdGU6aHR0cHM6Ly93d3cubWku ZnUtYmVybGluLmRlL3cvVGVjL0Fua3VlbmRpZ3VuZ3NWZXJ0ZWlsZXI= ----_com.samsung.android.email_2030893793121620 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PG1ldGEgaHR0cC1lcXVpdj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0 L2h0bWw7IGNoYXJzZXQ9VVRGLTgiPjwvaGVhZD48Ym9keSBkaXI9ImF1dG8iPkRlYXIgVElzLDxk aXYgZGlyPSJhdXRvIj48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPmR1ZSB0byBnaXJscyBkYXkg YW5kIGV4YW1zLCB0aGVyZSB3aWxsIGJlIG5vIE1pdHRhZ3NzZW1pbmFyIHRvZGF5LiZuYnNwOzwv ZGl2PjxkaXYgZGlyPSJhdXRvIj48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPkNoZWVycyZuYnNw OzwvZGl2PjxkaXYgZGlyPSJhdXRvIj48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPldvbGZnYW5n Jm5ic3A7PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdiBhbGlnbj0ibGVmdCIgZGlyPSJhdXRvIiBz dHlsZT0iZm9udC1zaXplOjEwMCU7Y29sb3I6IzAwMDAwMCI+PGRpdj4tLS0tLS0tLSBVcnNwcsO8 bmdsaWNoZSBOYWNocmljaHQgLS0tLS0tLS08L2Rpdj48ZGl2PlZvbjogV29sZmdhbmcgTXVsemVy ICZsdDttdWx6ZXJAaW5mLmZ1LWJlcmxpbi5kZSZndDsgPC9kaXY+PGRpdj5EYXR1bTogMDEuMDQu MjUgIDEwOjU0ICAoR01UKzAxOjAwKSA8L2Rpdj48ZGl2PkFuOiBhZ3RpLU1pdHRhZ3NzZW1pbmFy QGxpc3RzLmZ1LWJlcmxpbi5kZSA8L2Rpdj48ZGl2PkJldHJlZmY6IE1pdHRhZ3NzZW1pbmFyIDAx LjA0LiA8L2Rpdj48ZGl2Pjxicj48L2Rpdj48L2Rpdj5EZWFyIFRJcyw8ZGl2IGRpcj0iYXV0byI+ PGJyPjwvZGl2PjxkaXYgZGlyPSJhdXRvIj50aGlzIHdpbGwgYmUgdG9kYXkncyBNaXR0YWdzc2Vt aW5hci4mbmJzcDs8L2Rpdj48ZGl2IGRpcj0iYXV0byI+QW50b24gaXMgc2ljayBhbmQgSSBoYXZl IHRvIHN0YXkgaG9tZSB3aXRoIGhpbSwgc28gdGhlIGRlZmVuc2Ugd2lsbCBiZSBvbmxpbmUuJm5i c3A7PC9kaXY+PGRpdiBkaXI9ImF1dG8iPjxicj48L2Rpdj48ZGl2IGRpcj0iYXV0byI+VGhlIHRh bGsgaXMgaW4gRW5nbGlzaC4mbmJzcDs8L2Rpdj48ZGl2IGRpcj0iYXV0byI+PGJyPjwvZGl2Pjxk aXYgZGlyPSJhdXRvIj5DaGVlcnMmbmJzcDs8L2Rpdj48ZGl2IGRpcj0iYXV0byI+PGJyPjwvZGl2 PjxkaXYgZGlyPSJhdXRvIj5Xb2xmZ2FuZyZuYnNwOzwvZGl2Pjxicj48ZGl2IHN0eWxlPSJmb250 LXNpemU6MTAwJTtjb2xvcjojMDAwMDAwIiBkaXI9ImF1dG8iIGFsaWduPSJsZWZ0Ij48ZGl2Pi0t LS0tLS0tIFVyc3Byw7xuZ2xpY2hlIE5hY2hyaWNodCAtLS0tLS0tLTwvZGl2PjxkaXY+Vm9uOiBP c2thciBCZXNsZXIgJmx0O2Jlc2xlbzAwQHplZGF0LmZ1LWJlcmxpbi5kZSZndDsgPC9kaXY+PGRp dj5EYXR1bTogMDEuMDQuMjUgIDEwOjA4ICAoR01UKzAxOjAwKSA8L2Rpdj48ZGl2PkFuOiBPc2th ciBCZXNsZXIgJmx0O2Jlc2xlbzAwQHplZGF0LmZ1LWJlcmxpbi5kZSZndDsgPC9kaXY+PGRpdj5D YzogaS1wcm9mc0BpbmYuZnUtYmVybGluLmRlLCBpLXdpbWlzQGluZi5mdS1iZXJsaW4uZGUsIGkt c3R1ZGlAaW5mLmZ1LWJlcmxpbi5kZSwgbWFyaWEua29la2VuaG9mZkBmdS1iZXJsaW4uZGUgPC9k aXY+PGRpdj5CZXRyZWZmOiBSZTogW2ktcHJvZl0gSW52aXRhdGlvbiB0byB0aGUgZGVmZW5zZSBv ZiBteSBtYXN0ZXIncyB0aGVzaXMgPC9kaXY+PGRpdj48YnI+PC9kaXY+PC9kaXY+RGVhciBhbGws PGJyPjxicj5kdWUgdG8gaWxsbmVzcywgd2UgbmVlZCB0byBtb3ZlIHRoZSB0aGVzaXMgZGVmZW5z ZSB0byBhbiBvbmxpbmUgc2V0dGluZy4gSTxicj5hcG9sb2dpemUgZm9yIHRoZSBpbmNvbnZlbmll bmNlLjxicj48YnI+WW914oCZbGwgZmluZCB0aGUgYWNjZXNzIGxpbmsgYmVsb3cuPGJyPjxicj5C ZXN0IHJlZ2FyZHMsPGJyPk9za2FyIEJlc2xlcjxicj48YnI+TGluazo8YnI+aHR0cHM6Ly9mdS1i ZXJsaW4ud2ViZXguY29tL2Z1LWJlcmxpbi1lbi9qLnBocD9NVElEPW0wZjIyMDc0NjE5Nzc4MGM1 MmY0Zjg2YTBkMGI0YmYxMDxicj48YnI+TWVldGluZyBudW1iZXIgKGFjY2VzcyBjb2RlKTogMjc5 MSA5MTcgMDA0OTxicj48YnI+TWVldGluZyBwYXNzd29yZDogWHY1Q1FaYm5WODQgKDk4NTI3OTI2 IGZyb20gcGhvbmVzIGFuZCB2aWRlbyBzeXN0ZW1zKTxicj48YnI+Jmd0OyBEZWFyIGFsbCw8YnI+ Jmd0Ozxicj4mZ3Q7IEkgaGVyZWJ5IGludml0ZSB5b3UgdG8gdGhlIGRlZmVuc2Ugb2YgbXkgbWFz dGVyJ3MgdGhlc2lzIHdpdGggdGhlIHRpdGxlPGJyPiZndDsgIkhvdyB0byBGaW5kIGEgUG9pbnQg V2l0aGluIHRoZSBVbmlvbiBvZiBTcXVhcmVzIFVzaW5nIGEgRGlmZmVyZW50aWFsbHk8YnI+Jmd0 OyBQcml2YXRlIEFsZ29yaXRobSIuPGJyPiZndDs8YnI+Jmd0OyBUaGUgZGVmZW5zZSB3aWxsIHRh a2UgcGxhY2Ugb24gVHVlc2RheSwgMDEuMDQuMjAyNSBhdCAxMjowMGFtIGluPGJyPiZndDsgVGFr dXN0cmHDn2UgOSwgc2VtaW5hciByb29tIDA1NS48YnI+Jmd0Ozxicj4mZ3Q7IFRoZSBkZWZlbnNl IHdpbGwgYmUgaGVsZCBpbiBFbmdsaXNoLjxicj4mZ3Q7PGJyPiZndDsgRmlyc3QgZXhhbWluZXIg JmFtcDsgU3VwZXJ2aXNvcjogUHJvZi4gRHIuIFdvbGZnYW5nIE11bHplcjxicj4mZ3Q7IFNlY29u ZCBleGFtaW5lcjogUHJvZi4gRHIuIEzDoXN6bMOzIEtvem1hPGJyPiZndDs8YnI+Jmd0OyBCZXN0 IHJlZ2FyZHMsPGJyPiZndDsgT3NrYXIgQmVzbGVyPGJyPiZndDs8YnI+Jmd0OyBfX19fX19fX19f X19fX19fX19fX19fX188YnI+Jmd0Ozxicj4mZ3Q7IEFic3RyYWN0Ojxicj4mZ3Q7PGJyPiZndDsg QmFja2dyb3VuZDogSW4gdGhlIGFnZSBvZiBzb2NpYWwgbWVkaWEgYW5kIGJpZyBkYXRhLCBwcml2 YWN5IGNvbmNlcm5zIGFyZTxicj4mZ3Q7IGEgZ3Jvd2luZzxicj4mZ3Q7IGlzc3VlIGFzIGluZGl2 aWR1YWxzIHdvcnJ5IGFib3V0IHRoZSBtaXN1c2Ugb2YgdGhlaXIgc2Vuc2l0aXZlPGJyPiZndDsg aW5mb3JtYXRpb24uIERpZmZlcmVudGlhbDxicj4mZ3Q7IHByaXZhY3kgaXMgY29uc2lkZXJlZCB0 aGUgZ29sZCBzdGFuZGFyZCBmb3IgcHJpdmFjeSBwcm90ZWN0aW9uIGluIGRhdGE8YnI+Jmd0OyBh bmFseXNpcywgYXMgaXQ8YnI+Jmd0OyBwcm92aWRlcyBhIG1hdGhlbWF0aWNhbCBndWFyYW50ZWUg dGhhdCBhbiBpbmRpdmlkdWFsIHdpbGwgbm90IGJlPGJyPiZndDsgc2lnbmlmaWNhbnRseSBhZmZl Y3RlZDxicj4mZ3Q7IHdoZW4gdGhlaXIgc2Vuc2l0aXZlIGRhdGEgaXMgdXNlZCBmb3IgZGF0YSBh bmFseXNpcy4gVGhlIHRhc2sgb2Y8YnI+Jmd0OyBleHRyYWN0aW5nIHVzZWZ1bCBpbmZvcm1hdGlv biBhYm91dCBhIGdyb3VwIG9mIHBlb3BsZSB3aXRob3V0IHJldmVhbGluZzxicj4mZ3Q7IG1lYW5p bmdmdWwgZGV0YWlscyBhYm91dCBpbmRpdmlkdWFsczxicj4mZ3Q7IGNhbiBiZSBkZXNjcmliZWQg YnkgdGhlIHByaXZhdGUgaW50ZXJpb3IgcG9pbnQgcHJvYmxlbSwgd2hpY2ggaW52b2x2ZXM8YnI+ Jmd0OyBmaW5kaW5nIGEgcG9pbnQ8YnI+Jmd0OyBpbnNpZGUgYSBjb252ZXggaHVsbCB1c2luZyBh IGRpZmZlcmVudGlhbGx5IHByaXZhdGUgYWxnb3JpdGhtLjxicj4mZ3Q7PGJyPiZndDsgR29hbHM6 IFNpbmNlIGRhdGEgY2FuIGJlIHJlcHJlc2VudGVkIGJ5IG1vcmUgdGhhbiBqdXN0IHBvaW50cywg dGhpcyB0aGVzaXM8YnI+Jmd0OyBhaW1zIHRvPGJyPiZndDsgZXh0ZW5kIHRoZSBkZWZpbml0aW9u IG9mIHRoZSBwcml2YXRlIGludGVyaW9yIHBvaW50IHByb2JsZW0gYnkgcmVkZWZpbmluZzxicj4m Z3Q7IGl0IGFzIGZpbmRpbmc8YnI+Jmd0OyBhIHBvaW50IGluc2lkZSB0aGUgdW5pb24gb2YgZ2l2 ZW4gc3F1YXJlcyB1c2luZyBhIGRpZmZlcmVudGlhbGx5IHByaXZhdGU8YnI+Jmd0OyBhbGdvcml0 aG0uPGJyPiZndDs8YnI+Jmd0OyBNZXRob2RzOiBUbyBhY2hpZXZlIHRoaXMsIHdlIHdpbGwgZGV2 ZWxvcCBhbmQgYW5hbHl6ZSB0d28gZGlmZmVyZW50aWFsPGJyPiZndDsgcHJpdmF0ZSBhbGdvcml0 aG1zIHRoYXQgYWRkcmVzcyB0d28gdmFyaWF0aW9ucyBvZiB0aGlzIHByb2JsZW0uIFRoZSBmaXJz dDxicj4mZ3Q7IGFsbG93cyBvbmx5IGF4aXMtPGJyPiZndDsgYWxpZ25lZCBzcXVhcmVzIGFzIGlu cHV0IChBU1BJUCksIHdoaWxlIHRoZSBzZWNvbmQgaW1wb3NlcyBubyByZXN0cmljdGlvbnM8YnI+ Jmd0OyBvbiB0aGU8YnI+Jmd0OyBpbnB1dCBzcXVhcmVzIChTUElQKS48YnI+Jmd0Ozxicj4mZ3Q7 IFJlc3VsdHM6IFRoZSBleHBlcmltZW50cyBzaG93IHRoYXQgYm90aCBhbGdvcml0aG1zIHBlcmZv cm0gd2VsbCBpbiBzb2x2aW5nPGJyPiZndDsgdGhlaXI8YnI+Jmd0OyByZXNwZWN0aXZlIHZhcmlh dGlvbiBvZiB0aGlzIHByb2JsZW0uIEZ1cnRoZXJtb3JlLCB0aGUgYW5hbHlzaXMgcmV2ZWFsczxi cj4mZ3Q7IHRoYXQgYSBnb29kPGJyPiZndDsgYm91bmQgb24gdGhlIGlucHV0IHNpemUgY2FuIGJl IGVzdGFibGlzaGVkIGlmIGEgY2VydGFpbiBvdmVybGFwIG9mIGlucHV0PGJyPiZndDsgc3F1YXJl cyBpczxicj4mZ3Q7IGtub3duIGJlZm9yZWhhbmQsIGVuc3VyaW5nIHRoYXQgdGhlIGNvbnN0cmFp bnRzIG9mIGRpZmZlcmVudGlhbCBwcml2YWN5PGJyPiZndDsgYXJlIHN0aWxsIG1ldC48YnI+Jmd0 Ozxicj4mZ3Q7IENvbmNsdXNpb246IEJvdGggYWxnb3JpdGhtcyBwcm92aWRlIGEgZ29vZCBpbml0 aWFsIHN0ZXAgdG93YXJkcyBiZXR0ZXI8YnI+Jmd0OyB1bmRlcnN0YW5kaW5nPGJyPiZndDsgdGhp cyB2ZXJzaW9uIG9mIHRoZSBwcml2YXRlIGludGVyaW9yIHBvaW50IHByb2JsZW0gYnkgb2ZmZXJp bmcgdXNlZnVsPGJyPiZndDsgYm91bmRzIG9uIGlucHV0PGJyPiZndDsgc2l6ZSwgYXMgd2VsbCBh cyBhY2NlcHRhYmxlIGV4ZWN1dGlvbiB0aW1lIGFuZCBzcGFjZSB1c2FnZS4gSG93ZXZlciwgdGhl cmU8YnI+Jmd0OyBpcyBzdGlsbDxicj4mZ3Q7IGZ1dHVyZSB3b3JrIHRoYXQgbmVlZHMgdG8gYmUg YWRkcmVzc2VkLCBzdWNoIGFzIGdlbmVyYWxpemluZyB0aGlzIHByb2JsZW08YnI+Jmd0OyB0byBo aWdoZXI8YnI+Jmd0OyBkaW1lbnNpb25zLjxicj48YnI+X19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX188YnI+QXV0b21hdGlzY2hlciBNYWlsdmVydGVpbGVyIGFu IEdydXBwZSAnbWwtaS1wcm9mLW1pJy48YnI+SGlud2Vpc2UgZGF6dSBzaWVoZSBIaWxmZXNlaXRl Ojxicj5odHRwczovL3d3dy5taS5mdS1iZXJsaW4uZGUvdy9UZWMvQW5rdWVuZGlndW5nc1ZlcnRl aWxlcjxicj48YnI+PC9ib2R5PjwvaHRtbD4= ----_com.samsung.android.email_2030893793121620-- From mulzer@zedat.fu-berlin.de Tue Apr 15 11:45:38 2025 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1u4crK-00000003vvM-1RCI; Tue, 15 Apr 2025 11:45:38 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Type:In-Reply-To:From:To:References: Subject:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=9YUgDoxo7q0+xVO2BsC6AufsCZenBMOZeiKOtc4eHbA=; t=1744710338; x=1745315138; b=f+gm6GFsWkt3tTpXH7E/x4yF4dV61F7u3GbgcJ9RPvKa/YCijM33WVhN9cHZ3IGyCn2a5JxNT5L mDI5cgCfxYI7b5HK81aQnYtetQZn0LUBkzLpQFunRSqMyFTxzIuaDx64OMObB5H0aovL0D4z5M9aj Lod3Wnoxqej7Hqv09zus0afzV0J/UvDbweexae8qMQMD0+iQ9O9URs9o7aGcOVjA3AfKL3RaeXCFk amxBaYaRoJrJcaA+LbKJ0T+Zv23MiW9wfd5BBBUqRNLwvXeFIY7xsgRwW3SNbNsry3NO/hgDTlAX4 0Z39Qa9/VnC10Kz+acQxnDzrjvT+Z8jacmag==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1u4crK-000000010Oe-18fC; Tue, 15 Apr 2025 11:45:38 +0200 Received: from 87-77-184-68.mna.fu-berlin.de ([87.77.184.68]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1u4crK-00000000MdW-0P0o; Tue, 15 Apr 2025 11:45:38 +0200 Message-ID: <4033e8b0-16cc-4f8c-b3a7-c8c81fc98604@inf.fu-berlin.de> Date: Tue, 15 Apr 2025 11:45:37 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird References: <25738.2.39.12.96.1744107282.webmail@webmail.zedat.fu-berlin.de> Content-Language: en-US To: agti-Mittagsseminar@lists.fu-berlin.de From: Wolfgang Mulzer In-Reply-To: <25738.2.39.12.96.1744107282.webmail@webmail.zedat.fu-berlin.de> X-Forwarded-Message-Id: <25738.2.39.12.96.1744107282.webmail@webmail.zedat.fu-berlin.de> Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-512; boundary="------------ms040105000605000504050509" X-Original-Sender: mulzer@inf.fu-berlin.de X-Originating-IP: 87.77.184.68 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1744710338-C91E6F62-C8B38D0A/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Fwd: [i-prof] [i-studi] Einladung zur Verteidigung meiner Bachelorarbeit X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.29 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Apr 2025 09:45:38 -0000 This is a cryptographically signed message in MIME format. --------------ms040105000605000504050509 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 DQpIaSBhbGwsDQoNCnRoaXMgd2lsbCBiZSB0b2RheSdzIG1pdHRhZ3NzZW1pbmFyLiBJIHRo aW5rIHRoZSB0YWxrIHdpbGwgYmUgaW4gDQpFbmdsaXNoLCBidXQgSSBhbSBub3Qgc3VyZS4N Cg0KQ2hlZXJzDQoNCldvbGZnYW5nDQoNCi0tLS0tLS0tIEZvcndhcmRlZCBNZXNzYWdlIC0t LS0tLS0tDQpTdWJqZWN0OiBbaS1wcm9mXSBbaS1zdHVkaV0gRWlubGFkdW5nIHp1ciBWZXJ0 ZWlkaWd1bmcgbWVpbmVyIEJhY2hlbG9yYXJiZWl0DQpEYXRlOiBUdWUsIDggQXByIDIwMjUg MTI6MTQ6NDIgKzAyMDANCkZyb206IEZyYW5jb2lzLURhdmlkIFZlbGluLUxhbmdsYW1ldCA8 dmVsaW5sYWYwMEB6ZWRhdC5mdS1iZXJsaW4uZGU+DQpDQzogaS1wcm9mc0BpbmYuZnUtYmVy bGluLmRlLCBpLXdpbWlzQGluZi5mdS1iZXJsaW4uZGUsIA0KaS1zdHVkaUBpbmYuZnUtYmVy bGluLmRlLCBtYXJpYS5rb2VrZW5ob2ZmQGZ1LWJlcmxpbi5kZQ0KDQpTZWhyIGdlZWhydGUg RGFtZW4gdW5kIEhlcnJlbiwNCg0KaGllcm1pdCBsYWRlIGljaCBTaWUgaGVyemxpY2ggenVy IFZlcnRlaWRpZ3VuZyBtZWluZXIgQmFjaGVsb3JhcmJlaXQgenVtDQpUaGVtYSAiRW5oYW5j aW5nIEJsb2NrIERpYWdyYW0gQ2xhcml0eSBVc2luZyBTaW11bGF0ZWQgQW5uZWFsaW5nIGFu ZA0KQ29tcGxlbWVudGFyeSBUZWNobmlxdWVzIiBlaW4uDQoNCkRlciBWb3J0cmFnIGZpbmRl dCBhbSAqKkRpZW5zdGFnLCAxNS4gQXByaWwgMjAyNSB1bSAxMjowMCBVaHIqKiBpbSAqKlJh dW0NClNSIDA1NSoqIHN0YXR0Lg0KDQpFcnN0Z3V0YWNodGVyOiBQcm9mLiBEci4gV29sZmdh bmcgTXVsemVyDQpad2VpdGd1dGFjaHRlcmluOiBEci4gcmVyLiBuYXQuIEthdGhhcmluYSBL bG9zdA0KDQotLS0NCg0KWnVzYW1tZW5mYXNzdW5nL0Fic3RyYWN0Og0KDQpHcmFwaHMgYXJl IGZ1bmRhbWVudGFsIGluIGNvbXB1dGVyIHNjaWVuY2UsIGJ1dCBvZnRlbiBjaGFsbGVuZ2lu ZyB0bw0KdmlzdWFsaXplIGNsZWFybHkuIFRoaXMgdGhlc2lzIGFkZHJlc3NlcyB0aGUgcHJv YmxlbSBvZiBpbXByb3ZpbmcgdGhlDQpjbGFyaXR5IG9mIGEgc3BlY2lmaWMgdHlwZSBvZiBj b25zdHJhaW5lZCBncmFwaCB1c2luZyBzaW11bGF0ZWQgYW5uZWFsaW5nDQphbmQgb3RoZXIg dGVjaG5pcXVlcyB3aGlsZSBjb25zaWRlcmluZyB0aW1lIGNvbnN0cmFpbnRzLCBhcyB0aGUg c29sdXRpb24NCmlzIGludGVuZGVkIGZvciB1c2UgaW4gaW50ZXJhY3RpdmUgc29mdHdhcmUu IFZhcmlvdXMgYXBwcm9hY2hlcyBhcmUNCmV4cGxvcmVkIGFuZCBjb21wYXJlZCwgcmVzdWx0 aW5nIGluIGEgZnVsbHkgaW1wbGVtZW50ZWQgYWxnb3JpdGhtLiBBIGtleQ0KY2hhbGxlbmdl IHdhcyBvcHRpbWl6aW5nIHRoZSBhbGdvcml0aG0gZm9yIGVmZmljaWVuY3kgdG8gZW5zdXJl DQpyZXNwb25zaXZlbmVzcyBmb3IgdXNlcnMsIGFuZCB0aGlzIHRoZXNpcyBkaXNjdXNzZXMg dGhlIHNvbHV0aW9ucw0KZGV2ZWxvcGVkIHRvIGFjaGlldmUgdGhhdCBnb2FsLiBUaGUgaW1w bGVtZW50YXRpb24gaXMgYW5hbHl6ZWQgYW5kDQpkaXNjdXNzZWQgaW4gZGV0YWlsLCBhc3Nl c3NpbmcgaXRzIGVmZmVjdGl2ZW5lc3MgaW4gaW1wcm92aW5nIGdyYXBoDQpjbGFyaXR5IHVu ZGVyIHNwZWNpZmljIGNvbnN0cmFpbnRzLiBUaGUgZW1waGFzaXMgaXMgb24gcHJhY3RpY2Fs DQppbXBsZW1lbnRhdGlvbiByYXRoZXIgdGhhbiBkZWVwIHRoZW9yZXRpY2FsIGFuYWx5c2lz LCBwcm92aWRpbmcgaW5zaWdodHMNCmludG8gcmVhbC13b3JsZCBhcHBsaWNhdGlvbnMgYW5k IHBlcmZvcm1hbmNlIG9wdGltaXphdGlvbi4NCg0KTWl0IGZyZXVuZGxpY2hlbiBHcsO8w59l bg0KRnJhbmNvaXMtRGF2aWQgVmVsaW4tTGFuZ2xhbWV0DQoNCl9fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQpBdXRvbWF0aXNjaGVyIE1haWx2ZXJ0 ZWlsZXIgYW4gR3J1cHBlICdtbC1pLXByb2YtbWknLg0KSGlud2Vpc2UgZGF6dSBzaWVoZSBI aWxmZXNlaXRlOg0KaHR0cHM6Ly93d3cubWkuZnUtYmVybGluLmRlL3cvVGVjL0Fua3VlbmRp Z3VuZ3NWZXJ0ZWlsZXINCg== --------------ms040105000605000504050509 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgMFADCABgkqhkiG9w0BBwEAAKCC DjIwggbmMIIEzqADAgECAhAxAnDUNb6bJJr4VtDh4oVJMA0GCSqGSIb3DQEBDAUAMIGIMQsw CQYDVQQGEwJVUzETMBEGA1UECBMKTmV3IEplcnNleTEUMBIGA1UEBxMLSmVyc2V5IENpdHkx HjAcBgNVBAoTFVRoZSBVU0VSVFJVU1QgTmV0d29yazEuMCwGA1UEAxMlVVNFUlRydXN0IFJT QSBDZXJ0aWZpY2F0aW9uIEF1dGhvcml0eTAeFw0yMDAyMTgwMDAwMDBaFw0zMzA1MDEyMzU5 NTlaMEYxCzAJBgNVBAYTAk5MMRkwFwYDVQQKExBHRUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQD ExNHRUFOVCBQZXJzb25hbCBDQSA0MIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEA s0riIl4nW+kEWxQENTIgFK600jFAxs1QwB6hRMqvnkphfy2Q3mKbM2otpELKlgE8/3AQPYBo 7p7yeORuPMnAuA+oMGRb2wbeSaLcZbpwXgfCvnKxmq97/kQkOFX706F9O7/h0yehHhDjUdyM yT0zMs4AMBDRrAFn/b2vR3j0BSYgoQs16oSqadM3p+d0vvH/YrRMtOhkvGpLuzL8m+LTAQWv QJ92NwCyKiHspoP4mLPJvVpEpDMnpDbRUQdftSpZzVKTNORvPrGPRLnJ0EEVCHR82LL6oz91 5WkrgeCY9ImuulBn4uVsd9ZpubCgM/EXvVBlViKqusChSsZEn7juIsGIiDyaIhhLsd3amm8B S3bgK6AxdSMROND6hiHT182Lmf8C+gRHxQG9McvG35uUvRu8v7bPZiJRaT7ZC2f50P4lTlnb LvWpXv5yv7hheO8bMXltiyLweLB+VNvg+GnfL6TW3Aq1yF1yrZAZzR4MbpjTWdEdSLKvz8+0 wCwscQ81nbDOwDt9vyZ+0eJXbRkWZiqScnwAg5/B1NUD4TrYlrI4n6zFp2pyYUOiuzP+as/A Znz63GvjFK69WODR2W/TK4D7VikEMhg18vhuRf4hxnWZOy0vhfDR/g3aJbdsGac+diahjEwz yB+UKJOCyzvecG8bZ/u/U8PsEMZg07iIPi8CAwEAAaOCAYswggGHMB8GA1UdIwQYMBaAFFN5 v1qqK0rPVIDh2JvAnfKyA2bLMB0GA1UdDgQWBBRpAKHHIVj44MUbILAK3adRvxPZ5DAOBgNV HQ8BAf8EBAMCAYYwEgYDVR0TAQH/BAgwBgEB/wIBADAdBgNVHSUEFjAUBggrBgEFBQcDAgYI KwYBBQUHAwQwOAYDVR0gBDEwLzAtBgRVHSAAMCUwIwYIKwYBBQUHAgEWF2h0dHBzOi8vc2Vj dGlnby5jb20vQ1BTMFAGA1UdHwRJMEcwRaBDoEGGP2h0dHA6Ly9jcmwudXNlcnRydXN0LmNv bS9VU0VSVHJ1c3RSU0FDZXJ0aWZpY2F0aW9uQXV0aG9yaXR5LmNybDB2BggrBgEFBQcBAQRq MGgwPwYIKwYBBQUHMAKGM2h0dHA6Ly9jcnQudXNlcnRydXN0LmNvbS9VU0VSVHJ1c3RSU0FB ZGRUcnVzdENBLmNydDAlBggrBgEFBQcwAYYZaHR0cDovL29jc3AudXNlcnRydXN0LmNvbTAN BgkqhkiG9w0BAQwFAAOCAgEACgVOew2PHxM5AP1v7GLGw+3tF6rjAcx43D9Hl110Q+BABABg lkrPkES/VyMZsfuds8fcDGvGE3o5UfjSno4sij0xdKut8zMazv8/4VMKPCA3EUS0tDUoL01u gDdqwlyXuYizeXyH2ICAQfXMtS+raz7mf741CZvO50OxMUMxqljeRfVPDJQJNHOYi2pxuxgj KDYx4hdZ9G2o+oLlHhu5+anMDkE8g0tffjRKn8I1D1BmrDdWR/IdbBOj6870abYvqys1qYlP otv5N5dm+XxQ8vlrvY7+kfQaAYeO3rP1DM8BGdpEqyFVa+I0rpJPhaZkeWW7cImDQFerHW9b KzBrCC815a3WrEhNpxh72ZJZNs1HYJ+29NTB6uu4NJjaMxpk+g2puNSm4b9uVjBbPO9V6sFS G+IBqE9ckX/1XjzJtY8Grqoo4SiRb6zcHhp3mxj3oqWi8SKNohAOKnUc7RIP6ss1hqIFyv0x XZor4N9tnzD0Fo0JDIURjDPEgo5WTdti/MdGTmKFQNqxyZuT9uSI2Xvhz8p+4pCYkiZqpahZ lHqMFxdw9XRZQgrP+cgtOkWEaiNkRBbvtvLdp7MCL2OsQhQEdEbUvDM9slzZXdI7NjJokVBq 3O4pls3VD2z3L/bHVBe0rBERjyM2C/HSIh84rfmAqBgklzIOqXhd+4RzadUwggdEMIIFLKAD AgECAhEA7oSXDd0KDjAwJRM7wCVCJTANBgkqhkiG9w0BAQwFADBGMQswCQYDVQQGEwJOTDEZ MBcGA1UEChMQR0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0Eg NDAeFw0yNDExMjgwMDAwMDBaFw0yNjExMjgyMzU5NTlaMIG7MQswCQYDVQQGEwJERTEPMA0G A1UECBMGQmVybGluMSIwIAYDVQQKDBlGcmVpZSBVbml2ZXJzaXTDpHQgQmVybGluMREwDwYD VQRhEwhHT1ZERStCRTEmMCQGCSqGSIb3DQEJARYXbXVsemVyQGluZi5mdS1iZXJsaW4uZGUx DzANBgNVBAQTBk11bHplcjERMA8GA1UEKhMIV29sZmdhbmcxGDAWBgNVBAMTD1dvbGZnYW5n IE11bHplcjCCAiIwDQYJKoZIhvcNAQEBBQADggIPADCCAgoCggIBAJiDThz1imCiCk7tQEZY grLnO0hpS8gjXsJ1pSXejIN4RkuM49TDU7SnUgdXFby0kK4x6SWHiGA0umi0FqZAZm7w8SHi sZ1T79L5xWGJ5zLOLRTfd8c96s0MDQ8uJIDuIhUTaAbnI62GM5AvJvOoul1nDWR3s9tKOt9M jAKZvrwnbUhGfI1VcOHqOsTWMqebPd73bjiQf/0pNg4+fPOEIMspQtE6sCM934U3kRnWquZ8 LRDYcWLfjUpmC6/RhN4q7ictQfgjaeuHan25wGiUFsZwRkregy8vn6OunR17PxnbkA05ysbv Q6Ee8AZuProAgEaOCM179KGzeG1r6Zz0BKEtZBT+CGqvB5E0OvSWYiZg7lO5HIUHBzSuxqJ4 51hs57/PfYRqDegYT9s6oSYqCsI5NbgrJtHs86uNEV+E3vD/O+N4dJviGhSc0ZIjxl3TLd7Z /Omw2jHN7b9zf4Ej9ZWs5Yr6nWA2UbnDdIlnaMDo9pEt07bVdRvfq5OeO5HtJ2yGoEy0a2/X Tuiv/IxADaYWHXURvRr2n3T6Hj4z/gPdi3zTh/vlIkfZiC5FRCcfA43iWpOVeWG7intPqWX1 1QFBuML8gYVsp9nxKvPNhud+jiDMhfPfYEfm2n0G8VdTFyK5KKef88BPRfC76XVLRvQKxrLs /5sEhPM0sRyGwtLXAgMBAAGjggG1MIIBsTAfBgNVHSMEGDAWgBRpAKHHIVj44MUbILAK3adR vxPZ5DAdBgNVHQ4EFgQUyPIpOGpenGfj8nivvnyRHrw+Ds8wDgYDVR0PAQH/BAQDAgWgMAwG A1UdEwEB/wQCMAAwHQYDVR0lBBYwFAYIKwYBBQUHAwQGCCsGAQUFBwMCMFAGA1UdIARJMEcw OgYMKwYBBAGyMQECAQoEMCowKAYIKwYBBQUHAgEWHGh0dHBzOi8vc2VjdGlnby5jb20vU01J TUVDUFMwCQYHZ4EMAQUDAjBCBgNVHR8EOzA5MDegNaAzhjFodHRwOi8vR0VBTlQuY3JsLnNl Y3RpZ28uY29tL0dFQU5UUGVyc29uYWxDQTQuY3JsMHgGCCsGAQUFBwEBBGwwajA9BggrBgEF BQcwAoYxaHR0cDovL0dFQU5ULmNydC5zZWN0aWdvLmNvbS9HRUFOVFBlcnNvbmFsQ0E0LmNy dDApBggrBgEFBQcwAYYdaHR0cDovL0dFQU5ULm9jc3Auc2VjdGlnby5jb20wIgYDVR0RBBsw GYEXbXVsemVyQGluZi5mdS1iZXJsaW4uZGUwDQYJKoZIhvcNAQEMBQADggIBAAgblgWwIlyg 7t6TW874H0JBPhGHjDeHrUNwnFb/fZFDRk/wbQM963NWdhp4XgjBWeGBotkhaQC2lW69jBrV kJt1b9Sl1BGvJzbVt5lhUvNBkHggY3ah0QLyx57U8f/TKtPF27eH9ea31PVq6UJmlBGE2KEI gxBHabViVs4U6e6dJjr9HP6kXezYDKpZYFYCFTztFtI6HofOzc7XAdvRgpG8xiaKU1lrJUaH VgbSpJbE1nBdAOUnKJmk+6tvGHfJhzcJnW2vTEidyUS/lj6lcZCbIA6JSnaiXWVsVCaFVe0u cHpRnB4R5s+APc3beMVptEPkeZxyUi785aqo8EZoZC2x50J2fwj5szMXTxEsIXGGx1lxDZ5X Uj9znX47pfFkYnhX5KgY4iW6pnPAy/+wyKnxhbWO3L5STBuRcOdeTpLn/lXAy8+WcMG0wEcx VVvln7P/uwqhNEBCRYamqhiZlLoj1ubhJ61UUWYW84JDHIdnhX31U3s9KDTcAq9karIYjuwb DZIpsZNR7Q+iNQgSfGhdqFzdKGV8a9b2a3EoE5JW/yrHwseDrbHQ4oF65K1uUZjuO4wu/wB3 L2IZ67jPGXytFfGM1mPCDU5dv/mJlXGLm6K0ZP7Oj2wSCOCSDfHfpXWDx6SWhVS4AEd8UVo+ R/917VyWp3OTDRT8G3uGIfWdMYIFSDCCBUQCAQEwWzBGMQswCQYDVQQGEwJOTDEZMBcGA1UE ChMQR0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIRAO6E lw3dCg4wMCUTO8AlQiUwDQYJYIZIAWUDBAIDBQCgggK+MBgGCSqGSIb3DQEJAzELBgkqhkiG 9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTI1MDQxNTA5NDUzN1owTwYJKoZIhvcNAQkEMUIEQFys +cSDS3F4ebcMYwzoDcZvUc1QUNfLE/hBiaZwO0E1iPbdx65mkq61HlR+6meD1zs018iNDoHu K7Vh9776/CIwagYJKwYBBAGCNxAEMV0wWzBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VB TlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIRAO6Elw3dCg4w MCUTO8AlQiUwbAYLKoZIhvcNAQkQAgsxXaBbMEYxCzAJBgNVBAYTAk5MMRkwFwYDVQQKExBH RUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQDExNHRUFOVCBQZXJzb25hbCBDQSA0AhEA7oSXDd0K DjAwJRM7wCVCJTCCAVcGCSqGSIb3DQEJDzGCAUgwggFEMAsGCWCGSAFlAwQBKjALBglghkgB ZQMEAQIwCgYIKoZIhvcNAwcwDQYIKoZIhvcNAwICAQUwDQYIKoZIhvcNAwICAQUwBwYFKw4D AgcwDQYIKoZIhvcNAwICAQUwBwYFKw4DAhowCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQCAjAL BglghkgBZQMEAgMwCwYJYIZIAWUDBAIEMAsGCWCGSAFlAwQCBzALBglghkgBZQMEAggwCwYJ YIZIAWUDBAIJMAsGCWCGSAFlAwQCCjALBgkqhkiG9w0BAQEwCwYJK4EFEIZIPwACMAgGBiuB BAELADAIBgYrgQQBCwEwCAYGK4EEAQsCMAgGBiuBBAELAzALBgkrgQUQhkg/AAMwCAYGK4EE AQ4AMAgGBiuBBAEOATAIBgYrgQQBDgIwCAYGK4EEAQ4DMA0GCSqGSIb3DQEBAQUABIICAExB DBfaz13dWjDEOnxxF9hC0bD7A5CzYqXVe15+Wk5JMVWur2L0ctjkTM2agOofxurEFjzB+Wwq X227hACRITRMtDUR/f7fZkYBQtO+EcZKC6N7H4wSy/Fsw+tPvj3o7RgHTcaFBae1skpLPBWy uK+AbinDTy+J+eRmdo/uutf5d3eyvWJlYRn+Gd0fTxGcOBOeOxzmJdNtHlkCspHV9S34T2E3 sV6ODfTdTflV5PSpJkMeuTLWgRHn49tsyOwKQrIPtzSoag3aJiLnWQXynpmYtRLiHJwngiUJ EbNeNpHumkyBY1ZhqXeaEFVPpjoxA8QSGmXRtqiQfcxZuNNKn3tGSC2H2A4j/9i31+ShV/ir Mq7ts0zjMttYyyD0HhGVwx/D9zqtPWAZWtrPu3O3Bfm0JctbfCU9s/UtZxwuhc46lOfCjmWp YkZv8tzNPKQWMCMKVrLFlIUv7Fasby9SylJFni+hnTFxF6zwIl8czFnlXN6V+/gxrPGqJxY9 viQaLcqqYWwZ7g3tNDeVRvgFE3aDslbD1a/F/1ucXcFi/iTdHty0gEPrqMapCVKJdKDDdS2N L6rUZm5k7pZGl59nG9jtwaLck6vmb0wVqt4NA5OSSaPeGQNsiK3ZQW6dxT0VWwrGTAy+O+9o yG5fTPB+Lf3zOFN+ebNs2c2BE5Ud2jdMAAAAAAAA --------------ms040105000605000504050509-- From rote@zedat.fu-berlin.de Tue Apr 15 20:16:33 2025 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1u4kpl-00000000ard-23yQ; Tue, 15 Apr 2025 20:16:33 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type:In-Reply-To :References:To:From:Subject:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=aCf+umPEMaU2siZgDYayp2SJOWkGOOCrfSx3g8cSxxo=; t=1744740993; x=1745345793; b=F84p2hd7wZPGiXF7GzbHxtz7Q/oYFT9YwZLmcxSorKxl6VyOKfMwCI0K1vbDGAMb1ET5tNkgzRq YoXSlal9LWE398EGq5kZipUUVKLkOY9VsBOmo7pIzIqObtpVe4kz/oPnWf3AXdpOFsnJ6DCld6ZME k9taS054kZXkRXN6/AX0Elxh42Z8pjUCj0TjXYTjZ2HvRVFVPluv7+mMydzr+mA4EBIr9AcIYtYV8 DrTXgSb4FUmGip83tBefewfYhN4mgDQb/k8p1ZuykIfZKZahs1gqya6QyYLdQdRzyz09bW8AXg20r 65ktoLe9L+jhZdUD1FhxkVRMa6pq2j0Esc2w==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1u4kpl-0000000056z-1o9A; Tue, 15 Apr 2025 20:16:33 +0200 Received: from i59f7abe4.versanet.de ([89.247.171.228] helo=[192.168.178.20]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1u4kpl-00000002SFt-139D; Tue, 15 Apr 2025 20:16:33 +0200 Message-ID: Date: Tue, 15 Apr 2025 20:16:28 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: =?UTF-8?Q?G=C3=BCnter_Rote?= To: agti-Mittagsseminar@lists.fu-berlin.de References: <6621f36d-d040-4b10-8daf-ab9139c8a6a3@inf.fu-berlin.de> Content-Language: en-US In-Reply-To: <6621f36d-d040-4b10-8daf-ab9139c8a6a3@inf.fu-berlin.de> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Original-Sender: rote@inf.fu-berlin.de X-Originating-IP: 89.247.171.228 X-ZEDAT-Hint: PO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1744740993-BB3F7E02-77001093/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,RCVD_IN_DNSWL_BLOCKED X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Donnerstag, 17. 4. 2025 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.29 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Apr 2025 18:16:34 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 17. April 2025, 12:00 Uhr, SR 055, Takustraße 9 Günter Rote zum Thema: Finding a shortest curve that separates few objects from many Am 20.03.24 um 21:00 schrieb Günter Rote: > Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin > spricht am > >     Donnerstag, 21. März 2024, 12:00 Uhr, SR 051, Takustraße 9 >     Günter Rote >     zum Thema: Separating k objects from n-k