From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10284 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Laura Pandolfo Newsgroups: gmane.science.mathematics.categories Subject: [Call for Participation] ICLP 2020 - The 36th International Conference on Logic Programming Date: Fri, 18 Sep 2020 08:12:24 +0200 Message-ID: Reply-To: Laura Pandolfo Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21680"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Sat Sep 19 16:27:47 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kJdq6-0005X2-2l for gsmc-categories@m.gmane-mx.org; Sat, 19 Sep 2020 16:27:46 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:37514) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kJdq2-0005Wy-4Z; Sat, 19 Sep 2020 11:27:42 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kJdnC-0001ND-EU for categories-list@rr.mta.ca; Sat, 19 Sep 2020 11:24:46 -0300 Content-Language: it Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10284 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *ICLP 2020 - The 36th International Conference on Logic Programming* *September 18 - September 25, 2020* University of Calabria, Rende, Italy https://iclp2020.unical.it =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Since the first conference held in Marseille in 1982, the *International=20 Conference on Logic Programming (ICLP)*=C2=A0has been the premier=20 international event for presenting research in logic programming. ****CONFERENCE ONLINE**** The conference general chairs together with the program chairs and the=20 ALP Executive, have decided to hold ICLP2020 as a fully virtual=20 conference on the original week (September 18-25, 2020). ****REGISTRATION**** (https://iclp2020.unical.it/registration) Registration is REQUIRED and covers the Main conference together with=20 all associated events, i.e., Workshops, Doctoral Consortium, and Autumn=20 School, whereas the Italian Conference in Computational Logic (CILC) is=20 a co-located event and, therefore, not included in the ICLP registration. ****PROGRAM**** (https://iclp2020.unical.it/program) The ICLP 2020 main conference and all the workshops will be held in a=20 virtual manner. The conference format is a mix of pre-recorded and=20 asynchronous talks, and live engagement such as Q&A sessions. Full details of the main conference program can be seen here:=20 https://iclp2020.unical.it/program ****INVITED SPEAKERS**** (https://iclp2020.unical.it/invited-speakers) We are happy to announce that invited speakers' events will be freely=20 accessible to all via live streaming at the following Facebook page:=20 https://fb.me/iclp2020conference. *Sep 20th, 2020 - _Francesca Rossi_=C2=A0(T.J. Watson IBM Research Lab, USA= )* Talk Title: "When Is It Morally Acceptable to Break the Rules? A=20 Preference-Based Approach" - This is the "EurAI talk" *Sep 21th, 2020 - _Esra Erdem_=C2=A0(Sabanci University, Turke)* Talk Title:=C2=A0 "Applications of Answer Set Programming where Theory meet= s=20 Practice" *Sep 22th, 2020 - _Joao Marquez-Silva_=C2=A0(ANITI, University of Toulouse,= =20 France)* Talk Title: =C2=A0 "Formal Reasoning Methods for Explainability in Machine= =20 Learning" *Sep 23th, 2020 - _Luc De Raedt_=C2=A0(KU Leuven, Belgium)* Talk Title: =C2=A0 "From Probabilistic Logics to Neuro-Symbolic Artificial= =20 Intelligence" *Sep 24th, 2020 - _Marina De Vos_=C2=A0(University of Bath, UK)* Talk Title: =C2=A0"Norms, Policy and Laws: Modelling, Compliance and=20 Violation" - This is the "Woman in LP Talk" /*All the invited talks will be held from 2:30 PM =E2=80=93 3:30 PM (CEST)/ ****ORGANIZATION**** *General Chairs:* *Sergio Greco, University of Calabria, Italy *Nicola Leone, University of Calabria, Italy *Program Chairs:* *Francesco Ricca, University of Calabria, Italy *Alessandra Russo, Imperial College London, UK *Organizing Chairs:* *Marco Calautti, University of Calabria, Italy *Carmine Dodaro, University of Calabria, Italy *Track Chairs:* *Alexander Artikis, University of Piraeus & NCSR Demokritos, Greece=20 (Applications Track) *Angelika Kimmig, Cardiff University, UK (Applications Track) *Gerhard Friedrich, Universit=C3=A4t Klagenfurt, Austria (Research Challeng= es=20 Track) *Fabrizio Riguzzi, Universit=C3=A0 di Ferrara, Italy (Research Challenges T= rack) *Paul Fodor, Stony Brook University, USA (Sister and Journal Track) *Marco Maratea, University of Genova, Italy (Sister and Journal Track) *Francesca Alessandra Lisi, University of Bari Aldo Moro, Italy (Women=20 in Logic Programming) *Alessandra Mileo, INSIGHT Centre for Data Analytics, Dublin City=20 University, Irland (Women in Logic Programming) *Workshop Chair:* *Martin Gebser, Universit=C3=A4t Klagenfurt, Austria *Publicity Chair:* *Laura Pandolfo, University of Sassari, Italy *Program Committee:* Mario Alviano, University of Calabria, Italy Nicos Angelopoulos, Wellcome Sanger Institute, UK Marcello Balduccini, Saint Joseph's University, USA Mutsunori Banbara, Nagoya University, Japan Chitta Baral, Arizona State University, USA Roman Bart=C3=A1k, Charles University, Czech Republic Christoph Benzm=C3=BCller, University of Luxembourg, Luxembourg Alex Brik, Google, USA Fran=C3=A7ois Bry, Ludwig Maximilian University of Munich, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Manuel Carro, Technical University of Madrid (UPM) and IMDEA Software=20 Institute, Spain Angelos Charalambidis, University of Athens, Greece Michael Codish, Ben-Gurion University of the Negev, Israel Stefania Costantini, University of Aquila, Italy Marc Denecker, Katholieke Universiteit Leuven, Belgium Mart=C3=ADn Di=C3=A9guez, University of Pau, France Carmine Dodaro, University of Calabria, Italy Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, Alpen-Adria-Universit=C3=A4t Klagenfurt, Austria Thom Fruehwirth, University of Ulm, Germany Marco Gavanelli, University of Ferrara, Italy Martin Gebser, Alpen-Adria-Universit=C3=A4t Klagenfurt, Austria Michael Gelfond, Texas Tech University, USA Laura Giordano, Universit=C3=A0 del Piemonte Orientale, Italy Gopal Gupta, University of Texas at Austin, USA Michael Hanus, CAU Kiel, Germany Manuel V. Hermenegildo, IMDEA Software Institute and Universidad=20 Polit=C3=A9cnica de Madrid, Spain Katsumi Inoue, National Institute of Informatics, Japan Tomi Janhunen, Tampere University, Finland Jianmin Ji, University of Science and Technology of China, China Nikos Katzouris, NCSR Demokritos, Greece Michael Kifer, Stony Brook University, USA Zeynep Kiziltan, University of Bologna, Italy Ekaterina Komendantskaya, Heriot-Watt University, UK Evelina Lamma, Universita di Ferrara, Italy Michael Leuschel, University of Dusseldorf, Germany Vladimir Lifschitz, The University of Texas at Austin, USA Francesca Alessandra Lisi, Universit=C3=A0 degli Studi di Bari "Aldo Moro",= Italy Yanhong A. Liu, Stony Brook University, USA Marco Maratea, University of Genova, Italy Viviana Mascardi, University of Genova, Italy Yunsong Meng, General Motors, USA Emilia Oikarinen, University of Helsinki, Finland Magdalena Ortiz, Vienna University of Technology, Austria Simona Perri, University of Calabria, Italy Enrico Pontelli, New Mexico State University, USA Ricardo Rocha, University of Porto, Portugal Fariba Sadri, Imperial College London, UK Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Konstantin Schekotihin, Alpen-Adria-Universit=C3=A4t Klagenfurt, Austria Tom Schrijvers, Katholieke Universiteit Leuven, Belgium Guillermo R. Simari, Universidad del Sur in Bahia Blanca, Argentina Tran Cao Son, New Mexico State University, USA Mohan Sridharan, University of Birmingham, UK Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal Paul Tarau, University of North Texas, Denton, USA Hans Tompits, Vienna University of Technology, Austria Francesca Toni, Imperial College London, UK Irina Trubitsyna, University of Calabria, DIMES Mirek Truszczynski, University of Kentucky, US German Vidal, Universitat Politecnica de Valencia, Spain Alicia Villanueva, Universitat Polit=C3=A8cnica de Val=C3=A8ncia, Spain David Warren, SUNY Stony Brook, USA Jan Wielemaker, Vrije Universiteit Amsterdam, Netherlands Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Shiqi Zhang, SUNY Binghamton, USA Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA --=20 -- *Dona il=C2=A0 5x1000* all'Universit=C3=A0 degli Studi di Sassaricodice fis= cale:=20 00196350904 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]