From jonas.cleve@fu-berlin.de Tue Oct 01 11:57:19 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iFEuF-003ICY-1X>; Tue, 01 Oct 2019 11:57:19 +0200 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iFEuE-00373Y-VK>; Tue, 01 Oct 2019 11:57:18 +0200 Received: from torus.imp.fu-berlin.de ([160.45.40.207]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iFEuE-002Exx-Q1>; Tue, 01 Oct 2019 11:57:18 +0200 To: "agti-Mittagsseminar@lists.fu-berlin.de" From: Jonas Cleve Openpgp: preference=signencrypt Autocrypt: addr=jonas.cleve@fu-berlin.de; prefer-encrypt=mutual; keydata= mQINBFxA2cABEADozOVkWSBLWkvWMh3udQuVlxJMciR2uYQeHixKbZ4H10P+6rXcQZ0/ehkM EesBg6ak4G4zJg1xXzCJJTPOpB3StskXmhZbDkiXOszqtMnGbdaiVmf3aI7nGcoL94YkYj23 Vh+8lMdALmQh29olxfRGWZwjrDu1IEd44uonlRIXY3hFYoULUHjvoGE5hN+hcqqELfHWospH FcKAucH3gHefs25acrqiLN6TT2GWX8ptKRmykXnMbkIUHlGCDdsRwum0WbES9r9wnKl0YOKa sOhyngWyC3WEdaWPtZC5NowxyvRHhPsOVNmEyI2GkkX1o4URkr+DUvmjooaxKWPHx4TAPzrE ChF5Oee1TcFWtaXiIQ0V9JFQK3uPvkDxPA6KuZHQXj4KncMrhcrkrIjJn2fiUXk/jRGz4fYc aXhhU0xAhMCOlCVjVog31ui9aN5BsTN2C0mRzqkjqhr54mOghiTQCWc6W5EY2FjIEVRJkcA5 ALgL5jx/IQBIObt+uk/DMgEANmg32KgPpurF85ER/e4zQTV9fDBGX3PSGTBFuLqEHwSAlOG+ Lu9bJnjW6kG2wK+ohf+Shx4g3M3neTBy67SVrgWPwyPnU6HmlfAVv3xgY+bPqQnD06BpiLRU sQP8lK7QD4P5XiN7ZmEwpOWgUg0SZ+mMUJKBJqRMnole5NlTjQARAQABtCZKb25hcyBDbGV2 ZSA8am9uYXMuY2xldmVAZnUtYmVybGluLmRlPokCVAQTAQoAPgIbAQUJAeEzgAULCQgHAwUV CgkICwUWAgMBAAIeAQIXgBYhBJUTyjyJkHddPln9gsFsXE2lDZR8BQJcQPgtAAoJEMFsXE2l DZR8oPIQAJGgFxgentlv6vyYZ9x7KnlGN/G/WQyF33zwKjWfVFjtrSY5/K1l+ChkUgn5mbLo 05zWp6ua2HfWyvnCWHkwGzez4+lLdRNpJb7j2mKRZOiDgQWXeO3aa/K7CAvkF+MLTYSlqYKC F4P5w1uZINQqS/4r2E1OQiu5agyPLslNOMXq6u8dnkSQn6mHq+p6UQhVzueQNWFUnMyoMBdY 12HgFtdRkJ0we2GQqB+RvWwQLz+GpCLNCa7DdAAp6QdvOeC1fsOwAUqNelqfXOQRFNEHmkxY 4IrVBiC6GaW/NxqPyaSdVjzDTUlRKo4Faqnba0Jt0sXQxa6Eyl6EsN3FmuADD/VRdnZ+UY4B dXDIM/9XBSly2PmXr1QkCorfRg54xSJjUMfn56HKcVRyiGamrm3IUaWt38/dJq1jL7Ue/N9R KGBLR26ChJNJx97Dl1wK6hTaHTf2rEgSVktxafUxb38UMVGUbqVK4In80SI6kSAEWQ8pqAXj LQZktGxann9ODCnzPrRNhgsuL6APbiDMLfUxm6nVlwdxNDFPsfSLawUzlLbUCukNrh5gdD/g qiYUb8MaK+/Ph9nAPKKC2RPNJwNiurHro+Sr7ECFOFWtwRP35KxskafHjhULy5/pVU1aGlPK /h3MoM8xXr1zwpjTe0XVmVwErYwQSCWnHvj9UV3FAqYmuQINBFxDphcBEADX3MdbeuRrNKB/ fTvxDo+Y+TPK6oG2pHsrwudpjTEvRIa5LQHp8IPZbhCmQi52r3r8dhdux1tR24IA24YuUPTX eVEqpQkFMjFCOEj1PRIBQN584yTYEzwPvHlN7odImaNQCZNY1djKdfY01zGR4GIKCbxxXZVM YH9LAtP+i/3GIv9YRwXMJxOFy2yHDBEgq+85XGzbu+CF8wLn7HKsOjHGJwauHJaMfV6Yv4ga sv8GmRAQKj7OHPXJkJAbGjXefNWbK4e9a07iALgySEsDmnLYXWeSt67G+9yOtHFqZCekO7I7 2F07c+DzeNQt2eJ5kjuzEmaNZ7/LJjhh1VMNLej4nh5LIldQnX0Q+10SKl1E3MemEECu6uPt +v+ay9aEb2Uk6/59mrWK04YhllDi3LOrUECTDA5YUgsKx/GqnJizAv35Qi30VAi27pHwoaBd 472f9XdTz9BNKwyE2JDvnnUi3BCJcUh0PGaHo/Ea+4KkBjkr+wUMbFOC7qIzjd96qN0KcUzd 20apfKeDd7kdR2eHpamBmytk14ocBH4kE7WD7yDY6ziorPcAU98bVnYeloKNzSb5oRMWWxZD iRYF/NIqlRFd6X+btAGoYJ5casipz8PsH0DnoQRK7G8+8+4R8iLlr1NsVmHtsDVpfQ2UGkIl edN+5lObsVrWtq1pKiUHxwARAQABiQRyBBgBCgAmFiEElRPKPImQd10+Wf2CwWxcTaUNlHwF AlxDphcCGwIFCQHhM4ACQAkQwWxcTaUNlHzBdCAEGQEKAB0WIQRAoqlXyO/6XvUWF2fZgy1z 2bnG1wUCXEOmFwAKCRDZgy1z2bnG15dED/9e+cb1GO2dc/YyOxYEeVpi+Ybr9DWeRDi/85LT yZYcGxKtffoQov0/S6y+sPihFz54E3T1ptc5IpGE6dCK1zwcP/noYlu45NsqxB7AtfHl/Yvw wGcy8F4qXGh8pK6kU9Y6OfI46FH3LD1hO/fsb6V6EMUbu1GFHwOEpeRwYRnewcOht8mpNNKI yVYyYk0yMedSJ3vjkBUSJbJsdSatGc/Rdi3SxydWFpce+NIcDPUScF4oYgRTnDHUjybUTAT9 ZYhfOxDEyentQTF2Z42dNRNGMRF/TeDLf3CUqdr06YgM1Zk6QkR8U81rV/OTy7Cq/xklg3q2 8FMCK8ntRPVTuuKwMUTb2Fzwq5Cxwtu/j9yXu3dWMuhpnrgUz9FTnGOc2plUxgTY6r1/bcSV L5GKIZc/AEBU8lthH9dmRsbtN5ap3Jl/zofwsu0JLGnY3ZltBpAS1d1/cgCVsxGrRgz5TOR0 ydJkDw80sGejs8Ac80Tw4IQ+YXk/pttj378n9QEahBYQLevcVYan9l8vsvABVQt98ZytdBGa nk0r+oxcNCjRkHFT4vu2q8UfjQm/ZnbNHlUUS+zgFPIFiFnq39WIXsp/cMq/y1t6MKg02BnL 7NEirDtkfO59pTsZ0cNdJHagbgkmViPsWd13/993JLLiH1voUZYUtv7piZPDfcW0KOXXZwFZ D/9yo+9FAISPGHg33DWkvj6MdU36M2xL2P5qGJEeJLOefiIFThpJWt37roh7kEQsCxStY773 0vAWTprUkiAP6/IfYr/VLU+ivVix3dX+M6qqst/0R+hThhVXCrjNWGSkXP8hfXnLD75ljbxj 3RkgNf2MH0zfGGtf23dK0WLTp8bhDp1qaIiGnGoWNx282M5kS4Dd2e5QlH4I6z4BnjhE+N5w VVNfGTkekj7WNEzxljIghrkg0e7XmzDZTbqRpxbBvlPRywPp+zu7b+MOFDn+rvQxvFGwr+Sh 9d7t3ZaNavziZpRu7CTEvyqYzWz1GjKWCh+6z3hp7FLbok0wLkJoXiwEIgIH7fg+PGYwBTOx b+dsDE+YZOUReINz+wtxE3LXM4lcXd4AOxIzpKkGWgqibun10bobSFOzQrX694G0+fK94Eov dSHQ0qRKu5KmcFFz3N3ouV7T6urLY6gU249GNr61quPo0sNbFbGeHHb1S3Xd/sh/+jPV8ct9 Dy2PLlrIwn/MF+cSwp0GlqOmXw1S9m3cV8cbvA1HOhPg/fBTrtxe0jxdAaHdztj6Q3+CiWi0 Qbdlaki1UE7NSbZUZqD8hXa4YN/dno99dWBm5Jsw84E6Pdy0rlHrSPk1kf1dXfmVuX+3A9Z7 ZnoGTVGrnFZXUo/UZO2HtklQnkk2mQd0xmB1lbkCDQRcQ6ZlARAAn1bAJqmj32rmvWYXXi8N NlOfOB6aH4ZtIV4xWCLbOAWhXO1BF6AhmDuQ95OecMjQi1cDxYcGMs4UnbqbHOB9SWQoG3Te zzC8rHGLSIsp8FWj1ZfRWFFhxpGTdmFtr3Sr98jMbF2EuD5kBJf2+o1yO8x2UF2lrWC/KEX1 bHR8BoYFjIdd9PqtcKeUsP0vhhDQqVlAmpaceiPSOAnAT2AVzCPpm7ViVm2sMxEJMWh4bIqV O4xbsnY56xHcbUDAKmmebnZriC9hPSX5yxlIv5oYK9et+g7SsFROcoLNIerYBbMMfHAztvHR iZRwh+rpwU4hePrihS5MQU8g8OhFgjkCXJxJuPQz25Pw6ioTLS84MMCN/1RxmaJ890MMdmMI w7iatfBZ2XkUZcS8gCYrgn8sgatbJfOiU1m9zUp4+TXZGcIuPe/0x4Zf2PRYYwSl+jbU4n06 8dycKIw2siwiB9WlT8GEvW/ul3lr2uDWf7SDZ88M/EUGPYFfcf6KtAo/Q5G7eRi0ej5wJpTO ECzVj2FM0uwyz4xcTth23U4gmlHyMqmmOYKiNwHa5y4V0ioLfhdMBLmgJI0lfykQ4b3u6ofA Yx9ZjeInKn3GbA3uAzbo93WrgTpFwj50SmeMHhTuew4T3+Z07ChO4zDh6hFl363jzu5WvYUY lLyxwd9mB6A9boUAEQEAAYkCPAQYAQoAJhYhBJUTyjyJkHddPln9gsFsXE2lDZR8BQJcQ6Zl AhsMBQkB4TOAAAoJEMFsXE2lDZR8SbcQAK+QD53exc73TaAs1uMSzQxl7+pmO603pMTAwQ8w HE++lkJnHYWRvGxvn08wauLgTM6gWUoOvmvjo+dpiTQ3lWPLGJ4/8EQVYiGJYEpVKzHBVOyO R2mkFp6YZYaBgoqVFsUVf6JmcQkD5MlpfYbvHXxWxtcBDS6b2GEdrffPNBJTD7bcVHSTu66h DBa2E+PQl09Iyo7m6JVl/J5J8ocPjO8ue7lTtvO/oxgqrkVpOc5F1Fs/MJaRvIhjK/55VnG1 OsV/IdNwkhs4vMGXWs2/JgtL/5C9xgkBC4JvZN+WbP5nYpASlI7osRy449njzhGCO0BTSJ3Q NM+NIEgt2MZeHOFnKhhVNEEMbMkFye5gLJMX/tSE5WrQJHsKDOxPwHROO8oovA8ZpuPwqOrV m8j6284mR67At0mWXgpKMRE7pu/KzY5R+cfoiy7jVf47TbHLBZ8xzpcOMGmWtBXU+Tpa6k+H 1f1XDQxtaJpdqx4j95TKMAxL8J/ltP1gUJ4hg5YkBexqvgLcZzl1Y2TFP+gBBm/ZjD8r8aSf at9a8d5YgQgXFbBhbRd/Nn24hKRKMqnt84X1xCk3i+vhfiKZKzi0ju4FI30yFm1eLz+tidDj KdCA6IeYkaE8KgoPLfI2J9iTCa1SjAcU24KMm06+bqbkAUBIVq4C5Uttakfq+9QJIPwq Message-ID: <45eaa86f-cea1-b2bc-2bcc-35ac7c26c38a@fu-berlin.de> Date: Tue, 1 Oct 2019 11:57:18 +0200 MIME-Version: 1.0 Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-256; boundary="------------ms050609080905090002000004" X-Originating-IP: 160.45.40.207 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1569923839-0008395A-D89416B9/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000003, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Today in the coffe break: Hebrew alphabet biscuit 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 Oct 2019 09:57:19 -0000 This is a cryptographically signed message in MIME format. --------------ms050609080905090002000004 Content-Type: text/plain; charset=utf-8 Content-Language: de-DE Content-Transfer-Encoding: quoted-printable --------------ms050609080905090002000004 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCC ESUwggUSMIID+qADAgECAgkA4wvV+K8l2YEwDQYJKoZIhvcNAQELBQAwgYIxCzAJBgNVBAYT AkRFMSswKQYDVQQKDCJULVN5c3RlbXMgRW50ZXJwcmlzZSBTZXJ2aWNlcyBHbWJIMR8wHQYD VQQLDBZULVN5c3RlbXMgVHJ1c3QgQ2VudGVyMSUwIwYDVQQDDBxULVRlbGVTZWMgR2xvYmFs Um9vdCBDbGFzcyAyMB4XDTE2MDIyMjEzMzgyMloXDTMxMDIyMjIzNTk1OVowgZUxCzAJBgNV BAYTAkRFMUUwQwYDVQQKEzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVu IEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERG Ti1WZXJlaW4gQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkgMjCCASIwDQYJKoZIhvcNAQEBBQAD ggEPADCCAQoCggEBAMtg1/9moUHN0vqHl4pzq5lN6mc5WqFggEcVToyVsuXPztNXS43O+FZs FVV2B+pG/cgDRWM+cNSrVICxI5y+NyipCf8FXRgPxJiZN7Mg9mZ4F4fCnQ7MSjLnFp2uDo0p eQcAIFTcFV9Kltd4tjTTwXS1nem/wHdN6r1ZB+BaL2w8pQDcNb1lDY9/Mm3yWmpLYgHurDg0 WUU2SQXaeMpqbVvAgWsRzNI8qIv4cRrKO+KA3Ra0Z3qLNupOkSk9s1FcragMvp0049ENF4N1 xDkesJQLEvHVaY4l9Lg9K7/AjsMeO6W/VRCrKq4Xl14zzsjz9AkH4wKGMUZrAcUQDBHHWekC AwEAAaOCAXQwggFwMA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUk+PYMiba1fFKpZFK4OpL 4qIMz+EwHwYDVR0jBBgwFoAUv1kgNgB5oKAia4zV8mHSuCzLgkowEgYDVR0TAQH/BAgwBgEB /wIBAjAzBgNVHSAELDAqMA8GDSsGAQQBga0hgiwBAQQwDQYLKwYBBAGBrSGCLB4wCAYGZ4EM AQICMEwGA1UdHwRFMEMwQaA/oD2GO2h0dHA6Ly9wa2kwMzM2LnRlbGVzZWMuZGUvcmwvVGVs ZVNlY19HbG9iYWxSb290X0NsYXNzXzIuY3JsMIGGBggrBgEFBQcBAQR6MHgwLAYIKwYBBQUH MAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMEgGCCsGAQUFBzAChjxodHRw Oi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9UZWxlU2VjX0dsb2JhbFJvb3RfQ2xhc3NfMi5j ZXIwDQYJKoZIhvcNAQELBQADggEBAIcL/z4Cm2XIVi3WO5qYi3FP2ropqiH5Ri71sqQPrhE4 eTizDnS6dl2e6BiClmLbTDPo3flq3zK9LExHYFV/53RrtCyD2HlrtrdNUAtmB7Xts5et6u5/ MOaZ/SLick0+hFvu+c+Z6n/XUjkurJgARH5pO7917tALOxrN5fcPImxHhPalR6D90Bo0fa3S PXez7vTXTf/D6OWST1k+kEcQSrCFWMBvf/iu7QhCnh7U3xQuTY+8npTD5+32GPg8SecmqKc2 2CzeIs2LgtjZeOJVEqM7h0S2EQvVDFKvaYwPBt/QolOLV5h7z/0HJPT8vcP9SpIClxvyt7bP ZYoaorVyGTkwggWsMIIElKADAgECAgcbY7rQHiw9MA0GCSqGSIb3DQEBCwUAMIGVMQswCQYD VQQGEwJERTFFMEMGA1UEChM8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hl biBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLEwdERk4tUEtJMS0wKwYDVQQDEyRE Rk4tVmVyZWluIENlcnRpZmljYXRpb24gQXV0aG9yaXR5IDIwHhcNMTYwNTI0MTEzODQwWhcN MzEwMjIyMjM1OTU5WjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQTCCASIw DQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAJ07eRxH3h+Gy8Zp1xCeOdfZojDbchwFfylf S2jxrRnWTOFrG7ELf6Gr4HuLi9gtzm6IOhDuV+UefwRRNuu6cG1joL6WLkDh0YNMZj0cZGnl m6Stcq5oOVGHecwX064vXWNxSzl660Knl5BpBb+Q/6RAcL0D57+eGIgfn5mITQ5HjUhfZZkQ 0tkqSe3BuS0dnxLLFdM/fx5ULzquk1enfnjK1UriGuXtQX1TX8izKvWKMKztFwUkP7agCwf9 TRqaA1KgNpzeJIdl5Of6x5ZzJBTN0OgbaJ4YWa52fvfRCng8h0uwN89Tyjo4EPPLR22MZD08 WkVKusqAfLjz56dMTM0CAwEAAaOCAgUwggIBMBIGA1UdEwEB/wQIMAYBAf8CAQEwDgYDVR0P AQH/BAQDAgEGMCkGA1UdIAQiMCAwDQYLKwYBBAGBrSGCLB4wDwYNKwYBBAGBrSGCLAEBBDAd BgNVHQ4EFgQUazqYi/nyU4na4K2yMh4JH+iqO3QwHwYDVR0jBBgwFoAUk+PYMiba1fFKpZFK 4OpL4qIMz+EwgY8GA1UdHwSBhzCBhDBAoD6gPIY6aHR0cDovL2NkcDEucGNhLmRmbi5kZS9n bG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDBAoD6gPIY6aHR0cDovL2NkcDIu cGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDCB3QYIKwYB BQUHAQEEgdAwgc0wMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBjYS5kZm4uZGUvT0NTUC1T ZXJ2ZXIvT0NTUDBKBggrBgEFBQcwAoY+aHR0cDovL2NkcDEucGNhLmRmbi5kZS9nbG9iYWwt cm9vdC1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSgYIKwYBBQUHMAKGPmh0dHA6Ly9j ZHAyLnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtZzItY2EvcHViL2NhY2VydC9jYWNlcnQuY3J0 MA0GCSqGSIb3DQEBCwUAA4IBAQCBeEWkTqR/DlXwCbFqPnjMaDWpHPOVnj/z+N9rOHeJLI21 rT7H8pTNoAauusyosa0zCLYkhmI2THhuUPDVbmCNT1IxQ5dGdfBi5G5mUcFCMWdQ5UnnOR7L n8qGSN4IFP8VSytmm6A4nwDO/afr0X9XLchMX9wQEZc+lgQCXISoKTlslPwQkgZ7nu7YRrQb tQMMONncsKk/cQYLsgMHM8KNSGMlJTx6e1du94oFOO+4oK4v9NsH1VuEGMGpuEvObJAaguS5 Pfp38dIfMwK/U+d2+dwmJUFvL6Yb+qQTkPp8ftkLYF3sv8pBoGH7EUkp2KgtdRXYShjqFu9V NCIaE40GMIIGWzCCBUOgAwIBAgIMHgWQ2iGOV/om8tNMMA0GCSqGSIb3DQEBCwUAMIGNMQsw CQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRz Y2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQD DBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBMB4XDTE3MTAxNzE0MjcyM1oXDTIwMTAx NjE0MjcyM1owgZkxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIDAZCZXJsaW4xDzANBgNVBAcMBkJl cmxpbjEiMCAGA1UECgwZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEuMCwGA1UECwwlRmFj aGJlcmVpY2ggTWF0aGVtYXRpayB1bmQgSW5mb3JtYXRpazEUMBIGA1UEAwwLSm9uYXMgQ2xl dmUwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQC7itn4NXAFRnw5MCWU9EwpYHll aK9ibookuOfb+D2d9G7p5rpQeG3vn7F/l8yybT6jGMLcZKf98cnBlz69eeTB3NAeM89xhQ1O VvJ1oV9jxpO0p2h4WYa/LaYUT5ycqCn+02g2rmZIdF8PvF6LCESgG8gMMTbUsWB0bwDRRQ90 A1Umgupo6mQVZJ2rO66GpCVu8I4NomHwqdi5pQn9AK6OXrFof4WzTQtoOAJA+06aoo+LqCJc Uw32Aq1pOqeAkWtNcvIWkwTYc/Z0sUeewu3/C8GnSyfcVO/cq6FRSd3U13D64OW1yTqG1qAu l35hH1nx06xQzuudkyAp+nefRUZXAgMBAAGjggKrMIICpzBABgNVHSAEOTA3MA8GDSsGAQQB ga0hgiwBAQQwEQYPKwYBBAGBrSGCLAEBBAMGMBEGDysGAQQBga0hgiwCAQQDBjAJBgNVHRME AjAAMA4GA1UdDwEB/wQEAwIF4DAdBgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYD VR0OBBYEFKKJTg9KTt2i4G5Pox5vKkLxyqRDMB8GA1UdIwQYMBaAFGs6mIv58lOJ2uCtsjIe CR/oqjt0MHsGA1UdEQR0MHKBGGpvbmFzLmNsZXZlQGZ1LWJlcmxpbi5kZYEdam9uYXNjbGV2 ZUB6ZWRhdC5mdS1iZXJsaW4uZGWBG2pvbmFzY2xldmVAaW5mLmZ1LWJlcmxpbi5kZYEaam9u YXNjbGV2ZUBtaS5mdS1iZXJsaW4uZGUwgY0GA1UdHwSBhTCBgjA/oD2gO4Y5aHR0cDovL2Nk cDEucGNhLmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jcmwvY2FjcmwuY3JsMD+gPaA7 hjlodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2Rmbi1jYS1nbG9iYWwtZzIvcHViL2NybC9jYWNy bC5jcmwwgdsGCCsGAQUFBwEBBIHOMIHLMDMGCCsGAQUFBzABhidodHRwOi8vb2NzcC5wY2Eu ZGZuLmRlL09DU1AtU2VydmVyL09DU1AwSQYIKwYBBQUHMAKGPWh0dHA6Ly9jZHAxLnBjYS5k Zm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSQYIKwYBBQUH MAKGPWh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9wdWIvY2FjZXJ0 L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBAB9BE4SdkR6KaCq2CbDrJwmN670ic75b u4OGrIZgcyKk5r6EF/a0btzE1xSZEcfJ7ijOc/KQckVdgpoffOgIvxOyBRHbAZSJnwDGcots JNMBStbf6D7QKus6c1+h22BVSg4cpuER0tzGpPC6IQnOWRDD+Oquw6Dzudw5LhXZ1zsVsiLi 6ZcnYHbdyXGeZNy8xy6GG1IAzJqxOQ8x8UCfvuxY9IByR8DNR2qUPJY+jw3AQtoWlVBsQiCf DRB27NHXJbZPYIMCvs21QOH/e/BbDv9RCCEGv0pmSNv5vhXYgnmiG9ZFQKkkYOTy48lj7Lgy 4UR/WhF5JjFO5SGLe4ZtQJ0xggQLMIIEBwIBATCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNV BAoMPFZlcmVpbiB6dXIgRm9lcmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25l dHplcyBlLiBWLjEQMA4GA1UECwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9i YWwgSXNzdWluZyBDQQIMHgWQ2iGOV/om8tNMMA0GCWCGSAFlAwQCAQUAoIICPTAYBgkqhkiG 9w0BCQMxCwYJKoZIhvcNAQcBMBwGCSqGSIb3DQEJBTEPFw0xOTEwMDEwOTU3MThaMC8GCSqG SIb3DQEJBDEiBCAIuToJQx7hGh/IZJe9ULfT9So5hQHKrklCzJ5SDRFCmTBsBgkqhkiG9w0B CQ8xXzBdMAsGCWCGSAFlAwQBKjALBglghkgBZQMEAQIwCgYIKoZIhvcNAwcwDgYIKoZIhvcN AwICAgCAMA0GCCqGSIb3DQMCAgFAMAcGBSsOAwIHMA0GCCqGSIb3DQMCAgEoMIGvBgkrBgEE AYI3EAQxgaEwgZ4wgY0xCzAJBgNVBAYTAkRFMUUwQwYDVQQKDDxWZXJlaW4genVyIEZvZXJk ZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsM B0RGTi1QS0kxJTAjBgNVBAMMHERGTi1WZXJlaW4gR2xvYmFsIElzc3VpbmcgQ0ECDB4FkNoh jlf6JvLTTDCBsQYLKoZIhvcNAQkQAgsxgaGggZ4wgY0xCzAJBgNVBAYTAkRFMUUwQwYDVQQK DDxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6 ZXMgZS4gVi4xEDAOBgNVBAsMB0RGTi1QS0kxJTAjBgNVBAMMHERGTi1WZXJlaW4gR2xvYmFs IElzc3VpbmcgQ0ECDB4FkNohjlf6JvLTTDANBgkqhkiG9w0BAQEFAASCAQBEMEQTk0BwqIkU 6xxfYMSpcwjkQmedRs5nFV4f+KnF5sgg2yd4sd/Z/DtcQq+0aazk0dbMB+yEZwe5YlUE17nx w3tbcKkYq3GpVzqldnVjRFGieiogE5HZ+K6YdQCkF4IjsbHUpKwLKpP9WiUHHqZYz2TKE0bJ x7vwnNFBs5x7xhFUA26rT53ppa7lYUOxCxMMC9Qc4P2Y3Yt3ILX80nQ4hLm/hVvh8J8aPly0 cnQjnqdbtAdNdWr4l95yMRTeULX5TGbnIpm0ppbFw1ihOvD5rqfDZQBLsTMhqGX7WCHUr7SV gHo5DvzHATp8VJgexuKiEJX5hGiNyZA8FTtYNAGLAAAAAAAA --------------ms050609080905090002000004-- From chiumk@zedat.fu-berlin.de Wed Oct 02 10:53:31 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iFaO3-000sUT-4N>; Wed, 02 Oct 2019 10:53:31 +0200 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iFaO3-001h7S-1p>; Wed, 02 Oct 2019 10:53:31 +0200 Received: from mail-lj1-f170.google.com ([209.85.208.170]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iFaO2-002Ajy-Re>; Wed, 02 Oct 2019 10:53:31 +0200 Received: by mail-lj1-f170.google.com with SMTP id q64so16235641ljb.12 for ; Wed, 02 Oct 2019 01:53:30 -0700 (PDT) X-Gm-Message-State: APjAAAUHNJCUdC/HipEHHJgH72MBDbrp8FG+p3Cdt8DE9bAvjn8zVU70 RhWu2BCEwSbiLUaqpYpI9U/cBRQ3Wn8hhWm365k= X-Google-Smtp-Source: APXvYqwryrTf2pA0BCvLDxPNscIxOiLIUlitmUhT6l9bkGuH2ozZHDunyNCuOfeuFvKUAz87Pvs36/lQb5HYpHsBTFc= X-Received: by 2002:a2e:9185:: with SMTP id f5mr1613876ljg.235.1570006410467; Wed, 02 Oct 2019 01:53:30 -0700 (PDT) MIME-Version: 1.0 From: Kenny Chiu Date: Wed, 2 Oct 2019 10:53:19 +0200 X-Gmail-Original-Message-ID: Message-ID: To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: multipart/alternative; boundary="0000000000006423940593e99a5a" X-Originating-IP: 209.85.208.170 X-ZEDAT-Hint: A X-purgate: clean.almost-empty X-purgate-type: clean.almost-empty X-purgate-ID: 151147::1570006411-00002AB0-51BB5306/14/0 X-Bogosity: Unsure, tests=bogofilter, spamicity=0.504464, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-48.5 required=5.0 tests=ALL_TRUSTED, FU_BOGO_UNSURE, HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2 X-Spam-Checker-Version: SpamAssassin 3.4.2 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] [ti] Today in the coffee break: something 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: Wed, 02 Oct 2019 08:53:31 -0000 --0000000000006423940593e99a5a Content-Type: text/plain; charset="UTF-8" --0000000000006423940593e99a5a Content-Type: text/html; charset="UTF-8"

--0000000000006423940593e99a5a-- From chiumk@zedat.fu-berlin.de Wed Oct 09 16:56:00 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iIDNf-003no7-JP>; Wed, 09 Oct 2019 16:56:00 +0200 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iIDNf-001FAM-Gt>; Wed, 09 Oct 2019 16:55:59 +0200 Received: from mail-lj1-f174.google.com ([209.85.208.174]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iIDNf-002zfU-3o>; Wed, 09 Oct 2019 16:55:59 +0200 Received: by mail-lj1-f174.google.com with SMTP id v24so2840831ljj.3 for ; Wed, 09 Oct 2019 07:55:59 -0700 (PDT) X-Gm-Message-State: APjAAAVu2QQ3C5I3H+QrT0gHLYiRmZdggvR66eBrSd51mI9atyFRw6Sw ldiqjgTOZJwO5E+hN3Lpglw8/dUtxqhsQfAVH48= X-Google-Smtp-Source: APXvYqz6rxuSw8zJagk3oIcq25SYlGYQrpmVm1QBD0jlgWhyk6+LsQDPwdBkMt9IFxoWS31tOwztXFteB329nJeNoNI= X-Received: by 2002:a2e:2bc8:: with SMTP id r69mr2700946ljr.147.1570632958727; Wed, 09 Oct 2019 07:55:58 -0700 (PDT) MIME-Version: 1.0 From: Kenny Chiu Date: Wed, 9 Oct 2019 16:55:47 +0200 X-Gmail-Original-Message-ID: Message-ID: To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: multipart/alternative; boundary="00000000000093db8905947b7b49" X-Originating-IP: 209.85.208.174 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1570632959-00089F30-D7D58CEE/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.420396, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2 X-Spam-Checker-Version: SpamAssassin 3.4.2 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] [ti] Mittagsseminar am 10.10.2019 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: Wed, 09 Oct 2019 14:56:00 -0000 --00000000000093db8905947b7b49 Content-Type: text/plain; charset="UTF-8" Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 10.10.2019, 12:00 Uhr, SR 055 Kenny Chiu zum Thema: Query-Points Visibility Constraint Minimum Link Path in Simple Polygons --00000000000093db8905947b7b49 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Im Rahmen des Mittagsseminars der
Theoretischen Informa= tik der FU Berlin
spricht am

=C2=A0 =C2=A0 Donnerstag, 10.10.2019= , 12:00 Uhr, SR 055

=C2=A0 =C2=A0 Kenny Chiu
=C2=A0 =C2=A0 zum Th= ema: Query-Points Visibility Constraint Minimum Link Path in Simple Polygon= s

--00000000000093db8905947b7b49-- From vbui@zedat.fu-berlin.de Mon Oct 14 14:18:15 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iJzIl-000Vq5-EX>; Mon, 14 Oct 2019 14:18:15 +0200 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iJzIl-00332R-C8>; Mon, 14 Oct 2019 14:18:15 +0200 Received: from webmail1.zedat.fu-berlin.de ([130.133.4.91] helo=webmail.zedat.fu-berlin.de) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iJzIl-003GU7-5V>; Mon, 14 Oct 2019 14:18:15 +0200 Received: from 160.45.40.222 (ZEDAT-Webmail authenticated user vbui) by webmail.zedat.fu-berlin.de with HTTP; Mon, 14 Oct 2019 14:18:15 +0200 Message-ID: <51876.160.45.40.222.1571055495.webmail@webmail.zedat.fu-berlin.de> Date: Mon, 14 Oct 2019 14:18:15 +0200 From: "Vuong Bui" To: agti-Mittagsseminar@lists.fu-berlin.de User-Agent: ZEDAT-Webmail MIME-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: 8bit X-Originating-IP: 130.133.4.91 X-ZEDAT-Hint: T X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1571055495-000CD8F7-FD6384EE/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.018634, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Kiribati.ZEDAT.FU-Berlin.DE X-Spam-Level: X-Mailman-Approved-At: Mon, 14 Oct 2019 17:09:53 +0200 Subject: [Mittagsseminar TI] [ti] Mittagsseminar am 15.10.2019 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: Mon, 14 Oct 2019 12:18:15 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 15.10.2019, 12:00 Uhr, SR 055 Vuong Bui zum Thema: Growth of Bilinear Maps From katharina.klost@fu-berlin.de Wed Oct 16 15:33:12 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iKjQN-001c3G-AL>; Wed, 16 Oct 2019 15:33:12 +0200 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iKjQN-000Llp-7n>; Wed, 16 Oct 2019 15:33:11 +0200 Received: from scheibe.imp.fu-berlin.de ([160.45.40.232]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iKjQM-0031nW-L0>; Wed, 16 Oct 2019 15:33:11 +0200 To: agti-Mittagsseminar@lists.fu-berlin.de From: Katharina Klost Message-ID: Date: Wed, 16 Oct 2019 15:33:10 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Content-Language: de-DE X-Originating-IP: 160.45.40.232 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1571232791-00050197-C4204380/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 17.10.2019 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: Wed, 16 Oct 2019 13:33:12 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 17.10.2019, 12:00 Uhr, SR 055 Katharina Klost zum Thema: Counting to Ten with Two Fingers From rote@inf.fu-berlin.de Mon Oct 21 22:30:20 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iMeJn-001RS0-LS>; Mon, 21 Oct 2019 22:30:19 +0200 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iMeJm-001T7M-RE>; Mon, 21 Oct 2019 22:30:18 +0200 Received: from dslb-178-012-040-218.178.012.pools.vodafone-ip.de ([178.12.40.218] helo=[192.168.178.44]) by inpost2.zedat.fu-berlin.de (Exim 4.85) with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iMeJm-003o3A-Kq>; Mon, 21 Oct 2019 22:30:18 +0200 To: agti-Mittagsseminar@lists.fu-berlin.de From: =?UTF-8?Q?G=c3=bcnter_Rote?= Message-ID: Date: Mon, 21 Oct 2019 22:30:14 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Originating-IP: 178.12.40.218 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1571689819-000DBBD5-1691508A/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Dienstag, 22. 10. und Donnerstag, 24. 10. 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: Mon, 21 Oct 2019 20:30:20 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 22. Oktober 2019, 12:00 Uhr, SR 055, Takustraße 9 Manfred Scheucher (TU Berlin) zum Thema: Using SAT Solvers in Combinatorics and Geometry (see below for the abstract) und am Donnerstag, 24. Oktober 2019, 12:00 Uhr, SR 055, Takustraße 9 Günter Rote zum Thema: Counting Pseudoline Arrangements ========================================= Zusammenfassung des Vortrags am Dienstag: We discuss how modern SAT solvers such as Minisat or Glucose can be used to tackle mathematical problems. We present some of our recent results on various problems to give the audience a better understanding, which problems might be tackled in this fashion, and which problems might not. Besides the naive SAT formulation also further ideas might be required to tackle certain problems - additional constraints (such as statements which hold "without loss of generality") might need to be added to the SAT model so that it becomes solvable in reasonable time. In particular, to tackle universal point sets for planar graphs, we present a sophisticated approach which combines the following four powerful tools: complete enumeration of order types, complete enumeration of (planar) graphs, SAT solvers, and IP solvers. Literature * K. Däubel, S. Jäger, T. Mütze, and M. Scheucher. On orthogonal symmetric chain decompositions. In Proc. EUROCOMB 2019. Full version to appear in the Electronic Journal of Combinatorics (EJC). [arXiv:1810.09847] * T. Mütze and M. Scheucher. On L-shaped Point Set Embeddings of Trees: First Non-embeddable Examples. In Proc. Graph Drawing 2018. [arXiv:1807.11043] * M. Scheucher. On Disjoint Holes in Point Sets. In Proc. EUROCOMB 2019. [arXiv:1807.10848] * M. Scheucher, H. Schrezenmaier, and R. Steiner. A Note On Universal Point Sets for Planar Graphs. In Proc. Graph Drawing 2019. [arXiv:1811.06482] From klemz@zedat.fu-berlin.de Tue Oct 29 10:33:41 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iPNsj-003Bdv-8T>; Tue, 29 Oct 2019 10:33:41 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iPNsj-001qJI-64>; Tue, 29 Oct 2019 10:33:41 +0100 Received: from webmail1.zedat.fu-berlin.de ([130.133.4.91] helo=webmail.zedat.fu-berlin.de) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iPNsi-003TkM-SV>; Tue, 29 Oct 2019 10:33:41 +0100 Received: from 160.45.46.58 (ZEDAT-Webmail authenticated user klemz) by webmail.zedat.fu-berlin.de with HTTP; Tue, 29 Oct 2019 10:33:40 +0100 Message-ID: <57214.160.45.46.58.1572341620.webmail@webmail.zedat.fu-berlin.de> Date: Tue, 29 Oct 2019 10:33:40 +0100 From: "Boris Klemz" To: agti-Mittagsseminar@lists.fu-berlin.de Reply-To: klemz@inf.fu-berlin.de User-Agent: ZEDAT-Webmail MIME-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: 8bit X-Originating-IP: 130.133.4.91 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1572341621-00088CB6-28E33351/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.027921, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 29. Oktober 2019 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, 29 Oct 2019 09:33:41 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 29.10.2019, 12:00 Uhr s.t., SR 055 Boris Klemz zum Thema: How to morph planar graph drawings (more efficiently) From jonas.cleve@fu-berlin.de Wed Oct 30 19:35:50 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iPsow-001rcK-9u>; Wed, 30 Oct 2019 19:35:50 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iPsow-001HzT-71>; Wed, 30 Oct 2019 19:35:50 +0100 Received: from torus.imp.fu-berlin.de ([160.45.40.207]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iPsov-000xCT-UK>; Wed, 30 Oct 2019 19:35:50 +0100 To: agti-Mittagsseminar@lists.fu-berlin.de From: Jonas Cleve Openpgp: preference=signencrypt Autocrypt: addr=jonas.cleve@fu-berlin.de; prefer-encrypt=mutual; keydata= mQINBFxA2cABEADozOVkWSBLWkvWMh3udQuVlxJMciR2uYQeHixKbZ4H10P+6rXcQZ0/ehkM EesBg6ak4G4zJg1xXzCJJTPOpB3StskXmhZbDkiXOszqtMnGbdaiVmf3aI7nGcoL94YkYj23 Vh+8lMdALmQh29olxfRGWZwjrDu1IEd44uonlRIXY3hFYoULUHjvoGE5hN+hcqqELfHWospH FcKAucH3gHefs25acrqiLN6TT2GWX8ptKRmykXnMbkIUHlGCDdsRwum0WbES9r9wnKl0YOKa sOhyngWyC3WEdaWPtZC5NowxyvRHhPsOVNmEyI2GkkX1o4URkr+DUvmjooaxKWPHx4TAPzrE ChF5Oee1TcFWtaXiIQ0V9JFQK3uPvkDxPA6KuZHQXj4KncMrhcrkrIjJn2fiUXk/jRGz4fYc aXhhU0xAhMCOlCVjVog31ui9aN5BsTN2C0mRzqkjqhr54mOghiTQCWc6W5EY2FjIEVRJkcA5 ALgL5jx/IQBIObt+uk/DMgEANmg32KgPpurF85ER/e4zQTV9fDBGX3PSGTBFuLqEHwSAlOG+ Lu9bJnjW6kG2wK+ohf+Shx4g3M3neTBy67SVrgWPwyPnU6HmlfAVv3xgY+bPqQnD06BpiLRU sQP8lK7QD4P5XiN7ZmEwpOWgUg0SZ+mMUJKBJqRMnole5NlTjQARAQABtCZKb25hcyBDbGV2 ZSA8am9uYXMuY2xldmVAZnUtYmVybGluLmRlPokCVAQTAQoAPgIbAQUJAeEzgAULCQgHAwUV CgkICwUWAgMBAAIeAQIXgBYhBJUTyjyJkHddPln9gsFsXE2lDZR8BQJcQPgtAAoJEMFsXE2l DZR8oPIQAJGgFxgentlv6vyYZ9x7KnlGN/G/WQyF33zwKjWfVFjtrSY5/K1l+ChkUgn5mbLo 05zWp6ua2HfWyvnCWHkwGzez4+lLdRNpJb7j2mKRZOiDgQWXeO3aa/K7CAvkF+MLTYSlqYKC F4P5w1uZINQqS/4r2E1OQiu5agyPLslNOMXq6u8dnkSQn6mHq+p6UQhVzueQNWFUnMyoMBdY 12HgFtdRkJ0we2GQqB+RvWwQLz+GpCLNCa7DdAAp6QdvOeC1fsOwAUqNelqfXOQRFNEHmkxY 4IrVBiC6GaW/NxqPyaSdVjzDTUlRKo4Faqnba0Jt0sXQxa6Eyl6EsN3FmuADD/VRdnZ+UY4B dXDIM/9XBSly2PmXr1QkCorfRg54xSJjUMfn56HKcVRyiGamrm3IUaWt38/dJq1jL7Ue/N9R KGBLR26ChJNJx97Dl1wK6hTaHTf2rEgSVktxafUxb38UMVGUbqVK4In80SI6kSAEWQ8pqAXj LQZktGxann9ODCnzPrRNhgsuL6APbiDMLfUxm6nVlwdxNDFPsfSLawUzlLbUCukNrh5gdD/g qiYUb8MaK+/Ph9nAPKKC2RPNJwNiurHro+Sr7ECFOFWtwRP35KxskafHjhULy5/pVU1aGlPK /h3MoM8xXr1zwpjTe0XVmVwErYwQSCWnHvj9UV3FAqYmuQINBFxDphcBEADX3MdbeuRrNKB/ fTvxDo+Y+TPK6oG2pHsrwudpjTEvRIa5LQHp8IPZbhCmQi52r3r8dhdux1tR24IA24YuUPTX eVEqpQkFMjFCOEj1PRIBQN584yTYEzwPvHlN7odImaNQCZNY1djKdfY01zGR4GIKCbxxXZVM YH9LAtP+i/3GIv9YRwXMJxOFy2yHDBEgq+85XGzbu+CF8wLn7HKsOjHGJwauHJaMfV6Yv4ga sv8GmRAQKj7OHPXJkJAbGjXefNWbK4e9a07iALgySEsDmnLYXWeSt67G+9yOtHFqZCekO7I7 2F07c+DzeNQt2eJ5kjuzEmaNZ7/LJjhh1VMNLej4nh5LIldQnX0Q+10SKl1E3MemEECu6uPt +v+ay9aEb2Uk6/59mrWK04YhllDi3LOrUECTDA5YUgsKx/GqnJizAv35Qi30VAi27pHwoaBd 472f9XdTz9BNKwyE2JDvnnUi3BCJcUh0PGaHo/Ea+4KkBjkr+wUMbFOC7qIzjd96qN0KcUzd 20apfKeDd7kdR2eHpamBmytk14ocBH4kE7WD7yDY6ziorPcAU98bVnYeloKNzSb5oRMWWxZD iRYF/NIqlRFd6X+btAGoYJ5casipz8PsH0DnoQRK7G8+8+4R8iLlr1NsVmHtsDVpfQ2UGkIl edN+5lObsVrWtq1pKiUHxwARAQABiQRyBBgBCgAmFiEElRPKPImQd10+Wf2CwWxcTaUNlHwF AlxDphcCGwIFCQHhM4ACQAkQwWxcTaUNlHzBdCAEGQEKAB0WIQRAoqlXyO/6XvUWF2fZgy1z 2bnG1wUCXEOmFwAKCRDZgy1z2bnG15dED/9e+cb1GO2dc/YyOxYEeVpi+Ybr9DWeRDi/85LT yZYcGxKtffoQov0/S6y+sPihFz54E3T1ptc5IpGE6dCK1zwcP/noYlu45NsqxB7AtfHl/Yvw wGcy8F4qXGh8pK6kU9Y6OfI46FH3LD1hO/fsb6V6EMUbu1GFHwOEpeRwYRnewcOht8mpNNKI yVYyYk0yMedSJ3vjkBUSJbJsdSatGc/Rdi3SxydWFpce+NIcDPUScF4oYgRTnDHUjybUTAT9 ZYhfOxDEyentQTF2Z42dNRNGMRF/TeDLf3CUqdr06YgM1Zk6QkR8U81rV/OTy7Cq/xklg3q2 8FMCK8ntRPVTuuKwMUTb2Fzwq5Cxwtu/j9yXu3dWMuhpnrgUz9FTnGOc2plUxgTY6r1/bcSV L5GKIZc/AEBU8lthH9dmRsbtN5ap3Jl/zofwsu0JLGnY3ZltBpAS1d1/cgCVsxGrRgz5TOR0 ydJkDw80sGejs8Ac80Tw4IQ+YXk/pttj378n9QEahBYQLevcVYan9l8vsvABVQt98ZytdBGa nk0r+oxcNCjRkHFT4vu2q8UfjQm/ZnbNHlUUS+zgFPIFiFnq39WIXsp/cMq/y1t6MKg02BnL 7NEirDtkfO59pTsZ0cNdJHagbgkmViPsWd13/993JLLiH1voUZYUtv7piZPDfcW0KOXXZwFZ D/9yo+9FAISPGHg33DWkvj6MdU36M2xL2P5qGJEeJLOefiIFThpJWt37roh7kEQsCxStY773 0vAWTprUkiAP6/IfYr/VLU+ivVix3dX+M6qqst/0R+hThhVXCrjNWGSkXP8hfXnLD75ljbxj 3RkgNf2MH0zfGGtf23dK0WLTp8bhDp1qaIiGnGoWNx282M5kS4Dd2e5QlH4I6z4BnjhE+N5w VVNfGTkekj7WNEzxljIghrkg0e7XmzDZTbqRpxbBvlPRywPp+zu7b+MOFDn+rvQxvFGwr+Sh 9d7t3ZaNavziZpRu7CTEvyqYzWz1GjKWCh+6z3hp7FLbok0wLkJoXiwEIgIH7fg+PGYwBTOx b+dsDE+YZOUReINz+wtxE3LXM4lcXd4AOxIzpKkGWgqibun10bobSFOzQrX694G0+fK94Eov dSHQ0qRKu5KmcFFz3N3ouV7T6urLY6gU249GNr61quPo0sNbFbGeHHb1S3Xd/sh/+jPV8ct9 Dy2PLlrIwn/MF+cSwp0GlqOmXw1S9m3cV8cbvA1HOhPg/fBTrtxe0jxdAaHdztj6Q3+CiWi0 Qbdlaki1UE7NSbZUZqD8hXa4YN/dno99dWBm5Jsw84E6Pdy0rlHrSPk1kf1dXfmVuX+3A9Z7 ZnoGTVGrnFZXUo/UZO2HtklQnkk2mQd0xmB1lbkCDQRcQ6ZlARAAn1bAJqmj32rmvWYXXi8N NlOfOB6aH4ZtIV4xWCLbOAWhXO1BF6AhmDuQ95OecMjQi1cDxYcGMs4UnbqbHOB9SWQoG3Te zzC8rHGLSIsp8FWj1ZfRWFFhxpGTdmFtr3Sr98jMbF2EuD5kBJf2+o1yO8x2UF2lrWC/KEX1 bHR8BoYFjIdd9PqtcKeUsP0vhhDQqVlAmpaceiPSOAnAT2AVzCPpm7ViVm2sMxEJMWh4bIqV O4xbsnY56xHcbUDAKmmebnZriC9hPSX5yxlIv5oYK9et+g7SsFROcoLNIerYBbMMfHAztvHR iZRwh+rpwU4hePrihS5MQU8g8OhFgjkCXJxJuPQz25Pw6ioTLS84MMCN/1RxmaJ890MMdmMI w7iatfBZ2XkUZcS8gCYrgn8sgatbJfOiU1m9zUp4+TXZGcIuPe/0x4Zf2PRYYwSl+jbU4n06 8dycKIw2siwiB9WlT8GEvW/ul3lr2uDWf7SDZ88M/EUGPYFfcf6KtAo/Q5G7eRi0ej5wJpTO ECzVj2FM0uwyz4xcTth23U4gmlHyMqmmOYKiNwHa5y4V0ioLfhdMBLmgJI0lfykQ4b3u6ofA Yx9ZjeInKn3GbA3uAzbo93WrgTpFwj50SmeMHhTuew4T3+Z07ChO4zDh6hFl363jzu5WvYUY lLyxwd9mB6A9boUAEQEAAYkCPAQYAQoAJhYhBJUTyjyJkHddPln9gsFsXE2lDZR8BQJcQ6Zl AhsMBQkB4TOAAAoJEMFsXE2lDZR8SbcQAK+QD53exc73TaAs1uMSzQxl7+pmO603pMTAwQ8w HE++lkJnHYWRvGxvn08wauLgTM6gWUoOvmvjo+dpiTQ3lWPLGJ4/8EQVYiGJYEpVKzHBVOyO R2mkFp6YZYaBgoqVFsUVf6JmcQkD5MlpfYbvHXxWxtcBDS6b2GEdrffPNBJTD7bcVHSTu66h DBa2E+PQl09Iyo7m6JVl/J5J8ocPjO8ue7lTtvO/oxgqrkVpOc5F1Fs/MJaRvIhjK/55VnG1 OsV/IdNwkhs4vMGXWs2/JgtL/5C9xgkBC4JvZN+WbP5nYpASlI7osRy449njzhGCO0BTSJ3Q NM+NIEgt2MZeHOFnKhhVNEEMbMkFye5gLJMX/tSE5WrQJHsKDOxPwHROO8oovA8ZpuPwqOrV m8j6284mR67At0mWXgpKMRE7pu/KzY5R+cfoiy7jVf47TbHLBZ8xzpcOMGmWtBXU+Tpa6k+H 1f1XDQxtaJpdqx4j95TKMAxL8J/ltP1gUJ4hg5YkBexqvgLcZzl1Y2TFP+gBBm/ZjD8r8aSf at9a8d5YgQgXFbBhbRd/Nn24hKRKMqnt84X1xCk3i+vhfiKZKzi0ju4FI30yFm1eLz+tidDj KdCA6IeYkaE8KgoPLfI2J9iTCa1SjAcU24KMm06+bqbkAUBIVq4C5Uttakfq+9QJIPwq Message-ID: Date: Wed, 30 Oct 2019 19:35:49 +0100 MIME-Version: 1.0 Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-256; boundary="------------ms010605090005020302060209" X-Originating-IP: 160.45.40.207 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1572460550-00003DE2-57BE7A79/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Kiribati.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 31. Oktober 2019 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: Wed, 30 Oct 2019 18:35:50 -0000 This is a cryptographically signed message in MIME format. --------------ms010605090005020302060209 Content-Type: text/plain; charset=utf-8 Content-Language: de-DE Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 31.10.2019, 12:00 Uhr s.t., SR 055 Jonas Cleve zum Thema: Approximate Near Neighbor for Curves --------------ms010605090005020302060209 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCC ESUwggUSMIID+qADAgECAgkA4wvV+K8l2YEwDQYJKoZIhvcNAQELBQAwgYIxCzAJBgNVBAYT AkRFMSswKQYDVQQKDCJULVN5c3RlbXMgRW50ZXJwcmlzZSBTZXJ2aWNlcyBHbWJIMR8wHQYD VQQLDBZULVN5c3RlbXMgVHJ1c3QgQ2VudGVyMSUwIwYDVQQDDBxULVRlbGVTZWMgR2xvYmFs Um9vdCBDbGFzcyAyMB4XDTE2MDIyMjEzMzgyMloXDTMxMDIyMjIzNTk1OVowgZUxCzAJBgNV BAYTAkRFMUUwQwYDVQQKEzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVu IEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERG Ti1WZXJlaW4gQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkgMjCCASIwDQYJKoZIhvcNAQEBBQAD ggEPADCCAQoCggEBAMtg1/9moUHN0vqHl4pzq5lN6mc5WqFggEcVToyVsuXPztNXS43O+FZs FVV2B+pG/cgDRWM+cNSrVICxI5y+NyipCf8FXRgPxJiZN7Mg9mZ4F4fCnQ7MSjLnFp2uDo0p eQcAIFTcFV9Kltd4tjTTwXS1nem/wHdN6r1ZB+BaL2w8pQDcNb1lDY9/Mm3yWmpLYgHurDg0 WUU2SQXaeMpqbVvAgWsRzNI8qIv4cRrKO+KA3Ra0Z3qLNupOkSk9s1FcragMvp0049ENF4N1 xDkesJQLEvHVaY4l9Lg9K7/AjsMeO6W/VRCrKq4Xl14zzsjz9AkH4wKGMUZrAcUQDBHHWekC AwEAAaOCAXQwggFwMA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUk+PYMiba1fFKpZFK4OpL 4qIMz+EwHwYDVR0jBBgwFoAUv1kgNgB5oKAia4zV8mHSuCzLgkowEgYDVR0TAQH/BAgwBgEB /wIBAjAzBgNVHSAELDAqMA8GDSsGAQQBga0hgiwBAQQwDQYLKwYBBAGBrSGCLB4wCAYGZ4EM AQICMEwGA1UdHwRFMEMwQaA/oD2GO2h0dHA6Ly9wa2kwMzM2LnRlbGVzZWMuZGUvcmwvVGVs ZVNlY19HbG9iYWxSb290X0NsYXNzXzIuY3JsMIGGBggrBgEFBQcBAQR6MHgwLAYIKwYBBQUH MAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMEgGCCsGAQUFBzAChjxodHRw Oi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9UZWxlU2VjX0dsb2JhbFJvb3RfQ2xhc3NfMi5j ZXIwDQYJKoZIhvcNAQELBQADggEBAIcL/z4Cm2XIVi3WO5qYi3FP2ropqiH5Ri71sqQPrhE4 eTizDnS6dl2e6BiClmLbTDPo3flq3zK9LExHYFV/53RrtCyD2HlrtrdNUAtmB7Xts5et6u5/ MOaZ/SLick0+hFvu+c+Z6n/XUjkurJgARH5pO7917tALOxrN5fcPImxHhPalR6D90Bo0fa3S PXez7vTXTf/D6OWST1k+kEcQSrCFWMBvf/iu7QhCnh7U3xQuTY+8npTD5+32GPg8SecmqKc2 2CzeIs2LgtjZeOJVEqM7h0S2EQvVDFKvaYwPBt/QolOLV5h7z/0HJPT8vcP9SpIClxvyt7bP ZYoaorVyGTkwggWsMIIElKADAgECAgcbY7rQHiw9MA0GCSqGSIb3DQEBCwUAMIGVMQswCQYD VQQGEwJERTFFMEMGA1UEChM8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hl biBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLEwdERk4tUEtJMS0wKwYDVQQDEyRE Rk4tVmVyZWluIENlcnRpZmljYXRpb24gQXV0aG9yaXR5IDIwHhcNMTYwNTI0MTEzODQwWhcN MzEwMjIyMjM1OTU5WjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQTCCASIw DQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAJ07eRxH3h+Gy8Zp1xCeOdfZojDbchwFfylf S2jxrRnWTOFrG7ELf6Gr4HuLi9gtzm6IOhDuV+UefwRRNuu6cG1joL6WLkDh0YNMZj0cZGnl m6Stcq5oOVGHecwX064vXWNxSzl660Knl5BpBb+Q/6RAcL0D57+eGIgfn5mITQ5HjUhfZZkQ 0tkqSe3BuS0dnxLLFdM/fx5ULzquk1enfnjK1UriGuXtQX1TX8izKvWKMKztFwUkP7agCwf9 TRqaA1KgNpzeJIdl5Of6x5ZzJBTN0OgbaJ4YWa52fvfRCng8h0uwN89Tyjo4EPPLR22MZD08 WkVKusqAfLjz56dMTM0CAwEAAaOCAgUwggIBMBIGA1UdEwEB/wQIMAYBAf8CAQEwDgYDVR0P AQH/BAQDAgEGMCkGA1UdIAQiMCAwDQYLKwYBBAGBrSGCLB4wDwYNKwYBBAGBrSGCLAEBBDAd BgNVHQ4EFgQUazqYi/nyU4na4K2yMh4JH+iqO3QwHwYDVR0jBBgwFoAUk+PYMiba1fFKpZFK 4OpL4qIMz+EwgY8GA1UdHwSBhzCBhDBAoD6gPIY6aHR0cDovL2NkcDEucGNhLmRmbi5kZS9n bG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDBAoD6gPIY6aHR0cDovL2NkcDIu cGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDCB3QYIKwYB BQUHAQEEgdAwgc0wMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBjYS5kZm4uZGUvT0NTUC1T ZXJ2ZXIvT0NTUDBKBggrBgEFBQcwAoY+aHR0cDovL2NkcDEucGNhLmRmbi5kZS9nbG9iYWwt cm9vdC1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSgYIKwYBBQUHMAKGPmh0dHA6Ly9j ZHAyLnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtZzItY2EvcHViL2NhY2VydC9jYWNlcnQuY3J0 MA0GCSqGSIb3DQEBCwUAA4IBAQCBeEWkTqR/DlXwCbFqPnjMaDWpHPOVnj/z+N9rOHeJLI21 rT7H8pTNoAauusyosa0zCLYkhmI2THhuUPDVbmCNT1IxQ5dGdfBi5G5mUcFCMWdQ5UnnOR7L n8qGSN4IFP8VSytmm6A4nwDO/afr0X9XLchMX9wQEZc+lgQCXISoKTlslPwQkgZ7nu7YRrQb tQMMONncsKk/cQYLsgMHM8KNSGMlJTx6e1du94oFOO+4oK4v9NsH1VuEGMGpuEvObJAaguS5 Pfp38dIfMwK/U+d2+dwmJUFvL6Yb+qQTkPp8ftkLYF3sv8pBoGH7EUkp2KgtdRXYShjqFu9V NCIaE40GMIIGWzCCBUOgAwIBAgIMHgWQ2iGOV/om8tNMMA0GCSqGSIb3DQEBCwUAMIGNMQsw CQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRz Y2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQD DBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBMB4XDTE3MTAxNzE0MjcyM1oXDTIwMTAx NjE0MjcyM1owgZkxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIDAZCZXJsaW4xDzANBgNVBAcMBkJl cmxpbjEiMCAGA1UECgwZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEuMCwGA1UECwwlRmFj aGJlcmVpY2ggTWF0aGVtYXRpayB1bmQgSW5mb3JtYXRpazEUMBIGA1UEAwwLSm9uYXMgQ2xl dmUwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQC7itn4NXAFRnw5MCWU9EwpYHll aK9ibookuOfb+D2d9G7p5rpQeG3vn7F/l8yybT6jGMLcZKf98cnBlz69eeTB3NAeM89xhQ1O VvJ1oV9jxpO0p2h4WYa/LaYUT5ycqCn+02g2rmZIdF8PvF6LCESgG8gMMTbUsWB0bwDRRQ90 A1Umgupo6mQVZJ2rO66GpCVu8I4NomHwqdi5pQn9AK6OXrFof4WzTQtoOAJA+06aoo+LqCJc Uw32Aq1pOqeAkWtNcvIWkwTYc/Z0sUeewu3/C8GnSyfcVO/cq6FRSd3U13D64OW1yTqG1qAu l35hH1nx06xQzuudkyAp+nefRUZXAgMBAAGjggKrMIICpzBABgNVHSAEOTA3MA8GDSsGAQQB ga0hgiwBAQQwEQYPKwYBBAGBrSGCLAEBBAMGMBEGDysGAQQBga0hgiwCAQQDBjAJBgNVHRME AjAAMA4GA1UdDwEB/wQEAwIF4DAdBgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYD VR0OBBYEFKKJTg9KTt2i4G5Pox5vKkLxyqRDMB8GA1UdIwQYMBaAFGs6mIv58lOJ2uCtsjIe CR/oqjt0MHsGA1UdEQR0MHKBGGpvbmFzLmNsZXZlQGZ1LWJlcmxpbi5kZYEdam9uYXNjbGV2 ZUB6ZWRhdC5mdS1iZXJsaW4uZGWBG2pvbmFzY2xldmVAaW5mLmZ1LWJlcmxpbi5kZYEaam9u YXNjbGV2ZUBtaS5mdS1iZXJsaW4uZGUwgY0GA1UdHwSBhTCBgjA/oD2gO4Y5aHR0cDovL2Nk cDEucGNhLmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jcmwvY2FjcmwuY3JsMD+gPaA7 hjlodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2Rmbi1jYS1nbG9iYWwtZzIvcHViL2NybC9jYWNy bC5jcmwwgdsGCCsGAQUFBwEBBIHOMIHLMDMGCCsGAQUFBzABhidodHRwOi8vb2NzcC5wY2Eu ZGZuLmRlL09DU1AtU2VydmVyL09DU1AwSQYIKwYBBQUHMAKGPWh0dHA6Ly9jZHAxLnBjYS5k Zm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSQYIKwYBBQUH MAKGPWh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9wdWIvY2FjZXJ0 L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBAB9BE4SdkR6KaCq2CbDrJwmN670ic75b u4OGrIZgcyKk5r6EF/a0btzE1xSZEcfJ7ijOc/KQckVdgpoffOgIvxOyBRHbAZSJnwDGcots JNMBStbf6D7QKus6c1+h22BVSg4cpuER0tzGpPC6IQnOWRDD+Oquw6Dzudw5LhXZ1zsVsiLi 6ZcnYHbdyXGeZNy8xy6GG1IAzJqxOQ8x8UCfvuxY9IByR8DNR2qUPJY+jw3AQtoWlVBsQiCf DRB27NHXJbZPYIMCvs21QOH/e/BbDv9RCCEGv0pmSNv5vhXYgnmiG9ZFQKkkYOTy48lj7Lgy 4UR/WhF5JjFO5SGLe4ZtQJ0xggQLMIIEBwIBATCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNV BAoMPFZlcmVpbiB6dXIgRm9lcmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25l dHplcyBlLiBWLjEQMA4GA1UECwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9i YWwgSXNzdWluZyBDQQIMHgWQ2iGOV/om8tNMMA0GCWCGSAFlAwQCAQUAoIICPTAYBgkqhkiG 9w0BCQMxCwYJKoZIhvcNAQcBMBwGCSqGSIb3DQEJBTEPFw0xOTEwMzAxODM1NDlaMC8GCSqG SIb3DQEJBDEiBCBou3kvMqu1+PuGIbvufjVLNN7NnL3XhuxMWo4p9+dfnzBsBgkqhkiG9w0B CQ8xXzBdMAsGCWCGSAFlAwQBKjALBglghkgBZQMEAQIwCgYIKoZIhvcNAwcwDgYIKoZIhvcN AwICAgCAMA0GCCqGSIb3DQMCAgFAMAcGBSsOAwIHMA0GCCqGSIb3DQMCAgEoMIGvBgkrBgEE AYI3EAQxgaEwgZ4wgY0xCzAJBgNVBAYTAkRFMUUwQwYDVQQKDDxWZXJlaW4genVyIEZvZXJk ZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsM B0RGTi1QS0kxJTAjBgNVBAMMHERGTi1WZXJlaW4gR2xvYmFsIElzc3VpbmcgQ0ECDB4FkNoh jlf6JvLTTDCBsQYLKoZIhvcNAQkQAgsxgaGggZ4wgY0xCzAJBgNVBAYTAkRFMUUwQwYDVQQK DDxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6 ZXMgZS4gVi4xEDAOBgNVBAsMB0RGTi1QS0kxJTAjBgNVBAMMHERGTi1WZXJlaW4gR2xvYmFs IElzc3VpbmcgQ0ECDB4FkNohjlf6JvLTTDANBgkqhkiG9w0BAQEFAASCAQC6DRZnDeB0qlI8 ogUogz/VSoDlCoMxMuiuVf6Hf3xqID0NyyGxKqL8uzJcYYS/QSP6qhcZf8JjnDjnEFk/yCot RuObUXcrtKEv5k/2c2hcxTBXZ7vO25GKrq5YAWme3Q4P7pRXE/+YYgzXUl9afszCyYn1XW9s cURlecThhHD1/lLAlpI1zkyhIBdpHqNFmAuQ91PazVGG9kadygrmc720OwHwyPbmkssKE6uE 4hkrzgBXOfe0FskDXZ9ErV0ZLIFTUAaBlMh7AFX/Bh2p2oU0UM0W3F2aSQ2IHwp416f9uBkm BWYUyAsR/25YFRyT0XrbRrPsRyR2Lp7k0Iz9ZNZEAAAAAAAA --------------ms010605090005020302060209-- From nadja.seiferth@fu-berlin.de Mon Nov 04 16:56:45 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iReii-002mpt-R6>; Mon, 04 Nov 2019 16:56:44 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iReii-0041g9-Og>; Mon, 04 Nov 2019 16:56:44 +0100 Received: from hexagon.imp.fu-berlin.de ([160.45.40.248]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iReii-000s7o-JD>; Mon, 04 Nov 2019 16:56:44 +0100 To: agti-Mittagsseminar@lists.fu-berlin.de From: Nadja Seiferth Message-ID: Date: Mon, 4 Nov 2019 16:56:44 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: de-DE Content-Transfer-Encoding: 7bit X-Originating-IP: 160.45.40.248 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1572883004-0004F2EA-A89AA80C/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.003907, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: X-Mailman-Approved-At: Mon, 04 Nov 2019 16:57:39 +0100 Subject: [Mittagsseminar TI] Mittagsseminar am 05.11.2019 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: Mon, 04 Nov 2019 15:56:45 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 05.11.2019, 12:00 Uhr s.t., SR 055 Nadja Seiferth zum Thema: Hardness of Approximation for Strip Packing From aruni.choudhary@fu-berlin.de Thu Nov 07 07:02:07 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iSaru-003tpI-L9>; Thu, 07 Nov 2019 07:02:06 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iSaru-001nKO-IT>; Thu, 07 Nov 2019 07:02:06 +0100 Received: from ip5f5bf03b.dynamic.kabel-deutschland.de ([95.91.240.59] helo=[192.168.0.4]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iSaru-001a7T-CU>; Thu, 07 Nov 2019 07:02:06 +0100 To: agti-Mittagsseminar@lists.fu-berlin.de From: Aruni Choudhary Message-ID: <2399bbab-6e55-6c2a-fb7f-6bb4fc1901fa@fu-berlin.de> Date: Thu, 7 Nov 2019 07:04:05 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Content-Language: en-US X-Originating-IP: 95.91.240.59 X-ZEDAT-Hint: T X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1573106526-000C23F4-51F62FAA/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.290326, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] [ti] Mittagsseminar am 7.11.2019 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, 07 Nov 2019 06:02:07 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 7.11.2019, 12:00 Uhr, SR 055 Aruni Choudhary zum Thema: Triangulation Flip graphs From kriegel@mi.fu-berlin.de Tue Nov 12 10:05:48 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iUS7P-002FIR-RL>; Tue, 12 Nov 2019 10:05:47 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iUS7P-0042zR-Oi>; Tue, 12 Nov 2019 10:05:47 +0100 Received: from ebene.imp.fu-berlin.de ([160.45.40.241]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iUS7P-0023Rh-Gd>; Tue, 12 Nov 2019 10:05:47 +0100 To: agti-Mittagsseminar@lists.fu-berlin.de From: Klaus Kriegel Message-ID: Date: Tue, 12 Nov 2019 10:05:47 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Content-Language: de-DE X-Originating-IP: 160.45.40.241 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1573549547-0004F191-474733D5/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Niue.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] [ti] Mittagsseminare am 12.11. und am 14.11.2019 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, 12 Nov 2019 09:05:48 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, d. 12.11.2019, 12:00 Uhr, SR 055 Klaus Kriegel zum Thema: Edge-length Ratio of Planar Graphs und am Donnerstag, 14.11.2019, 12:00 Uhr, SR 055 Laszlo Kozma zum Thema: Posets and Dimension _______________________________________________ agti-Mittagsseminar mailing list agti-Mittagsseminar@lists.fu-berlin.de https://lists.fu-berlin.de/listinfo/agti-mittagsseminar _______________________________________________ Automatischer Mailverteiler an Gruppe 'ml-ti-mi'. Hinweise dazu siehe Hilfeseite: https://www.mi.fu-berlin.de/w/Tec/AnkuendigungsVerteiler From mulzer@inf.fu-berlin.de Tue Nov 26 11:43:38 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iZYJl-003mrB-LS>; Tue, 26 Nov 2019 11:43:38 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iZYJl-0015jN-Ij>; Tue, 26 Nov 2019 11:43:37 +0100 Received: from winkel.imp.fu-berlin.de ([160.45.40.223]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iZYJl-000Ui0-B9>; Tue, 26 Nov 2019 11:43:37 +0100 References: <56254.77.183.183.81.1574503408.webmail@webmail.zedat.fu-berlin.de> To: agti-Mittagsseminar@lists.fu-berlin.de From: Wolfgang Mulzer X-Forwarded-Message-Id: <56254.77.183.183.81.1574503408.webmail@webmail.zedat.fu-berlin.de> Message-ID: Date: Tue, 26 Nov 2019 11:43:25 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 In-Reply-To: <56254.77.183.183.81.1574503408.webmail@webmail.zedat.fu-berlin.de> Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-256; boundary="------------ms080604050707020700070709" X-Originating-IP: 160.45.40.223 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1574765017-000A28FD-2C6BE3B1/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Fwd: [i-prof] 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, 26 Nov 2019 10:43:38 -0000 This is a cryptographically signed message in MIME format. --------------ms080604050707020700070709 Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Language: en-GB Content-Transfer-Encoding: quoted-printable This is today, in German. -------- Weitergeleitete Nachricht -------- Betreff: [i-prof] Einladung zur Verteidigung meiner Bachelorarbeit Datum: Sat, 23 Nov 2019 11:03:28 +0100 Von: Erik Grahl An: i-profs@inf.fu-berlin.de Kopie (CC): diana.schueler@fu-berlin.de, i-wimis@inf.fu-berlin.de,=20 i-studi@inf.fu-berlin.de Sehr geehrte Damen und Herren, hiermit lade ich sie zur Verteidigung meiner Bachelorarbeit mit dem Thema= : "Die theoretische Betrachtung des Bloom-Filters und einige seiner Erweiterungen " ein. Die Verteidigung findet am 26.11 um 12 Uhr im Raum SR 055 in der Takustra=DFe 9 statt. Betreut wurde die arbeit von Prof. Dr. Wolfgang Mulzer und der Zweitgutachter ist Prof. Dr. L=E1szl=F3 Kozma. Mit Freundlichen Gr=FC=DFen Erik Grahl Zusammenfassung: In dieser Arbeit werden der Bloom-Filter und einige Erweiterungen vorgestellt.Der Bloom-Filter bietet eine L=F6sung f=FCr das statische W=F6rterbuchproblem. Da der Bloom-Filter eine probabilistische Datenstruk= tur ist, besitzt der Bloom-Filter eine False Positive Rate. Diese ist eine de= r gro=DFen Schw=E4chen des Bloom-Filters.Die hier vorgestellten Erweiterung= en implementieren das dynamische W=F6rterbuch oder verbessern die False Positive Rate gegen=FCber dem Bloom-Filter. Die Erweiterungen wurden aus verschiedenen anderen Arbeiten =FCbernommen und werden ausf=FChrlich betrachtet und zu jedem der Filter der Pseudocode angegeben um dem Leser die Implementation in einer belieben Programmiersprache zu erleichtern. E= s wird auf ihre False Positive Rate eingegangen und sie werden einander gegen=FCbergestellt, um f=FCr m=F6gliche Szenarien eine geeignete Erweite= rung zu finden. Zum Ende der Arbeit wird die Analyse der False Positive Rate nach= Bloom untersucht und festgestellt, dass die Analyse nach Bloom zwar nicht= korrekt ist, da sie eine falsche Annahme trifft, aber eine gute N=E4herung f=FCr die False Positiv= e Rate ergibt. Besonders interessant ist die Arbeit f=FCr Leser, die einen Bloom-Filter implementieren oder aus der theoretischen Analyse erfahren wollen, ob ein= Bloom-Filter als L=F6sung ihres Problems in Frage kommt. Auch Leser die d= en Bloom-Filter schon kennen, aber die in vielen F=E4llen angegebene False Positive Rate in Frage stellen, werden in dieser Arbeit eine Erkl=E4rung = zu dieser Problematik finden. _______________________________________________ Automatischer Mailverteiler an Gruppe 'ml-i-prof-mi'. Hinweise dazu siehe Hilfeseite: https://www.mi.fu-berlin.de/w/Tec/AnkuendigungsVerteiler --------------ms080604050707020700070709 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCC EScwggUSMIID+qADAgECAgkA4wvV+K8l2YEwDQYJKoZIhvcNAQELBQAwgYIxCzAJBgNVBAYT AkRFMSswKQYDVQQKDCJULVN5c3RlbXMgRW50ZXJwcmlzZSBTZXJ2aWNlcyBHbWJIMR8wHQYD VQQLDBZULVN5c3RlbXMgVHJ1c3QgQ2VudGVyMSUwIwYDVQQDDBxULVRlbGVTZWMgR2xvYmFs Um9vdCBDbGFzcyAyMB4XDTE2MDIyMjEzMzgyMloXDTMxMDIyMjIzNTk1OVowgZUxCzAJBgNV BAYTAkRFMUUwQwYDVQQKEzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVu IEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERG Ti1WZXJlaW4gQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkgMjCCASIwDQYJKoZIhvcNAQEBBQAD ggEPADCCAQoCggEBAMtg1/9moUHN0vqHl4pzq5lN6mc5WqFggEcVToyVsuXPztNXS43O+FZs FVV2B+pG/cgDRWM+cNSrVICxI5y+NyipCf8FXRgPxJiZN7Mg9mZ4F4fCnQ7MSjLnFp2uDo0p eQcAIFTcFV9Kltd4tjTTwXS1nem/wHdN6r1ZB+BaL2w8pQDcNb1lDY9/Mm3yWmpLYgHurDg0 WUU2SQXaeMpqbVvAgWsRzNI8qIv4cRrKO+KA3Ra0Z3qLNupOkSk9s1FcragMvp0049ENF4N1 xDkesJQLEvHVaY4l9Lg9K7/AjsMeO6W/VRCrKq4Xl14zzsjz9AkH4wKGMUZrAcUQDBHHWekC AwEAAaOCAXQwggFwMA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUk+PYMiba1fFKpZFK4OpL 4qIMz+EwHwYDVR0jBBgwFoAUv1kgNgB5oKAia4zV8mHSuCzLgkowEgYDVR0TAQH/BAgwBgEB /wIBAjAzBgNVHSAELDAqMA8GDSsGAQQBga0hgiwBAQQwDQYLKwYBBAGBrSGCLB4wCAYGZ4EM AQICMEwGA1UdHwRFMEMwQaA/oD2GO2h0dHA6Ly9wa2kwMzM2LnRlbGVzZWMuZGUvcmwvVGVs ZVNlY19HbG9iYWxSb290X0NsYXNzXzIuY3JsMIGGBggrBgEFBQcBAQR6MHgwLAYIKwYBBQUH MAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMEgGCCsGAQUFBzAChjxodHRw Oi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9UZWxlU2VjX0dsb2JhbFJvb3RfQ2xhc3NfMi5j ZXIwDQYJKoZIhvcNAQELBQADggEBAIcL/z4Cm2XIVi3WO5qYi3FP2ropqiH5Ri71sqQPrhE4 eTizDnS6dl2e6BiClmLbTDPo3flq3zK9LExHYFV/53RrtCyD2HlrtrdNUAtmB7Xts5et6u5/ MOaZ/SLick0+hFvu+c+Z6n/XUjkurJgARH5pO7917tALOxrN5fcPImxHhPalR6D90Bo0fa3S PXez7vTXTf/D6OWST1k+kEcQSrCFWMBvf/iu7QhCnh7U3xQuTY+8npTD5+32GPg8SecmqKc2 2CzeIs2LgtjZeOJVEqM7h0S2EQvVDFKvaYwPBt/QolOLV5h7z/0HJPT8vcP9SpIClxvyt7bP ZYoaorVyGTkwggWsMIIElKADAgECAgcbY7rQHiw9MA0GCSqGSIb3DQEBCwUAMIGVMQswCQYD VQQGEwJERTFFMEMGA1UEChM8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hl biBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLEwdERk4tUEtJMS0wKwYDVQQDEyRE Rk4tVmVyZWluIENlcnRpZmljYXRpb24gQXV0aG9yaXR5IDIwHhcNMTYwNTI0MTEzODQwWhcN MzEwMjIyMjM1OTU5WjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQTCCASIw DQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAJ07eRxH3h+Gy8Zp1xCeOdfZojDbchwFfylf S2jxrRnWTOFrG7ELf6Gr4HuLi9gtzm6IOhDuV+UefwRRNuu6cG1joL6WLkDh0YNMZj0cZGnl m6Stcq5oOVGHecwX064vXWNxSzl660Knl5BpBb+Q/6RAcL0D57+eGIgfn5mITQ5HjUhfZZkQ 0tkqSe3BuS0dnxLLFdM/fx5ULzquk1enfnjK1UriGuXtQX1TX8izKvWKMKztFwUkP7agCwf9 TRqaA1KgNpzeJIdl5Of6x5ZzJBTN0OgbaJ4YWa52fvfRCng8h0uwN89Tyjo4EPPLR22MZD08 WkVKusqAfLjz56dMTM0CAwEAAaOCAgUwggIBMBIGA1UdEwEB/wQIMAYBAf8CAQEwDgYDVR0P AQH/BAQDAgEGMCkGA1UdIAQiMCAwDQYLKwYBBAGBrSGCLB4wDwYNKwYBBAGBrSGCLAEBBDAd BgNVHQ4EFgQUazqYi/nyU4na4K2yMh4JH+iqO3QwHwYDVR0jBBgwFoAUk+PYMiba1fFKpZFK 4OpL4qIMz+EwgY8GA1UdHwSBhzCBhDBAoD6gPIY6aHR0cDovL2NkcDEucGNhLmRmbi5kZS9n bG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDBAoD6gPIY6aHR0cDovL2NkcDIu cGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDCB3QYIKwYB BQUHAQEEgdAwgc0wMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBjYS5kZm4uZGUvT0NTUC1T ZXJ2ZXIvT0NTUDBKBggrBgEFBQcwAoY+aHR0cDovL2NkcDEucGNhLmRmbi5kZS9nbG9iYWwt cm9vdC1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSgYIKwYBBQUHMAKGPmh0dHA6Ly9j ZHAyLnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtZzItY2EvcHViL2NhY2VydC9jYWNlcnQuY3J0 MA0GCSqGSIb3DQEBCwUAA4IBAQCBeEWkTqR/DlXwCbFqPnjMaDWpHPOVnj/z+N9rOHeJLI21 rT7H8pTNoAauusyosa0zCLYkhmI2THhuUPDVbmCNT1IxQ5dGdfBi5G5mUcFCMWdQ5UnnOR7L n8qGSN4IFP8VSytmm6A4nwDO/afr0X9XLchMX9wQEZc+lgQCXISoKTlslPwQkgZ7nu7YRrQb tQMMONncsKk/cQYLsgMHM8KNSGMlJTx6e1du94oFOO+4oK4v9NsH1VuEGMGpuEvObJAaguS5 Pfp38dIfMwK/U+d2+dwmJUFvL6Yb+qQTkPp8ftkLYF3sv8pBoGH7EUkp2KgtdRXYShjqFu9V NCIaE40GMIIGXTCCBUWgAwIBAgIMINVXYSxHuNgwHehaMA0GCSqGSIb3DQEBCwUAMIGNMQsw CQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRz Y2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQD DBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBMB4XDTE5MDQxNjEzMzQxM1oXDTIyMDQx NTEzMzQxM1owgZ0xCzAJBgNVBAYTAkRFMQ8wDQYDVQQIDAZCZXJsaW4xDzANBgNVBAcMBkJl cmxpbjEiMCAGA1UECgwZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEuMCwGA1UECwwlRmFj aGJlcmVpY2ggTWF0aGVtYXRpayB1bmQgSW5mb3JtYXRpazEYMBYGA1UEAwwPV29sZmdhbmcg TXVsemVyMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAytLFW7TyoEVjaLl9bp5q 5fIxH9MvJ34IUwC6Uij8z4pYn2QS+YgGwYMnyZdbQ68QsAWe5av4cKqfTQDjpNEPzhnaGLkV iN+Fr4Y08YJDTXGPZReDnkVTdx65QsV5UFNJScQh2bDO4hTVHRhXe4TKRzr+GC+fE+PW/Y9V zGhxCCIj4vg/6vTPZ5N/2SUrUof4C08syka2D9bxYYuqNzVzND2XbrwU7eDsNcgT3xt7bX3k Rs/qebnySpJoFgk5LA2b2FbrCCj2E0LGf0BIWbSVQXK113qDR8TsO68wk+df65lmeatRfUQo L3cDfJ92s6xJUBha5o6LCiBNZ5QL78qpBQIDAQABo4ICqTCCAqUwQAYDVR0gBDkwNzAPBg0r BgEEAYGtIYIsAQEEMBEGDysGAQQBga0hgiwBAQQDCTARBg8rBgEEAYGtIYIsAgEEAwkwCQYD VR0TBAIwADAOBgNVHQ8BAf8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwME MB0GA1UdDgQWBBSkAOEOAX4WXOKil3Qzw9S+SVL3FzAfBgNVHSMEGDAWgBRrOpiL+fJTidrg rbIyHgkf6Ko7dDB5BgNVHREEcjBwgRdtdWx6ZXJAaW5mLmZ1LWJlcmxpbi5kZYEZbXVsemVy QHplZGF0LmZ1LWJlcmxpbi5kZYEcd29sZmdhbmcubXVsemVyQGZ1LWJlcmxpbi5kZYEcV29s ZmdhbmcuTXVsemVyQGZ1LWJlcmxpbi5kZTCBjQYDVR0fBIGFMIGCMD+gPaA7hjlodHRwOi8v Y2RwMS5wY2EuZGZuLmRlL2Rmbi1jYS1nbG9iYWwtZzIvcHViL2NybC9jYWNybC5jcmwwP6A9 oDuGOWh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9wdWIvY3JsL2Nh Y3JsLmNybDCB2wYIKwYBBQUHAQEEgc4wgcswMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBj YS5kZm4uZGUvT0NTUC1TZXJ2ZXIvT0NTUDBJBggrBgEFBQcwAoY9aHR0cDovL2NkcDEucGNh LmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBJBggrBgEF BQcwAoY9aHR0cDovL2NkcDIucGNhLmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jYWNl cnQvY2FjZXJ0LmNydDANBgkqhkiG9w0BAQsFAAOCAQEABspsG5DsX4jkwTq9oVFtPaWTKlwH IiXyqUfKMl41yifKQN289MYZaJGcmesJwWkjse0dNrOsiv1tI9s/3BxjuBNjCQgg0GN69mqQ ER3yPyaVYGEFH8mbv9lrUm5MOqDgIZLeseAx2Vq5JqSkpIZBKwPHnXuhtUUe53hUGRLgTwH2 iEkTRIpypkO77ZoiZ/XQts7a/2IZV/96wEZyGVDIdv1ilShv4zRa3UUZN4sD3pbPghV+KNlH i4bhxWRqBdnTCy5s1xkNrjSOSjnlL7XK3efphFZqQXiA7nmw5jkjjECAljXhWEgV6YrPLvpY PxlyvmGSv5ntVSH9lJ7/+oMoNzGCBAswggQHAgEBMIGeMIGNMQswCQYDVQQGEwJERTFFMEMG A1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hlbiBGb3JzY2h1bmdz bmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQDDBxERk4tVmVyZWluIEds b2JhbCBJc3N1aW5nIENBAgwg1VdhLEe42DAd6FowDQYJYIZIAWUDBAIBBQCgggI9MBgGCSqG SIb3DQEJAzELBgkqhkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTE5MTEyNjEwNDMzN1owLwYJ KoZIhvcNAQkEMSIEILRp89XQmjNUyOhxqYTJB6ksZ6sBon21NCTrOlQXyytMMGwGCSqGSIb3 DQEJDzFfMF0wCwYJYIZIAWUDBAEqMAsGCWCGSAFlAwQBAjAKBggqhkiG9w0DBzAOBggqhkiG 9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwBwYFKw4DAgcwDQYIKoZIhvcNAwICASgwga8GCSsG AQQBgjcQBDGBoTCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQQIMINVX YSxHuNgwHehaMIGxBgsqhkiG9w0BCRACCzGBoaCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNV BAoMPFZlcmVpbiB6dXIgRm9lcmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25l dHplcyBlLiBWLjEQMA4GA1UECwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9i YWwgSXNzdWluZyBDQQIMINVXYSxHuNgwHehaMA0GCSqGSIb3DQEBAQUABIIBAK55D2mwAabf yz0udI8awERNokWlRAJF9yq3TTpkZpVMmnl5RgC5RT5O7d6kwMPg1jz1AKeOn5oaQrDW/dyg cU37g/eMstaW/RM+jNQFqbyWtEftfkj2DPAYh34Ejn8xAL26ony0LHEFkrHYu5edJk5YrOQv +IvjA4nASB7ooAwGmxhG02bQiZMBIy7MKS7ZXX0C3p6OqlQxL6q1//s8Y3E+5/wNcdoGY+0q OSQqwFqkq9yYrD6D7iJIJnWoKrF5GGd/oXx8YmDokuC82gdQnWcY3GrERlEn0R7E15cAvt7n l5jl2WSn0BpLQMl1r1kb0pSltJJes2me3GKfW/gcU+IAAAAAAAA= --------------ms080604050707020700070709-- From mulzer@inf.fu-berlin.de Tue Nov 26 14:49:01 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iZbDA-0044lI-Dq>; Tue, 26 Nov 2019 14:49:00 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iZbDA-002kdE-BL>; Tue, 26 Nov 2019 14:49:00 +0100 Received: from winkel.imp.fu-berlin.de ([160.45.40.223]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iZbDA-001IW1-1I>; Tue, 26 Nov 2019 14:49:00 +0100 References: <2353.139.2.4.131.1574771008.webmail@webmail.zedat.fu-berlin.de> To: agti-Mittagsseminar@lists.fu-berlin.de From: Wolfgang Mulzer X-Forwarded-Message-Id: <2353.139.2.4.131.1574771008.webmail@webmail.zedat.fu-berlin.de> Message-ID: <8895b80c-142b-0905-467e-8a28ce788de8@inf.fu-berlin.de> Date: Tue, 26 Nov 2019 14:48:48 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 In-Reply-To: <2353.139.2.4.131.1574771008.webmail@webmail.zedat.fu-berlin.de> Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-256; boundary="------------ms090003050401030606070902" X-Originating-IP: 160.45.40.223 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1574776140-000A28FD-C50B8F46/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Palau.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, 26 Nov 2019 13:49:01 -0000 This is a cryptographically signed message in MIME format. --------------ms090003050401030606070902 Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Language: en-GB Content-Transfer-Encoding: quoted-printable On Thursday. The talk will be in German. -------- Weitergeleitete Nachricht -------- Betreff: [i-prof] [i-studi] Einladung zur Verteidigung meiner Bachelorarb= eit Datum: Tue, 26 Nov 2019 13:23:28 +0100 Von: Jennifer Manke An: i-profs@inf.fu-berlin.de Kopie (CC): diana.schueler@fu-berlin.de, i-wimis@inf.fu-berlin.de,=20 i-studi@inf.fu-berlin.de Sehr geehrte Damen und Herren, hiermit lade ich Sie herzlich zur Verteidigung meiner Bachelorarbeit mit dem Thema "Zip-Trees: Analysis, Implementation and Comparison with Relate= d Data Structures" ein. Die Verteidigung findet am 28.11.2019 um 12:00Uhr im Raum SR055 in der Takustra=DFe 9 statt. Betreut wurde die Arbeit von Prof. Dr. Wolfgang Mulzer und Zweitgutacher ist PD Dr. Klaus Kriegel. Der Vortrag wird auf Deutsch gehalten. Mit freundlichen Gr=FC=DFen, Jennifer Manke Zusammenfassung: Die Arbeit behandelt Zip-Trees, eine neue Art bin=E4rer Suchb=E4ume, die = von Tarjan, Levy und Timmel 2019 eingef=FChrt wurde. In einem Zip-Tree bekomm= t jeder Knoten einen sogenannten "Rang" zugewiesen, der einer aus einer geometrischen Verteilung gezogenen nat=FCrlichen Zahl entspricht. Betrach= tet man einen perfekt balancierten bin=E4ren Baum f=E4llt auf, dass die Verte= ilung der Knoten auf die verschiedenen Ebenen des Baumes exakt einer geometrischen Verteilung mit Mittelwert eins entspricht. Daher besteht di= e Kernidee hinter Zip-Trees darin, die Knoten zus=E4tzlich zur bin=E4ren Suchbaumeigenschaft anhand des zugewiesenen Ranges nach der max-heap-Eigenschaft anzuordnen, um den Baum damit in eine einigerma=DFen= balancierte Form zu bringen. Der zweite Grundgedanke der Zip-Trees besteh= t darin, anstatt Rotationen sogenannte "zip" und "unzip" Operationen zu verwenden, um die Struktur des Baumes beim Einf=FCgen und L=F6schen zu erhalten. Neben einer theoretischen Analyse der Eigenschaften der Zip-Trees befasst= sich die Bachelorarbeit mit einem Vergleich dieser neuen B=E4ume gegen bereits etablierte verwandte Datenstrukturen. Ausgew=E4hlt wurden hierbei= Treaps, Skip-Listen, AVL-B=E4ume sowie Rot-Schwarz-B=E4ume. All diese Datenstrukturen werden in der Arbeit kurz besprochen und sowohl in ihren theoretischen Eigenschaften als auch mit Hilfe konkreter Implementierunge= n mit Zip-Trees verglichen. Damit konnte gezeigt werden, dass Zip-Trees, insbesondere in einer neueren, optimierten Variante, durchaus performant sind und sie aufgrund ihrer vergleichsweise einfachen Implementierung durchaus als Alternative zu "klassischeren" Datenstrukturen in Erw=E4gung= gezogen werden sollten. _______________________________________________ Automatischer Mailverteiler an Gruppe 'ml-i-prof-mi'. Hinweise dazu siehe Hilfeseite: https://www.mi.fu-berlin.de/w/Tec/AnkuendigungsVerteiler --------------ms090003050401030606070902 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCC EScwggUSMIID+qADAgECAgkA4wvV+K8l2YEwDQYJKoZIhvcNAQELBQAwgYIxCzAJBgNVBAYT AkRFMSswKQYDVQQKDCJULVN5c3RlbXMgRW50ZXJwcmlzZSBTZXJ2aWNlcyBHbWJIMR8wHQYD VQQLDBZULVN5c3RlbXMgVHJ1c3QgQ2VudGVyMSUwIwYDVQQDDBxULVRlbGVTZWMgR2xvYmFs Um9vdCBDbGFzcyAyMB4XDTE2MDIyMjEzMzgyMloXDTMxMDIyMjIzNTk1OVowgZUxCzAJBgNV BAYTAkRFMUUwQwYDVQQKEzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVu IEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERG Ti1WZXJlaW4gQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkgMjCCASIwDQYJKoZIhvcNAQEBBQAD ggEPADCCAQoCggEBAMtg1/9moUHN0vqHl4pzq5lN6mc5WqFggEcVToyVsuXPztNXS43O+FZs FVV2B+pG/cgDRWM+cNSrVICxI5y+NyipCf8FXRgPxJiZN7Mg9mZ4F4fCnQ7MSjLnFp2uDo0p eQcAIFTcFV9Kltd4tjTTwXS1nem/wHdN6r1ZB+BaL2w8pQDcNb1lDY9/Mm3yWmpLYgHurDg0 WUU2SQXaeMpqbVvAgWsRzNI8qIv4cRrKO+KA3Ra0Z3qLNupOkSk9s1FcragMvp0049ENF4N1 xDkesJQLEvHVaY4l9Lg9K7/AjsMeO6W/VRCrKq4Xl14zzsjz9AkH4wKGMUZrAcUQDBHHWekC AwEAAaOCAXQwggFwMA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUk+PYMiba1fFKpZFK4OpL 4qIMz+EwHwYDVR0jBBgwFoAUv1kgNgB5oKAia4zV8mHSuCzLgkowEgYDVR0TAQH/BAgwBgEB /wIBAjAzBgNVHSAELDAqMA8GDSsGAQQBga0hgiwBAQQwDQYLKwYBBAGBrSGCLB4wCAYGZ4EM AQICMEwGA1UdHwRFMEMwQaA/oD2GO2h0dHA6Ly9wa2kwMzM2LnRlbGVzZWMuZGUvcmwvVGVs ZVNlY19HbG9iYWxSb290X0NsYXNzXzIuY3JsMIGGBggrBgEFBQcBAQR6MHgwLAYIKwYBBQUH MAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMEgGCCsGAQUFBzAChjxodHRw Oi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9UZWxlU2VjX0dsb2JhbFJvb3RfQ2xhc3NfMi5j ZXIwDQYJKoZIhvcNAQELBQADggEBAIcL/z4Cm2XIVi3WO5qYi3FP2ropqiH5Ri71sqQPrhE4 eTizDnS6dl2e6BiClmLbTDPo3flq3zK9LExHYFV/53RrtCyD2HlrtrdNUAtmB7Xts5et6u5/ MOaZ/SLick0+hFvu+c+Z6n/XUjkurJgARH5pO7917tALOxrN5fcPImxHhPalR6D90Bo0fa3S PXez7vTXTf/D6OWST1k+kEcQSrCFWMBvf/iu7QhCnh7U3xQuTY+8npTD5+32GPg8SecmqKc2 2CzeIs2LgtjZeOJVEqM7h0S2EQvVDFKvaYwPBt/QolOLV5h7z/0HJPT8vcP9SpIClxvyt7bP ZYoaorVyGTkwggWsMIIElKADAgECAgcbY7rQHiw9MA0GCSqGSIb3DQEBCwUAMIGVMQswCQYD VQQGEwJERTFFMEMGA1UEChM8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hl biBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLEwdERk4tUEtJMS0wKwYDVQQDEyRE Rk4tVmVyZWluIENlcnRpZmljYXRpb24gQXV0aG9yaXR5IDIwHhcNMTYwNTI0MTEzODQwWhcN MzEwMjIyMjM1OTU5WjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQTCCASIw DQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAJ07eRxH3h+Gy8Zp1xCeOdfZojDbchwFfylf S2jxrRnWTOFrG7ELf6Gr4HuLi9gtzm6IOhDuV+UefwRRNuu6cG1joL6WLkDh0YNMZj0cZGnl m6Stcq5oOVGHecwX064vXWNxSzl660Knl5BpBb+Q/6RAcL0D57+eGIgfn5mITQ5HjUhfZZkQ 0tkqSe3BuS0dnxLLFdM/fx5ULzquk1enfnjK1UriGuXtQX1TX8izKvWKMKztFwUkP7agCwf9 TRqaA1KgNpzeJIdl5Of6x5ZzJBTN0OgbaJ4YWa52fvfRCng8h0uwN89Tyjo4EPPLR22MZD08 WkVKusqAfLjz56dMTM0CAwEAAaOCAgUwggIBMBIGA1UdEwEB/wQIMAYBAf8CAQEwDgYDVR0P AQH/BAQDAgEGMCkGA1UdIAQiMCAwDQYLKwYBBAGBrSGCLB4wDwYNKwYBBAGBrSGCLAEBBDAd BgNVHQ4EFgQUazqYi/nyU4na4K2yMh4JH+iqO3QwHwYDVR0jBBgwFoAUk+PYMiba1fFKpZFK 4OpL4qIMz+EwgY8GA1UdHwSBhzCBhDBAoD6gPIY6aHR0cDovL2NkcDEucGNhLmRmbi5kZS9n bG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDBAoD6gPIY6aHR0cDovL2NkcDIu cGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDCB3QYIKwYB BQUHAQEEgdAwgc0wMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBjYS5kZm4uZGUvT0NTUC1T ZXJ2ZXIvT0NTUDBKBggrBgEFBQcwAoY+aHR0cDovL2NkcDEucGNhLmRmbi5kZS9nbG9iYWwt cm9vdC1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSgYIKwYBBQUHMAKGPmh0dHA6Ly9j ZHAyLnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtZzItY2EvcHViL2NhY2VydC9jYWNlcnQuY3J0 MA0GCSqGSIb3DQEBCwUAA4IBAQCBeEWkTqR/DlXwCbFqPnjMaDWpHPOVnj/z+N9rOHeJLI21 rT7H8pTNoAauusyosa0zCLYkhmI2THhuUPDVbmCNT1IxQ5dGdfBi5G5mUcFCMWdQ5UnnOR7L n8qGSN4IFP8VSytmm6A4nwDO/afr0X9XLchMX9wQEZc+lgQCXISoKTlslPwQkgZ7nu7YRrQb tQMMONncsKk/cQYLsgMHM8KNSGMlJTx6e1du94oFOO+4oK4v9NsH1VuEGMGpuEvObJAaguS5 Pfp38dIfMwK/U+d2+dwmJUFvL6Yb+qQTkPp8ftkLYF3sv8pBoGH7EUkp2KgtdRXYShjqFu9V NCIaE40GMIIGXTCCBUWgAwIBAgIMINVXYSxHuNgwHehaMA0GCSqGSIb3DQEBCwUAMIGNMQsw CQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRz Y2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQD DBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBMB4XDTE5MDQxNjEzMzQxM1oXDTIyMDQx NTEzMzQxM1owgZ0xCzAJBgNVBAYTAkRFMQ8wDQYDVQQIDAZCZXJsaW4xDzANBgNVBAcMBkJl cmxpbjEiMCAGA1UECgwZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEuMCwGA1UECwwlRmFj aGJlcmVpY2ggTWF0aGVtYXRpayB1bmQgSW5mb3JtYXRpazEYMBYGA1UEAwwPV29sZmdhbmcg TXVsemVyMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAytLFW7TyoEVjaLl9bp5q 5fIxH9MvJ34IUwC6Uij8z4pYn2QS+YgGwYMnyZdbQ68QsAWe5av4cKqfTQDjpNEPzhnaGLkV iN+Fr4Y08YJDTXGPZReDnkVTdx65QsV5UFNJScQh2bDO4hTVHRhXe4TKRzr+GC+fE+PW/Y9V zGhxCCIj4vg/6vTPZ5N/2SUrUof4C08syka2D9bxYYuqNzVzND2XbrwU7eDsNcgT3xt7bX3k Rs/qebnySpJoFgk5LA2b2FbrCCj2E0LGf0BIWbSVQXK113qDR8TsO68wk+df65lmeatRfUQo L3cDfJ92s6xJUBha5o6LCiBNZ5QL78qpBQIDAQABo4ICqTCCAqUwQAYDVR0gBDkwNzAPBg0r BgEEAYGtIYIsAQEEMBEGDysGAQQBga0hgiwBAQQDCTARBg8rBgEEAYGtIYIsAgEEAwkwCQYD VR0TBAIwADAOBgNVHQ8BAf8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwME MB0GA1UdDgQWBBSkAOEOAX4WXOKil3Qzw9S+SVL3FzAfBgNVHSMEGDAWgBRrOpiL+fJTidrg rbIyHgkf6Ko7dDB5BgNVHREEcjBwgRdtdWx6ZXJAaW5mLmZ1LWJlcmxpbi5kZYEZbXVsemVy QHplZGF0LmZ1LWJlcmxpbi5kZYEcd29sZmdhbmcubXVsemVyQGZ1LWJlcmxpbi5kZYEcV29s ZmdhbmcuTXVsemVyQGZ1LWJlcmxpbi5kZTCBjQYDVR0fBIGFMIGCMD+gPaA7hjlodHRwOi8v Y2RwMS5wY2EuZGZuLmRlL2Rmbi1jYS1nbG9iYWwtZzIvcHViL2NybC9jYWNybC5jcmwwP6A9 oDuGOWh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9wdWIvY3JsL2Nh Y3JsLmNybDCB2wYIKwYBBQUHAQEEgc4wgcswMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBj YS5kZm4uZGUvT0NTUC1TZXJ2ZXIvT0NTUDBJBggrBgEFBQcwAoY9aHR0cDovL2NkcDEucGNh LmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBJBggrBgEF BQcwAoY9aHR0cDovL2NkcDIucGNhLmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jYWNl cnQvY2FjZXJ0LmNydDANBgkqhkiG9w0BAQsFAAOCAQEABspsG5DsX4jkwTq9oVFtPaWTKlwH IiXyqUfKMl41yifKQN289MYZaJGcmesJwWkjse0dNrOsiv1tI9s/3BxjuBNjCQgg0GN69mqQ ER3yPyaVYGEFH8mbv9lrUm5MOqDgIZLeseAx2Vq5JqSkpIZBKwPHnXuhtUUe53hUGRLgTwH2 iEkTRIpypkO77ZoiZ/XQts7a/2IZV/96wEZyGVDIdv1ilShv4zRa3UUZN4sD3pbPghV+KNlH i4bhxWRqBdnTCy5s1xkNrjSOSjnlL7XK3efphFZqQXiA7nmw5jkjjECAljXhWEgV6YrPLvpY PxlyvmGSv5ntVSH9lJ7/+oMoNzGCBAswggQHAgEBMIGeMIGNMQswCQYDVQQGEwJERTFFMEMG A1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hlbiBGb3JzY2h1bmdz bmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQDDBxERk4tVmVyZWluIEds b2JhbCBJc3N1aW5nIENBAgwg1VdhLEe42DAd6FowDQYJYIZIAWUDBAIBBQCgggI9MBgGCSqG SIb3DQEJAzELBgkqhkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTE5MTEyNjEzNDg1OVowLwYJ KoZIhvcNAQkEMSIEIJXyo7mxJYWrzyYF2f22xgq5wjLVbrMUaKaV5v9JHfq4MGwGCSqGSIb3 DQEJDzFfMF0wCwYJYIZIAWUDBAEqMAsGCWCGSAFlAwQBAjAKBggqhkiG9w0DBzAOBggqhkiG 9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwBwYFKw4DAgcwDQYIKoZIhvcNAwICASgwga8GCSsG AQQBgjcQBDGBoTCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQQIMINVX YSxHuNgwHehaMIGxBgsqhkiG9w0BCRACCzGBoaCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNV BAoMPFZlcmVpbiB6dXIgRm9lcmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25l dHplcyBlLiBWLjEQMA4GA1UECwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9i YWwgSXNzdWluZyBDQQIMINVXYSxHuNgwHehaMA0GCSqGSIb3DQEBAQUABIIBAEAf1Ir4n9LZ 3XingX26uZLAP+FRslanE736ThhcgfnXoKn6icEyRWTBKP8BDQJ6Jt/rS5iyhDfEItRrgh6z z/3w4qVP8WEJ2iXwoR9tCqWhGR55QgX7IaZ3NvnPJNxCTSztAygAicxzTfQTf1WDiRrsWo39 6bZirqRp1tUgV2EW9A6KFD3WJvTcJMAkwUEGRQhFCZWNC3j/K+Bl0bhv2n5aKXZFzh97cYWF ncSslUfYAVt0W52yub4pf4ko6FTzikTYLIQvXe4K4vMxLWoOSBTBR/H2YnbTAEpTFfApoWNq HGzpeNyeqtpUU+xkQHwi506eS++/yAfICZrskR/riuIAAAAAAAA= --------------ms090003050401030606070902-- From willerma@zedat.fu-berlin.de Wed Dec 04 13:24:58 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1icTiE-003Rh4-BC>; Wed, 04 Dec 2019 13:24:58 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1icTiE-0018V1-8e>; Wed, 04 Dec 2019 13:24:58 +0100 Received: from webmail1.zedat.fu-berlin.de ([130.133.4.91] helo=webmail.zedat.fu-berlin.de) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1icTiE-002XLq-23>; Wed, 04 Dec 2019 13:24:58 +0100 Received: from 160.45.40.228 (ZEDAT-Webmail authenticated user willerma) by webmail.zedat.fu-berlin.de with HTTP; Wed, 4 Dec 2019 13:24:58 +0100 Message-ID: <38494.160.45.40.228.1575462298.webmail@webmail.zedat.fu-berlin.de> Date: Wed, 4 Dec 2019 13:24:58 +0100 From: "Max Willert" To: "Mittagsseminar" User-Agent: ZEDAT-Webmail MIME-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: 8bit X-Originating-IP: 130.133.4.91 X-ZEDAT-Hint: T X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1575462298-00084901-120FCCAD/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 5.12.2019 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: Wed, 04 Dec 2019 12:24:58 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 5.12.2019, 12 Uhr, SR 055 Max Willert zum Thema: Something about posets From mulzer@inf.fu-berlin.de Mon Dec 09 16:15:33 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ieKl3-001pPJ-HE>; Mon, 09 Dec 2019 16:15:33 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ieKl3-000JVT-Ea>; Mon, 09 Dec 2019 16:15:33 +0100 Received: from [87.77.166.7] by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1ieKl3-0004mE-63>; Mon, 09 Dec 2019 16:15:33 +0100 From: Wolfgang Mulzer To: agti-Mittagsseminar@lists.fu-berlin.de Message-ID: <0a8eb898-cc2a-a783-dc87-ff7136573e2c@inf.fu-berlin.de> Date: Mon, 9 Dec 2019 16:15:10 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.3.0 MIME-Version: 1.0 Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-256; boundary="------------ms060002050206030208090300" X-Originating-IP: 87.77.166.7 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1575904533-00068243-3CC44F13/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 10.12.2019 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: Mon, 09 Dec 2019 15:15:33 -0000 This is a cryptographically signed message in MIME format. --------------ms060002050206030208090300 Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Language: de-DE Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 10.12.2019, 12 Uhr, SR 055 Wolfgang Mulzer zum Thema: Caminos Alternantes --------------ms060002050206030208090300 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCC EScwggUSMIID+qADAgECAgkA4wvV+K8l2YEwDQYJKoZIhvcNAQELBQAwgYIxCzAJBgNVBAYT AkRFMSswKQYDVQQKDCJULVN5c3RlbXMgRW50ZXJwcmlzZSBTZXJ2aWNlcyBHbWJIMR8wHQYD VQQLDBZULVN5c3RlbXMgVHJ1c3QgQ2VudGVyMSUwIwYDVQQDDBxULVRlbGVTZWMgR2xvYmFs Um9vdCBDbGFzcyAyMB4XDTE2MDIyMjEzMzgyMloXDTMxMDIyMjIzNTk1OVowgZUxCzAJBgNV BAYTAkRFMUUwQwYDVQQKEzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVu IEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERG Ti1WZXJlaW4gQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkgMjCCASIwDQYJKoZIhvcNAQEBBQAD ggEPADCCAQoCggEBAMtg1/9moUHN0vqHl4pzq5lN6mc5WqFggEcVToyVsuXPztNXS43O+FZs FVV2B+pG/cgDRWM+cNSrVICxI5y+NyipCf8FXRgPxJiZN7Mg9mZ4F4fCnQ7MSjLnFp2uDo0p eQcAIFTcFV9Kltd4tjTTwXS1nem/wHdN6r1ZB+BaL2w8pQDcNb1lDY9/Mm3yWmpLYgHurDg0 WUU2SQXaeMpqbVvAgWsRzNI8qIv4cRrKO+KA3Ra0Z3qLNupOkSk9s1FcragMvp0049ENF4N1 xDkesJQLEvHVaY4l9Lg9K7/AjsMeO6W/VRCrKq4Xl14zzsjz9AkH4wKGMUZrAcUQDBHHWekC AwEAAaOCAXQwggFwMA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQUk+PYMiba1fFKpZFK4OpL 4qIMz+EwHwYDVR0jBBgwFoAUv1kgNgB5oKAia4zV8mHSuCzLgkowEgYDVR0TAQH/BAgwBgEB /wIBAjAzBgNVHSAELDAqMA8GDSsGAQQBga0hgiwBAQQwDQYLKwYBBAGBrSGCLB4wCAYGZ4EM AQICMEwGA1UdHwRFMEMwQaA/oD2GO2h0dHA6Ly9wa2kwMzM2LnRlbGVzZWMuZGUvcmwvVGVs ZVNlY19HbG9iYWxSb290X0NsYXNzXzIuY3JsMIGGBggrBgEFBQcBAQR6MHgwLAYIKwYBBQUH MAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMEgGCCsGAQUFBzAChjxodHRw Oi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9UZWxlU2VjX0dsb2JhbFJvb3RfQ2xhc3NfMi5j ZXIwDQYJKoZIhvcNAQELBQADggEBAIcL/z4Cm2XIVi3WO5qYi3FP2ropqiH5Ri71sqQPrhE4 eTizDnS6dl2e6BiClmLbTDPo3flq3zK9LExHYFV/53RrtCyD2HlrtrdNUAtmB7Xts5et6u5/ MOaZ/SLick0+hFvu+c+Z6n/XUjkurJgARH5pO7917tALOxrN5fcPImxHhPalR6D90Bo0fa3S PXez7vTXTf/D6OWST1k+kEcQSrCFWMBvf/iu7QhCnh7U3xQuTY+8npTD5+32GPg8SecmqKc2 2CzeIs2LgtjZeOJVEqM7h0S2EQvVDFKvaYwPBt/QolOLV5h7z/0HJPT8vcP9SpIClxvyt7bP ZYoaorVyGTkwggWsMIIElKADAgECAgcbY7rQHiw9MA0GCSqGSIb3DQEBCwUAMIGVMQswCQYD VQQGEwJERTFFMEMGA1UEChM8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hl biBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLEwdERk4tUEtJMS0wKwYDVQQDEyRE Rk4tVmVyZWluIENlcnRpZmljYXRpb24gQXV0aG9yaXR5IDIwHhcNMTYwNTI0MTEzODQwWhcN MzEwMjIyMjM1OTU5WjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQTCCASIw DQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAJ07eRxH3h+Gy8Zp1xCeOdfZojDbchwFfylf S2jxrRnWTOFrG7ELf6Gr4HuLi9gtzm6IOhDuV+UefwRRNuu6cG1joL6WLkDh0YNMZj0cZGnl m6Stcq5oOVGHecwX064vXWNxSzl660Knl5BpBb+Q/6RAcL0D57+eGIgfn5mITQ5HjUhfZZkQ 0tkqSe3BuS0dnxLLFdM/fx5ULzquk1enfnjK1UriGuXtQX1TX8izKvWKMKztFwUkP7agCwf9 TRqaA1KgNpzeJIdl5Of6x5ZzJBTN0OgbaJ4YWa52fvfRCng8h0uwN89Tyjo4EPPLR22MZD08 WkVKusqAfLjz56dMTM0CAwEAAaOCAgUwggIBMBIGA1UdEwEB/wQIMAYBAf8CAQEwDgYDVR0P AQH/BAQDAgEGMCkGA1UdIAQiMCAwDQYLKwYBBAGBrSGCLB4wDwYNKwYBBAGBrSGCLAEBBDAd BgNVHQ4EFgQUazqYi/nyU4na4K2yMh4JH+iqO3QwHwYDVR0jBBgwFoAUk+PYMiba1fFKpZFK 4OpL4qIMz+EwgY8GA1UdHwSBhzCBhDBAoD6gPIY6aHR0cDovL2NkcDEucGNhLmRmbi5kZS9n bG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDBAoD6gPIY6aHR0cDovL2NkcDIu cGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1nMi1jYS9wdWIvY3JsL2NhY3JsLmNybDCB3QYIKwYB BQUHAQEEgdAwgc0wMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBjYS5kZm4uZGUvT0NTUC1T ZXJ2ZXIvT0NTUDBKBggrBgEFBQcwAoY+aHR0cDovL2NkcDEucGNhLmRmbi5kZS9nbG9iYWwt cm9vdC1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSgYIKwYBBQUHMAKGPmh0dHA6Ly9j ZHAyLnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtZzItY2EvcHViL2NhY2VydC9jYWNlcnQuY3J0 MA0GCSqGSIb3DQEBCwUAA4IBAQCBeEWkTqR/DlXwCbFqPnjMaDWpHPOVnj/z+N9rOHeJLI21 rT7H8pTNoAauusyosa0zCLYkhmI2THhuUPDVbmCNT1IxQ5dGdfBi5G5mUcFCMWdQ5UnnOR7L n8qGSN4IFP8VSytmm6A4nwDO/afr0X9XLchMX9wQEZc+lgQCXISoKTlslPwQkgZ7nu7YRrQb tQMMONncsKk/cQYLsgMHM8KNSGMlJTx6e1du94oFOO+4oK4v9NsH1VuEGMGpuEvObJAaguS5 Pfp38dIfMwK/U+d2+dwmJUFvL6Yb+qQTkPp8ftkLYF3sv8pBoGH7EUkp2KgtdRXYShjqFu9V NCIaE40GMIIGXTCCBUWgAwIBAgIMINVXYSxHuNgwHehaMA0GCSqGSIb3DQEBCwUAMIGNMQsw CQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRz Y2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQD DBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBMB4XDTE5MDQxNjEzMzQxM1oXDTIyMDQx NTEzMzQxM1owgZ0xCzAJBgNVBAYTAkRFMQ8wDQYDVQQIDAZCZXJsaW4xDzANBgNVBAcMBkJl cmxpbjEiMCAGA1UECgwZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEuMCwGA1UECwwlRmFj aGJlcmVpY2ggTWF0aGVtYXRpayB1bmQgSW5mb3JtYXRpazEYMBYGA1UEAwwPV29sZmdhbmcg TXVsemVyMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAytLFW7TyoEVjaLl9bp5q 5fIxH9MvJ34IUwC6Uij8z4pYn2QS+YgGwYMnyZdbQ68QsAWe5av4cKqfTQDjpNEPzhnaGLkV iN+Fr4Y08YJDTXGPZReDnkVTdx65QsV5UFNJScQh2bDO4hTVHRhXe4TKRzr+GC+fE+PW/Y9V zGhxCCIj4vg/6vTPZ5N/2SUrUof4C08syka2D9bxYYuqNzVzND2XbrwU7eDsNcgT3xt7bX3k Rs/qebnySpJoFgk5LA2b2FbrCCj2E0LGf0BIWbSVQXK113qDR8TsO68wk+df65lmeatRfUQo L3cDfJ92s6xJUBha5o6LCiBNZ5QL78qpBQIDAQABo4ICqTCCAqUwQAYDVR0gBDkwNzAPBg0r BgEEAYGtIYIsAQEEMBEGDysGAQQBga0hgiwBAQQDCTARBg8rBgEEAYGtIYIsAgEEAwkwCQYD VR0TBAIwADAOBgNVHQ8BAf8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwME MB0GA1UdDgQWBBSkAOEOAX4WXOKil3Qzw9S+SVL3FzAfBgNVHSMEGDAWgBRrOpiL+fJTidrg rbIyHgkf6Ko7dDB5BgNVHREEcjBwgRdtdWx6ZXJAaW5mLmZ1LWJlcmxpbi5kZYEZbXVsemVy QHplZGF0LmZ1LWJlcmxpbi5kZYEcd29sZmdhbmcubXVsemVyQGZ1LWJlcmxpbi5kZYEcV29s ZmdhbmcuTXVsemVyQGZ1LWJlcmxpbi5kZTCBjQYDVR0fBIGFMIGCMD+gPaA7hjlodHRwOi8v Y2RwMS5wY2EuZGZuLmRlL2Rmbi1jYS1nbG9iYWwtZzIvcHViL2NybC9jYWNybC5jcmwwP6A9 oDuGOWh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9wdWIvY3JsL2Nh Y3JsLmNybDCB2wYIKwYBBQUHAQEEgc4wgcswMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBj YS5kZm4uZGUvT0NTUC1TZXJ2ZXIvT0NTUDBJBggrBgEFBQcwAoY9aHR0cDovL2NkcDEucGNh LmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBJBggrBgEF BQcwAoY9aHR0cDovL2NkcDIucGNhLmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jYWNl cnQvY2FjZXJ0LmNydDANBgkqhkiG9w0BAQsFAAOCAQEABspsG5DsX4jkwTq9oVFtPaWTKlwH IiXyqUfKMl41yifKQN289MYZaJGcmesJwWkjse0dNrOsiv1tI9s/3BxjuBNjCQgg0GN69mqQ ER3yPyaVYGEFH8mbv9lrUm5MOqDgIZLeseAx2Vq5JqSkpIZBKwPHnXuhtUUe53hUGRLgTwH2 iEkTRIpypkO77ZoiZ/XQts7a/2IZV/96wEZyGVDIdv1ilShv4zRa3UUZN4sD3pbPghV+KNlH i4bhxWRqBdnTCy5s1xkNrjSOSjnlL7XK3efphFZqQXiA7nmw5jkjjECAljXhWEgV6YrPLvpY PxlyvmGSv5ntVSH9lJ7/+oMoNzGCBAswggQHAgEBMIGeMIGNMQswCQYDVQQGEwJERTFFMEMG A1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hlbiBGb3JzY2h1bmdz bmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQDDBxERk4tVmVyZWluIEds b2JhbCBJc3N1aW5nIENBAgwg1VdhLEe42DAd6FowDQYJYIZIAWUDBAIBBQCgggI9MBgGCSqG SIb3DQEJAzELBgkqhkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTE5MTIwOTE1MTUxMFowLwYJ KoZIhvcNAQkEMSIEIBoXQiPuFUU+MvYdHBHUNfPb4kkf2qWJ9johrvoQeOisMGwGCSqGSIb3 DQEJDzFfMF0wCwYJYIZIAWUDBAEqMAsGCWCGSAFlAwQBAjAKBggqhkiG9w0DBzAOBggqhkiG 9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwBwYFKw4DAgcwDQYIKoZIhvcNAwICASgwga8GCSsG AQQBgjcQBDGBoTCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNVBAoMPFZlcmVpbiB6dXIgRm9l cmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25ldHplcyBlLiBWLjEQMA4GA1UE CwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9iYWwgSXNzdWluZyBDQQIMINVX YSxHuNgwHehaMIGxBgsqhkiG9w0BCRACCzGBoaCBnjCBjTELMAkGA1UEBhMCREUxRTBDBgNV BAoMPFZlcmVpbiB6dXIgRm9lcmRlcnVuZyBlaW5lcyBEZXV0c2NoZW4gRm9yc2NodW5nc25l dHplcyBlLiBWLjEQMA4GA1UECwwHREZOLVBLSTElMCMGA1UEAwwcREZOLVZlcmVpbiBHbG9i YWwgSXNzdWluZyBDQQIMINVXYSxHuNgwHehaMA0GCSqGSIb3DQEBAQUABIIBABAZWDrVVYaf NHdThSXk3Jj+OOfsOYW03/QWyKQmpqh3w16K5mo60kljj+99Ko5oTzsO0CHek2XuFZhaMVhs d9bU1Dzs04jmr0gvTSZ59bgxP0ZosLOx/Z7J2Ga0cD1SPdJfTb1jikb7TJE9PeYnocM50Svq M3X/kswLpAaPBxojMQgRAnQwPouv/LvEFDjIdDKkH+Zk1z5lFxghvRmIZXF21TEp1WaDfSax kAjAojVy6mSaWfZ/ytqapEBWSd1qfgSEpUty8CSS2ni3sDwwIT9OPYd2XVF9RBiVCI/AglX3 DjEj5ZVO9/Fg8V4qX3IlRrc964Jyx+/EDXCFZE/SQf4AAAAAAAA= --------------ms060002050206030208090300-- From alexander.kauer@fu-berlin.de Thu Dec 12 09:03:26 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ifJRR-003JzI-RL>; Thu, 12 Dec 2019 09:03:21 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ifJRR-000K6Z-Op>; Thu, 12 Dec 2019 09:03:21 +0100 Received: from x590cab75.dyn.telefonica.de ([89.12.171.117] helo=[192.168.0.5]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1ifJRR-003Unw-F0>; Thu, 12 Dec 2019 09:03:21 +0100 To: Mittagsseminar From: Alexander Kauer Autocrypt: addr=alexander.kauer@fu-berlin.de; prefer-encrypt=mutual; keydata= mQINBEtCMhEBEADLTCLDw326MiuXN2QtA9YJD4sSL75ezVpHHX0yOQ00CEHxVaFkIRqY0aI4 J4gpIc4eTEDpg3zORAf1bdHUa+m6q94o0D2iJkfR2GMpYuulG8rUFVlo7xKxvGcJsISYZwuY 52DvIHubzrbCCIWWVk37ZbKPY0pExB7m/q3m30mjMbrLlo20KssJEJHQ9wtblj4l1rf71zA0 cLso2lIfGUxDukNqqbpsUc+cokETiaQwZ/ZysPthqZyf5HQrupoNkoSlrLms2fGdZLl2qUc1 zBX4JY+lsgqB48cIfUp3HAYHvbCxOOa1a6Uj4DOxTQwEvY1mwpqkfB2jWq7Wyf6qy7uMt7ly +v9RxLqWD2hvlle54B448QcvikoL5kUDW+Ew+rZYOtzwp0oCEzyX5fR9MjXBHPMOMRPxAgsG PIoIlFDpkUaJGOtNWoplIdFdCtzzvccUCnIGVGIDLfTpsx8OrmIxj+il5fG03jaM1Ul2ayw2 SfIpZHVP1t8Gt24NTcQg7uKpd54hxIeAsZRTRTPUMpbJSVzjWu0xEMi+vqKFWjAawlVHlrru Gczz+7UziChhZty1L9n5iqULkYkq5RtaJRBnZ8kUeZIDmV+XMpYkcHx5p5HiABGTMTs+6klN OcUuq9GdcZC3hxzs1Q9LfYWP8VTwA01U5htyuuBRENcOibS+owARAQABtC5BbGV4YW5kZXIg S2F1ZXIgPGFsZXhhbmRlci5rYXVlckBmdS1iZXJsaW4uZGU+iQJVBBMBCgA/AhsDAh4BAheA BwsJCAcKAw0EFQoJCAUWAgMBABYhBEC48egB6oN4sfxE3GWR04mnIs7OBQJdcAHMBQkbk9E7 AAoJEGWR04mnIs7OFwcQAIKv80GphEZYNsSp4mr+BnzsadNxpqT0YA6rtPoOFuhBHXxE4jNR qFgLpjnfPW7tTps77nhSbVsBcj729FNU16zgYP9YC0PT4HIxtQDtSUvyyjoQFGXQIbcEsRld qrXsYXLRv2I/01h3St47z+3ARuaTi88RnUhNENVlol6TZufrwLmbJTXkW6SWRJYKcH5AFXv3 jKEGN5wI3gNAx27ZUerz9ZD89qFPUX7OzKdo2ml4WKZdJkGrOtaTn1KDXRwbiCuKptaoSyFq t8/K/r5bRSxrRWJeV9UppOTsy35WLgPhL7D/tM2z6WNWxlVb8uW0h83jWxuIYy2SOXEsaI66 qIygXFJVa61NmS4BtZSW9MdDXmx7Bq4yn91j83zAIUydj5kI8AOjvYM3/BPXQ4nyQOeaFlDG 0d2y9zXAYxG93Cg5z9pvZu7JHaV2Sl3v+/gcQWETtcppmWcTy91/UKerQgb0Nm8rQPRk430B Y490I8Pc4O3G0zAlUJbotMy1uUp151ZLgrYzm7mhJ9dBsda37JyKcnTXjrTUY2ZMkoItgzbW VNL9+yzqS7mEjuliBKhwcZpWnA+Rok9vX0lTtZRDpZ3wjFZwKXxeXZ31UDGsIAY+qFcauxrc JZCJdtHZ+sLM6oBc3PEMBYpiaWi7NSfnu9lofy1K7WK4L6gkFuDq9uF3uQINBFwITKoBEAC0 KsX+b2nl+3Oi6WrBuw9NjOvwQsWhGKT8KvVObCH+NzIAlWmnZfYz2gJda0hKXybd7VbQyAbY 769Cqjck9A8uqTYCUDP2nHBoaxZhob2pv9dCaN3Qg6QTlZy6aP+AgDiZM9algnByfX+pZgI/ Db9j7V6BKYc8/WL5blmIAKrj8QKdrwqK23OI6awcqEV15Za/+IXcxZ9mVbxyOL81rl7gfZ/v cBQo01f1DCjkvxgmQ4pe3UH+uhuWn1hanHgBId2Kj4qRDY9msoAAsWNSBwtpmTn9T8bBp2K3 1xCKwV24F9oqNa7WNYj0Goc+noxfGdN1JBngUztFlVL3+izhb55sKXCenrs4xHXTf7mq5Z7g sn/9ejqHsKUUwFugvF2kgbANPEkKl1eAtJG3lEa3+eDEbnwabXz9nuWXxqWCcHB24Kwk2Fp8 L4Q/LjPEqYPntEJSrzq2/YUHCfQeYNk9ESHTEZqaZ1PSjzfp7zC4rC8HdDzqDu7LqRAiNRfe BJHoOF0N+mg/gfKFD/R7YcCqLfHeXj4ElvSP9/l6CtLI7SlCVBTwyasXEZnu5bIwgj9RoBEK Rwb+K7aLW6ZjhYRAidpOI9uipiAXfWUdkGR6wQf+pROtn57dbhdsSy4pvB0fARUDO1sodcRH SjrlipdBugJpnOY31clLReLE8klMrAQiuwARAQABiQRyBBgBCgAmAhsCFiEEQLjx6AHqg3ix /ETcZZHTiacizs4FAl1wAb4FCQrNtowCQMF0IAQZAQoAHRYhBH+EKv3JWTZSeaXLnQ9b3Nx3 oVI9BQJcCEyqAAoJEA9b3Nx3oVI9Q3MP/2K6X/6oIq/QgdQGdp+TG8FF7icOOBg9kMdCxd94 V3vjDMNQP4JdTk5hPwtUAK7nHONJX9kz7S4axfKA9ofmE0t/PPfFnAOAQ0sCTgwPWytfkPCs fKD3KQIC1I9Gn1EvOY7hU38NwKBZlv+3Zqphp62gHTmGvHqbtcEMoftUOpEhctieu8EiS/wh SKE+vWgW34z2RGe5WtR/xyx7y5IEcKnYREH8m187aZLmJZ6ER9FH9KW65YJloJShPBsDOPzb suGyG3WeleS9QbBC0vBGy/tHLJSYoq3xog9ndnboDk0o36TTEFl+JinoP6f91CrB1Jk5Hvcv 2TCMrDWu4U6Y+nt23cui9h4y90Lzg/7rPSHV7KgjnpQmX9b13JUUnY8OnakpOngVMVLBbaxo TRVX4Q//wrHKv0e/Wca9OuR6uWBzUpAAuMXfSgsz2fLQgLeKSFiMzMuYQ4ZM93KamwsPPk39 DTL4ZFaU47ok3TymiJO9bvMbM0nHZKpMHrVBbZMko/1cQ+r/4niawTzrL+NmSNlVdNkYde96 2SMPahBXmyy3A8+p7sXcujPv/uRlZhs4pjgUSawhxRrTNlPFTmEKnhZRSK6ghwDrDpOTvr1n TMpBWvyG1mT7MdGJ3Eol0SqQsB8A+srFTjBgwdW70PXyFIS+kt76iC97sKO/+0tUI2XNCRBl kdOJpyLOzuKdEAC4Ojax7CX/oiPIrSxIwn3GF9rXqCq6FKoedzBwcDNCgkz709RrNKAHHkJt 4O8ETMceZUZuOKT3sOVhbjozMnRS5tYvguXYrQFWnNki2etsUBb4ETf9h/vWU7yrBPW08fsj MSKHHjeQ4POHV/EtZllsII/SyXFkvC/mPMmlilLEbAkjbMqA1SfntO08UFMa3xvvGQSmgjAV e3VTIu0ydFxQvi2buFM2Q4qbOzl+dULWECTqcjbFwtcMogR2rX3ifB8CEjl7SJyHMjFk1OI9 eQsoCr+B6AT347X4rPo0rIros/cLRSEAtr9jzum1kkO7keEnC4Zcwl0pSO91TdRXpD4aCQSq H+Qo0Wrd96xjRidlftai9IGKw58+sXEd8QnR5D1Mo8MmZ/LEtYXF2DLkDvaweeqAgsLPBN9q TaCgWRjgt0YSBMrfNvPCysaSBr43bqvO7tmxtNFbuBumBkdetTIw7vDb5wbJnk1B/HEh9CM8 q4gVDvDVvNU8Ut52nnaBTk/HHa4eyXH+FOi6B5bgnNFIBc9oFJSeqtXUYcavqJ0N+QZhDGfy CxTOjTPQUtysWyXUAJ26HzfPmOrVl0vCp577tmhH5BHt0GA3y2ZjxUL2aiu20fYcGwOKvpw4 y04/3Aj3INN9/IMd7e9fOdiVBi0lpfGERDVyLJ/ls9/Bnb51R7kCDQRcCE0LARAAxFE8+jXK llA6K7iPuV9c50Wv24Fc9dLn2yC1BkrSUsEd/BaF7s/YdQDOyX8p+015u+8OGCfzxIc/OLFL CKdvN2xNKL6Bpg7hgPjFrvpr5MR0o8hfvROC0n6Yj4RrqtRBS2YGLOgjTwDgxr/UhedkwiQS TYZsP6G+ABrwj1yEUeg+ZT/PvbS7qSIlyFpdGRuTkUVxoFnqJHlsQlHUc8PlK2+SKyga+ils Pxi/7yEBBkXLM1PXG8SjsNw04nDsVEojvrQ74tcisy05wWQ8LF9MJMrFnVegTC0wKlJjgYXR +LTrpjNYAoA1VZV4uu+Pj0gs4j2Sb9kQGYmeXWu9Uda43/eIaD3IWdVvXglkamZUzH7NEUIT KENskBmYc0n1pG61r6eaPKrMPD2qvyfQV7KP5ANk+sUkG0KzRdl7WVfx0Fz9v4XgE8QZo2D4 UmFKVE59lLvH4z7Qh8QW7Vr6ApclQ/WyDx9+8qhddefRGCUmGd+jSfLFGURNTNA1NpZ1ETSB UF3D5VphHyAdgMlMAKYYneoWEdEZUptb+1/ByDF8pY1HnV7r/zMerNdG+Th3JJ4DDEGCXRh6 j/UnUhpv6hrjN3yzapCTRDwkfrPf7RUgS2qA4tqH1V9Zlf7eJsWsUTYmVJJ3bQ27cW2KyGMM 0AWD+pDSNPw6uV6QaGIQ1vQqcp8AEQEAAYkCPAQYAQoAJgIbDBYhBEC48egB6oN4sfxE3GWR 04mnIs7OBQJdcAG+BQkKzbYrAAoJEGWR04mnIs7OT9QP/RicsN5OGiey23yxS5wQ2aCr6D4t jTeaRXuHDswg1mxMc/gFKMZ+7yIdo7vZS+lEFddo/jvbI472rb80B1RUGN5hZzRR2OdEWAG2 lqyxbyZVq7Hmgh/eubLUebod+X91UVjNZWxxBrpibfU24d0r3zdX6CYS5WrPBLS8wUlcFYNv I483MT3VjnwbwO64gvtXzLf4UgBV6MwYpmNhVtog4C/rNq1NGIaJ76eBLYzy991DcVdHdW7v APOq0hfa7qXOsej12kM17drhwJt647EzhCKtC0D+vTQgmsg6T5tCjERNS2oHsTeEv4r/nA1J NU9PYemvY082Nhg7JgRT0bYpDLk0hMemGGKc81nP0891yrzli/MvSNqjU5NSD/9I3zlIyD86 25JPCjJr99TJLdr2HHjV2TULVRhqUYNaP06vlA9sWMfXKLBCAVeC6FrYeDazdyK92iZ9an+n ECHswo9b3icpBq1KC+MXtEbSWpTlghW+o0GQCmkdBOb1g91dygt/PTXM2/HdAKeT6w4326N/ mkkb/RjglDEZ1AQOTomK787mfsuIIzk1OgYe6MWIz252cN9klXXBfSTWnrm5KH4VvlQJf6pC b02/XjFZNmjJ9VFsKOZgP5Vynd3W4vNGV4b9vBdkWEEETYeT/xDHvYaJaHiHuQCqbWyZB1D2 2M8wj5yR Message-ID: <71868961-9326-e71e-7fd0-7fcca27a7191@fu-berlin.de> Date: Thu, 12 Dec 2019 09:03:20 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Originating-IP: 89.12.171.117 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1576137801-000947E6-A997FFF6/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.351278, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.2 on Niue.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 12.12.2019 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, 12 Dec 2019 08:03:26 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 12.12.2019, 12 Uhr, SR 055 Alexander Kauer zum Thema: Longest Common Substring with approx. k mismatches From rote@inf.fu-berlin.de Mon Dec 16 18:55:17 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iguaO-0041vx-DM>; Mon, 16 Dec 2019 18:55:12 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1iguaO-0035OD-Au>; Mon, 16 Dec 2019 18:55:12 +0100 Received: from dslb-094-222-030-115.094.222.pools.vodafone-ip.de ([94.222.30.115] helo=[192.168.178.44]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1iguaN-0014aH-U0>; Mon, 16 Dec 2019 18:55:12 +0100 To: agti-Mittagsseminar@lists.fu-berlin.de From: =?UTF-8?Q?G=c3=bcnter_Rote?= Message-ID: <6fe2d3f8-5b43-9d1b-5e7d-214b2391b551@inf.fu-berlin.de> Date: Mon, 16 Dec 2019 18:55:07 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Originating-IP: 94.222.30.115 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1576518912-0008B0BE-119D9E38/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.356814, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.3 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Dienstag, 17. 12. 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: Mon, 16 Dec 2019 17:55:17 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 17. Dezember 2019, 12:00 Uhr, SR 055, Takustraße 9 Tillmann Miltzow (Utrecht) zum Thema: Robust Realistic Geometric Computation From kristin.knorr@fu-berlin.de Wed Dec 18 15:06:43 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ihZyN-003peB-A0>; Wed, 18 Dec 2019 15:06:43 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ihZyN-001Eo9-7W>; Wed, 18 Dec 2019 15:06:43 +0100 Received: from dreieck.imp.fu-berlin.de ([160.45.40.212]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1ihZyN-003T71-2F>; Wed, 18 Dec 2019 15:06:43 +0100 From: Kristin Knorr To: agti-Mittagsseminar@lists.fu-berlin.de Message-ID: <533055ce-3c03-2d58-d49e-6c1f547a8efa@fu-berlin.de> Date: Wed, 18 Dec 2019 15:06:42 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Content-Language: en-US X-Originating-IP: 160.45.40.212 X-ZEDAT-Hint: T X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1576678003-00092B43-77529EE7/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.3 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 19.09.2019 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: Wed, 18 Dec 2019 14:06:43 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 19.12.2019, 12 Uhr, SR 055 Kristin Knorr zum Thema: Liar's Domination Part 2 From kristin.knorr@fu-berlin.de Wed Dec 18 15:07:41 2019 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ihZzJ-003pjE-Gy>; Wed, 18 Dec 2019 15:07:41 +0100 Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (envelope-from ) id <1ihZzJ-001FIT-Ez>; Wed, 18 Dec 2019 15:07:41 +0100 Received: from dreieck.imp.fu-berlin.de ([160.45.40.212]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (envelope-from ) id <1ihZzJ-003TF5-A1>; Wed, 18 Dec 2019 15:07:41 +0100 From: Kristin Knorr To: agti-Mittagsseminar@lists.fu-berlin.de Message-ID: <2fa071d3-07d5-9bba-2f69-c514b429b7be@fu-berlin.de> Date: Wed, 18 Dec 2019 15:07:41 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Content-Language: en-US X-Originating-IP: 160.45.40.212 X-ZEDAT-Hint: T X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1576678061-00092B43-67A4A991/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.0 required=5.0 tests=ALL_TRUSTED X-Spam-Checker-Version: SpamAssassin 3.4.3 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 19.12.2019 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: Wed, 18 Dec 2019 14:07:41 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 19.12.2019, 12 Uhr, SR 055 Kristin Knorr zum Thema: Liar's Domination Part 2