From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id ABA7F1E6 for ; Thu, 10 Dec 2020 14:09:54 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,408,1599516000"; d="scan'208,217";a="482247721" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Dec 2020 15:09:52 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 06546E0147; Thu, 10 Dec 2020 15:09:52 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 32B17E0146 for ; Thu, 10 Dec 2020 15:09:48 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw2.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3AR6guvx2T6yd7L/JOsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMeK/ad9pjvdHbS+e9qxAeQG9mCtLQd27Kd7vGocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTiwbalvIBi1sQnduckbjI9/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljj?= =?us-ascii?q?oMOTwk/2HNksF+jLxVrg+9pxJxwIDUboOaNPticazSZt4VX3ZNU9xLWiBdHo+w?= =?us-ascii?q?co0CBPcBM+ZCqIn9okMDoRWiCwmrBeLvzyVHhnnu0aYn1OohEAHG0xY+ENIKqn?= =?us-ascii?q?vYosj+OaAXUeC0zKnH1yvMb/dM1jvn8ojIdREgofSWUrJ2asfR1VQvFg3EjlqO?= =?us-ascii?q?r4zpJSma2fgXv2eB8+ptTOSigHMopA9tuDag3NssipXXiYIPzFDJ7SR0zogpKN?= =?us-ascii?q?CkVEN2b9ypHYVTuiybKYZ7X98vTmF0tSonxLMIt4O2cicWxJoo2RLSa+GKfpSH?= =?us-ascii?q?7B//SOufLjN1inJjdbmiiRiy9k2gxff9VsmyyFtKsDZKkt3WuXwXzRPT9s6KQe?= =?us-ascii?q?Z+8Ee5wTuDyh7f5+JeLUwpm6fXN4Qtz7AsmpYJs0nPADf6lUbqgKOMa0ko5/Sk?= =?us-ascii?q?5/76brn4u5OQLYB5hw/mPqgwhsCzHfk0Pw0PUmSF/emx0aDv8VHlTLhKi/A7nL?= =?us-ascii?q?XVvZXfKMkauKK0BRJe3Jw55BalFTim1cwVnXkZI1JBfxKKl5PpNE/SL/D3A/az?= =?us-ascii?q?nU6gkDZtx/DaILLhGJPNImLfkLf8c7d96lBTyAwpwd9F+51YEKsOIO7rVk/wst?= =?us-ascii?q?zXEAM5PhSpz+r5C9hxzJ4SVGyTDqODPq7erUWE6+AxL+WUYY8aojf9K/wr5/70?= =?us-ascii?q?in85nEcQfayo3ZsXcn+3APBmLF+DbXr2hdcAEGIKsRA4TOHxlF2CTDBSZ3esUK?= =?us-ascii?q?I6/D00Ep6pAZ3ZSYCxmLCBxju0HoVKZmBaDVCBCWvneJ+BW/cIcS6SJs5hkicY?= =?us-ascii?q?VbW6UI8g1RSutBfgxLZ9L+rU/DcYtZP529Rv6e3Tj0J6yTshRc+U1mXIS2Bvgk?= =?us-ascii?q?sJQSU31eZxuwY1nlyK1Kw9h/1DCfRS4elIW0E0L8iP4fZ9DoW4YAXTe96PDB6D?= =?us-ascii?q?Q9WvDDU4BJplxt4Oakt5EpO4iQLG1iyCH6IKlrGNQpU/tKvAiSuib/1hwmrLgf?= =?us-ascii?q?Fyx2ItRdFCYDX/2vxPsjPLDouMqH230r6wfP1AjjLQ62aOyyyHtwdRTFwoCPSX?= =?us-ascii?q?bTUkfkLT6O/ByAbHRr6qB64gN1Idm9KfNapHbJvghhNPWKW7YYmMUyeKg261QC?= =?us-ascii?q?2w6PaMYY7tITVPxyjWB1de1QEV4XucM04iGzigrmSYBTcoHE69O04=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtAAAUK9Jfh0gegoBiHQEBAQEJARIBB?= =?us-ascii?q?QUBQIE+BQELAYEiLyMGgSRbLy4KjTmIKAOaS4FoAgkBAwELAQEfDgIEAQGESgK?= =?us-ascii?q?BfwIdBgYzBg4CEAEBBQEBAQIBAwMEARMBAQEBDQsJCCmFaAELgjcigxoGgQkCA?= =?us-ascii?q?RwNGgsPIyUCBCeCR0sBgX5SNgEDrQp0gTSITyGBUgaBOAGPHz6BETaCNIFwgwA?= =?us-ascii?q?FARIBQYVWBIMXSxgSdQNMWI9wCIcdgy2BRJsMgQ8DBAOBY4ERBIkckiUigyWKJ?= =?us-ascii?q?pRvhhWBKodPhHKLDJEfhHkCBAIJAhQBgWyBC3CBQIJpUBcCDY45Ah2BcYwhdDc?= =?us-ascii?q?CBgEJAQEDCXyIPQGBEAEB?= X-IPAS-Result: =?us-ascii?q?A0CtAAAUK9Jfh0gegoBiHQEBAQEJARIBBQUBQIE+BQELAYE?= =?us-ascii?q?iLyMGgSRbLy4KjTmIKAOaS4FoAgkBAwELAQEfDgIEAQGESgKBfwIdBgYzBg4CE?= =?us-ascii?q?AEBBQEBAQIBAwMEARMBAQEBDQsJCCmFaAELgjcigxoGgQkCARwNGgsPIyUCBCe?= =?us-ascii?q?CR0sBgX5SNgEDrQp0gTSITyGBUgaBOAGPHz6BETaCNIFwgwAFARIBQYVWBIMXS?= =?us-ascii?q?xgSdQNMWI9wCIcdgy2BRJsMgQ8DBAOBY4ERBIkckiUigyWKJpRvhhWBKodPhHK?= =?us-ascii?q?LDJEfhHkCBAIJAhQBgWyBC3CBQIJpUBcCDY45Ah2BcYwhdDcCBgEJAQEDCXyIP?= =?us-ascii?q?QGBEAEB?= X-IronPort-AV: E=Sophos;i="5.78,408,1599516000"; d="scan'208,217";a="367236483" X-MGA-submission: =?us-ascii?q?MDH62sZ3/aGa6mKgpBh0ZforggKxQHx7qST6/A?= =?us-ascii?q?37RbNZehpn8cRweSnYIVWA4he/3orzMTZGhPpiGsT0AuMtll0OhZGvK8?= =?us-ascii?q?g3Fn0xRH1cVkPVB08mLRTIKq66dQM8FecHO884qO5UZucbwbNT7Vt6Gh?= =?us-ascii?q?m9tsx6fNT7hMcW8nQa52G9qw=3D=3D?= Received: from secgw2.intern.tuwien.ac.at ([128.130.30.72]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Dec 2020 15:09:47 +0100 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 0BAE9kig009421 for ; Thu, 10 Dec 2020 15:09:46 +0100 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 64 for ; Thu, 10 Dec 2020 15:09:46 +0100 (CET) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 0BAE9jfs009407 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Thu, 10 Dec 2020 15:09:45 +0100 Received: from mbx13a.intern.tuwien.ac.at (2001:629:1005:30::61) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Thu, 10 Dec 2020 15:09:45 +0100 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by mbx13a.intern.tuwien.ac.at (2001:629:1005:30::61) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Thu, 10 Dec 2020 15:09:45 +0100 Received: from mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846]) by mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846%20]) with mapi id 15.00.1497.008; Thu, 10 Dec 2020 15:09:45 +0100 From: "Rozman, Mihaela" To: "caml-list@inria.fr" Thread-Topic: Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture Thread-Index: AQHWzuacY1sGNfNsJkODPLcMnqVRHKnwL/9EgAABbo6AACtAVoAAAId3gAAAZL6AAAATOoAAAFrtgAAAYaY= Date: Thu, 10 Dec 2020 14:09:44 +0000 Message-ID: <1607609383601.1852@tuwien.ac.at> References: <1607599369858.53819@tuwien.ac.at>,<1607599465850.57543@tuwien.ac.at>,<1607599726151.25463@tuwien.ac.at>,<1607609014213.91058@tuwien.ac.at>,<1607609127663.94110@tuwien.ac.at>,<1607609210451.95766@tuwien.ac.at>,<1607609228102.31652@tuwien.ac.at>,<1607609303172.44132@tuwien.ac.at> In-Reply-To: <1607609303172.44132@tuwien.ac.at> Accept-Language: en-GB, de-AT, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [80.110.121.43] Content-Type: multipart/alternative; boundary="_000_16076093836011852tuwienacat_" MIME-Version: 1.0 Subject: [Caml-list] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture Reply-To: "Rozman, Mihaela" X-Loop: caml-list@inria.fr X-Sequence: 18308 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --_000_16076093836011852tuwienacat_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear colleagues, dear friends of logic, On 14 January 2021, you are cordially invited to celebrate the World Logic = Day digitally with the community from the city of Kurt G=F6del, Ludwig Witt= genstein, and the Vienna Circle. The Vienna Center for Logic and Algorithms at Vienna University of Technolo= gy (VCLA at TU Wien) represents six research groups celebrating the World L= ogic Day 2021 (WLD) with: ---------------------------------------------------------- Vienna World Logic Day Lecture ---------------------------------------------------------- Vienna World Logic Day Lecture with Prof. Georg Gottlob on the future of lo= gic in the world shaped by Artificial intelligence Date: 14 January 2021 Time: 8am PST | 11am EST | 1pm GMT-3 | 5pm CET Digital venue: Zoom or YouTube ---------------------------------------------------------- Ambassadors of Logic ---------------------------------------------------------- We asked renowned logicians from the fields of computer science, philosophy= , mathematics, artificial intelligence to provide us with short statements = on the WLD. This is what they have to say: https://logicday.vcla.at ---------------------------------------------------------- Celebrating World Logic Day 2021 around the globe ---------------------------------------------------------- We are featuring events celebrating World Logic Day 2021 around the globe. = Send us an email, and we will include you on our website. Additionally, if = you are organising an event and wish to be listed in the official list of t= he World Logic Day 2021 events and use the official WLD logo in your announ= cements, please submit your event as listed on the website of the WLD 2021. UNESCO proclaimed World Logic Day in 2019, in association with the Internat= ional Council for Philosophy and Human Sciences (CIPSH), to enhance public = understanding of logic and its implications for science, technology and inn= ovation. "In the twenty-first century - indeed, now more than ever - the di= scipline of logic is a particularly timely one, utterly vital to our societ= ies and economies. Computer science and information and communications tech= nology, for example, are rooted in logical and algorithmic reasoning." - Au= drey Azoulay, Director General of UNESCO ---------------------------------------------------------- Free access and non-obligatory registration on the website ---------------------------------------------------------- Please visit the website of Vienna World Logic Day at: https://logicday.vcl= a.at/ --_000_16076093836011852tuwienacat_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Dear colleagues, dear friends of logic,


On 14 January 2021, you are cordially invited to celebrate the World Log= ic Day digitally with the community from the city of Kurt G=F6del, Ludwig W= ittgenstein, and the Vienna Circle.


The Vienna Center for Logic and Algorithms at Vienna University of Technolo= gy (VCLA at TU Wien) represents six research groups celebrating the World L= ogic Day 2021 (WLD) with:


----------------------------------------------------------

Vienna World Logic Day Lecture

----------------------------------------------------------

Vienna World Logic Day Lecture with Prof. Georg Gottlob on the future of= logic in the world shaped by Artificial intelligence
Date: 14 January 2021
Time: 8am PST | 11am EST | 1pm GMT-3 | 5pm CET
Digital venue: Zoom or YouTube


----------------------------------------------------------

Ambassadors of Logic

----------------------------------------------------------

We asked renowned logicians from the fields of computer science, philoso= phy, mathematics, artificial intelligence to provide us with short statemen= ts on the WLD.
This is what they have to say: https:/= /logicday.vcla.at 


----------------------------------------------------------

Celebrating World Logic Day 2021 around the globe

----------------------------------------------------------
We are featuring events celebrating World Logic Day 2021 around the globe. = Send us an email, and we will include you on our website. Additionally, if = you are organising an event and wish to be listed in the official list of t= he World Logic Day 2021 events and use the official WLD logo in your announcements, please submit your event = as listed on the website of the WLD 2021.


UNESCO proclaimed World Logic Day in 2019, in association with the Internat= ional Council for Philosophy and Human Sciences (CIPSH), to enhance public = understanding of logic and its implications for science, technology and inn= ovation. "In the twenty-first century – indeed, now more than ever – the discipline of logic is a pa= rticularly timely one, utterly vital to our societies and economies. Comput= er science and information and communications technology, for example, are = rooted in logical and algorithmic reasoning." — Audrey Azoulay, Director General of UNESCO


----------------------------------------------------------
Free access and non-obligatory registration on the website

----------------------------------------------------------
Please visit the website of Vienna World Logic Day at: https://logicday.vcla.at/



--_000_16076093836011852tuwienacat_--