From alt@mi.fu-berlin.de Thu Apr 02 11:12:57 2015 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 esmtp (envelope-from ) id <1YdbBI-000h8h-0J>; Thu, 02 Apr 2015 11:12:56 +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 esmtp (envelope-from ) id <1YdbBH-000LPL-Vb>; Thu, 02 Apr 2015 11:12:55 +0200 Received: from ikosaeder.imp.fu-berlin.de ([160.45.40.206]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1YdbBH-000WkK-Uc>; Thu, 02 Apr 2015 11:12:55 +0200 Message-ID: <551D0817.6010904@mi.fu-berlin.de> Date: Thu, 02 Apr 2015 11:12:55 +0200 From: Helmut Alt User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.5.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de References: <44292.160.45.40.228.1425482689.webmail@webmail.zedat.fu-berlin.de> <54F72E3C.9080303@inf.fu-berlin.de> In-Reply-To: <54F72E3C.9080303@inf.fu-berlin.de> Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 7bit X-Originating-IP: 160.45.40.206 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1427965976-00000DE8-01076D4F/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000004, 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.0 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 2.4.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 02 Apr 2015 09:12:57 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 05.03.2015 Helmut Alt An approximation algorithm for the optimal packing of convex polygons under translation Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. From mulzer@inf.fu-berlin.de Tue Apr 07 07:28:55 2015 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 esmtp (envelope-from ) id <1YfM4E-0049Nl-Jy>; Tue, 07 Apr 2015 07:28:54 +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 esmtp (envelope-from ) id <1YfM4E-001ANt-Iu>; Tue, 07 Apr 2015 07:28:54 +0200 Received: from f053073225.adsl.alicedsl.de ([78.53.73.225] helo=[192.168.1.50]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1YfM4E-003k65-Ep>; Tue, 07 Apr 2015 07:28:54 +0200 Message-ID: <55236B18.2010303@inf.fu-berlin.de> Date: Tue, 07 Apr 2015 07:28:56 +0200 From: Wolfgang Mulzer User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de References: <44292.160.45.40.228.1425482689.webmail@webmail.zedat.fu-berlin.de> In-Reply-To: <44292.160.45.40.228.1425482689.webmail@webmail.zedat.fu-berlin.de> Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha1; boundary="------------ms060303000406000203080207" X-Originating-IP: 78.53.73.225 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1428384534-00000DE8-3557B474/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.0 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 07.04.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 07 Apr 2015 05:28:55 -0000 This is a cryptographically signed message in MIME format. --------------ms060303000406000203080207 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 07.04.2015 Wolfgang Mulzer zum Thema: The Sample-Compression Conjecture *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** --------------ms060303000406000203080207 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIQeDCC BNUwggO9oAMCAQICCFBOxvU9EbRkMA0GCSqGSIb3DQEBCwUAMHExCzAJBgNVBAYTAkRFMRww GgYDVQQKExNEZXV0c2NoZSBUZWxla29tIEFHMR8wHQYDVQQLExZULVRlbGVTZWMgVHJ1c3Qg Q2VudGVyMSMwIQYDVQQDExpEZXV0c2NoZSBUZWxla29tIFJvb3QgQ0EgMjAeFw0xNDA3MjIx MjA4MjZaFw0xOTA3MDkyMzU5MDBaMFoxCzAJBgNVBAYTAkRFMRMwEQYDVQQKEwpERk4tVmVy ZWluMRAwDgYDVQQLEwdERk4tUEtJMSQwIgYDVQQDExtERk4tVmVyZWluIFBDQSBHbG9iYWwg LSBHMDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDpm8NnhfkNrvWNVMOWUDU9 YuluTO2U1wBblSJ01CDrNI/W7MAxBAuZgeKmFNJSoCgjhIt0iQReW+DieMF4yxbLKDU5ey2Q RdDtoAB6fL9KDhsAw4bpXCsxEXsM84IkQ4wcOItqaACa7txPeKvSxhObdq3u3ibo7wGvdA/B CaL2a869080UME/15eOkyGKbghoDJzANAmVgTe3RCSMqljVYJ9N2xnG2kB3E7f81hn1vM7Pb D8URwoqDoZRdQWvY0hD1TP3KUazZve+Sg7va64sWVlZDz+HVEz2mHycwzUlU28kTNJpxdcVs 6qcLmPkhnSevPqM5OUhqjK3JmfvDEvK9AgMBAAGjggGGMIIBgjAOBgNVHQ8BAf8EBAMCAQYw HQYDVR0OBBYEFEm3xs/oPR9/6kR7Eyn38QpwPt5kMB8GA1UdIwQYMBaAFDHDeRu69VPXF+CJ ei0XbAqzK50zMBIGA1UdEwEB/wQIMAYBAf8CAQIwYgYDVR0gBFswWTARBg8rBgEEAYGtIYIs AQEEAgIwEQYPKwYBBAGBrSGCLAEBBAMAMBEGDysGAQQBga0hgiwBAQQDATAPBg0rBgEEAYGt IYIsAQEEMA0GCysGAQQBga0hgiweMD4GA1UdHwQ3MDUwM6AxoC+GLWh0dHA6Ly9wa2kwMzM2 LnRlbGVzZWMuZGUvcmwvRFRfUk9PVF9DQV8yLmNybDB4BggrBgEFBQcBAQRsMGowLAYIKwYB BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMDoGCCsGAQUFBzAChi5o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9EVF9ST09UX0NBXzIuY2VyMA0GCSqGSIb3 DQEBCwUAA4IBAQBjICj9nCGGcr45Rlk5MiW8qQGbDczKfUGchm0KbiyzE1l1sTOSG2EnFv/D stU1gvuEKgFJvWa7Zi+ywgZdbj9u4wFaW8pDY1yVtuExpx/VB19N5mWCTjL5w3x6S81NXHTu IfJ1AuxSPtLJatOQI25JZzW+f01WpOzML8+3oZeocj7JvEDWWqQIPda8gsO3tzKOsSyOam23 NQIZz/U5RFhjpyQAELC7/E6vbi84u6VXST/YblBvLJeW3B1GmmWJz67M8uXZn1OzPqEvkqnY C8aEHwTG6x7on321e6UC8STFJGMRNMxakyAqeYg6JUKQqWU7fIbTEhUjKfws2sw5W1QXMIIF jzCCBHegAwIBAgIHF5BgzPm5bjANBgkqhkiG9w0BAQsFADBaMQswCQYDVQQGEwJERTETMBEG A1UEChMKREZOLVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMB4XDTE0MDUxMjE1MDUzMloXDTE5MDcwOTIzNTkwMFowgbUx CzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNVBAcTBkJlcmxpbjEiMCAGA1UE ChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UECxMFWkVEQVQxMDAuBgNVBAMT J0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAtIEcwMTEeMBwGCSqGSIb3DQEJ ARYPY2FARlUtQmVybGluLkRFMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjYUI 0048zDNevkmXipCDjSpIr+sEbhiXPzWnZnCnkmLOrEMFaNDWDX6kcVQ1VP71opEfGuR5LtW0 P6N+JM8E8y5HXdap62bD4Yfg0KQEmlh9vpMQ75BckReW7wRKH/Ntcrg8gwn97d17Hs8hgRGk 8cpBRAs5v5hcqRZcjR63mKCismsjld6MVdWSNYhZJhpcnb0dVzMa3A7Rf1OsXHwDXrhusCNp h1+Pazuw2XbIKWSCsFS4qlhHOj5QA375qk5IjjsUnw2FqljLiziu9xB4/jhSx1fz6+5RVnTe 5Tb9GMbk5RVR+dvPTnzF96T/yW5DqsFIL+xBYQ8juFoBQog3MwIDAQABo4IB/DCCAfgwEgYD VR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwEQYDVR0gBAowCDAGBgRVHSAAMB0G A1UdDgQWBBQG4T30b/Qwt3o7V7AxBYl7DVhabDAfBgNVHSMEGDAWgBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAaBgNVHREEEzARgQ9jYUBGVS1CZXJsaW4uREUwgYgGA1UdHwSBgDB+MD2gO6A5 hjdodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jcmwvY2Fjcmwu Y3JsMD2gO6A5hjdodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9j cmwvY2FjcmwuY3JsMIHXBggrBgEFBQcBAQSByjCBxzAzBggrBgEFBQcwAYYnaHR0cDovL29j c3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEcGCCsGAQUFBzAChjtodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBHBggr BgEFBQcwAoY7aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2Fj ZXJ0L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBADRy38buZjrfDN8mZiukEjlsx+6s /DKj5YYWaAvUB5kqhL2TM58bPyq4sYAVCDWALifAk11Gx4/Rp1PLNFd4tnoRcQsfgN8ywECp WBbgESOC73tfa6ZSPEY8uZ4yUk0o2nwxkgU0V3/b7/51XLp5TA5gBeL3aYcjYQ17QN14Mh12 MiXFp5VbPBDTHkinUXt316A8Qj09wJnHMOjt5M+ZDn82YYC7vFDzjNkNmw46PRL3hZOfZb1I S+fhVlR4eW0FBLqmGg+4Y7Y4KKrwBcBK3OzME5jN71LkdNu1lkB43OfT+YOMT+pqZp1l0U6D GZa3SZy5xfWY3EL5BYVM8xAfoZgwggYIMIIE8KADAgECAgcWpEteCY1tMA0GCSqGSIb3DQEB BQUAMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNVBAsTBVpFREFUMTAw LgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0EgLSBHMDExHjAcBgkq hkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERTAeFw0xMzExMTQxMzE5MTBaFw0xNjExMTMxMzE5 MTBaMIGdMQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xLjAsBgNVBAsTJUZhY2hiZXJl aWNoIE1hdGhlbWF0aWsgdW5kIEluZm9ybWF0aWsxGDAWBgNVBAMTD1dvbGZnYW5nIE11bHpl cjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALJ+8bF7plEoCuVzm7EV8kMZ5PPE 9wto3ZvcnbvSDr9q8UuecqcE/zV7O/xxYY1CbdEP3eXhAs/x7evufNt2hkDLf1p8xENbF+oW Y620tfjjCgNtVYJeQOaiw8v1691ofCiDQTyPliUtO4liwJZoKTSOZtnCbFqV7SmHGAv++awO vdjdiMAnbpzBNxPUVLJaPnSzdsmHXZYTqK/pvJEEh60+dcpCA1RiQjnhj4lfLk+f871WkBkb G1aBkr/q0/qh6SHy0q9uAuue8Wc7k/BHZ6qds8NzB8O3Ml+PGF8ZJSKj5TViReIG6jnGm2xN YbCVAU4zgtLk86U3NO73NpEkLfUCAwEAAaOCAjEwggItMC8GA1UdIAQoMCYwEQYPKwYBBAGB rSGCLAEBBAMAMBEGDysGAQQBga0hgiwCAQQDADAJBgNVHRMEAjAAMAsGA1UdDwQEAwIF4DAd BgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYDVR0OBBYEFI4BgLVWXeWOTtd+/GPN vK6B0ryxMB8GA1UdIwQYMBaAFAbhPfRv9DC3ejtXsDEFiXsNWFpsMHkGA1UdEQRyMHCBF211 bHplckBpbmYuZnUtYmVybGluLmRlgRltdWx6ZXJAemVkYXQuZnUtYmVybGluLmRlgRxXb2xm Z2FuZy5NdWx6ZXJAZnUtYmVybGluLmRlgRx3b2xmZ2FuZy5tdWx6ZXJAZnUtYmVybGluLmRl MHUGA1UdHwRuMGwwNKAyoDCGLmh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwNKAyoDCGLmh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwgZAGCCsGAQUFBwEBBIGDMIGAMD4GCCsGAQUFBzAChjJodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2Z1LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDA+BggrBgEFBQcwAoYy aHR0cDovL2NkcDIucGNhLmRmbi5kZS9mdS1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwDQYJ KoZIhvcNAQEFBQADggEBAGuYxfnNPvn7lgtrDXQwCDTIRrjvNgBW27HPauYSJmLhiVixTTi0 wSJvFg3ZrCsn5qHDfw5yV82lkCYBo40QwC1DMnr09JDaYPmXnccMmxRT5wPdCBQOe8ScSdqo PIi/38LJSvErWWOj9ptFh/Hye26uxgqDkDkK6fcfqjFMRYWc9swXRLfGShswyRahdRK5hYNq NT44BxEYU9iuV+G1tEbAW39o843Wxjz1OL+hVtG6aJfh4RlSk9BL+SQx1ewHwHOc+E5F6HIy L4dPpGcU54gETBuhW+N6m+SCIKmSxksGl8ehVseVDU/dLO6EOLuvKvufTsC4Ej1Xv5lZZ6Cl hhExggRkMIIEYAIBATCBwTCBtTELMAkGA1UEBhMCREUxDzANBgNVBAgTBkJlcmxpbjEPMA0G A1UEBxMGQmVybGluMSIwIAYDVQQKExlGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluMQ4wDAYD VQQLEwVaRURBVDEwMC4GA1UEAxMnRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbiAtIEZVLUNB IC0gRzAxMR4wHAYJKoZIhvcNAQkBFg9jYUBGVS1CZXJsaW4uREUCBxakS14JjW0wCQYFKw4D AhoFAKCCAncwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTUw NDA3MDUyODU2WjAjBgkqhkiG9w0BCQQxFgQUsmdA8xQBe0dpec04pcGg++wAtcwwbAYJKoZI hvcNAQkPMV8wXTALBglghkgBZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA4GCCqG SIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDCB0gYJ KwYBBAGCNxAEMYHEMIHBMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYD VQQHEwZCZXJsaW4xIjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNV BAsTBVpFREFUMTAwLgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0Eg LSBHMDExHjAcBgkqhkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERQIHFqRLXgmNbTCB1AYLKoZI hvcNAQkQAgsxgcSggcEwgbUxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNV BAcTBkJlcmxpbjEiMCAGA1UEChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UE CxMFWkVEQVQxMDAuBgNVBAMTJ0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAt IEcwMTEeMBwGCSqGSIb3DQEJARYPY2FARlUtQmVybGluLkRFAgcWpEteCY1tMA0GCSqGSIb3 DQEBAQUABIIBAIEMGbwbtBPahlHOvMUsvGMenMQJBZQFl5zJJLVD4DLwDWY+fi7WkvvcOhCT 2reaftKQgLbHNGepukoHzmpVFFkEkTlG+FbNKJxTD/XOYU3c3049vjmI3GPIvWZ/HLUH8Gf4 m2qIx39Cx8bCwvk4pgahAXWJN+KxKMtYTpDsGpO0Sa2uC1f9jnzmAVlekOZkHrtw623ZkhbZ tn/PyZz50qBAws7G0XSfpVRumC9aZ58+RgyvGPmxfo560oGz/wrrftCirxL4txxGBbj1STsk RhwaVlIuspBWFkppkZr/Z34lpFOiequkjIW04ZdbAcvnRT+vIlwynmfV9hurL0/OH3wAAAAA AAA= --------------ms060303000406000203080207-- From knoll@mi.fu-berlin.de Mon Apr 13 10:38:52 2015 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 esmtp (envelope-from ) id <1YhZtK-003DR8-Lw>; Mon, 13 Apr 2015 10:38:50 +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 esmtp (envelope-from ) id <1YhZtK-000N0m-Kx>; Mon, 13 Apr 2015 10:38:50 +0200 Received: from kugel.imp.fu-berlin.de ([160.45.40.236]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1YhZtK-002IC1-Jr>; Mon, 13 Apr 2015 10:38:50 +0200 Message-ID: <552B809A.50307@mi.fu-berlin.de> Date: Mon, 13 Apr 2015 10:38:50 +0200 From: Tamara Knoll User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.4.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Originating-IP: 160.45.40.236 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1428914330-00000DE8-BD51A3D3/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.157445, 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.0 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 14. u. 16.04.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 13 Apr 2015 08:38:52 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 14.04.2015 Boris Klenmz zum Thema: Recognizing Weighted Disk Contact Graphs (Bewerbungsvortrag) und am Donnerstag, 16.04.2015 Günter Rote zum Thema: The Blaschke-Petkantschin formula for the hyperplane spanned by random points *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** -- ------------------------------------------------------------------------ Tamara Knoll Sekretariat Theoretische Informatik Institut für Informatik knoll@inf.fu-berlin.de Freie Universität Berlin Phone: +49-30-838 75103 Takustr.9, D-14195 Berlin Fax: +49-30-838 75192 ------------------------------------------------------------------------ From t.miltzow@googlemail.com Wed Apr 15 13:24:50 2015 Received: from relay1.zedat.fu-berlin.de ([130.133.4.67]) by list1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtp (envelope-from ) id <1YiLR3-001wdZ-3n>; Wed, 15 Apr 2015 13:24:49 +0200 Received: from mail-pa0-f41.google.com ([209.85.220.41]) by relay1.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (envelope-from ) id <1YiLR2-000nfA-TK>; Wed, 15 Apr 2015 13:24:49 +0200 Received: by paboj16 with SMTP id oj16so47962081pab.0 for ; Wed, 15 Apr 2015 04:24:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=Q8V48F/fJs5uvPX4YGYGgma9M4+sTUU2zI0+dttlW8w=; b=XjrdXOpPMXJd8Dxd1m7Ds1PEoN6ZpxtJx/dB5dcUCOFi2bz7tqDkK0Y5QiN5Wl9O4o kDhxwOpxu6QRm9B0J3ThBpXrUp/LERGVDFxTOVMb9Q5xAsIBRVWNB4ZWO40NriLU5Idq X1VwF73ujPpz5eUrj8dAYmc9KP0Ur1kxE2KGQUkY7gGha97ynffVIyaL7cTOCgh4dRAc N0mXz+m64stWMS1GieqfYtltgYCMlZ+fuh6r/OE588UtbhWy+SXk5vJy3jsxcl1QE3Ve z28HHx/RtJckI4xnlBqGtM75zDkS85daTD7KNm5ORd+9qe4oxyFmyEu9BxbjA4NzVDTD zXwg== MIME-Version: 1.0 X-Received: by 10.68.229.233 with SMTP id st9mr46015347pbc.160.1429097085743; Wed, 15 Apr 2015 04:24:45 -0700 (PDT) Received: by 10.70.64.163 with HTTP; Wed, 15 Apr 2015 04:24:45 -0700 (PDT) Date: Wed, 15 Apr 2015 13:24:45 +0200 Message-ID: From: Till Miltzow To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: text/plain; charset=UTF-8 X-Originating-IP: 209.85.220.41 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1429097089-00000DE8-82C68240/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.046922, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-0.7 required=5.0 tests=FREEMAIL_FROM, RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,T_DKIM_INVALID X-Spam-Checker-Version: SpamAssassin 3.4.0 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Grillen X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 15 Apr 2015 11:24:50 -0000 Hi everyone, Yannik and Mathias reminded me kindly that I might want to use the barbeque. However, Thursday is the only day I still have time before my departure. So Thursday around 7 pm some food will be provided. Be there or be square! ;) best Till From mulzer@inf.fu-berlin.de Thu Apr 23 10:45:29 2015 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 esmtp (envelope-from ) id <1YlClD-003bB0-ID>; Thu, 23 Apr 2015 10:45:27 +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 esmtp (envelope-from ) id <1YlClD-0019Vu-HE>; Thu, 23 Apr 2015 10:45:27 +0200 Received: from bisektor.imp.fu-berlin.de ([160.45.40.231]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1YlClD-000G4R-GE>; Thu, 23 Apr 2015 10:45:27 +0200 Message-ID: <5538B127.7060101@inf.fu-berlin.de> Date: Thu, 23 Apr 2015 10:45:27 +0200 From: Wolfgang Mulzer User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de References: <44292.160.45.40.228.1425482689.webmail@webmail.zedat.fu-berlin.de> In-Reply-To: <44292.160.45.40.228.1425482689.webmail@webmail.zedat.fu-berlin.de> Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha1; boundary="------------ms070409020609070604060503" X-Originating-IP: 160.45.40.231 X-ZEDAT-Hint: A X-purgate: suspect X-purgate-type: suspect X-purgate-ID: 151147::1429778727-00000DE8-58D906B1/1/4579685454 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-49.0 required=5.0 tests=ALL_TRUSTED, FU_XPURGATE_SUSP X-Spam-Checker-Version: SpamAssassin 3.4.0 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 23.04.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 23 Apr 2015 08:45:29 -0000 This is a cryptographically signed message in MIME format. --------------ms070409020609070604060503 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 23.04.2015 Matthias Henze zum Thema: What is the 84-shape? *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** --------------ms070409020609070604060503 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIQeDCC BNUwggO9oAMCAQICCFBOxvU9EbRkMA0GCSqGSIb3DQEBCwUAMHExCzAJBgNVBAYTAkRFMRww GgYDVQQKExNEZXV0c2NoZSBUZWxla29tIEFHMR8wHQYDVQQLExZULVRlbGVTZWMgVHJ1c3Qg Q2VudGVyMSMwIQYDVQQDExpEZXV0c2NoZSBUZWxla29tIFJvb3QgQ0EgMjAeFw0xNDA3MjIx MjA4MjZaFw0xOTA3MDkyMzU5MDBaMFoxCzAJBgNVBAYTAkRFMRMwEQYDVQQKEwpERk4tVmVy ZWluMRAwDgYDVQQLEwdERk4tUEtJMSQwIgYDVQQDExtERk4tVmVyZWluIFBDQSBHbG9iYWwg LSBHMDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDpm8NnhfkNrvWNVMOWUDU9 YuluTO2U1wBblSJ01CDrNI/W7MAxBAuZgeKmFNJSoCgjhIt0iQReW+DieMF4yxbLKDU5ey2Q RdDtoAB6fL9KDhsAw4bpXCsxEXsM84IkQ4wcOItqaACa7txPeKvSxhObdq3u3ibo7wGvdA/B CaL2a869080UME/15eOkyGKbghoDJzANAmVgTe3RCSMqljVYJ9N2xnG2kB3E7f81hn1vM7Pb D8URwoqDoZRdQWvY0hD1TP3KUazZve+Sg7va64sWVlZDz+HVEz2mHycwzUlU28kTNJpxdcVs 6qcLmPkhnSevPqM5OUhqjK3JmfvDEvK9AgMBAAGjggGGMIIBgjAOBgNVHQ8BAf8EBAMCAQYw HQYDVR0OBBYEFEm3xs/oPR9/6kR7Eyn38QpwPt5kMB8GA1UdIwQYMBaAFDHDeRu69VPXF+CJ ei0XbAqzK50zMBIGA1UdEwEB/wQIMAYBAf8CAQIwYgYDVR0gBFswWTARBg8rBgEEAYGtIYIs AQEEAgIwEQYPKwYBBAGBrSGCLAEBBAMAMBEGDysGAQQBga0hgiwBAQQDATAPBg0rBgEEAYGt IYIsAQEEMA0GCysGAQQBga0hgiweMD4GA1UdHwQ3MDUwM6AxoC+GLWh0dHA6Ly9wa2kwMzM2 LnRlbGVzZWMuZGUvcmwvRFRfUk9PVF9DQV8yLmNybDB4BggrBgEFBQcBAQRsMGowLAYIKwYB BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMDoGCCsGAQUFBzAChi5o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9EVF9ST09UX0NBXzIuY2VyMA0GCSqGSIb3 DQEBCwUAA4IBAQBjICj9nCGGcr45Rlk5MiW8qQGbDczKfUGchm0KbiyzE1l1sTOSG2EnFv/D stU1gvuEKgFJvWa7Zi+ywgZdbj9u4wFaW8pDY1yVtuExpx/VB19N5mWCTjL5w3x6S81NXHTu IfJ1AuxSPtLJatOQI25JZzW+f01WpOzML8+3oZeocj7JvEDWWqQIPda8gsO3tzKOsSyOam23 NQIZz/U5RFhjpyQAELC7/E6vbi84u6VXST/YblBvLJeW3B1GmmWJz67M8uXZn1OzPqEvkqnY C8aEHwTG6x7on321e6UC8STFJGMRNMxakyAqeYg6JUKQqWU7fIbTEhUjKfws2sw5W1QXMIIF jzCCBHegAwIBAgIHF5BgzPm5bjANBgkqhkiG9w0BAQsFADBaMQswCQYDVQQGEwJERTETMBEG A1UEChMKREZOLVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMB4XDTE0MDUxMjE1MDUzMloXDTE5MDcwOTIzNTkwMFowgbUx CzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNVBAcTBkJlcmxpbjEiMCAGA1UE ChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UECxMFWkVEQVQxMDAuBgNVBAMT J0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAtIEcwMTEeMBwGCSqGSIb3DQEJ ARYPY2FARlUtQmVybGluLkRFMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjYUI 0048zDNevkmXipCDjSpIr+sEbhiXPzWnZnCnkmLOrEMFaNDWDX6kcVQ1VP71opEfGuR5LtW0 P6N+JM8E8y5HXdap62bD4Yfg0KQEmlh9vpMQ75BckReW7wRKH/Ntcrg8gwn97d17Hs8hgRGk 8cpBRAs5v5hcqRZcjR63mKCismsjld6MVdWSNYhZJhpcnb0dVzMa3A7Rf1OsXHwDXrhusCNp h1+Pazuw2XbIKWSCsFS4qlhHOj5QA375qk5IjjsUnw2FqljLiziu9xB4/jhSx1fz6+5RVnTe 5Tb9GMbk5RVR+dvPTnzF96T/yW5DqsFIL+xBYQ8juFoBQog3MwIDAQABo4IB/DCCAfgwEgYD VR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwEQYDVR0gBAowCDAGBgRVHSAAMB0G A1UdDgQWBBQG4T30b/Qwt3o7V7AxBYl7DVhabDAfBgNVHSMEGDAWgBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAaBgNVHREEEzARgQ9jYUBGVS1CZXJsaW4uREUwgYgGA1UdHwSBgDB+MD2gO6A5 hjdodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jcmwvY2Fjcmwu Y3JsMD2gO6A5hjdodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9j cmwvY2FjcmwuY3JsMIHXBggrBgEFBQcBAQSByjCBxzAzBggrBgEFBQcwAYYnaHR0cDovL29j c3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEcGCCsGAQUFBzAChjtodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBHBggr BgEFBQcwAoY7aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2Fj ZXJ0L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBADRy38buZjrfDN8mZiukEjlsx+6s /DKj5YYWaAvUB5kqhL2TM58bPyq4sYAVCDWALifAk11Gx4/Rp1PLNFd4tnoRcQsfgN8ywECp WBbgESOC73tfa6ZSPEY8uZ4yUk0o2nwxkgU0V3/b7/51XLp5TA5gBeL3aYcjYQ17QN14Mh12 MiXFp5VbPBDTHkinUXt316A8Qj09wJnHMOjt5M+ZDn82YYC7vFDzjNkNmw46PRL3hZOfZb1I S+fhVlR4eW0FBLqmGg+4Y7Y4KKrwBcBK3OzME5jN71LkdNu1lkB43OfT+YOMT+pqZp1l0U6D GZa3SZy5xfWY3EL5BYVM8xAfoZgwggYIMIIE8KADAgECAgcWpEteCY1tMA0GCSqGSIb3DQEB BQUAMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNVBAsTBVpFREFUMTAw LgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0EgLSBHMDExHjAcBgkq hkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERTAeFw0xMzExMTQxMzE5MTBaFw0xNjExMTMxMzE5 MTBaMIGdMQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xLjAsBgNVBAsTJUZhY2hiZXJl aWNoIE1hdGhlbWF0aWsgdW5kIEluZm9ybWF0aWsxGDAWBgNVBAMTD1dvbGZnYW5nIE11bHpl cjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALJ+8bF7plEoCuVzm7EV8kMZ5PPE 9wto3ZvcnbvSDr9q8UuecqcE/zV7O/xxYY1CbdEP3eXhAs/x7evufNt2hkDLf1p8xENbF+oW Y620tfjjCgNtVYJeQOaiw8v1691ofCiDQTyPliUtO4liwJZoKTSOZtnCbFqV7SmHGAv++awO vdjdiMAnbpzBNxPUVLJaPnSzdsmHXZYTqK/pvJEEh60+dcpCA1RiQjnhj4lfLk+f871WkBkb G1aBkr/q0/qh6SHy0q9uAuue8Wc7k/BHZ6qds8NzB8O3Ml+PGF8ZJSKj5TViReIG6jnGm2xN YbCVAU4zgtLk86U3NO73NpEkLfUCAwEAAaOCAjEwggItMC8GA1UdIAQoMCYwEQYPKwYBBAGB rSGCLAEBBAMAMBEGDysGAQQBga0hgiwCAQQDADAJBgNVHRMEAjAAMAsGA1UdDwQEAwIF4DAd BgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYDVR0OBBYEFI4BgLVWXeWOTtd+/GPN vK6B0ryxMB8GA1UdIwQYMBaAFAbhPfRv9DC3ejtXsDEFiXsNWFpsMHkGA1UdEQRyMHCBF211 bHplckBpbmYuZnUtYmVybGluLmRlgRltdWx6ZXJAemVkYXQuZnUtYmVybGluLmRlgRxXb2xm Z2FuZy5NdWx6ZXJAZnUtYmVybGluLmRlgRx3b2xmZ2FuZy5tdWx6ZXJAZnUtYmVybGluLmRl MHUGA1UdHwRuMGwwNKAyoDCGLmh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwNKAyoDCGLmh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwgZAGCCsGAQUFBwEBBIGDMIGAMD4GCCsGAQUFBzAChjJodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2Z1LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDA+BggrBgEFBQcwAoYy aHR0cDovL2NkcDIucGNhLmRmbi5kZS9mdS1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwDQYJ KoZIhvcNAQEFBQADggEBAGuYxfnNPvn7lgtrDXQwCDTIRrjvNgBW27HPauYSJmLhiVixTTi0 wSJvFg3ZrCsn5qHDfw5yV82lkCYBo40QwC1DMnr09JDaYPmXnccMmxRT5wPdCBQOe8ScSdqo PIi/38LJSvErWWOj9ptFh/Hye26uxgqDkDkK6fcfqjFMRYWc9swXRLfGShswyRahdRK5hYNq NT44BxEYU9iuV+G1tEbAW39o843Wxjz1OL+hVtG6aJfh4RlSk9BL+SQx1ewHwHOc+E5F6HIy L4dPpGcU54gETBuhW+N6m+SCIKmSxksGl8ehVseVDU/dLO6EOLuvKvufTsC4Ej1Xv5lZZ6Cl hhExggRkMIIEYAIBATCBwTCBtTELMAkGA1UEBhMCREUxDzANBgNVBAgTBkJlcmxpbjEPMA0G A1UEBxMGQmVybGluMSIwIAYDVQQKExlGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluMQ4wDAYD VQQLEwVaRURBVDEwMC4GA1UEAxMnRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbiAtIEZVLUNB IC0gRzAxMR4wHAYJKoZIhvcNAQkBFg9jYUBGVS1CZXJsaW4uREUCBxakS14JjW0wCQYFKw4D AhoFAKCCAncwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTUw NDIzMDg0NTI3WjAjBgkqhkiG9w0BCQQxFgQUtw2GS/wme9oOUCxipClZM8I2YacwbAYJKoZI hvcNAQkPMV8wXTALBglghkgBZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA4GCCqG SIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDCB0gYJ KwYBBAGCNxAEMYHEMIHBMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYD VQQHEwZCZXJsaW4xIjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNV BAsTBVpFREFUMTAwLgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0Eg LSBHMDExHjAcBgkqhkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERQIHFqRLXgmNbTCB1AYLKoZI hvcNAQkQAgsxgcSggcEwgbUxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNV BAcTBkJlcmxpbjEiMCAGA1UEChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UE CxMFWkVEQVQxMDAuBgNVBAMTJ0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAt IEcwMTEeMBwGCSqGSIb3DQEJARYPY2FARlUtQmVybGluLkRFAgcWpEteCY1tMA0GCSqGSIb3 DQEBAQUABIIBAF+7hYlKfhH9FKrKskJEo/Sl5dzwAGnVtn5nb7V7g7r8c/3CmAExVnoT4NuR G7bURxz21VdOMjd5VNXj/ZNd+ofChvYspZP+jlrDgfbj4zRgbNeklWSM4rqXfRbhdybyN6Wf bX4t9fYVRkuVBTkmdYP1F8MTdPWrJ8NZ5JlDbU/Rw7ArXYoKgrO1KOCG8bOjeBdt7yEj7S68 +J4INaupSY7GDdqkw5JCK4CcpzfHI1nkzl9dVj/fWb2/LcVkB6eNih9KLVJK9xuaxYP8unbn rzCI5Gzfb/zsS35sM7lVFKwp6dyI8KA7bsCDfyKPSM4kC0eVgUXjS0Vnq6ThLRJbcvUAAAAA AAA= --------------ms070409020609070604060503-- From mulzer@inf.fu-berlin.de Tue Apr 28 11:11:45 2015 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 esmtp (envelope-from ) id <1Yn1YO-0033mt-5e>; Tue, 28 Apr 2015 11:11:44 +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 esmtp (envelope-from ) id <1Yn1YO-000uvm-4c>; Tue, 28 Apr 2015 11:11:44 +0200 Received: from bisektor.imp.fu-berlin.de ([160.45.40.231]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1Yn1YO-000ghE-3P>; Tue, 28 Apr 2015 11:11:44 +0200 Message-ID: <553F4ECF.7030006@inf.fu-berlin.de> Date: Tue, 28 Apr 2015 11:11:43 +0200 From: Wolfgang Mulzer User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha1; boundary="------------ms010406070507010405050101" X-Originating-IP: 160.45.40.231 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1430212304-00000DE8-68878210/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.0 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 28. u. 30.04.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 28 Apr 2015 09:11:45 -0000 This is a cryptographically signed message in MIME format. --------------ms010406070507010405050101 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 28.04.2015 Wolfgang Mulzer zum Thema: Sample Compression II und am Donnerstag, 30.04.2015 Paul Seiferth zum Thema: Approximate k-flat Nearest Neighbor Search *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** --------------ms010406070507010405050101 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIQeDCC BNUwggO9oAMCAQICCFBOxvU9EbRkMA0GCSqGSIb3DQEBCwUAMHExCzAJBgNVBAYTAkRFMRww GgYDVQQKExNEZXV0c2NoZSBUZWxla29tIEFHMR8wHQYDVQQLExZULVRlbGVTZWMgVHJ1c3Qg Q2VudGVyMSMwIQYDVQQDExpEZXV0c2NoZSBUZWxla29tIFJvb3QgQ0EgMjAeFw0xNDA3MjIx MjA4MjZaFw0xOTA3MDkyMzU5MDBaMFoxCzAJBgNVBAYTAkRFMRMwEQYDVQQKEwpERk4tVmVy ZWluMRAwDgYDVQQLEwdERk4tUEtJMSQwIgYDVQQDExtERk4tVmVyZWluIFBDQSBHbG9iYWwg LSBHMDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDpm8NnhfkNrvWNVMOWUDU9 YuluTO2U1wBblSJ01CDrNI/W7MAxBAuZgeKmFNJSoCgjhIt0iQReW+DieMF4yxbLKDU5ey2Q RdDtoAB6fL9KDhsAw4bpXCsxEXsM84IkQ4wcOItqaACa7txPeKvSxhObdq3u3ibo7wGvdA/B CaL2a869080UME/15eOkyGKbghoDJzANAmVgTe3RCSMqljVYJ9N2xnG2kB3E7f81hn1vM7Pb D8URwoqDoZRdQWvY0hD1TP3KUazZve+Sg7va64sWVlZDz+HVEz2mHycwzUlU28kTNJpxdcVs 6qcLmPkhnSevPqM5OUhqjK3JmfvDEvK9AgMBAAGjggGGMIIBgjAOBgNVHQ8BAf8EBAMCAQYw HQYDVR0OBBYEFEm3xs/oPR9/6kR7Eyn38QpwPt5kMB8GA1UdIwQYMBaAFDHDeRu69VPXF+CJ ei0XbAqzK50zMBIGA1UdEwEB/wQIMAYBAf8CAQIwYgYDVR0gBFswWTARBg8rBgEEAYGtIYIs AQEEAgIwEQYPKwYBBAGBrSGCLAEBBAMAMBEGDysGAQQBga0hgiwBAQQDATAPBg0rBgEEAYGt IYIsAQEEMA0GCysGAQQBga0hgiweMD4GA1UdHwQ3MDUwM6AxoC+GLWh0dHA6Ly9wa2kwMzM2 LnRlbGVzZWMuZGUvcmwvRFRfUk9PVF9DQV8yLmNybDB4BggrBgEFBQcBAQRsMGowLAYIKwYB BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMDoGCCsGAQUFBzAChi5o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9EVF9ST09UX0NBXzIuY2VyMA0GCSqGSIb3 DQEBCwUAA4IBAQBjICj9nCGGcr45Rlk5MiW8qQGbDczKfUGchm0KbiyzE1l1sTOSG2EnFv/D stU1gvuEKgFJvWa7Zi+ywgZdbj9u4wFaW8pDY1yVtuExpx/VB19N5mWCTjL5w3x6S81NXHTu IfJ1AuxSPtLJatOQI25JZzW+f01WpOzML8+3oZeocj7JvEDWWqQIPda8gsO3tzKOsSyOam23 NQIZz/U5RFhjpyQAELC7/E6vbi84u6VXST/YblBvLJeW3B1GmmWJz67M8uXZn1OzPqEvkqnY C8aEHwTG6x7on321e6UC8STFJGMRNMxakyAqeYg6JUKQqWU7fIbTEhUjKfws2sw5W1QXMIIF jzCCBHegAwIBAgIHF5BgzPm5bjANBgkqhkiG9w0BAQsFADBaMQswCQYDVQQGEwJERTETMBEG A1UEChMKREZOLVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMB4XDTE0MDUxMjE1MDUzMloXDTE5MDcwOTIzNTkwMFowgbUx CzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNVBAcTBkJlcmxpbjEiMCAGA1UE ChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UECxMFWkVEQVQxMDAuBgNVBAMT J0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAtIEcwMTEeMBwGCSqGSIb3DQEJ ARYPY2FARlUtQmVybGluLkRFMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjYUI 0048zDNevkmXipCDjSpIr+sEbhiXPzWnZnCnkmLOrEMFaNDWDX6kcVQ1VP71opEfGuR5LtW0 P6N+JM8E8y5HXdap62bD4Yfg0KQEmlh9vpMQ75BckReW7wRKH/Ntcrg8gwn97d17Hs8hgRGk 8cpBRAs5v5hcqRZcjR63mKCismsjld6MVdWSNYhZJhpcnb0dVzMa3A7Rf1OsXHwDXrhusCNp h1+Pazuw2XbIKWSCsFS4qlhHOj5QA375qk5IjjsUnw2FqljLiziu9xB4/jhSx1fz6+5RVnTe 5Tb9GMbk5RVR+dvPTnzF96T/yW5DqsFIL+xBYQ8juFoBQog3MwIDAQABo4IB/DCCAfgwEgYD VR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwEQYDVR0gBAowCDAGBgRVHSAAMB0G A1UdDgQWBBQG4T30b/Qwt3o7V7AxBYl7DVhabDAfBgNVHSMEGDAWgBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAaBgNVHREEEzARgQ9jYUBGVS1CZXJsaW4uREUwgYgGA1UdHwSBgDB+MD2gO6A5 hjdodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jcmwvY2Fjcmwu Y3JsMD2gO6A5hjdodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9j cmwvY2FjcmwuY3JsMIHXBggrBgEFBQcBAQSByjCBxzAzBggrBgEFBQcwAYYnaHR0cDovL29j c3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEcGCCsGAQUFBzAChjtodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBHBggr BgEFBQcwAoY7aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2Fj ZXJ0L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBADRy38buZjrfDN8mZiukEjlsx+6s /DKj5YYWaAvUB5kqhL2TM58bPyq4sYAVCDWALifAk11Gx4/Rp1PLNFd4tnoRcQsfgN8ywECp WBbgESOC73tfa6ZSPEY8uZ4yUk0o2nwxkgU0V3/b7/51XLp5TA5gBeL3aYcjYQ17QN14Mh12 MiXFp5VbPBDTHkinUXt316A8Qj09wJnHMOjt5M+ZDn82YYC7vFDzjNkNmw46PRL3hZOfZb1I S+fhVlR4eW0FBLqmGg+4Y7Y4KKrwBcBK3OzME5jN71LkdNu1lkB43OfT+YOMT+pqZp1l0U6D GZa3SZy5xfWY3EL5BYVM8xAfoZgwggYIMIIE8KADAgECAgcWpEteCY1tMA0GCSqGSIb3DQEB BQUAMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNVBAsTBVpFREFUMTAw LgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0EgLSBHMDExHjAcBgkq hkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERTAeFw0xMzExMTQxMzE5MTBaFw0xNjExMTMxMzE5 MTBaMIGdMQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xLjAsBgNVBAsTJUZhY2hiZXJl aWNoIE1hdGhlbWF0aWsgdW5kIEluZm9ybWF0aWsxGDAWBgNVBAMTD1dvbGZnYW5nIE11bHpl cjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALJ+8bF7plEoCuVzm7EV8kMZ5PPE 9wto3ZvcnbvSDr9q8UuecqcE/zV7O/xxYY1CbdEP3eXhAs/x7evufNt2hkDLf1p8xENbF+oW Y620tfjjCgNtVYJeQOaiw8v1691ofCiDQTyPliUtO4liwJZoKTSOZtnCbFqV7SmHGAv++awO vdjdiMAnbpzBNxPUVLJaPnSzdsmHXZYTqK/pvJEEh60+dcpCA1RiQjnhj4lfLk+f871WkBkb G1aBkr/q0/qh6SHy0q9uAuue8Wc7k/BHZ6qds8NzB8O3Ml+PGF8ZJSKj5TViReIG6jnGm2xN YbCVAU4zgtLk86U3NO73NpEkLfUCAwEAAaOCAjEwggItMC8GA1UdIAQoMCYwEQYPKwYBBAGB rSGCLAEBBAMAMBEGDysGAQQBga0hgiwCAQQDADAJBgNVHRMEAjAAMAsGA1UdDwQEAwIF4DAd BgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYDVR0OBBYEFI4BgLVWXeWOTtd+/GPN vK6B0ryxMB8GA1UdIwQYMBaAFAbhPfRv9DC3ejtXsDEFiXsNWFpsMHkGA1UdEQRyMHCBF211 bHplckBpbmYuZnUtYmVybGluLmRlgRltdWx6ZXJAemVkYXQuZnUtYmVybGluLmRlgRxXb2xm Z2FuZy5NdWx6ZXJAZnUtYmVybGluLmRlgRx3b2xmZ2FuZy5tdWx6ZXJAZnUtYmVybGluLmRl MHUGA1UdHwRuMGwwNKAyoDCGLmh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwNKAyoDCGLmh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwgZAGCCsGAQUFBwEBBIGDMIGAMD4GCCsGAQUFBzAChjJodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2Z1LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDA+BggrBgEFBQcwAoYy aHR0cDovL2NkcDIucGNhLmRmbi5kZS9mdS1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwDQYJ KoZIhvcNAQEFBQADggEBAGuYxfnNPvn7lgtrDXQwCDTIRrjvNgBW27HPauYSJmLhiVixTTi0 wSJvFg3ZrCsn5qHDfw5yV82lkCYBo40QwC1DMnr09JDaYPmXnccMmxRT5wPdCBQOe8ScSdqo PIi/38LJSvErWWOj9ptFh/Hye26uxgqDkDkK6fcfqjFMRYWc9swXRLfGShswyRahdRK5hYNq NT44BxEYU9iuV+G1tEbAW39o843Wxjz1OL+hVtG6aJfh4RlSk9BL+SQx1ewHwHOc+E5F6HIy L4dPpGcU54gETBuhW+N6m+SCIKmSxksGl8ehVseVDU/dLO6EOLuvKvufTsC4Ej1Xv5lZZ6Cl hhExggRkMIIEYAIBATCBwTCBtTELMAkGA1UEBhMCREUxDzANBgNVBAgTBkJlcmxpbjEPMA0G A1UEBxMGQmVybGluMSIwIAYDVQQKExlGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluMQ4wDAYD VQQLEwVaRURBVDEwMC4GA1UEAxMnRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbiAtIEZVLUNB IC0gRzAxMR4wHAYJKoZIhvcNAQkBFg9jYUBGVS1CZXJsaW4uREUCBxakS14JjW0wCQYFKw4D AhoFAKCCAncwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTUw NDI4MDkxMTQzWjAjBgkqhkiG9w0BCQQxFgQUnMfFcHLNfTgm0wxIHwNfPYX7K0IwbAYJKoZI hvcNAQkPMV8wXTALBglghkgBZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA4GCCqG SIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDCB0gYJ KwYBBAGCNxAEMYHEMIHBMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYD VQQHEwZCZXJsaW4xIjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNV BAsTBVpFREFUMTAwLgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0Eg LSBHMDExHjAcBgkqhkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERQIHFqRLXgmNbTCB1AYLKoZI hvcNAQkQAgsxgcSggcEwgbUxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNV BAcTBkJlcmxpbjEiMCAGA1UEChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UE CxMFWkVEQVQxMDAuBgNVBAMTJ0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAt IEcwMTEeMBwGCSqGSIb3DQEJARYPY2FARlUtQmVybGluLkRFAgcWpEteCY1tMA0GCSqGSIb3 DQEBAQUABIIBAGDZITnyBz9SAOD9QPx5pYsLCbvuK4BsPq2tuhY6EMYG1ptEmmnnNDOAfS7g gCzJuZ5AUN3hby3/cP1Hg01qhPD35HYjNG5Xt1v755ZCeZX+3QrMgkM1ulI4+dZdN6mweTzB NnF/48BP4jx63GVukzd/ZBPOSKmy1n3ZYJoaCqAhbegXTHRypBkRn6mF1VE4ydxYxltp05DP JCA3LOBi7GGZMvOcYm9OtrsuUKfswiF6GhmPok1s1E6BLvKwAikIwXseSzmJX07eUu05Ruxi xKwI49BxkD6TuEc6nSmjBuKQWqD0GSfHhZ+cVM0ubbjp3Ji++NnkSQm9X5zHw8l+214AAAAA AAA= --------------ms010406070507010405050101-- From rgrunert@inf.fu-berlin.de Tue May 05 10:18:45 2015 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 esmtp (envelope-from ) id <1YpY3w-002Pjb-GJ>; Tue, 05 May 2015 10:18:44 +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 esmtp (envelope-from ) id <1YpY3w-001tko-FL>; Tue, 05 May 2015 10:18:44 +0200 Received: from ebene.imp.fu-berlin.de ([160.45.40.241] helo=ebene.localnet) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1YpY3w-0012YU-DT>; Tue, 05 May 2015 10:18:44 +0200 From: Romain Grunert To: agti-mittagsseminar@lists.fu-berlin.de Date: Tue, 5 May 2015 10:18:18 +0200 User-Agent: KMail/1.13.7 (Linux/3.2.0-4-amd64; KDE/4.8.4; x86_64; ; ) MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Message-Id: <201505051018.18599.rgrunert@inf.fu-berlin.de> X-Originating-IP: 160.45.40.241 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1430813924-00000DE8-5236D827/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.006728, 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.0 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] am 05.05.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 05 May 2015 08:18:46 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 05.05.2015 Romain Grunert zum Thema: Sliding Tokens on Trees *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** From knoll@mi.fu-berlin.de Wed May 06 16:13:40 2015 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 esmtp (envelope-from ) id <1Yq04w-004BH5-Bp>; Wed, 06 May 2015 16:13:38 +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 esmtp (envelope-from ) id <1Yq04w-001pPh-Ar>; Wed, 06 May 2015 16:13:38 +0200 Received: from kugel.imp.fu-berlin.de ([160.45.40.236]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1Yq04w-003bZP-9t>; Wed, 06 May 2015 16:13:38 +0200 Message-ID: <554A2192.4030707@mi.fu-berlin.de> Date: Wed, 06 May 2015 16:13:38 +0200 From: Tamara Knoll User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Originating-IP: 160.45.40.236 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1430921618-00000DE8-8A442609/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.260343, 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.0 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 07.05.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 06 May 2015 14:13:40 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 07.05.2015 Helmut Alt zum Thema: Trench Digging, Barriers, and Opaque Set *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** -- ------------------------------------------------------------------------ Tamara Knoll Sekretariat Theoretische Informatik Institut für Informatik knoll@inf.fu-berlin.de Freie Universität Berlin Phone: +49-30-838 75103 Takustr.9, D-14195 Berlin Fax: +49-30-838 75192 ------------------------------------------------------------------------ From yannik.stein@fu-berlin.de Mon May 11 09:59:33 2015 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 esmtp (envelope-from ) id <1Yricd-000AJa-S4>; Mon, 11 May 2015 09:59: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 esmtp (envelope-from ) id <1Yricd-002KD0-R9>; Mon, 11 May 2015 09:59:31 +0200 Received: from punkt.imp.fu-berlin.de ([160.45.40.245]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1Yricd-000FD7-Q7>; Mon, 11 May 2015 09:59:31 +0200 Message-ID: <55506163.8060209@fu-berlin.de> Date: Mon, 11 May 2015 09:59:31 +0200 From: Yannik Stein User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.5.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: 160.45.40.245 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1431331171-00000CF1-D1511D55/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.0 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 12.05.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 11 May 2015 07:59:33 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 12.05.2015 Yannik Stein zum Thema: Time-Space Tradeoff for the All-Nearest-Larger-Neighbor Problem *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** From mulzer@inf.fu-berlin.de Mon May 18 14:09:37 2015 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 esmtp (envelope-from ) id <1YuJrU-001emT-Em>; Mon, 18 May 2015 14:09:36 +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 esmtp (envelope-from ) id <1YuJrU-002yq2-Dl>; Mon, 18 May 2015 14:09:36 +0200 Received: from bisektor.imp.fu-berlin.de ([160.45.40.231]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1YuJrU-000EZF-Ci>; Mon, 18 May 2015 14:09:36 +0200 Message-ID: <5559D680.60102@inf.fu-berlin.de> Date: Mon, 18 May 2015 14:09:36 +0200 From: Wolfgang Mulzer User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha1; boundary="------------ms030105080707060504030808" X-Originating-IP: 160.45.40.231 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1431950976-00000CF1-C46059C0/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.1 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 19. u. 21.05.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 18 May 2015 12:09:38 -0000 This is a cryptographically signed message in MIME format. --------------ms030105080707060504030808 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 19.05.2015 Tudor Soroceanu zum Thema: Implementierung eines Approximations-Algorithmus f=C3=BCr die Berechnung der diskreten Frechet-Metrik (Bachelorvortrag) und am Donnerstag, 21.05.2015 Frank Hoffmann zum Thema: Encompassing Colored Planar Graphs *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** --------------ms030105080707060504030808 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIQeDCC BNUwggO9oAMCAQICCFBOxvU9EbRkMA0GCSqGSIb3DQEBCwUAMHExCzAJBgNVBAYTAkRFMRww GgYDVQQKExNEZXV0c2NoZSBUZWxla29tIEFHMR8wHQYDVQQLExZULVRlbGVTZWMgVHJ1c3Qg Q2VudGVyMSMwIQYDVQQDExpEZXV0c2NoZSBUZWxla29tIFJvb3QgQ0EgMjAeFw0xNDA3MjIx MjA4MjZaFw0xOTA3MDkyMzU5MDBaMFoxCzAJBgNVBAYTAkRFMRMwEQYDVQQKEwpERk4tVmVy ZWluMRAwDgYDVQQLEwdERk4tUEtJMSQwIgYDVQQDExtERk4tVmVyZWluIFBDQSBHbG9iYWwg LSBHMDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDpm8NnhfkNrvWNVMOWUDU9 YuluTO2U1wBblSJ01CDrNI/W7MAxBAuZgeKmFNJSoCgjhIt0iQReW+DieMF4yxbLKDU5ey2Q RdDtoAB6fL9KDhsAw4bpXCsxEXsM84IkQ4wcOItqaACa7txPeKvSxhObdq3u3ibo7wGvdA/B CaL2a869080UME/15eOkyGKbghoDJzANAmVgTe3RCSMqljVYJ9N2xnG2kB3E7f81hn1vM7Pb D8URwoqDoZRdQWvY0hD1TP3KUazZve+Sg7va64sWVlZDz+HVEz2mHycwzUlU28kTNJpxdcVs 6qcLmPkhnSevPqM5OUhqjK3JmfvDEvK9AgMBAAGjggGGMIIBgjAOBgNVHQ8BAf8EBAMCAQYw HQYDVR0OBBYEFEm3xs/oPR9/6kR7Eyn38QpwPt5kMB8GA1UdIwQYMBaAFDHDeRu69VPXF+CJ ei0XbAqzK50zMBIGA1UdEwEB/wQIMAYBAf8CAQIwYgYDVR0gBFswWTARBg8rBgEEAYGtIYIs AQEEAgIwEQYPKwYBBAGBrSGCLAEBBAMAMBEGDysGAQQBga0hgiwBAQQDATAPBg0rBgEEAYGt IYIsAQEEMA0GCysGAQQBga0hgiweMD4GA1UdHwQ3MDUwM6AxoC+GLWh0dHA6Ly9wa2kwMzM2 LnRlbGVzZWMuZGUvcmwvRFRfUk9PVF9DQV8yLmNybDB4BggrBgEFBQcBAQRsMGowLAYIKwYB BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMDoGCCsGAQUFBzAChi5o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9EVF9ST09UX0NBXzIuY2VyMA0GCSqGSIb3 DQEBCwUAA4IBAQBjICj9nCGGcr45Rlk5MiW8qQGbDczKfUGchm0KbiyzE1l1sTOSG2EnFv/D stU1gvuEKgFJvWa7Zi+ywgZdbj9u4wFaW8pDY1yVtuExpx/VB19N5mWCTjL5w3x6S81NXHTu IfJ1AuxSPtLJatOQI25JZzW+f01WpOzML8+3oZeocj7JvEDWWqQIPda8gsO3tzKOsSyOam23 NQIZz/U5RFhjpyQAELC7/E6vbi84u6VXST/YblBvLJeW3B1GmmWJz67M8uXZn1OzPqEvkqnY C8aEHwTG6x7on321e6UC8STFJGMRNMxakyAqeYg6JUKQqWU7fIbTEhUjKfws2sw5W1QXMIIF jzCCBHegAwIBAgIHF5BgzPm5bjANBgkqhkiG9w0BAQsFADBaMQswCQYDVQQGEwJERTETMBEG A1UEChMKREZOLVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMB4XDTE0MDUxMjE1MDUzMloXDTE5MDcwOTIzNTkwMFowgbUx CzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNVBAcTBkJlcmxpbjEiMCAGA1UE ChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UECxMFWkVEQVQxMDAuBgNVBAMT J0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAtIEcwMTEeMBwGCSqGSIb3DQEJ ARYPY2FARlUtQmVybGluLkRFMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjYUI 0048zDNevkmXipCDjSpIr+sEbhiXPzWnZnCnkmLOrEMFaNDWDX6kcVQ1VP71opEfGuR5LtW0 P6N+JM8E8y5HXdap62bD4Yfg0KQEmlh9vpMQ75BckReW7wRKH/Ntcrg8gwn97d17Hs8hgRGk 8cpBRAs5v5hcqRZcjR63mKCismsjld6MVdWSNYhZJhpcnb0dVzMa3A7Rf1OsXHwDXrhusCNp h1+Pazuw2XbIKWSCsFS4qlhHOj5QA375qk5IjjsUnw2FqljLiziu9xB4/jhSx1fz6+5RVnTe 5Tb9GMbk5RVR+dvPTnzF96T/yW5DqsFIL+xBYQ8juFoBQog3MwIDAQABo4IB/DCCAfgwEgYD VR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwEQYDVR0gBAowCDAGBgRVHSAAMB0G A1UdDgQWBBQG4T30b/Qwt3o7V7AxBYl7DVhabDAfBgNVHSMEGDAWgBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAaBgNVHREEEzARgQ9jYUBGVS1CZXJsaW4uREUwgYgGA1UdHwSBgDB+MD2gO6A5 hjdodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jcmwvY2Fjcmwu Y3JsMD2gO6A5hjdodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9j cmwvY2FjcmwuY3JsMIHXBggrBgEFBQcBAQSByjCBxzAzBggrBgEFBQcwAYYnaHR0cDovL29j c3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEcGCCsGAQUFBzAChjtodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBHBggr BgEFBQcwAoY7aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2Fj ZXJ0L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBADRy38buZjrfDN8mZiukEjlsx+6s /DKj5YYWaAvUB5kqhL2TM58bPyq4sYAVCDWALifAk11Gx4/Rp1PLNFd4tnoRcQsfgN8ywECp WBbgESOC73tfa6ZSPEY8uZ4yUk0o2nwxkgU0V3/b7/51XLp5TA5gBeL3aYcjYQ17QN14Mh12 MiXFp5VbPBDTHkinUXt316A8Qj09wJnHMOjt5M+ZDn82YYC7vFDzjNkNmw46PRL3hZOfZb1I S+fhVlR4eW0FBLqmGg+4Y7Y4KKrwBcBK3OzME5jN71LkdNu1lkB43OfT+YOMT+pqZp1l0U6D GZa3SZy5xfWY3EL5BYVM8xAfoZgwggYIMIIE8KADAgECAgcWpEteCY1tMA0GCSqGSIb3DQEB BQUAMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNVBAsTBVpFREFUMTAw LgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0EgLSBHMDExHjAcBgkq hkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERTAeFw0xMzExMTQxMzE5MTBaFw0xNjExMTMxMzE5 MTBaMIGdMQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xLjAsBgNVBAsTJUZhY2hiZXJl aWNoIE1hdGhlbWF0aWsgdW5kIEluZm9ybWF0aWsxGDAWBgNVBAMTD1dvbGZnYW5nIE11bHpl cjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALJ+8bF7plEoCuVzm7EV8kMZ5PPE 9wto3ZvcnbvSDr9q8UuecqcE/zV7O/xxYY1CbdEP3eXhAs/x7evufNt2hkDLf1p8xENbF+oW Y620tfjjCgNtVYJeQOaiw8v1691ofCiDQTyPliUtO4liwJZoKTSOZtnCbFqV7SmHGAv++awO vdjdiMAnbpzBNxPUVLJaPnSzdsmHXZYTqK/pvJEEh60+dcpCA1RiQjnhj4lfLk+f871WkBkb G1aBkr/q0/qh6SHy0q9uAuue8Wc7k/BHZ6qds8NzB8O3Ml+PGF8ZJSKj5TViReIG6jnGm2xN YbCVAU4zgtLk86U3NO73NpEkLfUCAwEAAaOCAjEwggItMC8GA1UdIAQoMCYwEQYPKwYBBAGB rSGCLAEBBAMAMBEGDysGAQQBga0hgiwCAQQDADAJBgNVHRMEAjAAMAsGA1UdDwQEAwIF4DAd BgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYDVR0OBBYEFI4BgLVWXeWOTtd+/GPN vK6B0ryxMB8GA1UdIwQYMBaAFAbhPfRv9DC3ejtXsDEFiXsNWFpsMHkGA1UdEQRyMHCBF211 bHplckBpbmYuZnUtYmVybGluLmRlgRltdWx6ZXJAemVkYXQuZnUtYmVybGluLmRlgRxXb2xm Z2FuZy5NdWx6ZXJAZnUtYmVybGluLmRlgRx3b2xmZ2FuZy5tdWx6ZXJAZnUtYmVybGluLmRl MHUGA1UdHwRuMGwwNKAyoDCGLmh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwNKAyoDCGLmh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwgZAGCCsGAQUFBwEBBIGDMIGAMD4GCCsGAQUFBzAChjJodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2Z1LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDA+BggrBgEFBQcwAoYy aHR0cDovL2NkcDIucGNhLmRmbi5kZS9mdS1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwDQYJ KoZIhvcNAQEFBQADggEBAGuYxfnNPvn7lgtrDXQwCDTIRrjvNgBW27HPauYSJmLhiVixTTi0 wSJvFg3ZrCsn5qHDfw5yV82lkCYBo40QwC1DMnr09JDaYPmXnccMmxRT5wPdCBQOe8ScSdqo PIi/38LJSvErWWOj9ptFh/Hye26uxgqDkDkK6fcfqjFMRYWc9swXRLfGShswyRahdRK5hYNq NT44BxEYU9iuV+G1tEbAW39o843Wxjz1OL+hVtG6aJfh4RlSk9BL+SQx1ewHwHOc+E5F6HIy L4dPpGcU54gETBuhW+N6m+SCIKmSxksGl8ehVseVDU/dLO6EOLuvKvufTsC4Ej1Xv5lZZ6Cl hhExggRkMIIEYAIBATCBwTCBtTELMAkGA1UEBhMCREUxDzANBgNVBAgTBkJlcmxpbjEPMA0G A1UEBxMGQmVybGluMSIwIAYDVQQKExlGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluMQ4wDAYD VQQLEwVaRURBVDEwMC4GA1UEAxMnRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbiAtIEZVLUNB IC0gRzAxMR4wHAYJKoZIhvcNAQkBFg9jYUBGVS1CZXJsaW4uREUCBxakS14JjW0wCQYFKw4D AhoFAKCCAncwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTUw NTE4MTIwOTM2WjAjBgkqhkiG9w0BCQQxFgQUfXco9fMZATEjKJBKETr1HsLtT6UwbAYJKoZI hvcNAQkPMV8wXTALBglghkgBZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA4GCCqG SIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDCB0gYJ KwYBBAGCNxAEMYHEMIHBMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYD VQQHEwZCZXJsaW4xIjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNV BAsTBVpFREFUMTAwLgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0Eg LSBHMDExHjAcBgkqhkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERQIHFqRLXgmNbTCB1AYLKoZI hvcNAQkQAgsxgcSggcEwgbUxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNV BAcTBkJlcmxpbjEiMCAGA1UEChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UE CxMFWkVEQVQxMDAuBgNVBAMTJ0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAt IEcwMTEeMBwGCSqGSIb3DQEJARYPY2FARlUtQmVybGluLkRFAgcWpEteCY1tMA0GCSqGSIb3 DQEBAQUABIIBAFYmdGCE9mptmMBerV1ELfOY4F6bJUXs5p4CgUtjLCHIntFqPPBbFGyWLFNQ nUwlGZ5gj/LLJQdlxxfNMmhsW6v9FE1lPfTIpAmMUmLSfCVabHqNWlbQ2ge4E+jniJrdg93m AMXqJMe6UXG7L+Mi2XOouXJAConMIlnxlIIjpkS3Nknf3VDVyDDNMlGS7Paw1d0sbmhHUUJf AS2pgYyS/1HoGNW2neRiaHM9LS4BZKB9J3x8z8bOV9WES16YvaoXT+rUl1aMdwtlYnrpVt8t SHp3z/Tul6jB+zuupWhadjP31ziF2eZyK3We39XIOQuriUiUqYRujimyfpDiO4onRGAAAAAA AAA= --------------ms030105080707060504030808-- From mulzer@inf.fu-berlin.de Fri May 22 11:05:06 2015 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 esmtp (envelope-from ) id <1Yvit6-0012uO-Qf>; Fri, 22 May 2015 11:05:05 +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 esmtp (envelope-from ) id <1Yvit6-003C62-PY>; Fri, 22 May 2015 11:05:04 +0200 Received: from bisektor.imp.fu-berlin.de ([160.45.40.231]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1Yvit6-003Zqz-OV>; Fri, 22 May 2015 11:05:04 +0200 Message-ID: <555EF140.6080600@inf.fu-berlin.de> Date: Fri, 22 May 2015 11:05:04 +0200 From: Wolfgang Mulzer User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha1; boundary="------------ms060308070905030609010807" X-Originating-IP: 160.45.40.231 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1432285504-00000CF1-A3C9F9C3/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.1 on Niue.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 26. u. 28.05.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 22 May 2015 09:05:06 -0000 This is a cryptographically signed message in MIME format. --------------ms060308070905030609010807 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 26.05.2015 Karl Bringmann zum Thema: Quadratic Conditional Lower Bounds for String Problems and Dynamic Time Warping Abstract: Longest common subsequence and edit distance are classic similarity measures of strings. Dynamic time warping is a classic similarity measure of curves. These measures can be computed by simple quadratic time dynamic programming algorithms, and despite much effort no algorithms with significantly better running time are known. We prove that, even restricted to binary strings or one-dimensional curves, respectively, these measures do not have strongly subquadratic time algorithms, i.e., no algorithms with running time O(n^{2=E2=88=92eps= }) for any eps>0, unless the Strong Exponential Time Hypothesis fails. We generalize the result to edit distance for arbitrary fixed costs of the four operations (deletion, insertion, matching, substitution), by identifying trivial cases that can be solved in constant time, and proving quadratic-time hardness on binary strings for all other cost choices. und am Donnerstag, 28.05.2015 Klaus Kriegel zum einem noch bekannt zu gebenden Thema *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** --------------ms060308070905030609010807 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIQeDCC BNUwggO9oAMCAQICCFBOxvU9EbRkMA0GCSqGSIb3DQEBCwUAMHExCzAJBgNVBAYTAkRFMRww GgYDVQQKExNEZXV0c2NoZSBUZWxla29tIEFHMR8wHQYDVQQLExZULVRlbGVTZWMgVHJ1c3Qg Q2VudGVyMSMwIQYDVQQDExpEZXV0c2NoZSBUZWxla29tIFJvb3QgQ0EgMjAeFw0xNDA3MjIx MjA4MjZaFw0xOTA3MDkyMzU5MDBaMFoxCzAJBgNVBAYTAkRFMRMwEQYDVQQKEwpERk4tVmVy ZWluMRAwDgYDVQQLEwdERk4tUEtJMSQwIgYDVQQDExtERk4tVmVyZWluIFBDQSBHbG9iYWwg LSBHMDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDpm8NnhfkNrvWNVMOWUDU9 YuluTO2U1wBblSJ01CDrNI/W7MAxBAuZgeKmFNJSoCgjhIt0iQReW+DieMF4yxbLKDU5ey2Q RdDtoAB6fL9KDhsAw4bpXCsxEXsM84IkQ4wcOItqaACa7txPeKvSxhObdq3u3ibo7wGvdA/B CaL2a869080UME/15eOkyGKbghoDJzANAmVgTe3RCSMqljVYJ9N2xnG2kB3E7f81hn1vM7Pb D8URwoqDoZRdQWvY0hD1TP3KUazZve+Sg7va64sWVlZDz+HVEz2mHycwzUlU28kTNJpxdcVs 6qcLmPkhnSevPqM5OUhqjK3JmfvDEvK9AgMBAAGjggGGMIIBgjAOBgNVHQ8BAf8EBAMCAQYw HQYDVR0OBBYEFEm3xs/oPR9/6kR7Eyn38QpwPt5kMB8GA1UdIwQYMBaAFDHDeRu69VPXF+CJ ei0XbAqzK50zMBIGA1UdEwEB/wQIMAYBAf8CAQIwYgYDVR0gBFswWTARBg8rBgEEAYGtIYIs AQEEAgIwEQYPKwYBBAGBrSGCLAEBBAMAMBEGDysGAQQBga0hgiwBAQQDATAPBg0rBgEEAYGt IYIsAQEEMA0GCysGAQQBga0hgiweMD4GA1UdHwQ3MDUwM6AxoC+GLWh0dHA6Ly9wa2kwMzM2 LnRlbGVzZWMuZGUvcmwvRFRfUk9PVF9DQV8yLmNybDB4BggrBgEFBQcBAQRsMGowLAYIKwYB BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMDoGCCsGAQUFBzAChi5o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9EVF9ST09UX0NBXzIuY2VyMA0GCSqGSIb3 DQEBCwUAA4IBAQBjICj9nCGGcr45Rlk5MiW8qQGbDczKfUGchm0KbiyzE1l1sTOSG2EnFv/D stU1gvuEKgFJvWa7Zi+ywgZdbj9u4wFaW8pDY1yVtuExpx/VB19N5mWCTjL5w3x6S81NXHTu IfJ1AuxSPtLJatOQI25JZzW+f01WpOzML8+3oZeocj7JvEDWWqQIPda8gsO3tzKOsSyOam23 NQIZz/U5RFhjpyQAELC7/E6vbi84u6VXST/YblBvLJeW3B1GmmWJz67M8uXZn1OzPqEvkqnY C8aEHwTG6x7on321e6UC8STFJGMRNMxakyAqeYg6JUKQqWU7fIbTEhUjKfws2sw5W1QXMIIF jzCCBHegAwIBAgIHF5BgzPm5bjANBgkqhkiG9w0BAQsFADBaMQswCQYDVQQGEwJERTETMBEG A1UEChMKREZOLVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMB4XDTE0MDUxMjE1MDUzMloXDTE5MDcwOTIzNTkwMFowgbUx CzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNVBAcTBkJlcmxpbjEiMCAGA1UE ChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UECxMFWkVEQVQxMDAuBgNVBAMT J0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAtIEcwMTEeMBwGCSqGSIb3DQEJ ARYPY2FARlUtQmVybGluLkRFMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjYUI 0048zDNevkmXipCDjSpIr+sEbhiXPzWnZnCnkmLOrEMFaNDWDX6kcVQ1VP71opEfGuR5LtW0 P6N+JM8E8y5HXdap62bD4Yfg0KQEmlh9vpMQ75BckReW7wRKH/Ntcrg8gwn97d17Hs8hgRGk 8cpBRAs5v5hcqRZcjR63mKCismsjld6MVdWSNYhZJhpcnb0dVzMa3A7Rf1OsXHwDXrhusCNp h1+Pazuw2XbIKWSCsFS4qlhHOj5QA375qk5IjjsUnw2FqljLiziu9xB4/jhSx1fz6+5RVnTe 5Tb9GMbk5RVR+dvPTnzF96T/yW5DqsFIL+xBYQ8juFoBQog3MwIDAQABo4IB/DCCAfgwEgYD VR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwEQYDVR0gBAowCDAGBgRVHSAAMB0G A1UdDgQWBBQG4T30b/Qwt3o7V7AxBYl7DVhabDAfBgNVHSMEGDAWgBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAaBgNVHREEEzARgQ9jYUBGVS1CZXJsaW4uREUwgYgGA1UdHwSBgDB+MD2gO6A5 hjdodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jcmwvY2Fjcmwu Y3JsMD2gO6A5hjdodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9j cmwvY2FjcmwuY3JsMIHXBggrBgEFBQcBAQSByjCBxzAzBggrBgEFBQcwAYYnaHR0cDovL29j c3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEcGCCsGAQUFBzAChjtodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBHBggr BgEFBQcwAoY7aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2Fj ZXJ0L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBADRy38buZjrfDN8mZiukEjlsx+6s /DKj5YYWaAvUB5kqhL2TM58bPyq4sYAVCDWALifAk11Gx4/Rp1PLNFd4tnoRcQsfgN8ywECp WBbgESOC73tfa6ZSPEY8uZ4yUk0o2nwxkgU0V3/b7/51XLp5TA5gBeL3aYcjYQ17QN14Mh12 MiXFp5VbPBDTHkinUXt316A8Qj09wJnHMOjt5M+ZDn82YYC7vFDzjNkNmw46PRL3hZOfZb1I S+fhVlR4eW0FBLqmGg+4Y7Y4KKrwBcBK3OzME5jN71LkdNu1lkB43OfT+YOMT+pqZp1l0U6D GZa3SZy5xfWY3EL5BYVM8xAfoZgwggYIMIIE8KADAgECAgcWpEteCY1tMA0GCSqGSIb3DQEB BQUAMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNVBAsTBVpFREFUMTAw LgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0EgLSBHMDExHjAcBgkq hkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERTAeFw0xMzExMTQxMzE5MTBaFw0xNjExMTMxMzE5 MTBaMIGdMQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xLjAsBgNVBAsTJUZhY2hiZXJl aWNoIE1hdGhlbWF0aWsgdW5kIEluZm9ybWF0aWsxGDAWBgNVBAMTD1dvbGZnYW5nIE11bHpl cjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALJ+8bF7plEoCuVzm7EV8kMZ5PPE 9wto3ZvcnbvSDr9q8UuecqcE/zV7O/xxYY1CbdEP3eXhAs/x7evufNt2hkDLf1p8xENbF+oW Y620tfjjCgNtVYJeQOaiw8v1691ofCiDQTyPliUtO4liwJZoKTSOZtnCbFqV7SmHGAv++awO vdjdiMAnbpzBNxPUVLJaPnSzdsmHXZYTqK/pvJEEh60+dcpCA1RiQjnhj4lfLk+f871WkBkb G1aBkr/q0/qh6SHy0q9uAuue8Wc7k/BHZ6qds8NzB8O3Ml+PGF8ZJSKj5TViReIG6jnGm2xN YbCVAU4zgtLk86U3NO73NpEkLfUCAwEAAaOCAjEwggItMC8GA1UdIAQoMCYwEQYPKwYBBAGB rSGCLAEBBAMAMBEGDysGAQQBga0hgiwCAQQDADAJBgNVHRMEAjAAMAsGA1UdDwQEAwIF4DAd BgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYDVR0OBBYEFI4BgLVWXeWOTtd+/GPN vK6B0ryxMB8GA1UdIwQYMBaAFAbhPfRv9DC3ejtXsDEFiXsNWFpsMHkGA1UdEQRyMHCBF211 bHplckBpbmYuZnUtYmVybGluLmRlgRltdWx6ZXJAemVkYXQuZnUtYmVybGluLmRlgRxXb2xm Z2FuZy5NdWx6ZXJAZnUtYmVybGluLmRlgRx3b2xmZ2FuZy5tdWx6ZXJAZnUtYmVybGluLmRl MHUGA1UdHwRuMGwwNKAyoDCGLmh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwNKAyoDCGLmh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwgZAGCCsGAQUFBwEBBIGDMIGAMD4GCCsGAQUFBzAChjJodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2Z1LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDA+BggrBgEFBQcwAoYy aHR0cDovL2NkcDIucGNhLmRmbi5kZS9mdS1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwDQYJ KoZIhvcNAQEFBQADggEBAGuYxfnNPvn7lgtrDXQwCDTIRrjvNgBW27HPauYSJmLhiVixTTi0 wSJvFg3ZrCsn5qHDfw5yV82lkCYBo40QwC1DMnr09JDaYPmXnccMmxRT5wPdCBQOe8ScSdqo PIi/38LJSvErWWOj9ptFh/Hye26uxgqDkDkK6fcfqjFMRYWc9swXRLfGShswyRahdRK5hYNq NT44BxEYU9iuV+G1tEbAW39o843Wxjz1OL+hVtG6aJfh4RlSk9BL+SQx1ewHwHOc+E5F6HIy L4dPpGcU54gETBuhW+N6m+SCIKmSxksGl8ehVseVDU/dLO6EOLuvKvufTsC4Ej1Xv5lZZ6Cl hhExggRkMIIEYAIBATCBwTCBtTELMAkGA1UEBhMCREUxDzANBgNVBAgTBkJlcmxpbjEPMA0G A1UEBxMGQmVybGluMSIwIAYDVQQKExlGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluMQ4wDAYD VQQLEwVaRURBVDEwMC4GA1UEAxMnRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbiAtIEZVLUNB IC0gRzAxMR4wHAYJKoZIhvcNAQkBFg9jYUBGVS1CZXJsaW4uREUCBxakS14JjW0wCQYFKw4D AhoFAKCCAncwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTUw NTIyMDkwNTA0WjAjBgkqhkiG9w0BCQQxFgQU5BtnaPbmYE/ptJP4AhF+OvLhMhswbAYJKoZI hvcNAQkPMV8wXTALBglghkgBZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA4GCCqG SIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDCB0gYJ KwYBBAGCNxAEMYHEMIHBMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYD VQQHEwZCZXJsaW4xIjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNV BAsTBVpFREFUMTAwLgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0Eg LSBHMDExHjAcBgkqhkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERQIHFqRLXgmNbTCB1AYLKoZI hvcNAQkQAgsxgcSggcEwgbUxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNV BAcTBkJlcmxpbjEiMCAGA1UEChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UE CxMFWkVEQVQxMDAuBgNVBAMTJ0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAt IEcwMTEeMBwGCSqGSIb3DQEJARYPY2FARlUtQmVybGluLkRFAgcWpEteCY1tMA0GCSqGSIb3 DQEBAQUABIIBAED0NM7Wfp8zXo7/1N27VceU96GLY7/CO5ae6VBsSm/mxHPYhrL6EWze8NO4 fd/YcjxbzIES8hohltdzRxDLeDmmAqJXi1lxRvhN0s+YOHmuOiyCVZ0uDzt2TnCKD/lCmYjN P4XRI/p5ti6phcAYMvgLY+Jm9lnuSUh1P4ciZtN6eTT5c9H/sMn5FIwSVPDfmSvWuPUIccXa QFekxnwS9bnHzD3toc7V9yT1k5OQ3x0H/A557+uHAMiVVC9Upr5IuCVGgv1UF8pNHhFQBUZw sBVbS2fk8rVCRWAIFp/2bC7Lo+M/g++bzIEd1AElLIHnhhr98yHXfzXQsYdSPzqlnqEAAAAA AAA= --------------ms060308070905030609010807-- From kriegel@mi.fu-berlin.de Thu May 28 08:09:48 2015 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 esmtp (envelope-from ) id <1Yxr0k-003HlA-IH>; Thu, 28 May 2015 08:09:46 +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 esmtp (envelope-from ) id <1Yxr0k-001laz-H9>; Thu, 28 May 2015 08:09:46 +0200 Received: from strahl.imp.fu-berlin.de ([160.45.40.233]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1Yxr0k-001MlX-G1>; Thu, 28 May 2015 08:09:46 +0200 Message-ID: <5566B12A.7040401@mi.fu-berlin.de> Date: Thu, 28 May 2015 08:09:46 +0200 From: Klaus Kriegel User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: multipart/alternative; boundary="------------090407070308050808030104" X-Originating-IP: 160.45.40.233 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1432793386-00000CF1-3E1E2137/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,HTML_MESSAGE X-Spam-Checker-Version: SpamAssassin 3.4.1 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 28.05.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 28 May 2015 06:09:48 -0000 This is a multi-part message in MIME format. --------------090407070308050808030104 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 28.05.2015 Klaus Kriegel zum Thema: Free Edge Lengths in Plane Graphs *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** _______________________________________________ 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 --------------090407070308050808030104 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit 
Im Rahmen des Mittagsseminars der
Theoretischen Informatik der FU Berlin
spricht am


   Donnerstag, 28.05.2015
   Klaus Kriegel
   zum Thema:  Free Edge Lengths in Plane Graphs

***************************************************
Ort: Takustr. 9, RM 055

Uhrzeit: 12 Uhr s.t.
***************************************************






_______________________________________________
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
--------------090407070308050808030104-- From mulzer@inf.fu-berlin.de Mon Jun 01 14:25:19 2015 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 esmtp (envelope-from ) id <1YzOmL-001s8k-Pk>; Mon, 01 Jun 2015 14:25:18 +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 esmtp (envelope-from ) id <1YzOmL-002kvU-Ol>; Mon, 01 Jun 2015 14:25:17 +0200 Received: from bisektor.imp.fu-berlin.de ([160.45.40.231]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1YzOmL-000WSj-Nk>; Mon, 01 Jun 2015 14:25:17 +0200 Message-ID: <556C4F2D.2060204@inf.fu-berlin.de> Date: Mon, 01 Jun 2015 14:25:17 +0200 From: Wolfgang Mulzer User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha1; boundary="------------ms090106050305000007040404" X-Originating-IP: 160.45.40.231 X-ZEDAT-Hint: A X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1433161517-00000CF1-5D7D1B43/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.1 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 02. u. 04.06.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 01 Jun 2015 12:25:19 -0000 This is a cryptographically signed message in MIME format. --------------ms090106050305000007040404 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 02.06.2015 Wolfgang Mulzer zum Thema: Another Proof of Chernoff's Bound und am Donnerstag, 04.06.2015 Heuna Kim zum Thema: The Thing I Solved in Mexico *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** --------------ms090106050305000007040404 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIQeDCC BNUwggO9oAMCAQICCFBOxvU9EbRkMA0GCSqGSIb3DQEBCwUAMHExCzAJBgNVBAYTAkRFMRww GgYDVQQKExNEZXV0c2NoZSBUZWxla29tIEFHMR8wHQYDVQQLExZULVRlbGVTZWMgVHJ1c3Qg Q2VudGVyMSMwIQYDVQQDExpEZXV0c2NoZSBUZWxla29tIFJvb3QgQ0EgMjAeFw0xNDA3MjIx MjA4MjZaFw0xOTA3MDkyMzU5MDBaMFoxCzAJBgNVBAYTAkRFMRMwEQYDVQQKEwpERk4tVmVy ZWluMRAwDgYDVQQLEwdERk4tUEtJMSQwIgYDVQQDExtERk4tVmVyZWluIFBDQSBHbG9iYWwg LSBHMDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDpm8NnhfkNrvWNVMOWUDU9 YuluTO2U1wBblSJ01CDrNI/W7MAxBAuZgeKmFNJSoCgjhIt0iQReW+DieMF4yxbLKDU5ey2Q RdDtoAB6fL9KDhsAw4bpXCsxEXsM84IkQ4wcOItqaACa7txPeKvSxhObdq3u3ibo7wGvdA/B CaL2a869080UME/15eOkyGKbghoDJzANAmVgTe3RCSMqljVYJ9N2xnG2kB3E7f81hn1vM7Pb D8URwoqDoZRdQWvY0hD1TP3KUazZve+Sg7va64sWVlZDz+HVEz2mHycwzUlU28kTNJpxdcVs 6qcLmPkhnSevPqM5OUhqjK3JmfvDEvK9AgMBAAGjggGGMIIBgjAOBgNVHQ8BAf8EBAMCAQYw HQYDVR0OBBYEFEm3xs/oPR9/6kR7Eyn38QpwPt5kMB8GA1UdIwQYMBaAFDHDeRu69VPXF+CJ ei0XbAqzK50zMBIGA1UdEwEB/wQIMAYBAf8CAQIwYgYDVR0gBFswWTARBg8rBgEEAYGtIYIs AQEEAgIwEQYPKwYBBAGBrSGCLAEBBAMAMBEGDysGAQQBga0hgiwBAQQDATAPBg0rBgEEAYGt IYIsAQEEMA0GCysGAQQBga0hgiweMD4GA1UdHwQ3MDUwM6AxoC+GLWh0dHA6Ly9wa2kwMzM2 LnRlbGVzZWMuZGUvcmwvRFRfUk9PVF9DQV8yLmNybDB4BggrBgEFBQcBAQRsMGowLAYIKwYB BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMDoGCCsGAQUFBzAChi5o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9EVF9ST09UX0NBXzIuY2VyMA0GCSqGSIb3 DQEBCwUAA4IBAQBjICj9nCGGcr45Rlk5MiW8qQGbDczKfUGchm0KbiyzE1l1sTOSG2EnFv/D stU1gvuEKgFJvWa7Zi+ywgZdbj9u4wFaW8pDY1yVtuExpx/VB19N5mWCTjL5w3x6S81NXHTu IfJ1AuxSPtLJatOQI25JZzW+f01WpOzML8+3oZeocj7JvEDWWqQIPda8gsO3tzKOsSyOam23 NQIZz/U5RFhjpyQAELC7/E6vbi84u6VXST/YblBvLJeW3B1GmmWJz67M8uXZn1OzPqEvkqnY C8aEHwTG6x7on321e6UC8STFJGMRNMxakyAqeYg6JUKQqWU7fIbTEhUjKfws2sw5W1QXMIIF jzCCBHegAwIBAgIHF5BgzPm5bjANBgkqhkiG9w0BAQsFADBaMQswCQYDVQQGEwJERTETMBEG A1UEChMKREZOLVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMB4XDTE0MDUxMjE1MDUzMloXDTE5MDcwOTIzNTkwMFowgbUx CzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNVBAcTBkJlcmxpbjEiMCAGA1UE ChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UECxMFWkVEQVQxMDAuBgNVBAMT J0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAtIEcwMTEeMBwGCSqGSIb3DQEJ ARYPY2FARlUtQmVybGluLkRFMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAjYUI 0048zDNevkmXipCDjSpIr+sEbhiXPzWnZnCnkmLOrEMFaNDWDX6kcVQ1VP71opEfGuR5LtW0 P6N+JM8E8y5HXdap62bD4Yfg0KQEmlh9vpMQ75BckReW7wRKH/Ntcrg8gwn97d17Hs8hgRGk 8cpBRAs5v5hcqRZcjR63mKCismsjld6MVdWSNYhZJhpcnb0dVzMa3A7Rf1OsXHwDXrhusCNp h1+Pazuw2XbIKWSCsFS4qlhHOj5QA375qk5IjjsUnw2FqljLiziu9xB4/jhSx1fz6+5RVnTe 5Tb9GMbk5RVR+dvPTnzF96T/yW5DqsFIL+xBYQ8juFoBQog3MwIDAQABo4IB/DCCAfgwEgYD VR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwEQYDVR0gBAowCDAGBgRVHSAAMB0G A1UdDgQWBBQG4T30b/Qwt3o7V7AxBYl7DVhabDAfBgNVHSMEGDAWgBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAaBgNVHREEEzARgQ9jYUBGVS1CZXJsaW4uREUwgYgGA1UdHwSBgDB+MD2gO6A5 hjdodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jcmwvY2Fjcmwu Y3JsMD2gO6A5hjdodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9j cmwvY2FjcmwuY3JsMIHXBggrBgEFBQcBAQSByjCBxzAzBggrBgEFBQcwAYYnaHR0cDovL29j c3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEcGCCsGAQUFBzAChjtodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBHBggr BgEFBQcwAoY7aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2Fj ZXJ0L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBADRy38buZjrfDN8mZiukEjlsx+6s /DKj5YYWaAvUB5kqhL2TM58bPyq4sYAVCDWALifAk11Gx4/Rp1PLNFd4tnoRcQsfgN8ywECp WBbgESOC73tfa6ZSPEY8uZ4yUk0o2nwxkgU0V3/b7/51XLp5TA5gBeL3aYcjYQ17QN14Mh12 MiXFp5VbPBDTHkinUXt316A8Qj09wJnHMOjt5M+ZDn82YYC7vFDzjNkNmw46PRL3hZOfZb1I S+fhVlR4eW0FBLqmGg+4Y7Y4KKrwBcBK3OzME5jN71LkdNu1lkB43OfT+YOMT+pqZp1l0U6D GZa3SZy5xfWY3EL5BYVM8xAfoZgwggYIMIIE8KADAgECAgcWpEteCY1tMA0GCSqGSIb3DQEB BQUAMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNVBAsTBVpFREFUMTAw LgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0EgLSBHMDExHjAcBgkq hkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERTAeFw0xMzExMTQxMzE5MTBaFw0xNjExMTMxMzE5 MTBaMIGdMQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYDVQQHEwZCZXJsaW4x IjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xLjAsBgNVBAsTJUZhY2hiZXJl aWNoIE1hdGhlbWF0aWsgdW5kIEluZm9ybWF0aWsxGDAWBgNVBAMTD1dvbGZnYW5nIE11bHpl cjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALJ+8bF7plEoCuVzm7EV8kMZ5PPE 9wto3ZvcnbvSDr9q8UuecqcE/zV7O/xxYY1CbdEP3eXhAs/x7evufNt2hkDLf1p8xENbF+oW Y620tfjjCgNtVYJeQOaiw8v1691ofCiDQTyPliUtO4liwJZoKTSOZtnCbFqV7SmHGAv++awO vdjdiMAnbpzBNxPUVLJaPnSzdsmHXZYTqK/pvJEEh60+dcpCA1RiQjnhj4lfLk+f871WkBkb G1aBkr/q0/qh6SHy0q9uAuue8Wc7k/BHZ6qds8NzB8O3Ml+PGF8ZJSKj5TViReIG6jnGm2xN YbCVAU4zgtLk86U3NO73NpEkLfUCAwEAAaOCAjEwggItMC8GA1UdIAQoMCYwEQYPKwYBBAGB rSGCLAEBBAMAMBEGDysGAQQBga0hgiwCAQQDADAJBgNVHRMEAjAAMAsGA1UdDwQEAwIF4DAd BgNVHSUEFjAUBggrBgEFBQcDAgYIKwYBBQUHAwQwHQYDVR0OBBYEFI4BgLVWXeWOTtd+/GPN vK6B0ryxMB8GA1UdIwQYMBaAFAbhPfRv9DC3ejtXsDEFiXsNWFpsMHkGA1UdEQRyMHCBF211 bHplckBpbmYuZnUtYmVybGluLmRlgRltdWx6ZXJAemVkYXQuZnUtYmVybGluLmRlgRxXb2xm Z2FuZy5NdWx6ZXJAZnUtYmVybGluLmRlgRx3b2xmZ2FuZy5tdWx6ZXJAZnUtYmVybGluLmRl MHUGA1UdHwRuMGwwNKAyoDCGLmh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwNKAyoDCGLmh0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZnUtY2EvcHViL2Ny bC9jYWNybC5jcmwwgZAGCCsGAQUFBwEBBIGDMIGAMD4GCCsGAQUFBzAChjJodHRwOi8vY2Rw MS5wY2EuZGZuLmRlL2Z1LWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDA+BggrBgEFBQcwAoYy aHR0cDovL2NkcDIucGNhLmRmbi5kZS9mdS1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwDQYJ KoZIhvcNAQEFBQADggEBAGuYxfnNPvn7lgtrDXQwCDTIRrjvNgBW27HPauYSJmLhiVixTTi0 wSJvFg3ZrCsn5qHDfw5yV82lkCYBo40QwC1DMnr09JDaYPmXnccMmxRT5wPdCBQOe8ScSdqo PIi/38LJSvErWWOj9ptFh/Hye26uxgqDkDkK6fcfqjFMRYWc9swXRLfGShswyRahdRK5hYNq NT44BxEYU9iuV+G1tEbAW39o843Wxjz1OL+hVtG6aJfh4RlSk9BL+SQx1ewHwHOc+E5F6HIy L4dPpGcU54gETBuhW+N6m+SCIKmSxksGl8ehVseVDU/dLO6EOLuvKvufTsC4Ej1Xv5lZZ6Cl hhExggRkMIIEYAIBATCBwTCBtTELMAkGA1UEBhMCREUxDzANBgNVBAgTBkJlcmxpbjEPMA0G A1UEBxMGQmVybGluMSIwIAYDVQQKExlGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluMQ4wDAYD VQQLEwVaRURBVDEwMC4GA1UEAxMnRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbiAtIEZVLUNB IC0gRzAxMR4wHAYJKoZIhvcNAQkBFg9jYUBGVS1CZXJsaW4uREUCBxakS14JjW0wCQYFKw4D AhoFAKCCAncwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMTUw NjAxMTIyNTE3WjAjBgkqhkiG9w0BCQQxFgQU4X6DWvLuQXe6hGISyVLcFnwjnqQwbAYJKoZI hvcNAQkPMV8wXTALBglghkgBZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA4GCCqG SIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDCB0gYJ KwYBBAGCNxAEMYHEMIHBMIG1MQswCQYDVQQGEwJERTEPMA0GA1UECBMGQmVybGluMQ8wDQYD VQQHEwZCZXJsaW4xIjAgBgNVBAoTGUZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4xDjAMBgNV BAsTBVpFREFUMTAwLgYDVQQDEydGcmVpZSBVbml2ZXJzaXRhZXQgQmVybGluIC0gRlUtQ0Eg LSBHMDExHjAcBgkqhkiG9w0BCQEWD2NhQEZVLUJlcmxpbi5ERQIHFqRLXgmNbTCB1AYLKoZI hvcNAQkQAgsxgcSggcEwgbUxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIEwZCZXJsaW4xDzANBgNV BAcTBkJlcmxpbjEiMCAGA1UEChMZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEOMAwGA1UE CxMFWkVEQVQxMDAuBgNVBAMTJ0ZyZWllIFVuaXZlcnNpdGFldCBCZXJsaW4gLSBGVS1DQSAt IEcwMTEeMBwGCSqGSIb3DQEJARYPY2FARlUtQmVybGluLkRFAgcWpEteCY1tMA0GCSqGSIb3 DQEBAQUABIIBACZvmiwH/aJlD6jQPBq6l3DIYqx/g0UHe/sejRGUpeWhXpWTnn/snIqN6ptV zPeoIY8TxStRNBwIbtuEfmGWJn59GE6ZYZk3nhuaGA9ijFVfFaKYMh/NdtFifpUK+hAFbMJw 7vidNPWaIsZhRbnzJfjjZlg8x6NDDLvI+Htr4DfjIHV/8D3c7dvt0d2kpWaQR4puYgOky43S xTGzQP4puS68PGzxYtdSAUcpP9R3wdv9DTSwIIviA/0oyuFJWEI3Y60XtKAysr1+olI/zsYp ob0ejoqWcHnFVmgV4wjwXXmJBhtRxiuiS6boV6+GMTFV/YCaY0BVFLsULdh0ZS0ovBoAAAAA AAA= --------------ms090106050305000007040404-- From knoll@mi.fu-berlin.de Thu Jun 11 10:25:12 2015 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 esmtp (envelope-from ) id <1Z2xnS-004BjH-7c>; Thu, 11 Jun 2015 10:25:10 +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 esmtp (envelope-from ) id <1Z2xnS-0019Ig-6h>; Thu, 11 Jun 2015 10:25:10 +0200 Received: from kugel.imp.fu-berlin.de ([160.45.40.236]) by inpost2.zedat.fu-berlin.de (Exim 4.85) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (envelope-from ) id <1Z2xnS-0024MN-5g>; Thu, 11 Jun 2015 10:25:10 +0200 Message-ID: <557945E5.9030700@mi.fu-berlin.de> Date: Thu, 11 Jun 2015 10:25:09 +0200 From: Tamara Knoll User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: agti-Mittagsseminar@lists.fu-berlin.de Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Originating-IP: 160.45.40.236 X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1434011110-00000CF1-1311BA4D/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.420535, 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.1 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am 11.06.2015 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.16 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 11 Jun 2015 08:25:12 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 11.06.2015 Max Willert zum Thema: Tight bounds for conflict-free chromatic guarding of orthogonal art galleries *************************************************** Ort: Takustr. 9, RM 055 Uhrzeit: 12 Uhr s.t. *************************************************** -- ------------------------------------------------------------------------ Tamara Knoll Sekretariat Theoretische Informatik Institut für Informatik knoll@inf.fu-berlin.de Freie Universität Berlin Phone: +49-30-838 75103 Takustr.9, D-14195 Berlin Fax: +49-30-838 75192 ------------------------------------------------------------------------