caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture
       [not found]             ` <1607609303172.44132@tuwien.ac.at>
@ 2020-12-10 14:09               ` Rozman, Mihaela
  0 siblings, 0 replies; 1+ messages in thread
From: Rozman, Mihaela @ 2020-12-10 14:09 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 2569 bytes --]

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ödel, Ludwig Wittgenstein, and the Vienna Circle.

The Vienna Center for Logic and Algorithms at Vienna University of Technology (VCLA at TU Wien) represents six research groups celebrating the World Logic 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, 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 the 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 International Council for Philosophy and Human Sciences (CIPSH), to enhance public understanding of logic and its implications for science, technology and innovation. "In the twenty-first century - indeed, now more than ever - the discipline of logic is a particularly timely one, utterly vital to our societies and economies. Computer 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/



[-- Attachment #2: Type: text/html, Size: 4828 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <1607599369858.53819@tuwien.ac.at>
     [not found] ` <1607599465850.57543@tuwien.ac.at>
     [not found]   ` <1607599726151.25463@tuwien.ac.at>
     [not found]     ` <1607609014213.91058@tuwien.ac.at>
     [not found]       ` <1607609127663.94110@tuwien.ac.at>
     [not found]         ` <1607609210451.95766@tuwien.ac.at>
     [not found]           ` <1607609228102.31652@tuwien.ac.at>
     [not found]             ` <1607609303172.44132@tuwien.ac.at>
2020-12-10 14:09               ` [Caml-list] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture Rozman, Mihaela

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox