From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10357 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Sadrzadeh, Mehrnoosh" Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory Subject: UNESCO World Logic Day@UCL: Logical Journeys Date: Fri, 8 Jan 2021 10:07:49 +0000 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============9163202958056190722==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16528"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "Araujo Neves, Renato" To: "philosop-MDFyBgYyG8F06CGf5IJFMpVzexx5G7lz@public.gmane.org" , "[LOGIC] Mailing List" , "folli-WRVizKnH2qah6J55Ss3d3w@public.gmane.org" , "formalgrammar-ZyRDODgFA+R6auLlOhE+pQ@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" , "pplv-kecf2yCh/1qFxr2TtlUqVg@public.gmane.org" , "mol-V71VymMgRlXze30W9zQq0w@public.gmane.org" , "ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org" , "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org" , "logic-list-pxSi+dnQzZMxHbG02/KK1g@public.gmane.org" , "logic-UfE5FQABeHN2Qaki92YDXw@public.gmane.org" Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Fri Jan 08 14:40:01 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-000c2a01.pphosted.com ([148.163.151.92]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kxrzj-0003to-Hl for gcst-types-announce@m.gmane-mx.org; Fri, 08 Jan 2021 14:39:59 +0100 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 108DculE021674; Fri, 8 Jan 2021 08:39:00 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-000c2a01.pphosted.com with ESMTP id 35wrkrgevx-1; Fri, 08 Jan 2021 08:39:00 -0500 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 108DcqMj011307; Fri, 8 Jan 2021 08:38:52 -0500 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 108Dcqnh056512; Fri, 8 Jan 2021 08:38:52 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 108A7vvQ043752 for ; Fri, 8 Jan 2021 05:07:57 -0500 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 108A24A8010141 for ; Fri, 8 Jan 2021 05:07:56 -0500 Original-Received: from eur04-db3-obe.outbound.protection.outlook.com (mail-eopbgr60111.outbound.protection.outlook.com [40.107.6.111]) by mx0a-00390e01.pphosted.com with ESMTP id 35wr1aecn9-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Fri, 08 Jan 2021 05:07:56 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=H43ryMgRl7VoCYaoYEMKoREXtsnsa+iuJMXeUsY4SyAuRY2H5dxQpAI7DASc+D/YveYlf/2/hGzl+gdHa+YmwPQY4/RE0312q/GnCE88R0oBIcAdLJcmnjBKwhh6yimebhQqDbWoQ+IMqM7Ei8AVrxenI/e/Xr8QMHLF07GBrjT1SvyRcZhiyBc3GXmpeAkM4HqOfBgUK6Za+pEO3C2NkzuJzNXKNtkqXnzwsgkYU5oHEG3F2FKKGdPpAhhJfKhh59cWDhEr1EdpgaLMGeh/iTZvUlDsiP5qskySuH7csBZVsaUO8q8m9KUEpZsalCtQTt4R65gmPLAIV1x1TAkgOQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=OX31eGitUdHZOBmhfam6ubCG0y0544u3JPAq0rnhq1E=; b=IbflYDlqu4g0j/OMzPO8Q59Z8fMA5XYVJgtC6VxIs+KlA0IyUfhZCvfCRauQM21X3Mf838XIlbHpFuNJikL4a8Z8riQ41lyNmsWMbApBRjO9CiFiQbPbl2mSIwWEE3rb9pZaW91jd3u7qBj1QT/et+rKjZisqpV2g5g2UcPdRdj51bJdg6z9DAAlzCeh4MjT7gw/6VA83iMQNAsHf0tweaKqB5fBxvCt9QGi3QohPSzo3wRSUJEDPKVwdDceVbbS6swkxrKsMfL538VaX0De5Sj2dlbX0T4nrZDeWuDhlCti7SnHCdycMiBQszU0q5Aai0bN8ZUaUcfbTzrBQ4M11w== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ucl.ac.uk; dmarc=pass action=none header.from=ucl.ac.uk; dkim=pass header.d=ucl.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ucl.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=OX31eGitUdHZOBmhfam6ubCG0y0544u3JPAq0rnhq1E=; b=TtuhRX117E8ckcSxAdofEaOL65pPA5uw94L4i9Gi0+Y1wdTfOgqLh2Wr8AEeEhrbRpc7eBWNNlFPqvKwSIsuzB4hERTB23CCQsEWz5JEBELSLLv0wHhIkW6oEQFl7Tl7a4Wpf1kZ1pPentpJw8glOa42LUKMx/1zGN1byjLHfsE= Original-Received: from AM6PR01MB5877.eurprd01.prod.exchangelabs.com (2603:10a6:20b:ef::32) by AM6PR01MB5512.eurprd01.prod.exchangelabs.com (2603:10a6:20b:f1::28) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3742.9; Fri, 8 Jan 2021 10:07:49 +0000 Original-Received: from AM6PR01MB5877.eurprd01.prod.exchangelabs.com ([fe80::9d63:201a:37a2:80e5]) by AM6PR01MB5877.eurprd01.prod.exchangelabs.com ([fe80::9d63:201a:37a2:80e5%7]) with mapi id 15.20.3742.009; Fri, 8 Jan 2021 10:07:49 +0000 Thread-Topic: UNESCO World Logic Day@UCL: Logical Journeys Thread-Index: AQHW5aMc30BhEvh2pUudqk28SUOW4A== Accept-Language: en-US Content-Language: en-US authentication-results: lists.louisiana.edu; dkim=none (message not signed) header.d=none;lists.louisiana.edu; dmarc=none action=none header.from=ucl.ac.uk; x-originating-ip: [95.149.1.62] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: f7d6154c-3707-4fc5-ee53-08d8b3bd4151 x-ms-traffictypediagnostic: AM6PR01MB5512: x-ms-exchange-transport-forked: True x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: DUO4JwXV4drkO4P+rivYV0wPk6nEufyicHTPRJ26VAC93q7QGcgdK4oYRgHlsQgYeu/QtEvmtPLZP3niEwWbFkoxv3RUYHgp8ab4im7f1Gm54h275Cy36EWARus1sebRzwZU84+RJzXKXKMhcXJ9RkHc+VuouDD5ADCarS315mmTN9IlQELX57iPUmSfg9xVIMBjssA6GfbJmRed0MKsyalzvNOYirmEsZOiEMJ4IjhdnnSAKgrDV5BRO+Ot2HsbnJa+L5Y/cymHJIoGet6ppqJVoE5cSFj4zSrFs57BdY2ojyUQpVSr8W5zo/CYPkVTrqQp1xnMTHMByZEMEperBtsGPpeem7moPYuh1izWY0eZRbf9i7sKtRNPmGphHPBkBrxHnI58wmfjkUvMlhja6072KSbf5nuGIAuhdbBrFoxomdYTvuDGETRjZ3Kn7qtx3FcK6CUr4lO2/D9+KiUvpx6Bh+vSA0i3sD8IbJfI/nsrnZwrKnS8t4SAzKlS3YFu x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:AM6PR01MB5877.eurprd01.prod.exchangelabs.com; PTR:; CAT:NONE; SFS:(4636009)(39860400002)(376002)(366004)(346002)(136003)(396003)(186003)(8936002)(26005)(91956017)(66946007)(6506007)(86362001)(66556008)(66446008)(76116006)(64756008)(7696005)(66476007)(15974865002)(478600001)(52536014)(83380400001)(54906003)(110136005)(921005)(19627405001)(2906002)(316002)(786003)(4326008)(55016002)(8676002)(33656002)(5660300002)(7416002)(166002)(966005)(9686003)(71200400001); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata: =?Windows-1252?Q?0PuVuq29TW9+hQnCqCZQaNmfPsftrP3OUqcYijFCBtwlDulSBIlnEISE?= =?Windows-1252?Q?EKBTPfU4F4Yc/9ThD0as86CsNjY4Enq/PuTDbn/naemUiP+25O/xYysm?= =?Windows-1252?Q?8oW2MlqC1Dfqnp6L6s+oO3wexu/zHpfoYGxqQnRQ1XtRIS682SFnQO5g?= =?Windows-1252?Q?cYaokjYYK1wL7afVnB1hr7/75Q706BRVr01M8iDOs4i53P/VM7yYpuJ4?= =?Windows-1252?Q?ARjhnvUFH7MHCBNiI5HF0Krax9ubmOXNKShyd8jhv8E6WVDfzDtbUcn/?= =?Windows-1252?Q?rzeOfcuslYIaC2fuCyLjPpSdIe0hOU4jwf962wir/13eeoHaeHO2wl0H?= =?Windows-1252?Q?d+ZADr/IHZSZC9LR37AWGxD2HFurFAQ2SInU/y98bu6XCIqJNjG2KXcU?= =?Windows-1252?Q?f2/vUSDKjJcLN6lxaywrYPrTN4zJtTuohb2Ehc6MYeGlBZQG4FpkGyg5?= =?Windows-1252?Q?Iq7Y5wKsgu7CGunU9Tl+w6RSdpUQ+v3D4Q0PPceC7yWqRTKJJr9xChY9?= =?Windows-1252?Q?fNWvBGOnvQhwTsvf87LIvr9KAIVRLdISMKiYu9jqq5LzY9jGCiI2dBU+?= =?Windows-1252?Q?a1u1JK/0jeNa1qCq2A0YbeWa6V61eEidMmy0KmsaOM9L818jFdtApTum?= =?Windows-1252?Q? X-OriginatorOrg: ucl.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: AM6PR01MB5877.eurprd01.prod.exchangelabs.com X-MS-Exchange-CrossTenant-Network-Message-Id: f7d6154c-3707-4fc5-ee53-08d8b3bd4151 X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Jan 2021 10:07:49.7925 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 1faf88fe-a998-4c5b-93c9-210a11d9a5c2 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: seEsXXmHd1JFsn1oWjWU/31Fg8gDoUU2dlUoVCGMau/zuCMvKLxGqR2ZEUPsECPSHxcNNLp/4AdmdGYze5DDYA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR01MB5512 X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343, 18.0.737 definitions=2021-01-08_06:2021-01-07, 2021-01-08 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 clxscore=306 bulkscore=0 spamscore=0 mlxlogscore=836 priorityscore=0 impostorscore=0 phishscore=0 mlxscore=0 suspectscore=0 adultscore=0 malwarescore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2101080054 domainage_hfrom=6269 X-Mailman-Approved-At: Fri, 08 Jan 2021 08:38:49 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343,18.0.737 definitions=2021-01-08_07:2021-01-07,2021-01-08 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxlogscore=999 spamscore=0 malwarescore=0 adultscore=0 priorityscore=1501 clxscore=1011 lowpriorityscore=0 phishscore=0 bulkscore=0 suspectscore=0 impostorscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2101080076 Xref: news.gmane.io gmane.comp.science.types.announce:9377 gmane.science.mathematics.categories:10357 gmane.science.mathematics.prooftheory:1645 Archived-At: --===============9163202958056190722== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============9163202958056190722== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_AM6PR01MB5877D8FE57AE8B887BA8BBBEA9AE0AM6PR01MB5877eurp_" --_000_AM6PR01MB5877D8FE57AE8B887BA8BBBEA9AE0AM6PR01MB5877eurp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Dear colleagues, We are organising a UNESCO World Logic Day (WLD) event in UCL, titled Logic= al Journeys! Details are available on our website: https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-= world-logic-day-event [https://www.ucl.ac.uk/engineering/sites/engineering/files/styles/medium_im= age/public/events/wld-logo-page-001_0.jpg?itok=3DZJRzvp5D] Logical Journeys Webinar (World Logic Day Event) | UCL Engineering - UCL = =96 University College London Logical Journeys is a one day event organised by Renato Neves, Mehrnoosh Sa= drzadeh, and Alexandra Silva (UCL) for discussing the past use of logic in = different domains and the challenges it faces from emerging paradigms, such= as machine learning, probabilistic, cyber-physical, and quantum computing.= The event is framed in the context of UNESCO=92s World Logic Day, which wa= s proclaimed (last ... www.ucl.ac.uk Logical Journeys will consist of a keynote talk by Samson Abramsky and a di= scussion session on =93the many facets of logic=94 which will be led by a p= anel of researchers with different backgrounds but with logic as a central = pillar in their careers. Date: 14th January 2021. Start Time: 14h00 (UTC). End Time: 16h00 (UTC). The event will be hosted online, via Zoom. UCL uses third parties such as Zoom to administer virtual events and manage= your personal information on our behalf. If you are happy for us to proces= s your data solely for this purpose, please register for our webinar by cli= cking the booking link above. Outline of Programme * 14.00-15.00: Keynote talk by Prof. Samson Abramsky. * 15.00-15.30: Panelists' short talks/opinions about the discussion top= ics. * 15.30-16.00: Discussion amongst the panel members with questions from= the audience. Panel The panel will consist of researchers working in different areas where logi= c is applied: * Samson Abramsky (Oxford University): Logic, quantum, and program sema= ntics. * Robin Hirsch (University College London): Logic and mathematical foun= dations. * Nathan Klinedinst (University College London): Logic in linguistics. * Pasquale Minervini (University College London): Logic in machine lear= ning. * Lavinia Picollo (National University of Singapore/UCL): Philosophical= logic. * Alessandra Russo (Imperial College): Logic in symbolic reasoning. Discussion points 1- A CONTRARIAN =93EXPANSION=94 OF WORLD LOGIC DAY: THE WORLD IS NOISY AND = UNCERTAIN: HAS LOGIC HAD ITS DAY? The idea here is the challenge we currently see to logic in CS and AI comin= g from the rise in machine learning and probabilistic methods. Of course, w= e will all want to rebut this, but it might be fun to tension our positive = story against this challenge, rather than ignoring it! 2- EACH PANELIST'S PERSONAL JOURNEY INTO THE WORLD OF LOGIC: All panelists have experience in working with logic: some have enjoyed prov= ing theorems in and about it, some have used machine learning and neural ne= tworks to automate the proofs. Some panelists have used the logic in exotic= fields such as AI, linguistics, and philosophy. We would love to hear abou= t each and everyone's stories. Please note, this webinar is open to all, but is aimed at an academic audie= nce. Links on this page may lead to external sites. Visit UNESCO=92s World = Logic Day website for f= urther information about the initiative. --_000_AM6PR01MB5877D8FE57AE8B887BA8BBBEA9AE0AM6PR01MB5877eurp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable
Dear colleagues, 

We are organising a UNESCO World Logic Day (WLD) event in UCL, titled Lo= gical Journeys! Details are available on our website:

3D""
Logical Journeys is a one day event organised by Renato Neves, Mehrnoosh Sa= drzadeh, and Alexandra Silva (UCL) for discussing the past use of logic in = different domains and the challenges it faces from emerging paradigms, such= as machine learning, probabilistic, cyber-physical, and quantum computing. The event is framed in the context = of UNESCO=92s World Logic Day, which was proclaimed (last ...
www.ucl.ac.uk


Logical Journeys will consist of a keynote talk by Samson Abramsky a= nd a discussion session on =93the many facets of logic=94 which will be led= by a panel of researchers with different backgrounds but with logic as a c= entral pillar in their careers.

Date: 14th January 2021. Start Time: 14h00 (UTC). End Time: 16h00 (UTC).&nb= sp; 

The event will be hosted online, via Zoom.

UCL uses third parties such as Zoom to administer virtual events = and manage your personal information on our behalf. If you are happy for us= to process your data solely for this purpose, please register for our webi= nar by clicking the booking link above. 

Outline of Programme 

  • 14.00-15.00: Keynot= e talk by Prof. Samson Abramsky. 
  • 15.00-15.30: Panelists' short talks/opinions about = the discussion topics. 
  • 15.30-16.00: Discussion amongst the panel members with questi= ons from the audience. 

Panel

The panel will consist of researchers working in different areas where logi= c is applied: 

  • Samson Abramsky (Ox= ford University): Logic, quantum, and program semantics. 
  • Robin Hirsch (University Co= llege London): Logic and mathematical foundations. 
  • Nathan Klinedinst (University Col= lege London): Logic in linguistics. 
  • Pasquale Minervini (University College London): = Logic in machine learning. 
  • Lavinia Picollo (National University of Singapore/UCL): P= hilosophical logic. 
  • Alessandra Russo (Imperial College): Logic in symbolic reasoning= . 

Discussion points  

1- A CONTRARIAN =93EXPANSION=94 OF WORLD LOGIC DAY: THE WORLD IS NOISY AND = UNCERTAIN: HAS LOGIC HAD ITS DAY? 

The idea here is the challenge we currently see to logic in CS and AI comin= g from the rise in machine learning and probabilistic methods. Of course, w= e will all want to rebut this, but it might be fun to tension our positive = story against this challenge, rather than ignoring it! 

2- EACH PANELIST'S PERSONAL JOURNEY INTO THE WORLD OF LOGIC:  

All panelists have experience in working with logic: some have enjoyed prov= ing theorems in and about it, some have used machine learning and neural ne= tworks to automate the proofs. Some panelists have used the logic in exotic= fields such as AI, linguistics, and philosophy. We would love to hear about each and everyone's stories.&n= bsp;

Please note, this webinar is open to all, but is aimed at an academic audie= nce. Links on this page may lead to external sites. Visit UNESCO=92s World Logic Day website for further information abou= t the initiative.   


--_000_AM6PR01MB5877D8FE57AE8B887BA8BBBEA9AE0AM6PR01MB5877eurp_-- --===============9163202958056190722==--