From borzemi@zedat.fu-berlin.de Tue Oct 08 09:12:11 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1sy4OB-000000032Vs-1JKy; Tue, 08 Oct 2024 09:12:11 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Subject:From:To:MIME-Version:Date:Message-ID: Content-Type:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=a83/xJAeikRAXVHDlkEbYdBPcr65sImTyRtf9nM+oa4=; t=1728371531; x=1728976331; b=G9sa2LmwdzbuoCdLI7YTeEp5TXk2dDGJahgBDXpxEe84zNvlS8YQvPr8QDHp7S1X/j6Q4qIEx/i xlWIonWmr+BgRRoWnx/GioF5bA754ZnijrmY6J2DfW8JrGmwYo7hHEC1Gs5TS+rslfrIylnV1GvUy qRQQ7rYYMEWI/5oTIlLMFlKb3ggNHUsxkF2NnKT+dE/jwzaxpJS/AWCOVAy52Z0Paf5ekgqHDRAx8 RQC3ULbxuve7KOjFEen/SiREL6ZvD1ge248VFYwkOXuP9cocidwGPw6PIXGNfN4zpO57AsL/00qDW cwHf0MvHxhuWNus7rbasUHRNvvpnmcxcPlHw==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1sy4OB-000000028pu-10hG; Tue, 08 Oct 2024 09:12:11 +0200 Received: from salami.imp.fu-berlin.de ([160.45.46.95]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1sy4OB-00000002uKc-0Hab; Tue, 08 Oct 2024 09:12:11 +0200 Content-Type: multipart/alternative; boundary="------------cHTk9zdUdwFYLD96hqHfbpLf" Message-ID: <203bd835-7d02-43f3-b6c3-603ffd3a236a@fu-berlin.de> Date: Tue, 8 Oct 2024 09:12:01 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: "agti-Mittagsseminar@lists.fu-berlin.de" Content-Language: en-US From: =?UTF-8?Q?Michaela_Borzechowski/Kr=C3=BCger?= X-Original-Sender: michaela.borzechowski@fu-berlin.de X-Originating-IP: 160.45.46.95 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1728371531-50354AA8-B70C69DE/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000028, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.2 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE X-Spam-Checker-Version: SpamAssassin 3.4.6 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Dienstag, 08.10. und Donnerstag 10.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: Tue, 08 Oct 2024 07:12:11 -0000 This is a multi-part message in MIME format. --------------cHTk9zdUdwFYLD96hqHfbpLf Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am     Dienstag, 08.10.2024, 12:00 Uhr, SR 055, Takustraße 9     Michaela Borzechowski     zum Thema: Proof Complexity and TFNP Part 1 - Introduction und     Donnerstag, 10.10.2024, *12:30 Uhr (!!)*, SR 055, Takustraße 9     Simon Weber     zum Thema: Proof Complexity and TFNP Part 2 - Concrete Examples --------------cHTk9zdUdwFYLD96hqHfbpLf Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am

    Dienstag, 08.10.2024, 12:00 Uhr, SR 055, Takustraße 9
    Michaela Borzechowski
    zum Thema: Proof Complexity and TFNP Part 1 - Introduction

und 

    Donnerstag, 10.10.2024, 12:30 Uhr (!!), SR 055, Takustraße 9
    Simon Weber
    zum Thema: Proof Complexity and TFNP Part 2 - Concrete Examples

--------------cHTk9zdUdwFYLD96hqHfbpLf-- From rote@zedat.fu-berlin.de Tue Oct 15 15:28:57 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t0hbd-000000017Yr-1Gfj; Tue, 15 Oct 2024 15:28:57 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type:In-Reply-To :To:From:References:Subject:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=G+5NRPCBP/3IxRyPSNi8dPMWBqjw94cHKXsyOI6gP6s=; t=1728998937; x=1729603737; b=UH0I3Uk8ep68eU+vfEmu288Nv2O2zArTHEhsBmXpGNU0/dSf8s42V0z6Se+nE0K+XM3BbJPyNj4 ghwuIZcFMo5KCJSoybBgHHnlRcVe4+28am8HzWZjIMvdvv/YNFHtjgoTeP20LymtVJ65GK9e09T4E cS4U+1YGbbtnOfVlWztPU+dF55vLpGtzFOrBNbmlnznN5eTESq5soCmehpaUt2m7uVmy+kDRiXUoy qL/eTKu2OkvGEw4o2Vbiw8EPcVWTdT4A6i9JOyuwv/NGn6z8gCD7hEih5SbtxiUXzKMehFdV5NbnH o8t5ed3a9UmD5g+8nzqCtN2IvpAk0YFxLINA==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t0hbd-00000001zze-0zgq; Tue, 15 Oct 2024 15:28:57 +0200 Received: from carbonara.imp.fu-berlin.de ([160.45.46.61]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1t0hbd-000000017Hy-0Hnk; Tue, 15 Oct 2024 15:28:57 +0200 Message-ID: Date: Tue, 15 Oct 2024 15:28:56 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US References: <203bd835-7d02-43f3-b6c3-603ffd3a236a@fu-berlin.de> From: =?UTF-8?Q?G=C3=BCnter_Rote?= To: agti-Mittagsseminar@lists.fu-berlin.de In-Reply-To: <203bd835-7d02-43f3-b6c3-603ffd3a236a@fu-berlin.de> X-Forwarded-Message-Id: <203bd835-7d02-43f3-b6c3-603ffd3a236a@fu-berlin.de> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Original-Sender: rote@inf.fu-berlin.de X-Originating-IP: 160.45.46.61 X-ZEDAT-Hint: PO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1728998937-1BB2E255-F08BFE2F/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000008, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Niue.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Donnerstag 17.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: Tue, 15 Oct 2024 13:28:57 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am     Dienstag, 17.10.2024, 12:00 Uhr, SR 055, Takustraße 9     Günter Rote     zum Thema: Consistent path systems From lkozma@zedat.fu-berlin.de Mon Oct 21 13:31:11 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t2qcx-00000001L8C-1fks; Mon, 21 Oct 2024 13:31:11 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type: MIME-Version:To:From:Subject:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=37Bk0+TMLX1ia0PTAFmcYYvXQ5ey3Py9X8cH83FUsrY=; t=1729510271; x=1730115071; b=ClaqJ+ZDoY39Bq7FhFVGkyGIBq/K149YA0Yy+iCmmkUzJvneutK3aEtSzpYoACWZbx73Sp151X0 XjEHPusGvq27/RAAYvtXh+ZfKu3IQ+8aS902DUDp9GGn2WXV8fFr87ZjApr/rqsAfbyb6aYeRLI2z SdbuDa2W+qoTqTZ3V9TolBPuPP3kJjoi7Ps0/vF9tj46UhYIFa3lQdUYlwz3CE9tYlGc3mqQg5vr5 CziUX9bYQCS4xZBcMay6nAvQLb4Spy3ehcpn2XKeFmIRt/fOByHoFgeuwKjDRID9+qHAz7aWsAqbI blxUKGZ0LBosIs033RS3CH+Zm/F2VBycahZQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t2qcx-00000002Oja-1Obu; Mon, 21 Oct 2024 13:31:11 +0200 Received: from webmail.zedat.fu-berlin.de ([130.133.4.91]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t2qcx-000000019KO-0iAi; Mon, 21 Oct 2024 13:31:11 +0200 Received: from 160.45.46.154 (ZEDAT-Webmail authenticated user lkozma) by webmail.zedat.fu-berlin.de with HTTP; Mon, 21 Oct 2024 13:31:11 +0200 Message-ID: <57265.160.45.46.154.1729510271.webmail@webmail.zedat.fu-berlin.de> Date: Mon, 21 Oct 2024 13:31:11 +0200 From: =?utf-8?B?IkzDoXN6bMOzIEtvem1hIg==?= 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: WTO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1729510271-1173C255-B7022985/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] noon seminar tomorrow 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 2024 11:31:11 -0000 In the noon seminar on Tuesday 22th Oct, in SR 55, Takustraße 9, László Kozma will talk about: streaming meets geometry. From rote@zedat.fu-berlin.de Mon Oct 28 13:46:06 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t5P8D-00000003bRh-2f5M; Mon, 28 Oct 2024 13:46:01 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=In-Reply-To:To:From:Cc:References:Subject: MIME-Version:Date:Message-ID:Content-Type:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=CN+2toIgZUWvD6FrzF3af1mkpU2evKKcRpZeOIkGvpI=; t=1730119561; x=1730724361; b=Mj5QFCeukXblhvES8Uvgl2SHrDl1id/hDvF+oLfdPVMlYs6e/jwV7TIvJ0hWGnhucoOUdVNPItY dj9JbAjLW2rB6+v0qD2WEopwmagIlPNBpxzTkOerzJ42lUwANccdcfhkYD7lG/ZFRr9wMVMM92dRC d2MJxEs8R8Wx2TNx0f2hen/NJXRCkUi5vUaTCUxZLeJeTIXy1EtLIb64ZaOIYUubveLkavNqxx2+7 vmuvS9L5fbV3hOywLEKSubpzJqUrMO/PfJ3Z1CCWLkS31HhHIUskOOL3eGe3q3HBN11dihBp3VivG l4VNbrwQiIeqma06khXM9r+xus1+WZE/GUug==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t5P8D-000000037l3-0fd1; Mon, 28 Oct 2024 13:46:01 +0100 Received: from carbonara.imp.fu-berlin.de ([160.45.46.61]) by inpost2.zedat.fu-berlin.de (Exim 4.98) with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1t5P8C-000000034vs-44dQ; Mon, 28 Oct 2024 13:46:01 +0100 Content-Type: multipart/mixed; boundary="------------0wuNCeSJrDPeKLt86OCO690O" Message-ID: <89674c64-bcb7-4cba-b5a7-4aee6825ca4a@inf.fu-berlin.de> Date: Mon, 28 Oct 2024 13:45:57 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US References: <203bd835-7d02-43f3-b6c3-603ffd3a236a@fu-berlin.de> Cc: Morteza SAGHAFIAN , "Joseph D. Fehribach" From: =?UTF-8?Q?G=C3=BCnter_Rote?= To: agti-Mittagsseminar@lists.fu-berlin.de In-Reply-To: <203bd835-7d02-43f3-b6c3-603ffd3a236a@fu-berlin.de> X-Forwarded-Message-Id: <203bd835-7d02-43f3-b6c3-603ffd3a236a@fu-berlin.de> X-Original-Sender: rote@inf.fu-berlin.de X-Originating-IP: 160.45.46.61 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1730119561-BA1EABFB-B09FD110/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.031624, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Dienstag, 29.10. und Donnerstag 31.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, 28 Oct 2024 12:46:06 -0000 This is a multi-part message in MIME format. --------------0wuNCeSJrDPeKLt86OCO690O Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am     Dienstag, 29.10.2024, 12:00 Uhr, SR 055, Takustraße 9     Günter Rote     zum Thema: The polyhedral cone of Kirchhoff graphs und am     Donnerstag, 31.10.2024, 12:00 Uhr, SR 055, Takustraße 9     Morteza Saghafian (ISTA, Maria Gugging)     zum Thema: The MST-Ratio: A New Measure of Mixedness for Colored Point Sets --------------0wuNCeSJrDPeKLt86OCO690O Content-Type: text/plain; charset=UTF-8; name="Nachrichtenteil als Anhang" Content-Disposition: attachment; filename="Nachrichtenteil als Anhang" Content-Transfer-Encoding: base64 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KYWd0aS1N aXR0YWdzc2VtaW5hciBtYWlsaW5nIGxpc3QKYWd0aS1NaXR0YWdzc2VtaW5hckBsaXN0cy5m dS1iZXJsaW4uZGUKaHR0cHM6Ly9saXN0cy5mdS1iZXJsaW4uZGUvbGlzdGluZm8vYWd0aS1t aXR0YWdzc2VtaW5hcgoK --------------0wuNCeSJrDPeKLt86OCO690O Content-Type: text/plain; charset=UTF-8; name="Nachrichtenteil als Anhang" Content-Disposition: attachment; filename="Nachrichtenteil als Anhang" Content-Transfer-Encoding: base64 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQXV0b21h dGlzY2hlciBNYWlsdmVydGVpbGVyIGFuIEdydXBwZSAnbWwtdGktbWknLgpIaW53ZWlzZSBk YXp1IHNpZWhlIEhpbGZlc2VpdGU6Cmh0dHBzOi8vd3d3Lm1pLmZ1LWJlcmxpbi5kZS93L1Rl Yy9Bbmt1ZW5kaWd1bmdzVmVydGVpbGVyCgo= --------------0wuNCeSJrDPeKLt86OCO690O-- From willerma@zedat.fu-berlin.de Mon Nov 04 13:47:33 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t7wUW-00000000vkd-3h9F; Mon, 04 Nov 2024 13:47:32 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Type:Subject:From:To:MIME-Version:Date: Message-ID:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=kzuUwP/a4wHH9SFZQLHJKYe6fiXLViIDzqYejPwBiMw=; t=1730724452; x=1731329252; b=CqHA9ncTwKrfmJbSlWjjPgmfxYb150kzfmBhcZliGeWNl9I2JniqtNtdioaoiDZv5wSLqGQ/ixH E68xOoL0nkzGf+SqzkbiSN1EUpmgT+3hsNuXNMJLQTWWXxFoTn060FzsTeUmu4g/HKtqbRkKeL0Pp TRRWgcwY7MqEXe2Ol3Yn0YN13xssFyE0mZKYmaqwwyXhnIh2KGfXkVpVA8z9njstKQmbTNIfCqxic O+ffL2f05Bf5qg1aBIVCj+/EWlPWN77sQLWR1tYT/iuop4uofO1PSyKEKIHr7vozpr6fJWGP+Z5i6 PaJWgDiTG/FhyH8Fwi0wfCzBJMNNyYY16Kmg==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t7wUW-00000003oGu-3PU9; Mon, 04 Nov 2024 13:47:32 +0100 Received: from hawaii.imp.fu-berlin.de ([160.45.46.227]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1t7wUW-00000003u81-2gYx; Mon, 04 Nov 2024 13:47:32 +0100 Message-ID: Date: Mon, 4 Nov 2024 13:47:32 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US To: agti-Mittagsseminar@lists.fu-berlin.de From: Max Willert Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-512; boundary="------------ms000701060205070701060800" X-Original-Sender: max.willert@fu-berlin.de X-Originating-IP: 160.45.46.227 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1730724452-9233AD35-CD826168/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.2 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Niue.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 5.11.2024 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 2024 12:47:33 -0000 This is a cryptographically signed message in MIME format. --------------ms000701060205070701060800 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 SW0gUmFobWVuIGRlcyBNaXR0YWdzc2VtaW5hcnMgZGVyIFRoZW9yZXRpc2NoZW4gSW5mb3Jt YXRpayBkZXIgRlUgQmVybGluIA0Kc3ByaWNodCBhbQ0KDQogICAgRGllbnN0YWcsIDUuMTEu MjAyNCwgMTI6MDAgVWhyLCBTUiAwNTUsIFRha3VzdHJhw59lIDkNCiAgICBNYXggV2lsbGVy dA0KICAgIHp1bSBUaGVtYTogV2hhdCBpcyBpbmZvcm1hdGlvbiBhbmQgaG93IGNhbiB3ZSBt ZWFzdXJlIGl0Pw0K --------------ms000701060205070701060800 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: Kryptografische S/MIME-Signatur MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgMFADCABgkqhkiG9w0BBwEAAKCC Eo4wggUSMIID+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 NCIaE40GMIIHxDCCBqygAwIBAgIMKOHf8mg1YmRNgTLOMA0GCSqGSIb3DQEBCwUAMIGNMQsw CQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRz Y2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQD DBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBMB4XDTIzMDcyNzEyMjYxMVoXDTI2MDcy NjEyMjYxMVowgbkxCzAJBgNVBAYTAkRFMQ8wDQYDVQQIDAZCZXJsaW4xDzANBgNVBAcMBkJl cmxpbjEiMCAGA1UECgwZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEuMCwGA1UECwwlRmFj aGJlcmVpY2ggTWF0aGVtYXRpayB1bmQgSW5mb3JtYXRpazEQMA4GA1UEBAwHV2lsbGVydDEM MAoGA1UEKgwDTWF4MRQwEgYDVQQDDAtNYXggV2lsbGVydDCCAiIwDQYJKoZIhvcNAQEBBQAD ggIPADCCAgoCggIBAKOJFKQoH5sqLQvTo5sBbNryWPAN3bqMU0bXrzOaLyTrKtTSBJiIgDBQ 09v+7OVgweMsuoxsnKxIADGNsNXNTI+wnNkSEYLMeKK2LIyTxNqUKZKd49dN2bzo5Vyb7mr5 cxHT4myGPPkjNTb2kvDnE1ddXfspZxCdIDfLTkedHImdfFHhozIabZrw8FAw686gfSrNnSXn ieWH5osGKfIiY0Pi/D3XdE9vgdF9MFwUcoAmA1v49G7uz4IEHqwX3ut/3n/CBJOTfDT5V37D kz/qNlasNCePxqvtSlmjDydXpcMs9lyO0TXmtJ0aZyTOsad6Tlnwi/xkCDem2KDIgNRx4j/s HMoSoQHA2KPADd1H5OY3cBrKl5hAD1nsm1tzkSQZ9HlDfoxYxEuJCW6LSsF7v7OPH00aLBQ8 6wnBN5ymCUKNQUdxY+Al7y7X973BGjXJZLe5w9jziQNgr22yxevwMt3vfCli4aYztHvcpmfX gjuQakWzIDe3ExFiCCOGDXZ6jaBAdKQoYVbTSO0+AZCajciHrvNKufDEcoVW+pe7K4MD5fgW Lg0MJYJMOuaNHYI2UK0of07gS0tNuA+XVkLyAndkluaqp3rmNnNHrr9K8A49bwELsmI/VEar bAuVOYy8pkQMo0qTSIgDnv73kGoZGHaIiOMXIzZGzdk9Gves04LrAgMBAAGjggL0MIIC8DA+ BgNVHSAENzA1MA8GDSsGAQQBga0hgiwBAQQwEAYOKwYBBAGBrSGCLAEBBAswEAYOKwYBBAGB rSGCLAIBBAswCQYDVR0TBAIwADAOBgNVHQ8BAf8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUH AwIGCCsGAQUFBwMEMB0GA1UdDgQWBBTMokI875ZDCtlx5mEqatQH2QougzAfBgNVHSMEGDAW gBRrOpiL+fJTidrgrbIyHgkf6Ko7dDCBxQYDVR0RBIG9MIG6gRhtYXgud2lsbGVydEBmdS1i ZXJsaW4uZGWBGE1heC5XaWxsZXJ0QGZ1LWJlcmxpbi5kZYEbd2lsbGVybWFAemVkYXQuZnUt YmVybGluLmRlgRh3aWxsZXJtYUBtaS5mdS1iZXJsaW4uZGWBGXdpbGxlcm1hQGluZi5mdS1i ZXJsaW4uZGWBGndpbGxlcm1hQG1hdGguZnUtYmVybGluLmRlgRZtLndpbGxlcnRAZnUtYmVy bGluLmRlMIGNBgNVHR8EgYUwgYIwP6A9oDuGOWh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZGZu LWNhLWdsb2JhbC1nMi9wdWIvY3JsL2NhY3JsLmNybDA/oD2gO4Y5aHR0cDovL2NkcDIucGNh LmRmbi5kZS9kZm4tY2EtZ2xvYmFsLWcyL3B1Yi9jcmwvY2FjcmwuY3JsMIHbBggrBgEFBQcB AQSBzjCByzAzBggrBgEFBQcwAYYnaHR0cDovL29jc3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZl ci9PQ1NQMEkGCCsGAQUFBzAChj1odHRwOi8vY2RwMS5wY2EuZGZuLmRlL2Rmbi1jYS1nbG9i YWwtZzIvcHViL2NhY2VydC9jYWNlcnQuY3J0MEkGCCsGAQUFBzAChj1odHRwOi8vY2RwMi5w Y2EuZGZuLmRlL2Rmbi1jYS1nbG9iYWwtZzIvcHViL2NhY2VydC9jYWNlcnQuY3J0MA0GCSqG SIb3DQEBCwUAA4IBAQAfLRxw0kR0BE/wLlw8rcZGyPxuUD7/He+5iAoZ+hujaP7coEpN9G48 GmHFYliPrcP5NJBwh6MafsRHsttPv2Nrh9c+gD7kBu+5VqQCQh4HNKlZW332tAF6/+XpH6gU l2Qj2KcjY34cFIrseIkoU+pD4D5G5eDUGNDrVIjk5Ik+38NIY+NoMpVeE7gOp/5W3xTVLes1 P/ds3c6Q6n5L7GnGZu2cTLeRyJZ0B7jhF66LIIsbUWlPre5t7I04fjQwYs3Eq0PHaP+oJDA0 p0WapeDK2BChdvkpxZB61kQA2hy1yYSIwVuxXgYPsz+7RIN2sZ+EIKd2uz/g2NZCgYIZmFcO MYIGGDCCBhQCAQEwgZ4wgY0xCzAJBgNVBAYTAkRFMUUwQwYDVQQKDDxWZXJlaW4genVyIEZv ZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNV BAsMB0RGTi1QS0kxJTAjBgNVBAMMHERGTi1WZXJlaW4gR2xvYmFsIElzc3VpbmcgQ0ECDCjh 3/JoNWJkTYEyzjANBglghkgBZQMEAgMFAKCCA0owGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEH ATAcBgkqhkiG9w0BCQUxDxcNMjQxMTA0MTI0NzMyWjBPBgkqhkiG9w0BCQQxQgRAryKTzkzd CEUG9mvi9M3Ny806UaqKG39MpujEAAXkxGn9f4JiyjQ19/quSpKB2SVmq+0ZJw1vKBa4QRqi N3An1DCBrwYJKwYBBAGCNxAEMYGhMIGeMIGNMQswCQYDVQQGEwJERTFFMEMGA1UECgw8VmVy ZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hlbiBGb3JzY2h1bmdzbmV0emVzIGUu IFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQDDBxERk4tVmVyZWluIEdsb2JhbCBJc3N1 aW5nIENBAgwo4d/yaDViZE2BMs4wgbEGCyqGSIb3DQEJEAILMYGhoIGeMIGNMQswCQYDVQQG EwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hlbiBG b3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQDDBxERk4t VmVyZWluIEdsb2JhbCBJc3N1aW5nIENBAgwo4d/yaDViZE2BMs4wggFXBgkqhkiG9w0BCQ8x ggFIMIIBRDALBglghkgBZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA0GCCqGSIb3 DQMCAgEFMA0GCCqGSIb3DQMCAgEFMAcGBSsOAwIHMA0GCCqGSIb3DQMCAgEFMAcGBSsOAwIa MAsGCWCGSAFlAwQCATALBglghkgBZQMEAgIwCwYJYIZIAWUDBAIDMAsGCWCGSAFlAwQCBDAL BglghkgBZQMEAgcwCwYJYIZIAWUDBAIIMAsGCWCGSAFlAwQCCTALBglghkgBZQMEAgowCwYJ KoZIhvcNAQEBMAsGCSuBBRCGSD8AAjAIBgYrgQQBCwAwCAYGK4EEAQsBMAgGBiuBBAELAjAI BgYrgQQBCwMwCwYJK4EFEIZIPwADMAgGBiuBBAEOADAIBgYrgQQBDgEwCAYGK4EEAQ4CMAgG BiuBBAEOAzANBgkqhkiG9w0BAQEFAASCAgCcwuZLBtyx6z1I2vsMcCHBbNWyR301bZhWncRW /rNfeSh4Usm2XMeJOarhnoiQiLrf94nqBXyQK8pozEtUuwuqNSVfmPp8dZHqRNRf4LKe0UXd ohgGr7kQCG+Dt5VBjaxfNt2iQKW+A/OezBwFMYI0FQ5M5t+c83qY9jjUCTehjTlWneqPsDe7 JExxMf57rV7NAB1Io+chcOxoWA0ZKR/woi1QrcbWTf8WKkjne8S/fe/o+oVsVm6Zmuy2JQlY u+9qoiM5SGlbUA1yk+WQEgeI4xIf4xMD9RiEp3yKYllYJpKW92vmQfx/BUqxPbZWezlNI0fI AjhcwAyYySs2WjSB5k7zlQXOPei7aoXbmAtEjrf0da6bmNh0nBBHb0CrbytE4dWyhBySIhXl pwyWrGQqj2wn6+QAFb2rM7tH4th8gUe/wtxMZSqs4pP0cIivrNOq6P4X3r4NfAzRu0ksEp/B FE3pZXYEHVOppMh1NEH3oX6GO99cmwlANYTmn3xeLqTrq4w1pRI0qg4wXoGxjzWbMtK/9JTC 2CdvAdZbmhw7skImVcV9pXpdoaorKGSbpyHtxGcGUDWySm4MKHSGPVdUs9lc2TFz90hGSxoq Nt4YcUkdIx0f3pSUnf4ARoCc1LjaO/tbVuUbfstPb9YGLXCM+VB7fDXzyon1OWhZMYiJvQAA AAAAAA== --------------ms000701060205070701060800-- From beab@zedat.fu-berlin.de Wed Nov 06 13:01:03 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t8eid-00000001HQZ-2FFD; Wed, 06 Nov 2024 13:01:03 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=MIME-Version:Content-Transfer-Encoding: Content-Type:Date:To:From:Subject:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=FQyIdYFybzf/1UWlb1ykUf98mKTGELTGlxrQn/koklQ=; t=1730894463; x=1731499263; b=KTggdYzznB/XY1wb8vvgc/GMMAqaQKAEg0BoMNtSfSyxVrCuhU08gOR1JaVHR0HxSgvqsUPoS5D zJPnKzVTEzGum4QBNxnpg7j5D+MBtmAAqhQqWmIsa0uWNRtd9pVlEzgnm7E9cwASGdB/hJOuI+GOg INob3eu3MlSCvrBpVmOdKiOr58OVyaM/H5mBpcupMTpTiW/cxrS90GzuOTnpjaFMcbn6vC9JcCzBF tYKQjx9jawC41/XpT5LeSnWDThqlbgpbaFVrJ9F2xTc7JzUgIkcj1C1B3BJBvfW/0tLaowyeeMB+r aAUHnob/P8kNM+7k/Hy/5i09TH+80J576HpQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t8eid-00000003yEk-1zn8; Wed, 06 Nov 2024 13:01:03 +0100 Received: from dynamic-077-188-023-016.77.188.pool.telefonica.de ([77.188.23.16] helo=bab-debian.fritz.box) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1t8eid-00000003QvU-1AtU; Wed, 06 Nov 2024 13:01:03 +0100 Message-ID: <5e52d516acaca4b0d610d62bfe1386b34c5b3e1b.camel@zedat.fu-berlin.de> From: Benjamin Aram Berendsohn To: agti-Mittagsseminar@lists.fu-berlin.de Date: Wed, 06 Nov 2024 13:01:02 +0100 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.4-2 MIME-Version: 1.0 X-Originating-IP: 77.188.23.16 X-ZEDAT-Hint: PO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1730894463-A17EDBFB-F9906632/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.130401, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_VALIDITY_SAFE_BLOCKED X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar Do 7.11.24: The Horton-Strahler number 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, 06 Nov 2024 12:01:03 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Donnerstag, 7.11.2024, 12:00 Uhr, SR 055, Takustra=C3=9Fe 9 Benjamin Berendsohn zum Thema: The Horton-Strahler number From akauer@zedat.fu-berlin.de Mon Nov 11 20:14:40 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tAZrz-00000002DgQ-3QwS; Mon, 11 Nov 2024 20:14:39 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=To:Date:Message-Id:Subject:Mime-Version: Content-Transfer-Encoding:Content-Type:From:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=96zcSVNmxfHi6u2+rkw2Dk4fbPl8WVVLbrnHZnd8qrg=; t=1731352479; x=1731957279; b=BCxim6u8BbPD2wqdhy+HoapHH10irSsFQDm7gMpU5C2l83HMkXR9YcDv98L1vt8eoQnfu1wMXem CL6cJmojDcsLacaS+yBFTlDjdwDZikGndfkfwAtx60zsMh3XACIUXWFYHkf1ifvPODpmoj8z2ya1i zPZhodpmt+TVxerHd8yBR05+fBG0IA7QZqQs+rENySPE+TeNfDPJImixYcd0lx7qY16N7mcuEebgZ bCG7rxpkhh/zHiD2jmxa72HGbis3yuldy7MvVuqgpt2Li1KBDXMpuIJ2Wa7web6PsMtijHaY9rHyk zz2jL6uJqxXrw6IVBQKPbOH+ltLTbpyF5RcQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tAZrz-00000000K3I-39Pw; Mon, 11 Nov 2024 20:14:39 +0100 Received: from dynamic-002-242-015-012.2.242.pool.telefonica.de ([2.242.15.12] helo=smtpclient.apple) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (envelope-from ) id 1tAZrz-00000001Vqk-2Plf; Mon, 11 Nov 2024 20:14:39 +0100 From: Alexander Baumann Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.200.121\)) Message-Id: <13CA3EA0-5EEA-449C-8949-9EDD080784B6@fu-berlin.de> Date: Mon, 11 Nov 2024 20:14:29 +0100 To: agti-Mittagsseminar@lists.fu-berlin.de X-Mailer: Apple Mail (2.3826.200.121) X-Original-Sender: alexander.kauer@fu-berlin.de X-Originating-IP: 2.242.15.12 X-ZEDAT-Hint: PO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1731352479-C798DCD4-B17AA4A2/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000016, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.2 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_VALIDITY_SAFE_BLOCKED X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar Di 12.11.24: Fast Deterministic Selection 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, 11 Nov 2024 19:14:40 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 12.11.2024, 12:00 Uhr, SR 055, Takustra=C3=9Fe 9 Alexander Baumann zum Thema: Fast Deterministic Selection= From alt@zedat.fu-berlin.de Thu Nov 14 01:29:16 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tBNjY-000000039Hb-0lUY; Thu, 14 Nov 2024 01:29:16 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type: MIME-Version:Cc:To:From:Subject:Date:References:In-Reply-To:Message-ID:Sender :Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=iJ8qKRVM80vAVrPMS6hGgCx4cUYyv2UIBuGj12ixqSU=; t=1731544156; x=1732148956; b=AxA3pJhRKSkDansfQHhemBRPO1FpDn2exR7WudzpHFp/LYuLSYcPXxUfXUFKeKgRsIxR9N2TlHO pBRefvKxkjphKfMPOIkEA2guDAUIErxCle+u5NNw9bYXt+ViMTs1hIX9XBKtC0MOskk9ZEmFAi3kQ qPJqsYEA8mP5cXlthhjriPouVQJqDSOtBIAAMP+6o+Fu+bX2vXpV9Wzlz0DLQnv+l1c4vzbn3nmYS fzoDjl0p9PDhqsPaonvFHogcXQJzdj0jGcqjtt6SLZwOxLH52uyrIYC4qmSI9ysEWh2I9slgo4nWR 2WpoX9rGD5vlkyTI+upj23WoA30djCJ4KE/g==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tBNjY-000000036IQ-0Siy; Thu, 14 Nov 2024 01:29:16 +0100 Received: from webmail.zedat.fu-berlin.de ([130.133.4.91]) by inpost2.zedat.fu-berlin.de (Exim 4.98) with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tBNjX-000000028ib-3UU9; Thu, 14 Nov 2024 01:29:16 +0100 Received: from 78.55.87.179 (ZEDAT-Webmail authenticated user alt) by webmail.zedat.fu-berlin.de with HTTP; Thu, 14 Nov 2024 01:29:15 +0100 Message-ID: <63277.78.55.87.179.1731544155.webmail@webmail.zedat.fu-berlin.de> In-Reply-To: <59476.160.45.46.216.1719405334.webmail@webmail.zedat.fu-berlin.de> References: <59476.160.45.46.216.1719405334.webmail@webmail.zedat.fu-berlin.de> Date: Thu, 14 Nov 2024 01:29:15 +0100 From: "Helmut Alt" To: "Helmut Alt" Cc: 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: WO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1731544156-1E985C86-7D655611/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.458260, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Donnerstag, 14.11. 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, 14 Nov 2024 00:29:16 -0000 > > Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin > spricht am > > Donnerstag, 14. November 2024, 12:00 Uhr, SR 055, Takustraße 9 > > Helmut Alt > > zum Thema: Contextfree recognition vs. matrix multiplication > From borzemi@zedat.fu-berlin.de Mon Nov 18 15:01:15 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tD2JX-00000002XSc-1ne9; Mon, 18 Nov 2024 15:01:15 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Subject:From:To:MIME-Version:Date:Message-ID: Content-Type:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=BDY6so/gwqqH5XXdGdpeqFyIFRzPIsr2CHU1w12uG/s=; t=1731938475; x=1732543275; b=BkuOYBTnsoYUYMzogiQZtDeQ9mLejIkznKorCBY4AuUNO0/D8ElefdL5XFC8ju9rNJPiZ9cQ5HI N3MXz/TTxpLhETi7BBHDAqOq9sTQGe1L+kaKQnVT2R1qOaTOm4WN12NDbrJlT3Lrnaj+EY106RxOV sOcfB+48oAC5+LgRLUn7xgayoeX8R6Vh5XaCOb/QzGLBOBcSpxrKm+faOykavZyd388joFoRxh77T w9R08OnksElPV/RI3cHX6ns18ROsvwtfirfpaZci4l+CFMf8Oga6VDlVPaNbBrl3xSzeWnnFuczZP gv1Gd1w/wVTlCTrPgt2DRZ5JyuuGMWDiBAQw==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tD2JX-00000001hH3-1Sxx; Mon, 18 Nov 2024 15:01:15 +0100 Received: from salami.imp.fu-berlin.de ([160.45.46.95]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tD2JX-000000041Fo-0k6j; Mon, 18 Nov 2024 15:01:15 +0100 Content-Type: multipart/alternative; boundary="------------zK00bjjcr8qHtAYCatCThVOs" Message-ID: <2fdcf5a0-501b-41c5-bd4c-847a97f3e8c1@fu-berlin.de> Date: Mon, 18 Nov 2024 15:01:09 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: agti-Mittagsseminar@lists.fu-berlin.de Content-Language: en-US From: =?UTF-8?Q?Michaela_Borzechowski/Kr=C3=BCger?= X-Original-Sender: michaela.borzechowski@fu-berlin.de X-Originating-IP: 160.45.46.95 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1731938475-E5D84C51-BDF00A8F/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.2 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar Di 19.11.2024 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, 18 Nov 2024 14:01:15 -0000 This is a multi-part message in MIME format. --------------zK00bjjcr8qHtAYCatCThVOs Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 19.11.2024, 12:00 Uhr, SR 055, Takustraße 9 Matthew Maat zum Thema:Running in circles: Cycle patterns and how algorithms use them for games Abstract: Parity games, mean payoff games and energy games are examples of games that are played on the vertices of a directed graph. The problem of finding optimal strategies or values for these games is a well-studied topic, with countless algorithms being proposed. It is interesting from a complexity-theoretic viewpoint, as it is one of the few problems in both NP and coNP for which no polynomial-time algorithm is known. We introduce the notion of 'cycle pattern' to shed some light on the underlying structure of these games. We characterize which cycle patterns can be realized in a weighted graph. We show some hardness results related to cycle patterns and to computing the winner of a game using only cycle patterns. We also show some bounds on the maximum required size of weights in the graph, and what this implies for algorithms that solve mean payoff games. --------------zK00bjjcr8qHtAYCatCThVOs Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit 
Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU
Berlin spricht am

    Dienstag, 19.11.2024, 12:00 Uhr, SR 055, Takustraße 9
    Matthew Maat
    zum Thema: Running in circles: Cycle patterns and how algorithms use them for games




Abstract: Parity games, mean payoff games 
and energy games are examples of games that are played on the vertices 
of a directed graph. The problem of finding optimal strategies or values
 for these games is a well-studied topic, with
 countless algorithms being proposed. It is interesting from a 
complexity-theoretic viewpoint, as it is one of the few problems in both
 NP and coNP for which no polynomial-time algorithm is known.
We introduce the notion of 'cycle pattern' 
to shed some light on the underlying structure of these games. We 
characterize which cycle patterns can be realized in a weighted graph. 
We show some hardness results related to cycle patterns
 and to computing the winner of a game using only cycle patterns. We 
also show some bounds on the maximum required size of weights in the 
graph, and what this implies for algorithms that solve mean payoff 
games.

--------------zK00bjjcr8qHtAYCatCThVOs-- From m.elashmawi@fu-berlin.de Wed Nov 20 21:39:54 2024 Received: from outpost9.zedat.fu-berlin.de ([130.133.4.95]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tDrUP-00000003bmE-3gpv; Wed, 20 Nov 2024 21:39:53 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Date:MIME-Version:Content-Type:Message-ID:Subject: To:From:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=krDk2zVUKPNgHTFliMtElybJ+8hrl5Jigyc7LX8gPiM=; t=1732135193; x=1732739993; b=d+AEfkxn9OHmWs7fVCBO3UcJ7k9Us4oVLeg1O478ghrgRbqWV9nqVYIKeoLWwhiXZS1L9SPFVq/ Jnhx5KYtZNOtmd7qdWdBMj8dS7wzU1c08Js5SKu0WR8mBWlJdLnFdET1Yw8kfnafwk3ue/ySDmVeG de+fOE7ivYk+NOY257KRSl3xf0uzqxff/PA7szNQ9z0U6Kk5yk5fEhZ8a4MfuYyg80KYX9/RHgMaY wE3GfcL2OD/Lb0hQ2aApmW0mmQJifw2wS9xrZK9AbJZQKjxqk9PR0qJzUde82iPmVZJ5Shg5pbo4w 4DAdp7RgYYeSVyhcwjrm63mEpE8MgdYAjLsg==; Received: from relay2.zedat.fu-berlin.de ([130.133.4.80]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tDrUP-000000004nh-3NeX; Wed, 20 Nov 2024 21:39:53 +0100 Received: from camex23.campus.fu-berlin.de ([130.133.170.207]) by relay2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.2) tls TLS_RSA_WITH_AES_256_GCM_SHA384 (envelope-from ) id 1tDrUP-00000002O4I-24UN; Wed, 20 Nov 2024 21:39:53 +0100 Received: from camex22.campus.fu-berlin.de (130.133.170.206) by camex23.campus.fu-berlin.de (130.133.170.207) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.39; Wed, 20 Nov 2024 21:39:52 +0100 Received: from camex22.campus.fu-berlin.de ([fe80::b91a:6b1d:8711:d659]) by camex22.campus.fu-berlin.de ([fe80::b91a:6b1d:8711:d659%2]) with mapi id 15.01.2507.039; Wed, 20 Nov 2024 21:39:52 +0100 From: "Elashmawi, Mahmoud" To: "agti-Mittagsseminar@lists.fu-berlin.de" Thread-Topic: [Mittagsseminar TI] Mittagsseminar 21.11.2024 Thread-Index: AQHbO4wBUt2MmzElNEmNHfVL7xhWWQ== Message-ID: <6449692769994c55a457d45432f5c33b@fu-berlin.de> Accept-Language: en-GB, de-DE, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: multipart/alternative; boundary="_000_6449692769994c55a457d45432f5c33bfuberlinde_" MIME-Version: 1.0 Date: Wed, 20 Nov 2024 21:39:52 +0100 X-Original-Date: Wed, 20 Nov 2024 20:39:52 +0000 X-Originating-IP: 130.133.170.207 X-Original-X-Originating-IP: [130.133.170.240] X-ZEDAT-Hint: XAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1732135193-E9EF9C9A-263522EB/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-51.0 required=5.0 tests=ALL_TRUSTED, DCC_REPUT_00_12, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar 21.11.2024 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, 20 Nov 2024 20:39:54 -0000 --_000_6449692769994c55a457d45432f5c33bfuberlinde_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin sp= richt am Donnerstag, 21.11.2024, 12:00 Uhr, SR 055, Takustra=DFe 9 Mahmoud Elashmawi zum Thema: Instance-optimality for shortest st-paths --_000_6449692769994c55a457d45432f5c33bfuberlinde_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berl= in spricht am

    Donnerstag, 21.11.2024, 12:00 Uhr, SR 055, Takustra=DFe = 9
    Mahmoud Elashmawi
    zum Thema: Instance-optimality for shortest st-paths

--_000_6449692769994c55a457d45432f5c33bfuberlinde_-- From voderhoj00@zedat.fu-berlin.de Mon Nov 25 23:09:59 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tFhHL-00000001bFq-04o8; Mon, 25 Nov 2024 23:09:59 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type: MIME-Version:To:From:Subject:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=wgWDlU0q11FV0OlJ1N1LH6xGNmMo1cBAYr8dvB+qtME=; t=1732572599; x=1733177399; b=D4IVrFgHWRmBHLL8fL18NslvrcV5ngLD1XbDb+fsisqthS7fgVNRIWypDTdAK523+zIrtioh7cA Vk0t6P4vU0EdyuEtD5Euf15dugIiFxrQQsd9SOgQ9hy3ECKmSdBFxctADe7hzQbmjgIqztQJwdQGP KSPXCVRaSW42D6Z+PJLNv16cb9dYazzUE6NZtFUxMrJuDTkWZD9raylXbsYedDt/8o4ij/1dswlN8 GJDLTw27ddR7h71irlYNEZrs/8nLqPTWY47GvYb6WEqMlvR3F2P0Hji6lyHvkC9259guhn9zl2L4s G3g6sw3DEJU1pbsNmSf9MuovZooplOJcXggg==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tFhHK-00000003kks-3z6z; Mon, 25 Nov 2024 23:09:58 +0100 Received: from webmail.zedat.fu-berlin.de ([130.133.4.91]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tFhHK-000000020Wa-3IR9; Mon, 25 Nov 2024 23:09:58 +0100 Received: from 130.133.8.114 (ZEDAT-Webmail authenticated user voderhoj00) by webmail.zedat.fu-berlin.de with HTTP; Mon, 25 Nov 2024 23:09:58 +0100 Message-ID: <35790.130.133.8.114.1732572598.webmail@webmail.zedat.fu-berlin.de> Date: Mon, 25 Nov 2024 23:09:58 +0100 From: "Johannes Jakob Voderholzer" 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: WO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1732572599-EAAFFC9A-459C96DE/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: X-Mailman-Approved-At: Tue, 26 Nov 2024 09:02:21 +0100 Subject: [Mittagsseminar TI] Mittagsseminar Dienstag, 26.11.2024 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, 25 Nov 2024 22:09:59 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 25.11.2024, 12:00 Uhr, SR 055, Takustraße 9 Johannes Voderholzer zum Thema: Implementing byte pair encoding in linear time From mulzer@zedat.fu-berlin.de Thu Nov 28 10:10:49 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tGaXx-000000034qL-12Iw; Thu, 28 Nov 2024 10:10:49 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Type:To:Subject:From:MIME-Version:Date: Message-ID:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=w+MGbjHEnicQhbknwrusGzZ5iG1XWqf21mV2FK1Hwj4=; t=1732785049; x=1733389849; b=L/+laPwrlGFQ3RXCp0cDckH8lP9KIbrJrL/kRMrWsLYf4p8nw+A5nN1DV4iR0M3QQp5p6Z4OcMP w7RDLD+0iSPX0TbDHf28O6+GQbg6T5HOrEabD1H79weEfGAxAjYrPbt9mSaPGaQk8eTKLW7kTlr52 7eSrwBf7Xogg+iTgR5QZMqyLjvT7w1cT/zu/D0arC19YRynIiM1gXaR5D5dXI7RH3BoJRZfKVxKfC cOa7EXFRtIQn3gohGKYOVjkXx+bjLHkhF0ri0/jpaCxnzaZl4R05nm9KeLAqick+y5P6jwJSWC9VF pspogI8moJS8piso/kqUfZD0Y2d9AKBx9QxQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tGaXx-00000000SaI-0ifM; Thu, 28 Nov 2024 10:10:49 +0100 Received: from 87-77-189-42.mna.fu-berlin.de ([87.77.189.42]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tGaXw-00000002g0n-4A2g; Thu, 28 Nov 2024 10:10:49 +0100 Message-ID: Date: Thu, 28 Nov 2024 10:10:49 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Wolfgang Mulzer To: agti-Mittagsseminar@lists.fu-berlin.de Content-Language: en-US Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-512; boundary="------------ms000500060806010204030308" X-Original-Sender: mulzer@inf.fu-berlin.de X-Originating-IP: 87.77.189.42 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1732785049-215E83AC-BD1B81E7/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Donnerstag, 28.11. 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, 28 Nov 2024 09:10:49 -0000 This is a cryptographically signed message in MIME format. --------------ms000500060806010204030308 Content-Type: multipart/mixed; boundary="------------KPfasfCFRPJQQk95vLGmUmRk" --------------KPfasfCFRPJQQk95vLGmUmRk Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 SW0gUmFobWVuIGRlcyBNaXR0YWdzc2VtaW5hcnMgZGVyIFRoZW9yZXRpc2NoZW4gSW5mb3Jt YXRpayBkZXIgRlUgQmVybGluDQpzcHJpY2h0IGFtDQoNCiAgwqDCoMKgRG9ubmVyc3RhZywg MjguIE5vdmVtYmVyIDIwMjQsIDEyOjAwIFVociwgU1IgMDU1LCBUYWt1c3RyYcOfZSA5DQog IMKgIMKgIMKgIMKgIMKgIMKgIMKgQ2VsaW5lLU1hcmllIEt1bnplDQogIMKgwqAgenVtIFRo ZW1hOg0KQmF1bXN0cnVrdHVyZW4gaW4gZGVyIGvDvG5zdGxpY2hlbiBJbnRlbGxpZ2VueiAt IEVpbmUgDQpob2Noc2NodWxkaWRha3Rpc2NoZSBBdWZhcmJlaXR1bmcgenVyIEludGVncmF0 aW9uIHZvbiBTcGxheS0gdW5kIA0KU3BpZWxiw6R1bWVuIGluIGRhcyBNb2R1bCBBbGdvcml0 aG1lbiB1bmQgRGF0ZW5zdHJ1a3R1cmVuDQoNCiAgICAgIGdlZm9sZ3QgdW0gMTI6MzAgdm9u DQogICAgICAgICAgICAgICBUaG9tYXMgU3RyYW1hDQogICAgICB6dW0gVGhlbWE6DQpWZXJn bGVpY2ggdmVyc2NoaWVkZW5lciBQcm9ncmFtbWllcnNwcmFjaGVuIGhpbnNpY2h0bGljaCBk ZXIgRWlnbnVuZyB6dXIgDQpJbXBsZW1lbnRpZXJ1bmcgdm9uIGZvcnRnZXNjaHJpdHRlbmVu IERhdGVuc3RydWt0dXJlbg0K --------------KPfasfCFRPJQQk95vLGmUmRk Content-Type: text/plain; charset=UTF-8; name="Attached Message Part" Content-Disposition: attachment; filename="Attached Message Part" Content-Transfer-Encoding: base64 SW0gUmFobWVuIGRlcyBNaXR0YWdzc2VtaW5hcnMgZGVyIFRoZW9yZXRpc2NoZW4gSW5mb3Jt YXRpayBkZXIgRlUgQmVybGluc3ByaWNodCBhbcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg IERvbm5lcnN0YWcsIDI2LiBTZXB0ZW1iZXIgMjAyNCwgMTI6MDAgVWhyLCBTUiAwNTUsIFRh a3VzdHJhw59lIDnCoCDCoCDCoCDCoCDCoCDCoCDCoFdvbGZnYW5nIE11bHplcsKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgIHp1bSBUaGVtYTpOby1kaW1lbnNpb25hbCBUdmVyYmVyZyBw YXJ0aXRpb25z --------------KPfasfCFRPJQQk95vLGmUmRk Content-Type: text/html; charset=UTF-8; name="Attached Message Part" Content-Disposition: attachment; filename="Attached Message Part" --------------KPfasfCFRPJQQk95vLGmUmRk Content-Type: text/plain; charset=UTF-8; name="Attached Message Part" Content-Disposition: attachment; filename="Attached Message Part" --------------KPfasfCFRPJQQk95vLGmUmRk-- --------------ms000500060806010204030308 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgMFADCABgkqhkiG9w0BBwEAAKCC EkkwggUSMIID+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 NCIaE40GMIIHfzCCBmegAwIBAgIMJmEKlyCaK3PrA5n9MA0GCSqGSIb3DQEBCwUAMIGNMQsw CQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRz Y2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQD DBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBMB4XDTIyMDMyODEwMjUxNFoXDTI1MDMy NzEwMjUxNFowgcExCzAJBgNVBAYTAkRFMQ8wDQYDVQQIDAZCZXJsaW4xDzANBgNVBAcMBkJl cmxpbjEiMCAGA1UECgwZRnJlaWUgVW5pdmVyc2l0YWV0IEJlcmxpbjEuMCwGA1UECwwlRmFj aGJlcmVpY2ggTWF0aGVtYXRpayB1bmQgSW5mb3JtYXRpazEPMA0GA1UEBAwGTXVsemVyMREw DwYDVQQqDAhXb2xmZ2FuZzEYMBYGA1UEAwwPV29sZmdhbmcgTXVsemVyMIICIjANBgkqhkiG 9w0BAQEFAAOCAg8AMIICCgKCAgEAtXaGnzf885XCX/RKOw7kj3OxR7xZpoQrve7J3T+5XE1x ht/bTeieYbZ4FbaruQ25O4HuxvpTOKvy1CA8Eaw3bVTJnEhQHFTcRsJfewGlu49Ssh2moYk4 J+lIKovFBNuctNSosF5wJZyrZhWs1i3ypkawidER5kkhoZM9Ga7Czp6OSMiF4gxKwTo4gMof 5yTLmD92HvMo5YS8clcLkET6InOs8SHMA2VbwndUyw7sUmooMHRvg9hwKgM3bFSq9rWNFP7D 3lwvaeWbLugcLgqnQLByrLjJ9m9KkskK5nO2JQRcRMTlxWLpvY1hyZrcTxqlSftMEYK5XAIh 5zHluWPV6u2g7nWOSwlSpBSxQIjr1c89Di1TTCkxgdeggSWM84XEcXkPuHVLet2mkZYbJTxO tQS3gEQDQTmPU2JXAZcZbdPopwYJjx75w9UedMZe9u9XglIAfHSJWrH5QIbWCOZno878N742 UqkkO834j0zxyVNd7sim+E0jJwvoIBd7G0PaNcPcLunPEDx3iVKymcudHm61Rd8faHqYI/d6 pfGhlWGGzCyi2NrJanDdKkVOuTZjrma0Lf4zmfG/AwiiufW3A9OJDOBKPU/+o/K+zHW/NkDS 88ph8uoxLuvnuRnyBCr2anz7WgI61raw3/f9MEJq+DGjjHP/AOv1UkxlH8tnEJMCAwEAAaOC AqcwggKjMD4GA1UdIAQ3MDUwDwYNKwYBBAGBrSGCLAEBBDAQBg4rBgEEAYGtIYIsAQEECjAQ Bg4rBgEEAYGtIYIsAgEECjAJBgNVHRMEAjAAMA4GA1UdDwEB/wQEAwIF4DAdBgNVHSUEFjAU BggrBgEFBQcDAgYIKwYBBQUHAwQwHQYDVR0OBBYEFAwILbCAb/1weY8OjdX4SNrZeioMMB8G A1UdIwQYMBaAFGs6mIv58lOJ2uCtsjIeCR/oqjt0MHkGA1UdEQRyMHCBF211bHplckBpbmYu ZnUtYmVybGluLmRlgRltdWx6ZXJAemVkYXQuZnUtYmVybGluLmRlgRx3b2xmZ2FuZy5tdWx6 ZXJAZnUtYmVybGluLmRlgRxXb2xmZ2FuZy5NdWx6ZXJAZnUtYmVybGluLmRlMIGNBgNVHR8E gYUwgYIwP6A9oDuGOWh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUvZGZuLWNhLWdsb2JhbC1nMi9w dWIvY3JsL2NhY3JsLmNybDA/oD2gO4Y5aHR0cDovL2NkcDIucGNhLmRmbi5kZS9kZm4tY2Et Z2xvYmFsLWcyL3B1Yi9jcmwvY2FjcmwuY3JsMIHbBggrBgEFBQcBAQSBzjCByzAzBggrBgEF BQcwAYYnaHR0cDovL29jc3AucGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEkGCCsGAQUF BzAChj1odHRwOi8vY2RwMS5wY2EuZGZuLmRlL2Rmbi1jYS1nbG9iYWwtZzIvcHViL2NhY2Vy dC9jYWNlcnQuY3J0MEkGCCsGAQUFBzAChj1odHRwOi8vY2RwMi5wY2EuZGZuLmRlL2Rmbi1j YS1nbG9iYWwtZzIvcHViL2NhY2VydC9jYWNlcnQuY3J0MA0GCSqGSIb3DQEBCwUAA4IBAQAR CeqStoNPhEkdrR1k/rC9JWNnLt1unS9KM+G45xmaG6kMgXmAq3ySq2+1VczcAcRLDpoAhxLM eNtYLRDzs8MvKhaOzUQDy/vI6nDSvzbB3EzNCYQ9R6bZ71US1m/av4oEScCNJlJo2JocFldX PM+9oYSX1TQ3Amu+C6omeFZ9MNiig9dN05y8Ewn17Hy4XRzAWpojkdMoKu2KlfSp3JcwCcHa YmwZPkt1xDlDtSdLaG+BHiAHQrCYnL4gIdYgUoOSmFDjvUzUom/BAFRtBirQOKilQc7jZFAO CWoj7GuEyRTM1wWUmDUeXwYc7uMtlSiRrSTDJm1p6bQww9mLdiHQMYIGGDCCBhQCAQEwgZ4w gY0xCzAJBgNVBAYTAkRFMUUwQwYDVQQKDDxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMg RGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMgZS4gVi4xEDAOBgNVBAsMB0RGTi1QS0kxJTAj BgNVBAMMHERGTi1WZXJlaW4gR2xvYmFsIElzc3VpbmcgQ0ECDCZhCpcgmitz6wOZ/TANBglg hkgBZQMEAgMFAKCCA0owGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUx DxcNMjQxMTI4MDkxMDQ5WjBPBgkqhkiG9w0BCQQxQgRAoH86GxV3J/E8iKvA4Hsz972ypd3v PHzV+NjQbnc/wFviQ1+yvymsEqK9xD5LmXLtTfOLpDfaLzEjQTaJlm80yDCBrwYJKwYBBAGC NxAEMYGhMIGeMIGNMQswCQYDVQQGEwJERTFFMEMGA1UECgw8VmVyZWluIHp1ciBGb2VyZGVy dW5nIGVpbmVzIERldXRzY2hlbiBGb3JzY2h1bmdzbmV0emVzIGUuIFYuMRAwDgYDVQQLDAdE Rk4tUEtJMSUwIwYDVQQDDBxERk4tVmVyZWluIEdsb2JhbCBJc3N1aW5nIENBAgwmYQqXIJor c+sDmf0wgbEGCyqGSIb3DQEJEAILMYGhoIGeMIGNMQswCQYDVQQGEwJERTFFMEMGA1UECgw8 VmVyZWluIHp1ciBGb2VyZGVydW5nIGVpbmVzIERldXRzY2hlbiBGb3JzY2h1bmdzbmV0emVz IGUuIFYuMRAwDgYDVQQLDAdERk4tUEtJMSUwIwYDVQQDDBxERk4tVmVyZWluIEdsb2JhbCBJ c3N1aW5nIENBAgwmYQqXIJorc+sDmf0wggFXBgkqhkiG9w0BCQ8xggFIMIIBRDALBglghkgB ZQMEASowCwYJYIZIAWUDBAECMAoGCCqGSIb3DQMHMA0GCCqGSIb3DQMCAgEFMA0GCCqGSIb3 DQMCAgEFMAcGBSsOAwIHMA0GCCqGSIb3DQMCAgEFMAcGBSsOAwIaMAsGCWCGSAFlAwQCATAL BglghkgBZQMEAgIwCwYJYIZIAWUDBAIDMAsGCWCGSAFlAwQCBDALBglghkgBZQMEAgcwCwYJ YIZIAWUDBAIIMAsGCWCGSAFlAwQCCTALBglghkgBZQMEAgowCwYJKoZIhvcNAQEBMAsGCSuB BRCGSD8AAjAIBgYrgQQBCwAwCAYGK4EEAQsBMAgGBiuBBAELAjAIBgYrgQQBCwMwCwYJK4EF EIZIPwADMAgGBiuBBAEOADAIBgYrgQQBDgEwCAYGK4EEAQ4CMAgGBiuBBAEOAzANBgkqhkiG 9w0BAQEFAASCAgAEQ5xDl/MxTwTF0xPIoqH4zAYdSY9VGTaU2w85GXFnn9hx0NzzVWNKt9mV oAk3Lmj0vVYvw8pnm4CnYj1R4ECSksAYBaP+c/926tOxxHL3hHbRmoHhL9neuWV3kSQaFi/j V+E975SvPLunSL5qOFTo19770XhUXTsn/QxLFrf/oc0JlGUIB/OfkvsNpzmmmmsaXynOYFGQ ADWYJsWnBV2k5BSJwzY/bnQcoWy8acNXDBfR9d1OedssrT/IpQoILEinvqRPbq7FOcGAv6ch O6EQRImnyhXfuJP41IMhFGqd4ZI5x1lvlPWssOgtmmFjFdTBdo14vvJv27vZwV1w5b4zHW17 rDnV4l+agD9Zd3DZbMchIMwSqx0ivvgsYe1ZlSpAMNUTYZPcucNlVvmK9FR3iWregS9MIaxr 7IWqdo/rhy9745mIB/NagA4HP1kgZ6J4E8Sp0kR6nhYxlh++9iAHMSI4rY96g2jJpUjucHNJ QoswpTqS1pRmqmJ3cGcY1gsjaFU5Tanpph1jcB/GW53zV13UwReCPi3krNe4bbVskbnG2Tg9 eUUf+3Wtw+Tar0YfSHYy7uEDYXLjslK66eBnIm3rLRzWRdKsyQkIxljQGm2lBx9IpQ65r7nI qfZLJ16gOuOlgykUgULoHB/miPnZJ7bl8T/0lQklGQzXbEkDZgAAAAAAAA== --------------ms000500060806010204030308-- From knorrkri@zedat.fu-berlin.de Tue Dec 03 10:08:14 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tIOtC-0000000189d-18Ds; Tue, 03 Dec 2024 10:08:14 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type:To:Subject: From:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=s4B8Ggy0r96rh6JUmttZpHTkWhvJHaqwod8jtWhwVyk=; t=1733216894; x=1733821694; b=GP7jYMDmASS89OeMKIp9hg5CcS/k3U8CZ7RsBlj11umwb6pR3zvMK77hSuHdLhX4c8rnBrrZka/ mSJ7g2wA4unsH6m0sc0XYPCLN9XdLTNfUBdr7sX44pqR06ci62kgq8nfU8abRglyebbrDyfnE9oT8 UwoRaHiknoC6Dz4jE3pifayIR7Tyew6F6FUVMZgh0I6vGQr7FsMPXZbu1bp58EMqI2G+TkLnJnC3D m6KRpTLsw4GPsoM6vQUVwH0j4U8HySuaSSoWKsjnhS16nUxLM1IeIHR/o16PxU3k9A1+DBZH+l5Ff +w7QZ++Qfd/XSzZ8XdUSTETzPv6lIvzNBC0A==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tIOtC-00000000Heq-0qzx; Tue, 03 Dec 2024 10:08:14 +0100 Received: from primavera.imp.fu-berlin.de ([160.45.46.224]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tIOtC-000000030Kl-076J; Tue, 03 Dec 2024 10:08:14 +0100 Message-ID: <4f756c44-0cae-4fe6-8e28-41a012db0623@zedat.fu-berlin.de> Date: Tue, 3 Dec 2024 10:08:13 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Kristin Knorr To: agti-Mittagsseminar@lists.fu-berlin.de Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Originating-IP: 160.45.46.224 X-ZEDAT-Hint: PO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1733216894-C06A81C5-15E3022A/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000023, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Niue.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Dienstag, 03.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: Tue, 03 Dec 2024 09:08:14 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am    Dienstag, 03. Dezember 2024, 12:00 Uhr, SR 055, Takustraße 9    Kristin Knorr    zum Thema: A Robust Algorithm for Finding Triangles in Disk Graphs From kathklost@zedat.fu-berlin.de Wed Dec 04 15:48:29 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tIqg1-000000045xe-1ybp; Wed, 04 Dec 2024 15:48:29 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type:Subject: From:To:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=ANwUVWrCD5+j27x1WU9gGm46snxzQNOoB0oTShpjOQA=; t=1733323709; x=1733928509; b=jKIuvGOslXxiIqVl2GB1tFwhvIAVy8dcWVQYJFzWEpg2E80EKs68bpQJDni2eBHMrySF8SGBIox xrm48GtsPkSqY5F/8QMp6oaiIjpHkEsaCVWBvndTnpVXClDX2YQCaEZ3CwWk/aPNCONHWHmalCuzo u/Cyp37fm4rA1ypmuL6qqX6HdyymIXbYELAatMmfvCmNGn3oUlK6RSy1ZwuXEk2xslGDJIPwT8H1s 3dacf0H10aRaqtbTLpbbCJWavV4rvB7Fxe3ZJTkRT+nTetiZED/ng8OKING7z6P3n+jm8w26mJHqx FPuXw4DJfwCm6lOac9/D33a+cmdU4cgmVbag==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tIqg1-00000002ORu-1h4f; Wed, 04 Dec 2024 15:48:29 +0100 Received: from vegetale.imp.fu-berlin.de ([160.45.46.223]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tIqg1-00000003XBD-0zBy; Wed, 04 Dec 2024 15:48:29 +0100 Message-ID: <3e9f6b65-361e-4f72-9585-e4cae966a5fe@fu-berlin.de> Date: Wed, 4 Dec 2024 15:48:29 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US, de-DE To: agti-Mittagsseminar@lists.fu-berlin.de From: Katharina Klost Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Original-Sender: katharina.klost@fu-berlin.de X-Originating-IP: 160.45.46.223 X-ZEDAT-Hint: PO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1733323709-C8FB4361-A0A0556A/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.2 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Donnerstag, 05.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: Wed, 04 Dec 2024 14:48:29 -0000 Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am    Donnerstag, 05. Dezember 2024, 12:00 Uhr, SR 055, Takustraße 9    Katharina Klost    zum Thema: Hamiltonian paths with partial order restrictions in grid graphs of constant height -- Katharina Klost (she/her) Office: Room 113 AG Theoretische Informatik Takustr. 9 Institut für Informatik 14195 Berlin, Germany Freie Universität Berlin Phone: +49 30 838 63508 From mulzer@zedat.fu-berlin.de Tue Dec 10 09:11:25 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tKvL2-00000001crd-3Qaj; Tue, 10 Dec 2024 09:11:24 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Message-Id:Content-Type:MIME-Version:To:From: Subject:Date:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=VuYotsj9ZkOvsIJJ0yBtDOBhLYBXkdJ3flBtO27Ba78=; t=1733818284; x=1734423084; b=X6KTdNdPKUppoYKmGbTlEHVDVq29yvbrwz/Zzey6NQT5CY+H8X4JpuW/PD/Mn9iT5udhJnEyFok Ssc1AWVx7bR6Zq7jo6vsRk/UiMEKOcfHy+12MdbuZTNp8x9qpcwEeK3vWyuhFrnJnrWSHey78cCGm baKnu+R6JsCwRsfq6A2qcW2sDhreI39qKW72bhCbjv+nJqLOb4aaWVEpAAWnfsFMgjsf5u/Bk50SK 0yS/PIjZTVMH9sDP4VuT6q97ex4tULUhdOC8X5qKtV7f9jlpzugwjxY0hO1KK4POl7td9KkhEKCTy 8BO/4qZIukA10DmLnDk81wo5YqNYvOwyvwrA==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tKvL2-00000003Xop-38qg; Tue, 10 Dec 2024 09:11:24 +0100 Received: from tmo-084-183.customers.d1-online.com ([80.187.84.183] helo=[IPv6:2a01:599:116:6d7a:879:c3a8:7734:cc9f]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tKvL2-00000000Z18-1SKE; Tue, 10 Dec 2024 09:11:24 +0100 SavedFromEmail: mulzer@inf.fu-berlin.de Date: Tue, 10 Dec 2024 09:11:23 +0100 Importance: normal From: Wolfgang Mulzer To: agti-Mittagsseminar@lists.fu-berlin.de MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="--_com.samsung.android.email_109200617025510" Message-Id: X-Original-Sender: mulzer@inf.fu-berlin.de X-Originating-IP: 80.187.84.183 X-ZEDAT-Hint: PAHO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1733818284-DF14FF2D-3BAFAE4F/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.461215, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HTML_MESSAGE,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tuvalu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar am Dienstag, 10.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: Tue, 10 Dec 2024 08:11:25 -0000 ----_com.samsung.android.email_109200617025510 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 SW0gUmFobWVuIGRlcyBNaXR0YWdzc2VtaW5hcnMgZGVyIFRoZW9yZXRpc2NoZW4gSW5mb3JtYXRp ayBkZXIgRlUgQmVybGluc3ByaWNodCBhbcKgIMKgwqDCoERpZW5zdGFnLCAxMC4gRGV6ZW1iZXIg MjAyNCwgMTI6MDAgVWhyLCBTUiAwNTUsIFRha3VzdHJhw59lIDnCoCDCoCDCoCDCoCDCoCDCoCDC oCDCoFdvbGZnYW5nIE11bHplcsKgwqAgwqDCoCB6dW0gVGhlbWE6IFBpbnNrZXIncyBpbmVxdWFs aXR5wqAK ----_com.samsung.android.email_109200617025510 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PG1ldGEgaHR0cC1lcXVpdj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0 L2h0bWw7IGNoYXJzZXQ9VVRGLTgiPjwvaGVhZD48Ym9keSBkaXI9ImF1dG8iPkltIFJhaG1lbiBk ZXMgTWl0dGFnc3NlbWluYXJzIGRlciBUaGVvcmV0aXNjaGVuIEluZm9ybWF0aWsgZGVyIEZVIEJl cmxpbjxiciBkaXI9ImF1dG8iPnNwcmljaHQgYW08YnIgZGlyPSJhdXRvIj48YnIgZGlyPSJhdXRv Ij4mbmJzcDsgJm5ic3A7Jm5ic3A7Jm5ic3A7RGllbnN0YWcsIDEwLiBEZXplbWJlciAyMDI0LCAx MjowMCBVaHIsIFNSIDA1NSwgVGFrdXN0cmHDn2UgOTxiciBkaXI9ImF1dG8iPiZuYnNwOyAmbmJz cDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDtXb2xmZ2FuZyBNdWx6 ZXImbmJzcDs8YnIgZGlyPSJhdXRvIj4mbmJzcDsgJm5ic3A7Jm5ic3A7IHp1bSBUaGVtYTogUGlu c2tlcidzIGluZXF1YWxpdHkmbmJzcDs8YnIgZGlyPSJhdXRvIj48ZGl2Pjxicj48L2Rpdj48L2Jv ZHk+PC9odG1sPg== ----_com.samsung.android.email_109200617025510-- From tanjunqi@zedat.fu-berlin.de Wed Dec 11 10:45:00 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tLJH9-00000004Bih-3gBp; Wed, 11 Dec 2024 10:44:59 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type: MIME-Version:To:From:Subject:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=0dtjhBruVBgR9T5dS9HXgvecHIXaYoR9zjZJGXOoqt4=; t=1733910299; x=1734515099; b=IyrNCZEdYF3N1nhzyZKYKLR9K1O2PRCB3zIEXWERs5qzkW56Rhu/i6c3J1kTj00HCGK5Fp8NblI Uh++XtQUYOcP1HulekwNl0yYt8a4xdHb8vSBahCrw1sbbPPwtAJsF4Mklfti/+/Z0g6et11YMCubA 38RO8j4DNwno5PxOEAysll9kPyRhhXVobqGkCul41yTh3hF9sFbiwOagbYkOnzXtTDji8QuzZsf2M 1VHn7iblIWizblpv6duqNz1hJLCe3EINq4xWJdzSdZW/rS5X/+XQicYoWf1Qeolj+PEvjvXmjgL+M IjU+EikTzBpPqJoitL+dSrwaJyGLmnPKXEbQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tLJH9-000000038iT-3OVK; Wed, 11 Dec 2024 10:44:59 +0100 Received: from webmail.zedat.fu-berlin.de ([130.133.4.91]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tLJH9-00000000Hcl-2hxB; Wed, 11 Dec 2024 10:44:59 +0100 Received: from 87.77.141.218 (ZEDAT-Webmail authenticated user tanjunqi) by webmail.zedat.fu-berlin.de with HTTP; Wed, 11 Dec 2024 10:44:59 +0100 Message-ID: <60282.87.77.141.218.1733910299.webmail@webmail.zedat.fu-berlin.de> Date: Wed, 11 Dec 2024 10:44:59 +0100 From: "Junqi Tan" 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: WTO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1733910299-3BB50030-27909B0C/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.432076, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Vanuatu.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] [ti] Noon Seminar Thursday, 12.12.2024 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, 11 Dec 2024 09:45:00 -0000 In the noon seminar tomorrow (12.12.2024, 12:00, SR 055?, Takustraße 9), I'll talk about: Exact algorithms for restricted subset feedback vertex set in chordal and split graphs Best, Junqi Tan From mulzer@zedat.fu-berlin.de Thu Dec 12 10:21:19 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tLfNn-00000002WTx-0QEq; Thu, 12 Dec 2024 10:21:19 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Type:In-Reply-To:From:To:References: Subject:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=TTLXj3OorP6Vhq32vj5KapFhTjL+wrGIXTnv6FUDqH4=; t=1733995279; x=1734600079; b=jFbUFdYRW/aolWUI4ODYaCrcMPDDifDPaUEQObFIcqRW0HK4d1bQ6t6jSfFdhS3fXjN8Hp75SZy Y1J/z5QZ3um0Jy4W3KvEVVkt9L4T8gl0qa27hoVofvXT1GmUcR8TJ0sfl+g0JqSaJSAQBKPvOtdSE 1fqHWDebK1JLmZYMXwKnKG4oTfTMUYn9hfg+x4MN9YGP+C0N+Nb68ky9mrWGPn5CtnMLGRfGWD/VT xC4EV/kQtU7n2t9Uevc5tx7oS1a/XEnXK+HoqCiAlNEvY2vGS7TwvXFOYjBzZNjmRzgbFk7gITvlo ePMQ26VfONObWyka/3UEgns0ow6T536YKQSQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tLfNn-00000001b11-08Ju; Thu, 12 Dec 2024 10:21:19 +0100 Received: from 87-77-189-42.mna.fu-berlin.de ([87.77.189.42]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tLfNm-000000001QT-3Wt3; Thu, 12 Dec 2024 10:21:18 +0100 Message-ID: Date: Thu, 12 Dec 2024 10:21:14 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird References: <59910.78.54.24.24.1733923713.webmail@webmail.zedat.fu-berlin.de> Content-Language: en-US To: agti-Mittagsseminar@lists.fu-berlin.de From: Wolfgang Mulzer In-Reply-To: <59910.78.54.24.24.1733923713.webmail@webmail.zedat.fu-berlin.de> X-Forwarded-Message-Id: <59910.78.54.24.24.1733923713.webmail@webmail.zedat.fu-berlin.de> Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-512; boundary="------------ms020406060902010001020500" X-Original-Sender: mulzer@inf.fu-berlin.de X-Originating-IP: 87.77.189.42 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1733995279-3614E0A5-07D36AD6/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Niue.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: Thu, 12 Dec 2024 09:21:19 -0000 This is a cryptographically signed message in MIME format. --------------ms020406060902010001020500 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 VGhpcyB3aWxsIGJlIHRoZSBNaXR0YWdzc2VtaW5hciBmb3IgbmV4dCBUdWVzZGF5LCAxNy4x Mi4uDQpUaGUgdGFsayB3aWxsIGJlIGdpdmVuIHZpYSBXZWJFeCwgc2luY2UgdGhlIHNwZWFr ZXIgaXMgaW4gR2VvcmdpYS4NCg0KQ2hlZXJzDQoNCldvbGZnYW5nDQoNCg0KLS0tLS0tLS0g Rm9yd2FyZGVkIE1lc3NhZ2UgLS0tLS0tLS0NClN1YmplY3Q6IFtpLXByb2ZdIEVpbmxhZHVu ZyB6dXIgVmVydGVpZGlndW5nIG1laW5lciBCYWNoZWxvcmFyYmVpdA0KRGF0ZTogV2VkLCAx MSBEZWMgMjAyNCAxNDoyODozMyArMDEwMA0KRnJvbTogR2lvcmdpIEd2YXR1YSA8Z2lvZzAw QHplZGF0LmZ1LWJlcmxpbi5kZT4NClRvOiBpLXByb2ZzQGluZi5mdS1iZXJsaW4uZGUNCkND OiBpLXdpbWlzQGluZi5mdS1iZXJsaW4uZGUsIGktc3R1ZGlAaW5mLmZ1LWJlcmxpbi5kZSwg DQptYXJpYS5rb2VrZW5ob2ZmQGZ1LWJlcmxpbi5kZQ0KDQpTZWhyIGdlZWhydGUgRGFtZW4g dW5kIEhlcnJlbiwNCg0KaGllcm1pdCBsYWRlIGljaCBTaWUgaGVyemxpY2ggenVyIFZlcnRl aWRpZ3VuZyBtZWluZXIgQmFjaGVsb3JhcmJlaXQgbWl0DQpkZW0gVGl0ZWwgIkV4cGxvcmF0 aW9uIG9mIE1pbmltdW0gQ29zdCBGbG93IEFsZ29yaXRobXMiIGVpbi4NCg0KDQpEaWUgVmVy dGVpZGlndW5nIGZpbmRldCBvbmxpbmUgw7xiZXIgV2ViZXggc3RhdHQuDQoNCkRhdHVtIHVu ZCBVaHJ6ZWl0OiAxNy4xMi4yMDI0LCAxMjowMCBVaHINCg0KQmV0cmV1ZXI6IFByb2YuIERy LiBXb2xmZ2FuZyBNdWx6ZXINClp3ZWl0Z3V0YWNodGVyOiBQcm9mLiBEci4gTWF4IFdpbGxl cnQNCg0KDQpXZWJleC1MaW5rOg0KaHR0cHM6Ly9mdS1iZXJsaW4ud2ViZXguY29tL2Z1LWJl cmxpbi1lbi9qLnBocD9NVElEPW1iZWIyN2FkNzA1NjZhYWU5ODViNmRjM2Y5MjljNzMzOQ0K DQpNZWV0aW5nIG51bWJlciAoYWNjZXNzIGNvZGUpOiAyNzkzIDgyNSAwMTkyDQpNZWV0aW5n IHBhc3N3b3JkOiBoWEp4M2VNQkYzOCAoNDk1OTMzNjIgd2hlbiBkaWFsaW5nIGZyb20gYSBw aG9uZSBvciB2aWRlbw0Kc3lzdGVtKQ0KDQoNCg0KTWl0IGZyZXVuZGxpY2hlbiBHcsO8w59l biwNCkdpb3JnaSBHdmF0dWENCg0KDQpBYnN0cmFjdDoNCg0KVGhlIE1pbmltdW0gQ29zdCBG bG93IHByb2JsZW0gaXMgb25lIG9mIHRoZSBjb3JuZXJzdG9uZXMgaW4gb3B0aW1pemF0aW9u IGFuZA0KZ3JhcGggdGhlb3J5LCBoYXZpbmcgYSB3aWRlIHZhcmlldHkgb2YgYXBwbGljYXRp b25zIGluIHRlbGVjb21tdW5pY2F0aW9ucywNCmxvZ2lzdGljcywgc3VwcGx5IGNoYWluIG1h bmFnZW1lbnQsIGFuZCBiaXBhcnRpdGUgbWF0Y2hpbmcuIFRoaXMgd29yaw0KY29uY2VudHJh dGVzIG9uIHVuaXQtY2FwYWNpdHkgbmV0d29ya3MsIHJldmlzaXRpbmcgYmFzaWMgTUNGIGFs Z29yaXRobXMNCnRoYXQgZGVtb25zdHJhdGUgYm90aCB0aGVpciBzcGVjaWFsIGNoYWxsZW5n ZXMgYW5kIHRoZWlyIG9wcG9ydHVuaXRpZXMgZm9yDQpvcHRpbWl6YXRpb24uIFRoZSB0d28g YWxnb3JpdGhtaWMgZnJhbWV3b3JrcyBjb25zaWRlcmVkIGluIHNvbWUgZGV0YWlsDQppbmNs dWRlIHRoZSBQc2V1ZG9mbG93IEZyYW1ld29yaywgd2hpY2ggZGVwbG95cyBjb3N0LXNjYWxp bmcgbWV0aG9kcyB0bw0KYWNoaWV2ZSBjb21wdXRhdGlvbmFsIGVmZmljaWVuY3ksIGFuZCB0 aGUgQ3ljbGUgQ2FuY2VsaW5nIEZyYW1ld29yaywgd2hpY2gNCmdlbmVyYXRlcyBhIHNlcXVl bmNlIG9mIGZlYXNpYmxlIHNvbHV0aW9ucyB3aGVyZSBlYWNoIHN1Y2Nlc3NpdmUgc29sdXRp b24NCmlzIGltcHJvdmVkIHRocm91Z2ggdGhlIGVsaW1pbmF0aW9uIG9mIG5lZ2F0aXZlLWNv c3QgY3ljbGVzLiBDb21wYXJhdGl2ZQ0KYW5hbHlzaXMgaGlnaGxpZ2h0cyB0aGUgdHJhZGUt b2ZmcyBpbiBjb21wdXRhdGlvbmFsIGNvbXBsZXhpdHkgYW5kDQpwcmFjdGljYWwgYXBwbGlj YWJpbGl0eSwgc3RhdGluZyB0aGUgc3RyZW5ndGhzIG9mIHRoZSBQc2V1ZG9mbG93IEZyYW1l d29yaw0KZm9yIGRlbnNlIG5ldHdvcmsgYXBwbGljYXRpb25zLCB3aGlsZSB0aGUgQ3ljbGUg Q2FuY2VsaW5nIEZyYW1ld29yayBoYXMNCnRoZSBiZXN0IGFkdmFudGFnZSBpbiBzcGFyc2Ug b3IgaW5jcmVtZW50YWwgb3B0aW1pemF0aW9ucy4gVGhlIHdvcmsgbm93DQpzeW50aGVzaXpl cyBlc3BlY2lhbGx5IHRob3NlIGFkdmFuY2VzIG9uIHRoZSB3b3JrIG9mIEdvbGRiZXJnIGV0 IGFsLiBhbmQNCmFsc28gYWR2aXNlcyB0aGUgcm91dGUgZm9yd2FyZCwgaW5jbHVkaW5nIGh5 YnJpZCBtZXRob2RvbG9naWVzIGFuZA0KaW50ZWdyYXRpb25zIHdpdGggZW1lcmdlbnQgY29t cHV0YXRpb25hbCBwYXJhZGlnbXMuIFRoaXMgdGhlc2lzDQpjb250cmlidXRlcyB0byBib3Ro IHRoZSB0aGVvcmV0aWNhbCB1bmRlcnN0YW5kaW5nIGFuZCBwcmFjdGljYWwNCmltcGxlbWVu dGF0aW9uIG9mIE1DRiBhbGdvcml0aG1zIGFuZCBnaXZlcyBpbnNpZ2h0IGludG8gaG93IHNj YWxhYmxlIGFuZA0KZWZmaWNpZW50IHNvbHV0aW9ucyBmb3IgcmVhbC13b3JsZCBuZXR3b3Jr IG9wdGltaXphdGlvbiBwcm9ibGVtcyBjYW4gYmUNCmFjaGlldmVkLg0KDQpfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KQXV0b21hdGlzY2hlciBN YWlsdmVydGVpbGVyIGFuIEdydXBwZSAnbWwtaS1wcm9mLW1pJy4NCkhpbndlaXNlIGRhenUg c2llaGUgSGlsZmVzZWl0ZToNCmh0dHBzOi8vd3d3Lm1pLmZ1LWJlcmxpbi5kZS93L1RlYy9B bmt1ZW5kaWd1bmdzVmVydGVpbGVyDQo= --------------ms020406060902010001020500 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgMFADCABgkqhkiG9w0BBwEAAKCC DjIwggbmMIIEzqADAgECAhAxAnDUNb6bJJr4VtDh4oVJMA0GCSqGSIb3DQEBDAUAMIGIMQsw CQYDVQQGEwJVUzETMBEGA1UECBMKTmV3IEplcnNleTEUMBIGA1UEBxMLSmVyc2V5IENpdHkx HjAcBgNVBAoTFVRoZSBVU0VSVFJVU1QgTmV0d29yazEuMCwGA1UEAxMlVVNFUlRydXN0IFJT QSBDZXJ0aWZpY2F0aW9uIEF1dGhvcml0eTAeFw0yMDAyMTgwMDAwMDBaFw0zMzA1MDEyMzU5 NTlaMEYxCzAJBgNVBAYTAk5MMRkwFwYDVQQKExBHRUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQD ExNHRUFOVCBQZXJzb25hbCBDQSA0MIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEA s0riIl4nW+kEWxQENTIgFK600jFAxs1QwB6hRMqvnkphfy2Q3mKbM2otpELKlgE8/3AQPYBo 7p7yeORuPMnAuA+oMGRb2wbeSaLcZbpwXgfCvnKxmq97/kQkOFX706F9O7/h0yehHhDjUdyM yT0zMs4AMBDRrAFn/b2vR3j0BSYgoQs16oSqadM3p+d0vvH/YrRMtOhkvGpLuzL8m+LTAQWv QJ92NwCyKiHspoP4mLPJvVpEpDMnpDbRUQdftSpZzVKTNORvPrGPRLnJ0EEVCHR82LL6oz91 5WkrgeCY9ImuulBn4uVsd9ZpubCgM/EXvVBlViKqusChSsZEn7juIsGIiDyaIhhLsd3amm8B S3bgK6AxdSMROND6hiHT182Lmf8C+gRHxQG9McvG35uUvRu8v7bPZiJRaT7ZC2f50P4lTlnb LvWpXv5yv7hheO8bMXltiyLweLB+VNvg+GnfL6TW3Aq1yF1yrZAZzR4MbpjTWdEdSLKvz8+0 wCwscQ81nbDOwDt9vyZ+0eJXbRkWZiqScnwAg5/B1NUD4TrYlrI4n6zFp2pyYUOiuzP+as/A Znz63GvjFK69WODR2W/TK4D7VikEMhg18vhuRf4hxnWZOy0vhfDR/g3aJbdsGac+diahjEwz yB+UKJOCyzvecG8bZ/u/U8PsEMZg07iIPi8CAwEAAaOCAYswggGHMB8GA1UdIwQYMBaAFFN5 v1qqK0rPVIDh2JvAnfKyA2bLMB0GA1UdDgQWBBRpAKHHIVj44MUbILAK3adRvxPZ5DAOBgNV HQ8BAf8EBAMCAYYwEgYDVR0TAQH/BAgwBgEB/wIBADAdBgNVHSUEFjAUBggrBgEFBQcDAgYI KwYBBQUHAwQwOAYDVR0gBDEwLzAtBgRVHSAAMCUwIwYIKwYBBQUHAgEWF2h0dHBzOi8vc2Vj dGlnby5jb20vQ1BTMFAGA1UdHwRJMEcwRaBDoEGGP2h0dHA6Ly9jcmwudXNlcnRydXN0LmNv bS9VU0VSVHJ1c3RSU0FDZXJ0aWZpY2F0aW9uQXV0aG9yaXR5LmNybDB2BggrBgEFBQcBAQRq MGgwPwYIKwYBBQUHMAKGM2h0dHA6Ly9jcnQudXNlcnRydXN0LmNvbS9VU0VSVHJ1c3RSU0FB ZGRUcnVzdENBLmNydDAlBggrBgEFBQcwAYYZaHR0cDovL29jc3AudXNlcnRydXN0LmNvbTAN BgkqhkiG9w0BAQwFAAOCAgEACgVOew2PHxM5AP1v7GLGw+3tF6rjAcx43D9Hl110Q+BABABg lkrPkES/VyMZsfuds8fcDGvGE3o5UfjSno4sij0xdKut8zMazv8/4VMKPCA3EUS0tDUoL01u gDdqwlyXuYizeXyH2ICAQfXMtS+raz7mf741CZvO50OxMUMxqljeRfVPDJQJNHOYi2pxuxgj KDYx4hdZ9G2o+oLlHhu5+anMDkE8g0tffjRKn8I1D1BmrDdWR/IdbBOj6870abYvqys1qYlP otv5N5dm+XxQ8vlrvY7+kfQaAYeO3rP1DM8BGdpEqyFVa+I0rpJPhaZkeWW7cImDQFerHW9b KzBrCC815a3WrEhNpxh72ZJZNs1HYJ+29NTB6uu4NJjaMxpk+g2puNSm4b9uVjBbPO9V6sFS G+IBqE9ckX/1XjzJtY8Grqoo4SiRb6zcHhp3mxj3oqWi8SKNohAOKnUc7RIP6ss1hqIFyv0x XZor4N9tnzD0Fo0JDIURjDPEgo5WTdti/MdGTmKFQNqxyZuT9uSI2Xvhz8p+4pCYkiZqpahZ lHqMFxdw9XRZQgrP+cgtOkWEaiNkRBbvtvLdp7MCL2OsQhQEdEbUvDM9slzZXdI7NjJokVBq 3O4pls3VD2z3L/bHVBe0rBERjyM2C/HSIh84rfmAqBgklzIOqXhd+4RzadUwggdEMIIFLKAD AgECAhEA7oSXDd0KDjAwJRM7wCVCJTANBgkqhkiG9w0BAQwFADBGMQswCQYDVQQGEwJOTDEZ MBcGA1UEChMQR0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0Eg NDAeFw0yNDExMjgwMDAwMDBaFw0yNjExMjgyMzU5NTlaMIG7MQswCQYDVQQGEwJERTEPMA0G A1UECBMGQmVybGluMSIwIAYDVQQKDBlGcmVpZSBVbml2ZXJzaXTDpHQgQmVybGluMREwDwYD VQRhEwhHT1ZERStCRTEmMCQGCSqGSIb3DQEJARYXbXVsemVyQGluZi5mdS1iZXJsaW4uZGUx DzANBgNVBAQTBk11bHplcjERMA8GA1UEKhMIV29sZmdhbmcxGDAWBgNVBAMTD1dvbGZnYW5n IE11bHplcjCCAiIwDQYJKoZIhvcNAQEBBQADggIPADCCAgoCggIBAJiDThz1imCiCk7tQEZY grLnO0hpS8gjXsJ1pSXejIN4RkuM49TDU7SnUgdXFby0kK4x6SWHiGA0umi0FqZAZm7w8SHi sZ1T79L5xWGJ5zLOLRTfd8c96s0MDQ8uJIDuIhUTaAbnI62GM5AvJvOoul1nDWR3s9tKOt9M jAKZvrwnbUhGfI1VcOHqOsTWMqebPd73bjiQf/0pNg4+fPOEIMspQtE6sCM934U3kRnWquZ8 LRDYcWLfjUpmC6/RhN4q7ictQfgjaeuHan25wGiUFsZwRkregy8vn6OunR17PxnbkA05ysbv Q6Ee8AZuProAgEaOCM179KGzeG1r6Zz0BKEtZBT+CGqvB5E0OvSWYiZg7lO5HIUHBzSuxqJ4 51hs57/PfYRqDegYT9s6oSYqCsI5NbgrJtHs86uNEV+E3vD/O+N4dJviGhSc0ZIjxl3TLd7Z /Omw2jHN7b9zf4Ej9ZWs5Yr6nWA2UbnDdIlnaMDo9pEt07bVdRvfq5OeO5HtJ2yGoEy0a2/X Tuiv/IxADaYWHXURvRr2n3T6Hj4z/gPdi3zTh/vlIkfZiC5FRCcfA43iWpOVeWG7intPqWX1 1QFBuML8gYVsp9nxKvPNhud+jiDMhfPfYEfm2n0G8VdTFyK5KKef88BPRfC76XVLRvQKxrLs /5sEhPM0sRyGwtLXAgMBAAGjggG1MIIBsTAfBgNVHSMEGDAWgBRpAKHHIVj44MUbILAK3adR vxPZ5DAdBgNVHQ4EFgQUyPIpOGpenGfj8nivvnyRHrw+Ds8wDgYDVR0PAQH/BAQDAgWgMAwG A1UdEwEB/wQCMAAwHQYDVR0lBBYwFAYIKwYBBQUHAwQGCCsGAQUFBwMCMFAGA1UdIARJMEcw OgYMKwYBBAGyMQECAQoEMCowKAYIKwYBBQUHAgEWHGh0dHBzOi8vc2VjdGlnby5jb20vU01J TUVDUFMwCQYHZ4EMAQUDAjBCBgNVHR8EOzA5MDegNaAzhjFodHRwOi8vR0VBTlQuY3JsLnNl Y3RpZ28uY29tL0dFQU5UUGVyc29uYWxDQTQuY3JsMHgGCCsGAQUFBwEBBGwwajA9BggrBgEF BQcwAoYxaHR0cDovL0dFQU5ULmNydC5zZWN0aWdvLmNvbS9HRUFOVFBlcnNvbmFsQ0E0LmNy dDApBggrBgEFBQcwAYYdaHR0cDovL0dFQU5ULm9jc3Auc2VjdGlnby5jb20wIgYDVR0RBBsw GYEXbXVsemVyQGluZi5mdS1iZXJsaW4uZGUwDQYJKoZIhvcNAQEMBQADggIBAAgblgWwIlyg 7t6TW874H0JBPhGHjDeHrUNwnFb/fZFDRk/wbQM963NWdhp4XgjBWeGBotkhaQC2lW69jBrV kJt1b9Sl1BGvJzbVt5lhUvNBkHggY3ah0QLyx57U8f/TKtPF27eH9ea31PVq6UJmlBGE2KEI gxBHabViVs4U6e6dJjr9HP6kXezYDKpZYFYCFTztFtI6HofOzc7XAdvRgpG8xiaKU1lrJUaH VgbSpJbE1nBdAOUnKJmk+6tvGHfJhzcJnW2vTEidyUS/lj6lcZCbIA6JSnaiXWVsVCaFVe0u cHpRnB4R5s+APc3beMVptEPkeZxyUi785aqo8EZoZC2x50J2fwj5szMXTxEsIXGGx1lxDZ5X Uj9znX47pfFkYnhX5KgY4iW6pnPAy/+wyKnxhbWO3L5STBuRcOdeTpLn/lXAy8+WcMG0wEcx VVvln7P/uwqhNEBCRYamqhiZlLoj1ubhJ61UUWYW84JDHIdnhX31U3s9KDTcAq9karIYjuwb DZIpsZNR7Q+iNQgSfGhdqFzdKGV8a9b2a3EoE5JW/yrHwseDrbHQ4oF65K1uUZjuO4wu/wB3 L2IZ67jPGXytFfGM1mPCDU5dv/mJlXGLm6K0ZP7Oj2wSCOCSDfHfpXWDx6SWhVS4AEd8UVo+ R/917VyWp3OTDRT8G3uGIfWdMYIFSDCCBUQCAQEwWzBGMQswCQYDVQQGEwJOTDEZMBcGA1UE ChMQR0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIRAO6E lw3dCg4wMCUTO8AlQiUwDQYJYIZIAWUDBAIDBQCgggK+MBgGCSqGSIb3DQEJAzELBgkqhkiG 9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTI0MTIxMjA5MjExNFowTwYJKoZIhvcNAQkEMUIEQKK6 nzlSe4TqtYvGZEJJMpJzZdHoZGZ3EsdCeVvLiYG55ugsZ6VsSKlR2B9LPgshT2izeSKZt6i3 0U8+SobmHYIwagYJKwYBBAGCNxAEMV0wWzBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VB TlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIRAO6Elw3dCg4w MCUTO8AlQiUwbAYLKoZIhvcNAQkQAgsxXaBbMEYxCzAJBgNVBAYTAk5MMRkwFwYDVQQKExBH RUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQDExNHRUFOVCBQZXJzb25hbCBDQSA0AhEA7oSXDd0K DjAwJRM7wCVCJTCCAVcGCSqGSIb3DQEJDzGCAUgwggFEMAsGCWCGSAFlAwQBKjALBglghkgB ZQMEAQIwCgYIKoZIhvcNAwcwDQYIKoZIhvcNAwICAQUwDQYIKoZIhvcNAwICAQUwBwYFKw4D AgcwDQYIKoZIhvcNAwICAQUwBwYFKw4DAhowCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQCAjAL BglghkgBZQMEAgMwCwYJYIZIAWUDBAIEMAsGCWCGSAFlAwQCBzALBglghkgBZQMEAggwCwYJ YIZIAWUDBAIJMAsGCWCGSAFlAwQCCjALBgkqhkiG9w0BAQEwCwYJK4EFEIZIPwACMAgGBiuB BAELADAIBgYrgQQBCwEwCAYGK4EEAQsCMAgGBiuBBAELAzALBgkrgQUQhkg/AAMwCAYGK4EE AQ4AMAgGBiuBBAEOATAIBgYrgQQBDgIwCAYGK4EEAQ4DMA0GCSqGSIb3DQEBAQUABIICAH3F ua/C3PUxKYDjVutscoLyzz8HUA8Mu8F0ISvyl01HWe63pWm9KvIy/fUrteD9O5b72HlEQzgN T+7QuqCStYqmnNb0qrvLo8FIFHZupZdAwWmW8P9RVmbaeCo8FW3bV4HvYGTYc92hpCidlZUg dGTbGPNJ0V9U4qdg7FiG5cev8de2F/USvmkUTv2fKJ1cyaodTWFSQnVjJbT8RTR2XC3BOGam STlH75Gnrc8a85xCk42j2nI33n9rXZVcGH2LlOKGBX4nSilaekZTpH+hWYODRYGLPCEq3dFV DgF5YejwDcuM81tvuHt60q/UBqmrfnGLLe71sWgbC2kH4MRX43pVTfC3TBn+ofSUx5zHhMfK d8QlJ28Qk7l+rboXwqeqyxs1cLlCd6fd+AcjFqy+DIV1lQpipD8AvpiiTRKbQCiWKNCn9B8x oN+ikA8WQS6QptIC5g5wm7MRyaQol6D7tchXRjWX2nii6400je0yIBLcA9YNpMZI2D1gzRBX pqeqjAMP7uc6pNfgZ53pura6KvxlSjoMdht6/qzkDTqMq9pu7XAdac3sDM7MmcFmBL4nxUoI 6ayhRqmPX9tYzQtzxF2tp98/DVjUKwTNsyv5AJ16G07z9QJ/6f7vVp7ro4OjVXHcS6sMFaJy ou2lbzO7gRTftH7yeYJiODhedFbHNxZIAAAAAAAA --------------ms020406060902010001020500-- From mulzer@zedat.fu-berlin.de Tue Dec 17 10:39:29 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tNU37-00000000nPO-1qd3; Tue, 17 Dec 2024 10:39:29 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Type:In-Reply-To:References:To:From: Subject:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=tyjiK9KXSg9ZLKRL3txkwrYtrMW7HL0wV+Le2/OJvY4=; t=1734428369; x=1735033169; b=atFJGiJLkXuw42TCAGFRKOd9I98Gb+gBgytvEwISwgilXq/rYB6FG+2twsuSou99NWYQdaeWkeH JV/VNL2ieK+QUz9+tFpJmUr2/PHIC2osgGtZQQDRgaiVTs/DEbFVnnOz4/Ql5hNZkvEi3J1P69lnW LOuV6y+9cDM9XZQlv4WonG6If42gaqJVhBi88Nv1rscwluwWJNjZaUUfAbDb4+HYLYDOzaKEF1jpg tRrg3ZPmbaXpzL6KgLI8Sl5bCaQ9tqJH+TZTYlKIgaM1HvG9aQaObPsIRPOQChdLhoMB8oOf9aoZo /6c2hw4O48SZgm1Ig1Y1Ij/dlLyiQFmgfMAQ==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tNU37-00000003MwY-1Ym8; Tue, 17 Dec 2024 10:39:29 +0100 Received: from 87-77-189-42.mna.fu-berlin.de ([87.77.189.42]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tNU37-000000018F3-0pAH; Tue, 17 Dec 2024 10:39:29 +0100 Message-ID: Date: Tue, 17 Dec 2024 10:39:17 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Wolfgang Mulzer To: agti-Mittagsseminar@lists.fu-berlin.de References: <59910.78.54.24.24.1733923713.webmail@webmail.zedat.fu-berlin.de> Content-Language: en-US In-Reply-To: Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-512; boundary="------------ms070803080306080706030507" X-Original-Sender: mulzer@inf.fu-berlin.de X-Originating-IP: 87.77.189.42 X-ZEDAT-Hint: PAO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1734428369-E8FC57C5-06AA3075/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.1 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Palau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: Re: [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, 17 Dec 2024 09:39:29 -0000 This is a cryptographically signed message in MIME format. --------------ms070803080306080706030507 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 UmVtaW5kZXI6IFRvZGF5J3MgTWl0dGFnc3NlbWluYXIgd2lsbCBiZSBvbmxpbmUsIGxpdmUg ZnJvbSBHZW9yZ2lhLiBJIGFtIA0Kbm90IHN1cmUgd2hldGhlciBpdCB3aWxsIGJlIGluIEdl cm1hbiBvciBpbiBFbmdsaXNoLi4uDQoNCkNoZWVycw0KDQpXb2xmZ2FuZw0KDQpPbiAxMi8x Mi8yMDI0IDEwOjIxLCBXb2xmZ2FuZyBNdWx6ZXIgd3JvdGU6DQo+IFRoaXMgd2lsbCBiZSB0 aGUgTWl0dGFnc3NlbWluYXIgZm9yIG5leHQgVHVlc2RheSwgMTcuMTIuLg0KPiBUaGUgdGFs ayB3aWxsIGJlIGdpdmVuIHZpYSBXZWJFeCwgc2luY2UgdGhlIHNwZWFrZXIgaXMgaW4gR2Vv cmdpYS4NCj4gDQo+IENoZWVycw0KPiANCj4gV29sZmdhbmcNCj4gDQo+IA0KPiAtLS0tLS0t LSBGb3J3YXJkZWQgTWVzc2FnZSAtLS0tLS0tLQ0KPiBTdWJqZWN0OiBbaS1wcm9mXSBFaW5s YWR1bmcgenVyIFZlcnRlaWRpZ3VuZyBtZWluZXIgQmFjaGVsb3JhcmJlaXQNCj4gRGF0ZTog V2VkLCAxMSBEZWMgMjAyNCAxNDoyODozMyArMDEwMA0KPiBGcm9tOiBHaW9yZ2kgR3ZhdHVh IDxnaW9nMDBAemVkYXQuZnUtYmVybGluLmRlPg0KPiBUbzogaS1wcm9mc0BpbmYuZnUtYmVy bGluLmRlDQo+IENDOiBpLXdpbWlzQGluZi5mdS1iZXJsaW4uZGUsIGktc3R1ZGlAaW5mLmZ1 LWJlcmxpbi5kZSwgDQo+IG1hcmlhLmtvZWtlbmhvZmZAZnUtYmVybGluLmRlDQo+IA0KPiBT ZWhyIGdlZWhydGUgRGFtZW4gdW5kIEhlcnJlbiwNCj4gDQo+IGhpZXJtaXQgbGFkZSBpY2gg U2llIGhlcnpsaWNoIHp1ciBWZXJ0ZWlkaWd1bmcgbWVpbmVyIEJhY2hlbG9yYXJiZWl0IG1p dA0KPiBkZW0gVGl0ZWwgIkV4cGxvcmF0aW9uIG9mIE1pbmltdW0gQ29zdCBGbG93IEFsZ29y aXRobXMiIGVpbi4NCj4gDQo+IA0KPiBEaWUgVmVydGVpZGlndW5nIGZpbmRldCBvbmxpbmUg w7xiZXIgV2ViZXggc3RhdHQuDQo+IA0KPiBEYXR1bSB1bmQgVWhyemVpdDogMTcuMTIuMjAy NCwgMTI6MDAgVWhyDQo+IA0KPiBCZXRyZXVlcjogUHJvZi4gRHIuIFdvbGZnYW5nIE11bHpl cg0KPiBad2VpdGd1dGFjaHRlcjogUHJvZi4gRHIuIE1heCBXaWxsZXJ0DQo+IA0KPiANCj4g V2ViZXgtTGluazoNCj4gaHR0cHM6Ly9mdS1iZXJsaW4ud2ViZXguY29tL2Z1LWJlcmxpbi1l bi9qLnBocD8gDQo+IE1USUQ9bWJlYjI3YWQ3MDU2NmFhZTk4NWI2ZGMzZjkyOWM3MzM5DQo+ IA0KPiBNZWV0aW5nIG51bWJlciAoYWNjZXNzIGNvZGUpOiAyNzkzIDgyNSAwMTkyDQo+IE1l ZXRpbmcgcGFzc3dvcmQ6IGhYSngzZU1CRjM4ICg0OTU5MzM2MiB3aGVuIGRpYWxpbmcgZnJv bSBhIHBob25lIG9yIHZpZGVvDQo+IHN5c3RlbSkNCj4gDQo+IA0KPiANCj4gTWl0IGZyZXVu ZGxpY2hlbiBHcsO8w59lbiwNCj4gR2lvcmdpIEd2YXR1YQ0KPiANCj4gDQo+IEFic3RyYWN0 Og0KPiANCj4gVGhlIE1pbmltdW0gQ29zdCBGbG93IHByb2JsZW0gaXMgb25lIG9mIHRoZSBj b3JuZXJzdG9uZXMgaW4gb3B0aW1pemF0aW9uIA0KPiBhbmQNCj4gZ3JhcGggdGhlb3J5LCBo YXZpbmcgYSB3aWRlIHZhcmlldHkgb2YgYXBwbGljYXRpb25zIGluIHRlbGVjb21tdW5pY2F0 aW9ucywNCj4gbG9naXN0aWNzLCBzdXBwbHkgY2hhaW4gbWFuYWdlbWVudCwgYW5kIGJpcGFy dGl0ZSBtYXRjaGluZy4gVGhpcyB3b3JrDQo+IGNvbmNlbnRyYXRlcyBvbiB1bml0LWNhcGFj aXR5IG5ldHdvcmtzLCByZXZpc2l0aW5nIGJhc2ljIE1DRiBhbGdvcml0aG1zDQo+IHRoYXQg ZGVtb25zdHJhdGUgYm90aCB0aGVpciBzcGVjaWFsIGNoYWxsZW5nZXMgYW5kIHRoZWlyIG9w cG9ydHVuaXRpZXMgZm9yDQo+IG9wdGltaXphdGlvbi4gVGhlIHR3byBhbGdvcml0aG1pYyBm cmFtZXdvcmtzIGNvbnNpZGVyZWQgaW4gc29tZSBkZXRhaWwNCj4gaW5jbHVkZSB0aGUgUHNl dWRvZmxvdyBGcmFtZXdvcmssIHdoaWNoIGRlcGxveXMgY29zdC1zY2FsaW5nIG1ldGhvZHMg dG8NCj4gYWNoaWV2ZSBjb21wdXRhdGlvbmFsIGVmZmljaWVuY3ksIGFuZCB0aGUgQ3ljbGUg Q2FuY2VsaW5nIEZyYW1ld29yaywgd2hpY2gNCj4gZ2VuZXJhdGVzIGEgc2VxdWVuY2Ugb2Yg ZmVhc2libGUgc29sdXRpb25zIHdoZXJlIGVhY2ggc3VjY2Vzc2l2ZSBzb2x1dGlvbg0KPiBp cyBpbXByb3ZlZCB0aHJvdWdoIHRoZSBlbGltaW5hdGlvbiBvZiBuZWdhdGl2ZS1jb3N0IGN5 Y2xlcy4gQ29tcGFyYXRpdmUNCj4gYW5hbHlzaXMgaGlnaGxpZ2h0cyB0aGUgdHJhZGUtb2Zm cyBpbiBjb21wdXRhdGlvbmFsIGNvbXBsZXhpdHkgYW5kDQo+IHByYWN0aWNhbCBhcHBsaWNh YmlsaXR5LCBzdGF0aW5nIHRoZSBzdHJlbmd0aHMgb2YgdGhlIFBzZXVkb2Zsb3cgRnJhbWV3 b3JrDQo+IGZvciBkZW5zZSBuZXR3b3JrIGFwcGxpY2F0aW9ucywgd2hpbGUgdGhlIEN5Y2xl IENhbmNlbGluZyBGcmFtZXdvcmsgaGFzDQo+IHRoZSBiZXN0IGFkdmFudGFnZSBpbiBzcGFy c2Ugb3IgaW5jcmVtZW50YWwgb3B0aW1pemF0aW9ucy4gVGhlIHdvcmsgbm93DQo+IHN5bnRo ZXNpemVzIGVzcGVjaWFsbHkgdGhvc2UgYWR2YW5jZXMgb24gdGhlIHdvcmsgb2YgR29sZGJl cmcgZXQgYWwuIGFuZA0KPiBhbHNvIGFkdmlzZXMgdGhlIHJvdXRlIGZvcndhcmQsIGluY2x1 ZGluZyBoeWJyaWQgbWV0aG9kb2xvZ2llcyBhbmQNCj4gaW50ZWdyYXRpb25zIHdpdGggZW1l cmdlbnQgY29tcHV0YXRpb25hbCBwYXJhZGlnbXMuIFRoaXMgdGhlc2lzDQo+IGNvbnRyaWJ1 dGVzIHRvIGJvdGggdGhlIHRoZW9yZXRpY2FsIHVuZGVyc3RhbmRpbmcgYW5kIHByYWN0aWNh bA0KPiBpbXBsZW1lbnRhdGlvbiBvZiBNQ0YgYWxnb3JpdGhtcyBhbmQgZ2l2ZXMgaW5zaWdo dCBpbnRvIGhvdyBzY2FsYWJsZSBhbmQNCj4gZWZmaWNpZW50IHNvbHV0aW9ucyBmb3IgcmVh bC13b3JsZCBuZXR3b3JrIG9wdGltaXphdGlvbiBwcm9ibGVtcyBjYW4gYmUNCj4gYWNoaWV2 ZWQuDQo+IA0KPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXw0KPiBBdXRvbWF0aXNjaGVyIE1haWx2ZXJ0ZWlsZXIgYW4gR3J1cHBlICdtbC1pLXBy b2YtbWknLg0KPiBIaW53ZWlzZSBkYXp1IHNpZWhlIEhpbGZlc2VpdGU6DQo+IGh0dHBzOi8v d3d3Lm1pLmZ1LWJlcmxpbi5kZS93L1RlYy9Bbmt1ZW5kaWd1bmdzVmVydGVpbGVyDQoNCg== --------------ms070803080306080706030507 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgMFADCABgkqhkiG9w0BBwEAAKCC DjIwggbmMIIEzqADAgECAhAxAnDUNb6bJJr4VtDh4oVJMA0GCSqGSIb3DQEBDAUAMIGIMQsw CQYDVQQGEwJVUzETMBEGA1UECBMKTmV3IEplcnNleTEUMBIGA1UEBxMLSmVyc2V5IENpdHkx HjAcBgNVBAoTFVRoZSBVU0VSVFJVU1QgTmV0d29yazEuMCwGA1UEAxMlVVNFUlRydXN0IFJT QSBDZXJ0aWZpY2F0aW9uIEF1dGhvcml0eTAeFw0yMDAyMTgwMDAwMDBaFw0zMzA1MDEyMzU5 NTlaMEYxCzAJBgNVBAYTAk5MMRkwFwYDVQQKExBHRUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQD ExNHRUFOVCBQZXJzb25hbCBDQSA0MIICIjANBgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEA s0riIl4nW+kEWxQENTIgFK600jFAxs1QwB6hRMqvnkphfy2Q3mKbM2otpELKlgE8/3AQPYBo 7p7yeORuPMnAuA+oMGRb2wbeSaLcZbpwXgfCvnKxmq97/kQkOFX706F9O7/h0yehHhDjUdyM yT0zMs4AMBDRrAFn/b2vR3j0BSYgoQs16oSqadM3p+d0vvH/YrRMtOhkvGpLuzL8m+LTAQWv QJ92NwCyKiHspoP4mLPJvVpEpDMnpDbRUQdftSpZzVKTNORvPrGPRLnJ0EEVCHR82LL6oz91 5WkrgeCY9ImuulBn4uVsd9ZpubCgM/EXvVBlViKqusChSsZEn7juIsGIiDyaIhhLsd3amm8B S3bgK6AxdSMROND6hiHT182Lmf8C+gRHxQG9McvG35uUvRu8v7bPZiJRaT7ZC2f50P4lTlnb LvWpXv5yv7hheO8bMXltiyLweLB+VNvg+GnfL6TW3Aq1yF1yrZAZzR4MbpjTWdEdSLKvz8+0 wCwscQ81nbDOwDt9vyZ+0eJXbRkWZiqScnwAg5/B1NUD4TrYlrI4n6zFp2pyYUOiuzP+as/A Znz63GvjFK69WODR2W/TK4D7VikEMhg18vhuRf4hxnWZOy0vhfDR/g3aJbdsGac+diahjEwz yB+UKJOCyzvecG8bZ/u/U8PsEMZg07iIPi8CAwEAAaOCAYswggGHMB8GA1UdIwQYMBaAFFN5 v1qqK0rPVIDh2JvAnfKyA2bLMB0GA1UdDgQWBBRpAKHHIVj44MUbILAK3adRvxPZ5DAOBgNV HQ8BAf8EBAMCAYYwEgYDVR0TAQH/BAgwBgEB/wIBADAdBgNVHSUEFjAUBggrBgEFBQcDAgYI KwYBBQUHAwQwOAYDVR0gBDEwLzAtBgRVHSAAMCUwIwYIKwYBBQUHAgEWF2h0dHBzOi8vc2Vj dGlnby5jb20vQ1BTMFAGA1UdHwRJMEcwRaBDoEGGP2h0dHA6Ly9jcmwudXNlcnRydXN0LmNv bS9VU0VSVHJ1c3RSU0FDZXJ0aWZpY2F0aW9uQXV0aG9yaXR5LmNybDB2BggrBgEFBQcBAQRq MGgwPwYIKwYBBQUHMAKGM2h0dHA6Ly9jcnQudXNlcnRydXN0LmNvbS9VU0VSVHJ1c3RSU0FB ZGRUcnVzdENBLmNydDAlBggrBgEFBQcwAYYZaHR0cDovL29jc3AudXNlcnRydXN0LmNvbTAN BgkqhkiG9w0BAQwFAAOCAgEACgVOew2PHxM5AP1v7GLGw+3tF6rjAcx43D9Hl110Q+BABABg lkrPkES/VyMZsfuds8fcDGvGE3o5UfjSno4sij0xdKut8zMazv8/4VMKPCA3EUS0tDUoL01u gDdqwlyXuYizeXyH2ICAQfXMtS+raz7mf741CZvO50OxMUMxqljeRfVPDJQJNHOYi2pxuxgj KDYx4hdZ9G2o+oLlHhu5+anMDkE8g0tffjRKn8I1D1BmrDdWR/IdbBOj6870abYvqys1qYlP otv5N5dm+XxQ8vlrvY7+kfQaAYeO3rP1DM8BGdpEqyFVa+I0rpJPhaZkeWW7cImDQFerHW9b KzBrCC815a3WrEhNpxh72ZJZNs1HYJ+29NTB6uu4NJjaMxpk+g2puNSm4b9uVjBbPO9V6sFS G+IBqE9ckX/1XjzJtY8Grqoo4SiRb6zcHhp3mxj3oqWi8SKNohAOKnUc7RIP6ss1hqIFyv0x XZor4N9tnzD0Fo0JDIURjDPEgo5WTdti/MdGTmKFQNqxyZuT9uSI2Xvhz8p+4pCYkiZqpahZ lHqMFxdw9XRZQgrP+cgtOkWEaiNkRBbvtvLdp7MCL2OsQhQEdEbUvDM9slzZXdI7NjJokVBq 3O4pls3VD2z3L/bHVBe0rBERjyM2C/HSIh84rfmAqBgklzIOqXhd+4RzadUwggdEMIIFLKAD AgECAhEA7oSXDd0KDjAwJRM7wCVCJTANBgkqhkiG9w0BAQwFADBGMQswCQYDVQQGEwJOTDEZ MBcGA1UEChMQR0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0Eg NDAeFw0yNDExMjgwMDAwMDBaFw0yNjExMjgyMzU5NTlaMIG7MQswCQYDVQQGEwJERTEPMA0G A1UECBMGQmVybGluMSIwIAYDVQQKDBlGcmVpZSBVbml2ZXJzaXTDpHQgQmVybGluMREwDwYD VQRhEwhHT1ZERStCRTEmMCQGCSqGSIb3DQEJARYXbXVsemVyQGluZi5mdS1iZXJsaW4uZGUx DzANBgNVBAQTBk11bHplcjERMA8GA1UEKhMIV29sZmdhbmcxGDAWBgNVBAMTD1dvbGZnYW5n IE11bHplcjCCAiIwDQYJKoZIhvcNAQEBBQADggIPADCCAgoCggIBAJiDThz1imCiCk7tQEZY grLnO0hpS8gjXsJ1pSXejIN4RkuM49TDU7SnUgdXFby0kK4x6SWHiGA0umi0FqZAZm7w8SHi sZ1T79L5xWGJ5zLOLRTfd8c96s0MDQ8uJIDuIhUTaAbnI62GM5AvJvOoul1nDWR3s9tKOt9M jAKZvrwnbUhGfI1VcOHqOsTWMqebPd73bjiQf/0pNg4+fPOEIMspQtE6sCM934U3kRnWquZ8 LRDYcWLfjUpmC6/RhN4q7ictQfgjaeuHan25wGiUFsZwRkregy8vn6OunR17PxnbkA05ysbv Q6Ee8AZuProAgEaOCM179KGzeG1r6Zz0BKEtZBT+CGqvB5E0OvSWYiZg7lO5HIUHBzSuxqJ4 51hs57/PfYRqDegYT9s6oSYqCsI5NbgrJtHs86uNEV+E3vD/O+N4dJviGhSc0ZIjxl3TLd7Z /Omw2jHN7b9zf4Ej9ZWs5Yr6nWA2UbnDdIlnaMDo9pEt07bVdRvfq5OeO5HtJ2yGoEy0a2/X Tuiv/IxADaYWHXURvRr2n3T6Hj4z/gPdi3zTh/vlIkfZiC5FRCcfA43iWpOVeWG7intPqWX1 1QFBuML8gYVsp9nxKvPNhud+jiDMhfPfYEfm2n0G8VdTFyK5KKef88BPRfC76XVLRvQKxrLs /5sEhPM0sRyGwtLXAgMBAAGjggG1MIIBsTAfBgNVHSMEGDAWgBRpAKHHIVj44MUbILAK3adR vxPZ5DAdBgNVHQ4EFgQUyPIpOGpenGfj8nivvnyRHrw+Ds8wDgYDVR0PAQH/BAQDAgWgMAwG A1UdEwEB/wQCMAAwHQYDVR0lBBYwFAYIKwYBBQUHAwQGCCsGAQUFBwMCMFAGA1UdIARJMEcw OgYMKwYBBAGyMQECAQoEMCowKAYIKwYBBQUHAgEWHGh0dHBzOi8vc2VjdGlnby5jb20vU01J TUVDUFMwCQYHZ4EMAQUDAjBCBgNVHR8EOzA5MDegNaAzhjFodHRwOi8vR0VBTlQuY3JsLnNl Y3RpZ28uY29tL0dFQU5UUGVyc29uYWxDQTQuY3JsMHgGCCsGAQUFBwEBBGwwajA9BggrBgEF BQcwAoYxaHR0cDovL0dFQU5ULmNydC5zZWN0aWdvLmNvbS9HRUFOVFBlcnNvbmFsQ0E0LmNy dDApBggrBgEFBQcwAYYdaHR0cDovL0dFQU5ULm9jc3Auc2VjdGlnby5jb20wIgYDVR0RBBsw GYEXbXVsemVyQGluZi5mdS1iZXJsaW4uZGUwDQYJKoZIhvcNAQEMBQADggIBAAgblgWwIlyg 7t6TW874H0JBPhGHjDeHrUNwnFb/fZFDRk/wbQM963NWdhp4XgjBWeGBotkhaQC2lW69jBrV kJt1b9Sl1BGvJzbVt5lhUvNBkHggY3ah0QLyx57U8f/TKtPF27eH9ea31PVq6UJmlBGE2KEI gxBHabViVs4U6e6dJjr9HP6kXezYDKpZYFYCFTztFtI6HofOzc7XAdvRgpG8xiaKU1lrJUaH VgbSpJbE1nBdAOUnKJmk+6tvGHfJhzcJnW2vTEidyUS/lj6lcZCbIA6JSnaiXWVsVCaFVe0u cHpRnB4R5s+APc3beMVptEPkeZxyUi785aqo8EZoZC2x50J2fwj5szMXTxEsIXGGx1lxDZ5X Uj9znX47pfFkYnhX5KgY4iW6pnPAy/+wyKnxhbWO3L5STBuRcOdeTpLn/lXAy8+WcMG0wEcx VVvln7P/uwqhNEBCRYamqhiZlLoj1ubhJ61UUWYW84JDHIdnhX31U3s9KDTcAq9karIYjuwb DZIpsZNR7Q+iNQgSfGhdqFzdKGV8a9b2a3EoE5JW/yrHwseDrbHQ4oF65K1uUZjuO4wu/wB3 L2IZ67jPGXytFfGM1mPCDU5dv/mJlXGLm6K0ZP7Oj2wSCOCSDfHfpXWDx6SWhVS4AEd8UVo+ R/917VyWp3OTDRT8G3uGIfWdMYIFSDCCBUQCAQEwWzBGMQswCQYDVQQGEwJOTDEZMBcGA1UE ChMQR0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIRAO6E lw3dCg4wMCUTO8AlQiUwDQYJYIZIAWUDBAIDBQCgggK+MBgGCSqGSIb3DQEJAzELBgkqhkiG 9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTI0MTIxNzA5MzkxN1owTwYJKoZIhvcNAQkEMUIEQGGZ 5lkGG+IIMMVVoRbPVpkLJouvCCRZP8YzotPKSZjtjd3yK365/9r2TyWEaV+yv5FIfb7zw79v QV/w9Rj2ciYwagYJKwYBBAGCNxAEMV0wWzBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VB TlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIRAO6Elw3dCg4w MCUTO8AlQiUwbAYLKoZIhvcNAQkQAgsxXaBbMEYxCzAJBgNVBAYTAk5MMRkwFwYDVQQKExBH RUFOVCBWZXJlbmlnaW5nMRwwGgYDVQQDExNHRUFOVCBQZXJzb25hbCBDQSA0AhEA7oSXDd0K DjAwJRM7wCVCJTCCAVcGCSqGSIb3DQEJDzGCAUgwggFEMAsGCWCGSAFlAwQBKjALBglghkgB ZQMEAQIwCgYIKoZIhvcNAwcwDQYIKoZIhvcNAwICAQUwDQYIKoZIhvcNAwICAQUwBwYFKw4D AgcwDQYIKoZIhvcNAwICAQUwBwYFKw4DAhowCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQCAjAL BglghkgBZQMEAgMwCwYJYIZIAWUDBAIEMAsGCWCGSAFlAwQCBzALBglghkgBZQMEAggwCwYJ YIZIAWUDBAIJMAsGCWCGSAFlAwQCCjALBgkqhkiG9w0BAQEwCwYJK4EFEIZIPwACMAgGBiuB BAELADAIBgYrgQQBCwEwCAYGK4EEAQsCMAgGBiuBBAELAzALBgkrgQUQhkg/AAMwCAYGK4EE AQ4AMAgGBiuBBAEOATAIBgYrgQQBDgIwCAYGK4EEAQ4DMA0GCSqGSIb3DQEBAQUABIICAJKv YFdJaXJpaHBMTLb0r2yf8kBbNF/ksOazsGAPKMdrqiGjO+xvje5YHwqLKQS8790C5CgYzGuJ gmLJ8jWOsILYBjt2EZ1H1K6C8DRaCi0t+/rPPczZmC5+yvb7rSyFo3VeAMOqoKh73uJkztpp ebBG5Wf3RApWTZp5+awqHxGNh6/Km2P8OFIeJ8ZeIlPVyZ9JRgWITgY4wsG5Msl9XBnohZ2Z RXH+cRZwIC9YCenfP7lsltpFSBUQGIHjvTXTOFZr5g2h1EjrGCO9PmOvdAk+8vSv1GNXQZM1 2L4NsCVvVnJeFSmgFhxrQLbCL/IdvME4K3uxTlva4IetP8l833txQW5pwcZacKh+iRBWfcF5 9v23r36wIusNXZwBYLU2Mv0nGMySMf8O0//40Vb2AyfaB56KLSgVwVYq1eDip368ZnSo//7s 4OQrpTtF+EkTIcMoco9myRpToFwGkFQBTXIi2LADIb3ZsDrFknMRETYa7dkx8BvYb039+lIm +6ocRpqNqKZ1TqL5ta123IAjf9dOTUwYKXQ/pv6s03nFQ30h2DhmEB86Rx2QSewCzC/e7iUR z83KG0jbJ/QFCQcKYcxfGfBN2WgwZOuetSha20sz9TmtLZPQHUtiNgAweSlS1PoEADyZsCsb nMneqeTa+/HXjlz40b3PNI7SOFlJayPxAAAAAAAA --------------ms070803080306080706030507-- From borzemi@zedat.fu-berlin.de Wed Dec 18 12:35:28 2024 Received: from outpost1.zedat.fu-berlin.de ([130.133.4.66]) by list1.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tNsKu-00000003PQn-2Q1n; Wed, 18 Dec 2024 12:35:28 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=fu-berlin.de; s=fub01; h=Content-Transfer-Encoding:Content-Type:Subject: From:To:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=x2j9+cKW2T/LDlPRtK/13VgynHD+B+2Hhom14aDoBqE=; t=1734521728; x=1735126528; b=IeR76tWW5Mukb2EBBHXSwbNY5fvKYSUPk/agMks3XamNdvSxvWr+d6uCmBB4HLQ3muZd8sD0TBA y59XQMiiHl4jLCg+peBJCGFZGoctSChT0JLdavn4sZ+7donWiWF2hYB16jnI0CnzQOciONyTUOnEJ fPtdlVV1Xi8BEje6Nhxz0yhXH4IIuCJMUzduSiDTIJGcNmA3Yl5TxZ7lVrNx9n7eoFxKXM86fZWi8 xu6uklBeSc7bCmCZDuXEr5MOw+93W3Sfnd5MsJ276kap++KJMhxHp5kIreO53/7irc+OUQCnzp/ea JYQsJyRD4+yh8K7M7hy0jr268GBLIToYzTIw==; Received: from inpost2.zedat.fu-berlin.de ([130.133.4.69]) by outpost.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtps (TLS1.3) tls TLS_AES_256_GCM_SHA384 (envelope-from ) id 1tNsKu-00000002qcS-28C3; Wed, 18 Dec 2024 12:35:28 +0100 Received: from salami.imp.fu-berlin.de ([160.45.46.95]) by inpost2.zedat.fu-berlin.de (Exim 4.98) for agti-Mittagsseminar@lists.fu-berlin.de with esmtpsa (TLS1.3) tls TLS_AES_128_GCM_SHA256 (envelope-from ) id 1tNsKu-00000003M0R-1R8O; Wed, 18 Dec 2024 12:35:28 +0100 Message-ID: Date: Wed, 18 Dec 2024 12:35:26 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: agti-Mittagsseminar@lists.fu-berlin.de Content-Language: en-US, de-DE From: =?UTF-8?Q?Michaela_Borzechowski/Kr=C3=BCger?= Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Original-Sender: michaela.borzechowski@fu-berlin.de X-Originating-IP: 160.45.46.95 X-ZEDAT-Hint: PO X-purgate: clean X-purgate-type: clean X-purgate-ID: 151147::1734521728-BB95AB2C-9D00A287/0/0 X-Bogosity: Ham, tests=bogofilter, spamicity=0.393506, version=1.2.4 X-Spam-Flag: NO X-Spam-Status: No, score=-50.2 required=5.0 tests=ALL_TRUSTED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF X-Spam-Checker-Version: SpamAssassin 3.4.6 on Tokelau.ZEDAT.FU-Berlin.DE X-Spam-Level: Subject: [Mittagsseminar TI] Mittagsseminar NICHT am 19.12.2024 (weil Demo) sondern am 07.01.2025 X-BeenThere: agti-mittagsseminar@lists.fu-berlin.de X-Mailman-Version: 2.1.29 Precedence: list List-Id: Mittagsseminar Theoretische Informatik List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 18 Dec 2024 11:35:28 -0000 Das Mittagsseminar am 19.12.2024 fällt aufgrund der Demo bezüglich der Haushaltskürzungen aus. Im Rahmen des Mittagsseminars der Theoretischen Informatik der FU Berlin spricht am Dienstag, 07.01.2025, 12:00 Uhr, SR 055, Takustraße 9 Michaela Borzechowski zum Thema: Wild Versions of USOs