From MAILER-DAEMON Tue Jan 04 09:45:25 2022 Received: from list by lists.gnu.org with archive (Exim 4.90_1) id 1n4l41-0007VP-CZ for mharc-users-prolog@gnu.org; Tue, 04 Jan 2022 09:45:25 -0500 Received: from eggs.gnu.org ([209.51.188.92]:49508) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n4l3x-0007Uy-SY for users-prolog@gnu.org; Tue, 04 Jan 2022 09:45:23 -0500 Received: from [2a00:1450:4864:20::32d] (port=56092 helo=mail-wm1-x32d.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n4l3t-0002CH-AM for users-prolog@gnu.org; Tue, 04 Jan 2022 09:45:20 -0500 Received: by mail-wm1-x32d.google.com with SMTP id c66so23375509wma.5 for ; Tue, 04 Jan 2022 06:45:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=sender:from:content-transfer-encoding:mime-version:subject:date :references:to:in-reply-to:message-id; bh=GkqjoVGLl7lojSG1NFTca3hROkyn0NSu+urOhM/tvD4=; b=NF+d09Ex0bvzJ+l/fqbxY4fwYE33dwTL8wPuJ9uCoedujaUq2EYY7f440gx1fLNcsv Jb4xQ3EeeRL0SZS6+WoH+yByxPiQyEE+e57OKBUWiezorGct4ZEHO16ZirqBa2ZeWTDW tpLpBd4lUbkLH4YA3RlwL8uWRZQ404B+VSytbc/Ib9PdDSgjzZxoi6JDC9bwO7O5k3h+ CsztoLvCvrWzOnUaSDz8yf0wlvs4mpcsk21fu09qMVlGJ+9uksa6xdKdhp2QVCiuIbiS gyhiHSDpW72jGN3Lnv1Ck81JKrtekBDrJ7carPXF50kHtJD7+bjdQiLQtPVafHPCITl2 af3g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:sender:from:content-transfer-encoding :mime-version:subject:date:references:to:in-reply-to:message-id; bh=GkqjoVGLl7lojSG1NFTca3hROkyn0NSu+urOhM/tvD4=; b=ANstGz8KtAo7lZ4LMIXF7e+nVSqmJCCzHy9ohgrMoGMCWGJdYejOq20q01lRZakFzG 2fahA++SQFff0+AeEM3EHKsFWA9jCTp3JT/ZtmqN1fPkuE/2oMZaJjXVmqoO5j+ORGZo H+Zh7cQ1X/Xm6luezQjK58G2qhLB9CVJEpEAQQ/tppBabnYOErj/54mepi1xI1yWyRd4 +6d2mqM5SeUwC3KAQvuVQ8iI9JNtH2NyN95RtEr/CQSy1TGbsDneH3neVPzRimzZIn0q WsFQsP7fZT5COk24kTXnml0rtAkkJTjzYJB+2Sl2sdabi2AcnMpZMMXEfiO31qWZbmca AJdg== X-Gm-Message-State: AOAM532GoSFWrEzLze7FYzD36BDkPuc/Bf1PuaqjHI7SBsdkemuLgNd7 9LnKj3K9rbwFrSRfhRE5ytM2zGkIlrU= X-Google-Smtp-Source: ABdhPJzk6uq8mqJcXqOExllthd77x2PaL+/DsOXyxezpKhrIdkNZDkpD6rb9kKGS8Kd9yWcN1YpAqQ== X-Received: by 2002:a05:600c:3546:: with SMTP id i6mr43655088wmq.88.1641307514733; Tue, 04 Jan 2022 06:45:14 -0800 (PST) Received: from smtpclient.apple ([2a01:e0a:992:24e0:398b:22ed:27f8:b469]) by smtp.gmail.com with ESMTPSA id k10sm19259300wrz.113.2022.01.04.06.45.14 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 04 Jan 2022 06:45:14 -0800 (PST) Sender: =?UTF-8?Q?Ivan_Jos=C3=A9_Varzinczak?= From: =?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.40.0.1.81\)) Subject: FoIKS 2022 third call for papers Date: Tue, 4 Jan 2022 15:45:13 +0100 References: <142396FD-F53A-4FAA-A3D4-B0D6C9B02B9D@acm.org> <26FBF3F2-E46F-469E-808E-121942C3383D@acm.org> To: users-prolog@gnu.org In-Reply-To: <26FBF3F2-E46F-469E-808E-121942C3383D@acm.org> Message-Id: <40058B9D-78EF-4F7D-BC38-1DED5F9B0952@acm.org> X-Mailer: Apple Mail (2.3693.40.0.1.81) X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::32d (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::32d; envelope-from=varzinczak@gmail.com; helo=mail-wm1-x32d.google.com X-Spam_score_int: 12 X-Spam_score: 1.2 X-Spam_bar: + X-Spam_report: (1.2 / 5.0 requ) DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FORGED_FROMDOMAIN=0.249, FREEMAIL_FROM=0.001, HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: users-prolog@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU implementation of Prolog List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 04 Jan 2022 14:45:23 -0000 * Apologies if you receive multiple copies of this call * =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=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D Call for Papers FoIKS 2022: 12th International Symposium on Foundations of Information = and Knowledge Systems University of Helsinki, Finland, 20-23 June 2022 Conference website: https://foiks2022.github.io Submission link: https://easychair.org/conferences/?conf=3Dfoiks2022=20 Abstract submission deadline: 18 February 2022 Paper submission deadline: 25 February 2022 Notification: 25 April 2022 Camera-ready version: 20 May 2022 =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=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D The FoIKS symposia provide a biennial forum for presenting and = discussing theoretical and applied research on information and knowledge = systems. The goal is to bring together researchers with an interest in = this subject, share research experiences, promote collaboration, and = identify new issues and directions for future research. FoIKS 2022 solicits original contributions (as well as extensions of = previously published contributions) dealing with any foundational aspect = of information and knowledge systems. This includes submissions that = apply ideas, theories or methods from specific disciplines to = information and knowledge systems. Examples of such disciplines are = discrete mathematics, logic and algebra, model theory, information = theory, complexity theory, algorithmics and computation, statistics, and = optimisation, among, of course, many others. The FoIKS symposia are a forum for intensive discussions. Speakers will = be given sufficient time to present their ideas and results within the = larger context of their research. Furthermore, participants will be = asked to prepare a first response to another contribution in order to = initiate discussion. *** Suggested topics The suggested topics include, but are not limited to: * Database design: formal models, dependencies and independencies * Big data: models for data in the Cloud, programming languages for big = data, query processing * Dynamics of information: models of transactions, concurrency control, = updates, consistency preservation, belief revision * Information fusion: heterogeneity, views, schema dominance, multiple = source information merging, reasoning under inconsistency * Integrity and constraint management: verification, validation, = consistent query answering, information cleaning * Intelligent agents: multi-agent systems, autonomous agents, = foundations of software agents, cooperative agents, formal models of = interactions, negotiations and dialogue, logical models of emotions * Knowledge discovery and information retrieval: machine learning, data = mining, formal concept analysis and association rules, text mining, = information extraction * Knowledge representation, reasoning and planning: non-monotonic = formalisms, probabilistic and non-probabilistic models of uncertainty, = graphical models and independence, similarity-based reasoning, = preference modelling and handling, computational models of argument, = argumentation systems * Logics in databases and AI: classical and non-classical logics, logic = programming, description logics, spatial and temporal logics, = probability logic, fuzzy logic * Mathematical foundations: discrete structures and algorithms, graphs, = grammars, automata, abstract machines, finite model theory, information = theory, coding theory, complexity theory, randomness * Security in information and knowledge systems: identity thee, privacy, = trust, intrusion detection, access control, inference control, secure = Web services, secure Semantic Web, risk management * Semi-structured data and XML: data modelling, data processing, data = compression, data exchange * Social computing: collective intelligence and self-organising = knowledge, collaborative filtering, computational social choice, Boolean = games, coalition formation, reputation systems * The Semantic Web and knowledge management: languages, ontologies, = agents, adaption, intelligent algorithms, ontology-based data access * The WWW: models of Web databases, Web dynamics, Web services, Web = transactions and negotiations, social networks, Web mining *** Submission Guidelines For long papers, the suggested number of pages is 16, and the maximum = number of pages is 18. For short papers, the maximum number of pages is = 10. All papers must be original and not simultaneously submitted to = another journal or conference. Papers must be typeset using the Springer = LaTeX2e style llncs for Lecture Notes in Computer Science. Submissions = that deviate substantially from these guidelines may be rejected without = review. Initial submissions must be in PDF format, but authors should = keep in mind that the LaTeX2e source must be submitted for the final = versions of accepted papers. Submissions in alternate formats, such as = Microsoft Word, cannot be accepted for either initial or final versions. = The submissions will be judged for scientific quality and for = suitability as a basis for broader discussion. Submission is via the EasyChair link = https://easychair.org/conferences/?conf=3Dfoiks2022=20 *** Important Dates Abstract submission deadline (long and short papers): 18 February 2022 Paper submission deadline (long and short papers): 25 February 2022 Author notification: 25 April 2022 Camera-ready paper due: 20 May 2022 FoIKS 2022 Symposium: 20-23 June 2022 *** Program Committee See https://foiks2022.github.io *** Program Chairs Elena Ravve, SE Department, Ort Braude College, Israel Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France *** Local Organisation Chairs Matti J=C3=A4rvisalo, University of Helsinki, Finland Juha Kontinen, University of Helsinki, Finland *** Invited Speakers TBA *** Publication The proceedings will be published by Springer-Verlag in the Lecture = Notes in Computer Science. After the symposium, authors of selected = papers will be invited to submit extended journal versions of their = papers for a FoIKS 2022 special issue of the Annals of Mathematics and = Artificial Intelligence or another journal. Exact details will be = provided on the conference website in due time. *** Venue The conference will be held at the University of Helsinki. Further = information on the venue will be provided in due time. *** Further Information Please visit the conference website (https://foiks2022.github.io) for = further information and regular updates. *** Contact All enquiries should be emailed to foiks2022 (AT) easychair.org -- Ivan Varzinczak - https://www.ijv.ovh CRIL, Universit=C3=A9 d'Artois & CNRS, France From MAILER-DAEMON Thu Jan 13 12:22:00 2022 Received: from list by lists.gnu.org with archive (Exim 4.90_1) id 1n83nT-0006Ku-UQ for mharc-users-prolog@gnu.org; Thu, 13 Jan 2022 12:21:59 -0500 Received: from eggs.gnu.org ([209.51.188.92]:54556) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n83nR-0006D0-FG for users-prolog@gnu.org; Thu, 13 Jan 2022 12:21:57 -0500 Received: from ml.mat.unical.it ([160.97.62.2]:58548) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n83nN-0000gU-GR for users-prolog@gnu.org; Thu, 13 Jan 2022 12:21:57 -0500 Received: from localhost (ml [127.0.0.1]) by ml.mat.unical.it (Postfix) with ESMTP id 5B41A18D0229; Thu, 13 Jan 2022 18:21:26 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mat.unical.it Received: from ml.mat.unical.it ([127.0.0.1]) by localhost (ml.mat.unical.it [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id EsUWwVPEgjmG; Thu, 13 Jan 2022 18:21:26 +0100 (CET) Received: from www.mat.unical.it (sv.mat.unical.it [160.97.62.1]) (Authenticated sender: cfp) by ml.mat.unical.it (Postfix) with ESMTPSA id 4543418D021F; Thu, 13 Jan 2022 18:21:00 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=mat.unical.it; s=mail; t=1642094460; bh=xcTkZOgk68k2oqGfbSuFdBvG2yvTc8j+0i9rFokNx2Y=; h=Date:Subject:From:To:From; b=qcvQOVsuIBiBP1VdCFZ1TZ6y+dVra1tl5REJj3B9wEv82dR5IeAi2V5L49AQgnC9C B7vQ/VTVIsDgOwvY0Dt47DPeeti0suOdKT+CaYe0YxDcbAPzJAanfAebh9vXHpGHSo dNXvkLjZutv7FIcIH3frIS485l36U69Fvr4EpWQU= Received: from 93.45.53.233 (SquirrelMail authenticated user cfp) by www.mat.unical.it with HTTP; Thu, 13 Jan 2022 18:20:59 +0100 Message-ID: <4c0355eae382ab835076bd8bd5e40804.squirrel@www.mat.unical.it> Date: Thu, 13 Jan 2022 18:20:59 +0100 Subject: LPNMR 2022 - Call for Papers From: cfp@mat.unical.it To: cfp@mat.unical.it User-Agent: SquirrelMail/1.4.23 [SVN] MIME-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal Received-SPF: pass client-ip=160.97.62.2; envelope-from=cfp@mat.unical.it; helo=ml.mat.unical.it X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: users-prolog@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU implementation of Prolog List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 13 Jan 2022 17:21:58 -0000 [Apologies in case of multiple posting] Call for Papers ----------------------------------------------------------------------- 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022 https://sites.google.com/view/lpnmr2022 Genova, Italy September 5-8, 2022 ----------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION AND PUBLICATION LPNMR 2022 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2022 Easychair site: https://easychair.org/conferences/?conf=lpnmr2022 The two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the 2-5 best papers with a logic programming focus will be invited for rapid publication in the journal of Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2022 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW: https://sites.google.com/view/lpnmr2022 Email: lpnmr2022@easychair.org((program) lpnmr2022@dibris.unige.it (general matters) Facebook: https://www.facebook.com/lpnmr2022 Twitter: https://twitter.com/lpnmr2022 Instagram: https://www.instagram.com/lpnmr2022 IMPORTANT DATES * Paper registration: April 23, 2022 * Paper submission: April 30, 2022 * Notification: June 10, 2022 * Final versions due: June 30, 2022 VENUE The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Associated events (workshops) are planned to be held at the University, which is in the city center of Genova. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR Georg Gottlob, Oxford University, UK PROGRAM CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, University of Genova, Italy PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION Matteo Cardellini, University of Genova, Italy Angelo Ferrando, University of Genova, Italy (Chair) Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE (TBD) From MAILER-DAEMON Tue Jan 18 11:48:47 2022 Received: from list by lists.gnu.org with archive (Exim 4.90_1) id 1n9rf4-0002gu-Tg for mharc-users-prolog@gnu.org; Tue, 18 Jan 2022 11:48:47 -0500 Received: from eggs.gnu.org ([209.51.188.92]:42744) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n9rf4-0002dn-3Z for users-prolog@gnu.org; Tue, 18 Jan 2022 11:48:46 -0500 Received: from armistead.cs.miami.edu ([192.31.89.6]:42496 helo=armistead.ccs.miami.edu) by eggs.gnu.org with smtp (Exim 4.90_1) (envelope-from ) id 1n9rf2-0007tN-7R for users-prolog@gnu.org; Tue, 18 Jan 2022 11:48:45 -0500 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id CB34EA050BF; Tue, 18 Jan 2022 11:47:24 -0500 (EST) Subject: 2022 Alonzo Church Award: Call for Nominations To: X-Mailer: mail (GNU Mailutils 3.7) Message-Id: <20220118164724.CB34EA050BF@armistead.ccs.miami.edu> Date: Tue, 18 Jan 2022 11:47:24 -0500 (EST) From: geoff@cs.miami.edu Received-SPF: softfail client-ip=192.31.89.6; envelope-from=geoff@cs.miami.edu; helo=armistead.ccs.miami.edu X-Spam_score_int: -8 X-Spam_score: -0.9 X-Spam_bar: / X-Spam_report: (-0.9 / 5.0 requ) BAYES_00=-1.9, KHOP_HELO_FCRDNS=0.322, LOTTO_DEPT=0.001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_SOFTFAIL=0.665 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: users-prolog@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU implementation of Prolog List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 18 Jan 2022 16:48:46 -0000 CALL FOR NOMINATIONS The 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Goedel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see https://siglog.org/alonzo-church-award/, https://www.eatcs.org/index.php/church-award/, and https://www.eacsl.org/alonzo-church-award/ . The 2021 Alonzo Church Award was given jointly to Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin and Klaus U. Schulz for their ground- breaking work on logic-based web-data extraction, and querying tree-structured data. Lists containing this and all previous winners can be found through the links above. ELIGIBILITY AND NOMINATIONS The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2022 award, the cut-off date is January 1, 1997. When a paper has appeared in a conference and then in a journal, the date of the journal publication will determine the cut-off date. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Goedel Prize. (The nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference. Nominations for the 2022 award are now being solicited. The nominating letter must summarize the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self- nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. Nominations should be submitted to rjagadee@depaul.edu by April 2, 2022. PRESENTATION OF THE AWARD The 2022 award will be presented at the Federated Logic Conference 2022, which is scheduled to take place in Haifa, Israel in July/August 2022. The award will be accompanied by an invited lecture by the award winner, or by one of the award winners. The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared. AWARD COMMITTEE The 2022 Alonzo Church Award Committee consists of the following five members: Thomas Colcombet, Mariangiola Dezani, Javier Esparza, Radha Jagadeesan (chair), and Igor Walukiewicz. From MAILER-DAEMON Thu Jan 20 11:41:17 2022 Received: from list by lists.gnu.org with archive (Exim 4.90_1) id 1nAaUu-0001jS-Jb for mharc-users-prolog@gnu.org; Thu, 20 Jan 2022 11:41:17 -0500 Received: from eggs.gnu.org ([209.51.188.92]:44336) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nAaUj-0001ej-BJ for users-prolog@gnu.org; Thu, 20 Jan 2022 11:41:06 -0500 Received: from armistead.cs.miami.edu ([192.31.89.6]:53574 helo=armistead.ccs.miami.edu) by eggs.gnu.org with smtp (Exim 4.90_1) (envelope-from ) id 1nAaUd-0005vG-Pi for users-prolog@gnu.org; Thu, 20 Jan 2022 11:41:00 -0500 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id 8E6F2A050C1; Thu, 20 Jan 2022 11:39:47 -0500 (EST) Subject: FLAIRS conference (on the beach, in the sunshine) extended deadline To: X-Mailer: mail (GNU Mailutils 3.7) Message-Id: <20220120163947.8E6F2A050C1@armistead.ccs.miami.edu> Date: Thu, 20 Jan 2022 11:39:47 -0500 (EST) From: geoff@cs.miami.edu Received-SPF: softfail client-ip=192.31.89.6; envelope-from=geoff@cs.miami.edu; helo=armistead.ccs.miami.edu X-Spam_score_int: 5 X-Spam_score: 0.5 X-Spam_bar: / X-Spam_report: (0.5 / 5.0 requ) BAYES_05=-0.5, KHOP_HELO_FCRDNS=0.318, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_SOFTFAIL=0.665 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: users-prolog@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU implementation of Prolog List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 20 Jan 2022 16:41:08 -0000 The Florida AI Research Society conference for 2022, FLAIRS-35, has extended it's deadlines ... February 7, 2022 - Paper abstract submission deadline February 14, 2022 - Paper submission deadline Come join FLAIRS for a week on the beach in the Florida sunshine (online if necessary - sand, sea, and sun all transmit quite well on the internet!). See the details at ... https://www.flairs-35.info From MAILER-DAEMON Thu Jan 20 17:10:52 2022 Received: from list by lists.gnu.org with archive (Exim 4.90_1) id 1nAfds-00038K-I6 for mharc-users-prolog@gnu.org; Thu, 20 Jan 2022 17:10:52 -0500 Received: from eggs.gnu.org ([209.51.188.92]:42286) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nAfdr-000354-EC for users-prolog@gnu.org; Thu, 20 Jan 2022 17:10:51 -0500 Received: from cyan.elm.relay.mailchannels.net ([23.83.212.47]:15296) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nAfdo-0001F7-RX for users-prolog@gnu.org; Thu, 20 Jan 2022 17:10:50 -0500 X-Sender-Id: dreamhost|x-authsender|pmoura@logtalk.org Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id EBF402C110F; Thu, 20 Jan 2022 22:10:44 +0000 (UTC) Received: from pdx1-sub0-mail-a301.dreamhost.com (unknown [127.0.0.6]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id 36B392C0F70; Thu, 20 Jan 2022 22:10:44 +0000 (UTC) X-Sender-Id: dreamhost|x-authsender|pmoura@logtalk.org Received: from pdx1-sub0-mail-a301.dreamhost.com (pop.dreamhost.com [64.90.62.162]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.96.96.32 (trex/6.4.3); Thu, 20 Jan 2022 22:10:44 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: dreamhost|x-authsender|pmoura@logtalk.org X-MailChannels-Auth-Id: dreamhost X-Plucky-Glossy: 17bd6e401aef35a8_1642716644556_2639456734 X-MC-Loop-Signature: 1642716644556:4294126346 X-MC-Ingress-Time: 1642716644555 Received: from smtpclient.apple (bl23-52-53.dsl.telepac.pt [144.64.52.53]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: pmoura@logtalk.org) by pdx1-sub0-mail-a301.dreamhost.com (Postfix) with ESMTPSA id 4JfxXg2vdBz1N7; Thu, 20 Jan 2022 14:10:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=logtalk.org; s=logtalk.org; t=1642716643; bh=Zh1XKM8ADh+WBppO/+9lLQC3r8w=; h=From:Content-Type:Content-Transfer-Encoding:Date:Subject:To; b=mqSjmSQL014qM/RPv3krEqfArXbHzI3RPe3rTw8a785vOt7/0EoWw0gD/hzV4JUbb TB4jTR2bnzKwMNGwrWLHn02kEtbCC+DjfdmIW9iwr2LyofvpLm+DwxzUJJUxbzNru4 DJWMEiQiFZqVslAxY/KFZ0/zmItHP334oZdy3soI= From: Paulo Moura Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.40.0.1.81\)) Date: Thu, 20 Jan 2022 22:10:42 +0000 Subject: Logtalk 3.53.0 released Message-Id: <906E455B-11DB-4C86-93D7-CD01CB26E44B@logtalk.org> To: "users-prolog@gnu.org mailling list" X-Mailer: Apple Mail (2.3693.40.0.1.81) Received-SPF: pass client-ip=23.83.212.47; envelope-from=pmoura@logtalk.org; helo=cyan.elm.relay.mailchannels.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: users-prolog@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU implementation of Prolog List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 20 Jan 2022 22:10:51 -0000 Hi, Logtalk 3.53.0 is now available for downloading at: https://logtalk.org/ This release includes a new developer tool, "issue_creator", for = automatically creating bug report issues for failed tests in GitHub or = GitLab servers; adds support for using object aliases in the message = delegation control construct; adds a Handbook section on calling Prolog = foreign predicates; includes documentation fixes and improvements; adds = new predicates to the "options" library; fixes a bug in the "intervals" = library; updates the "logtalk_tester" automation script to use the new = "issue_creator" tool; includes improvements to the "packs" tool; updates = the "metagol" port; adds new test sets and tests for Prolog standards = compliance; updates support for a new version of the Visual Studio Code = text editor Logtalk plug-in; and includes portability updates for Ciao = Prolog, GNU Prolog, LVM, SICStus Prolog, SWI-Prolog, Trealla Prolog, and = YAP. For details and a complete list of changes, please consult the release = notes at: https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md You can show your support for Logtalk continued development and success = at GitHub by giving us a star and a symbolic sponsorship: https://github.com/LogtalkDotOrg/logtalk3 Happy logtalking! Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer From MAILER-DAEMON Thu Jan 27 06:23:53 2022 Received: from list by lists.gnu.org with archive (Exim 4.90_1) id 1nD2sb-0007Jx-Du for mharc-users-prolog@gnu.org; Thu, 27 Jan 2022 06:23:53 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41884) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nD2sa-0007Gs-EZ for users-prolog@gnu.org; Thu, 27 Jan 2022 06:23:52 -0500 Received: from ml.mat.unical.it ([160.97.62.2]:44283) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nD2sW-0007q6-MD for users-prolog@gnu.org; Thu, 27 Jan 2022 06:23:51 -0500 Received: from localhost (ml [127.0.0.1]) by ml.mat.unical.it (Postfix) with ESMTP id 649963568001; Thu, 27 Jan 2022 12:23:44 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mat.unical.it Received: from ml.mat.unical.it ([127.0.0.1]) by localhost (ml.mat.unical.it [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 31D8XQUOvQC5; Thu, 27 Jan 2022 12:23:44 +0100 (CET) Received: from [192.168.26.4] (unknown [37.162.144.229]) (Authenticated sender: zangari) by ml.mat.unical.it (Postfix) with ESMTPSA id 2FF2C18D0179; Thu, 27 Jan 2022 12:23:40 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=mat.unical.it; s=mail; t=1643282624; bh=5L187+qA5z5AnGa5czXYL3m1TNoGaeFkoT45lco7k0g=; h=Date:Subject:References:To:From:In-Reply-To:From; b=vCwJlorGUr+f+bUK35UheBkrNY23blLkm1t1ztXK5kTbPh40LY6RyETG541GA04M0 doXM/noPeUMhKZ4OlmTPzMhOgxeB2hJNlraf1g94G0e16EBlyd4PvMpyr8oOylSp/x wYbsxVXjlX+U7KS01Rv319DFMfQKxh8L8oPsWz4k= Content-Type: multipart/alternative; boundary="------------fqZcLCZ4FnNhyhLUbwQSobKm" Message-ID: Date: Thu, 27 Jan 2022 12:23:38 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 Subject: LPNMR 2022 - Call for Workshops Content-Language: en-GB References: <9d24b294-2f3e-7cb4-b125-5d537b157ec2@mat.unical.it> To: cfp@mat.unical.it From: cfp In-Reply-To: <9d24b294-2f3e-7cb4-b125-5d537b157ec2@mat.unical.it> X-Forwarded-Message-Id: <9d24b294-2f3e-7cb4-b125-5d537b157ec2@mat.unical.it> Received-SPF: pass client-ip=160.97.62.2; envelope-from=cfp@mat.unical.it; helo=ml.mat.unical.it X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: users-prolog@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU implementation of Prolog List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 27 Jan 2022 11:23:52 -0000 This is a multi-part message in MIME format. --------------fqZcLCZ4FnNhyhLUbwQSobKm Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] ---------------------------------------------------------------------------                             CALL FOR WORKSHOPS                        16th International Conference on                 Logic Programming and Non-monotonic Reasoning                                LPNMR 2022 https://sites.google.com/view/lpnmr2022                              Genova, Italy                           September 5-8, 2022 --------------------------------------------------------------------------- The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) will be held in Genova, Italy. The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics. Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributes. Workshops will likely be half-day or one-day in duration, but we may consider longer programs. DATES    * Workshop proposals submissions: February 25th, 2022    * Workshop proposals notifications: March 7th, 2022    * Workshop program: September 5th, 2022 (tentative date) SUBMISSION  Proposals must be submitted via EasyChair: https://easychair.org/my/conference?conf=lpnmrws2022  Proposals should clearly specify the following:    * Workshop title and acronym    * A brief description, emphasizing why this workshop would appeal to      audiences from LPNMR    * A list of organizers with email addresses, web page URLs, and a short      description of their experience in organizing events    * A short description of the format of planned activities (talks, posters,      panels, invited speakers if any, etc.)    * The proposed duration (half day, one day, etc.)    * A description of the history of the workshop (if any)    * Expected number of participants VENUE Workshops are planned to be held at the University, which is in the city center of Genova. Genova is the capital of Liguria, stretching along the bay of Genova from Nervi to the east as far as Voltri to the west. Its old town district is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. GENERAL CHAIR  Georg Gottlob, Oxford University, UK PROGRAM CHAIRS  Daniela Inclezan, Miami University, USA  Marco Maratea, University of Genova, Italy PUBLICITY CHAIR  Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR  Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR  Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION  Matteo Cardellini, University of Genova, Italy  Angelo Ferrando, University of Genova, Italy (Chair)  Marco Mochi, University of Genova, Italy CONTACT  For any details on workshops, please contact the Workshop Chair: viviana.mascardi@unige.it --------------fqZcLCZ4FnNhyhLUbwQSobKm Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit
[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]

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

                            CALL FOR WORKSHOPS

                       16th International Conference on
                Logic Programming and Non-monotonic Reasoning

                               LPNMR 2022

                  https://sites.google.com/view/lpnmr2022

                             Genova, Italy

                          September 5-8, 2022


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


The 16th International Conference on Logic Programming and Non-monotonic
Reasoning (LPNMR 2022) will be held in Genova, Italy.

The objective of the LPNMR workshop program is to stimulate the discussion
and the exchange of ideas on topics related, but not limited, to declarative
logic programming, non-monotonic reasoning, and knowledge representation. We
aim at creating a forum where researchers from a broad spectrum of disciplines
may interact and have an opportunity to promote collaboration and identify
directions for joint future research. Accordingly, we solicit workshop
proposals on theoretical and applied research topics.

Workshop proposals should explain and motivate the topic of the workshop, and
discuss the format of presentation of the contributes. Workshops will likely
be half-day or one-day in duration, but we may consider longer programs.


DATES

   * Workshop proposals submissions: February 25th, 2022
   * Workshop proposals notifications: March 7th, 2022
   * Workshop program: September 5th, 2022 (tentative date) 


SUBMISSION

 Proposals must be submitted via EasyChair:

    https://easychair.org/my/conference?conf=lpnmrws2022


 Proposals should clearly specify the following:

   * Workshop title and acronym
   * A brief description, emphasizing why this workshop would appeal to
     audiences from LPNMR
   * A list of organizers with email addresses, web page URLs, and a short 
     description of their experience in organizing events
   * A short description of the format of planned activities (talks, posters,
     panels, invited speakers if any, etc.)
   * The proposed duration (half day, one day, etc.)
   * A description of the history of the workshop (if any)
   * Expected number of participants


VENUE

Workshops are planned to be held at the University, which is in the city 
center of Genova.

Genova is the capital of Liguria, stretching along the bay of Genova
from Nervi to the east as far as Voltri to the west. Its old town district 
is one of the largest in Europe, and hosts some remarkable artistic and
architectural treasures, including the Palazzi dei Rolli, fifty or so
homes of the aristocracy entered on the UNESCO World Heritage List. In
addition to offering a wealth of cultural attractions, Genova is a
fascinating destination for tourists, with its scenic vantage points,
sea promenades, aristocratic villas and of course the Riviera to the
east and west, both easy to reach: Portovenere and Le Cinque Terre (also
UNESCO World Heritage Sites), Portofino and Camogli to the east and
Alassio, Sanremo, Bordighera to the west.

The main conference will take place in Genova Nervi, Italy, in the
Collegio Emiliani (http://www.collegioemiliani.it/, information
available only in Italian on this link), which is a college directly
situated on the sea. Nervi is a former fishing village, now a suburb of
Genoa. Nervi is 7 km east of central Genova. 

Of course, we will continuously monitor the pandemic situation in order
to evaluate whether the conference can be indeed held as an in-person
event, or we will need to switch to a hybrid event, if not completely
on-line. 


GENERAL CHAIR

 Georg Gottlob, Oxford University, UK


PROGRAM CHAIRS

 Daniela Inclezan, Miami University, USA
 Marco Maratea, University of Genova, Italy


PUBLICITY CHAIR

 Jessica Zangari, University of Calabria, Italy


WORKSHOPS CHAIR

 Viviana Mascardi, University of Genova, Italy


DOCTORAL CONSORTIUM CHAIR

 Martin Gebser, University of Klagenfurt, Austria


LOCAL ORGANIZATION

 Matteo Cardellini, University of Genova, Italy
 Angelo Ferrando, University of Genova, Italy (Chair)
 Marco Mochi, University of Genova, Italy 


CONTACT

 For any details on workshops, please contact the Workshop Chair:
 viviana.mascardi@unige.it
    
  


--------------fqZcLCZ4FnNhyhLUbwQSobKm-- From MAILER-DAEMON Mon Jan 31 10:04:54 2022 Received: from list by lists.gnu.org with archive (Exim 4.90_1) id 1nEYEc-0008Ep-1C for mharc-users-prolog@gnu.org; Mon, 31 Jan 2022 10:04:53 -0500 Received: from eggs.gnu.org ([209.51.188.92]:37594) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nEYEY-0008Dc-MI for users-prolog@gnu.org; Mon, 31 Jan 2022 10:04:47 -0500 Received: from armistead.cs.miami.edu ([192.31.89.6]:38154 helo=armistead.ccs.miami.edu) by eggs.gnu.org with smtp (Exim 4.90_1) (envelope-from ) id 1nEYEV-0001n7-O0 for users-prolog@gnu.org; Mon, 31 Jan 2022 10:04:46 -0500 Received: by armistead.ccs.miami.edu (Postfix, from userid 3640) id CFD3BA04CC7; Mon, 31 Jan 2022 10:03:34 -0500 (EST) Subject: IJCAR 2022 - Call for Papers To: X-Mailer: mail (GNU Mailutils 3.7) Message-Id: <20220131150334.CFD3BA04CC7@armistead.ccs.miami.edu> Date: Mon, 31 Jan 2022 10:03:34 -0500 (EST) From: geoff@cs.miami.edu Received-SPF: softfail client-ip=192.31.89.6; envelope-from=geoff@cs.miami.edu; helo=armistead.ccs.miami.edu X-Spam_score_int: 1 X-Spam_score: 0.1 X-Spam_bar: / X-Spam_report: (0.1 / 5.0 requ) BAYES_00=-1.9, KHOP_HELO_FCRDNS=0.369, PP_MIME_FAKE_ASCII_TEXT=0.998, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_SOFTFAIL=0.665, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: users-prolog@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU implementation of Prolog List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 31 Jan 2022 15:04:47 -0000 IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2022 is the 11th edition of IJCAR. It will be held in Haifa (Israel), August 7-12, 2022, as part of FLoC 2022. IJCAR 2022 is the merger conference of the following leading events in automated reasoning: + CADE (Conference on Automated Deduction) + FroCoS (Symposium on Frontiers of Combining Systems) + TABLEAUX (Conference on Analytic Tableaux and Related Methods) For more details about the conference, venue and organization, see the conference webpage: https://easychair.org/smart-program/FLoC2022/IJCAR-index.html *** Submission Guidelines IJCAR 2022 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: + Regular papers describing solid new research results. They can be up to 16 pages long, including figures but excluding references and appendices. Where applicable, regular papers are supported by experimental validation. Submissions reporting on case studies in an industrial context are strongly invited as regular papers, and should describe details, weaknesses and strength in sufficient depth. + System description papers describing implementations of systems, reporting on novel features and experiments with implemented systems. System description papers can be up to 7 pages long, including figures but excluding references and appendices. System description papers should also be supported by a link to the artifact/experimental evaluation available to the reviewers. Each of these papers should mention the phrase "(system description)" beneath the title. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Both types of papers must be formatted using the Springer LNCS styles and submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=ijcar2022 Authors of accepted papers are required to ensure that at least one of them will present the paper at the conference. IJCAR 2022 proceedings will be published in the Springer LNCS series. Springer encourages authors to include their ORCIDs in their papers. *** List of Topics + Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory. + Methods of interest include: tableaux, sequent calculi, resolution, model- elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, integration of proof assistants with automated provers and other symbolic tools, etc. + Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, education, formalization of mathematics etc. *** Program Committee Jasmin Blanchette (Vrije Universiteit Amsterdam) - chair Laura Kovacs (Vienna University of Technology) - chair Dirk Pattinson (The Australian National University) - chair Erika Abraham (RWTH Aachen University) Carlos Areces (FaMAF - Universidad Nacional de Córdoba) Bernhard Beckert (Karlsruhe Institute of Technology) Alexander Bentkamp (Vrije Universiteit Amsterdam) Armin Biere (Albert-Ludwigs-Universität Freiburg) Nikolaj Bjørner (Microsoft) Frédéric Blanqui (INRIA) Maria Paola Bonacina (Università degli Studi di Verona) Kaustuv Chaudhuri (INRIA) Agata Ciabattoni (Vienna University of Technology) Stéphane Demri (CNRS, LMF, ENS Paris-Saclay) Clare Dixon (University of Manchester) Huimin Dong (Sun Yat-Sen University) Katalin Fazekas (TU Wien) Mathias Fleury (University of Freiburg) Pascal Fontaine (Université de Liège, Belgium) Nathan Fulton Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di Milano) Jürgen Giesl (RWTH Aachen University) Rajeev Gore (The Australian National University) Marijn Heule (Carnegie Mellon University) Radu Iosif (Verimag, CNRS, University of Grenoble Alpes) Mikolas Janota (Czech Technical University in Prague) Moa Johansson (Chalmers University of Technology) Cezary Kaliszyk (University of Innsbruck) Orna Kupferman (Hebrew University) Cláudia Nalon (University of Brasília) Vivek Nigam (Huawei ERC) Tobias Nipkow (Technical University of Munich) Jens Otten (University of Oslo) Nicolas Peltier (CNRS - LIG) Brigitte Pientka (McGill University) Elaine Pimentel (UFRN) André Platzer (Carnegie Mellon University) Giles Reger (Amazon Web Services and The University of Manchester) Andrew Reynolds (University of Iowa) Simon Robillard (Université de Montpellier) Albert Rubio (Universidad Complutense de Madrid) Philipp Ruemmer (Uppsala University) Renate A. Schmidt (The University of Manchester) Stephan Schulz (DHBW Stuttgart) Roberto Sebastiani (University of Trento) Martina Seidl (Johannes Kepler University Linz) Viorica Sofronie-Stokkermans (University Koblenz-Landau) Lutz Straßburger (INRIA Saclay --- Ile-de-France) Martin Suda (Czech Technical University in Prague) Tanel Tammet (Tallinn University of Technology) Sophie Tourret (Inria and MPI for Informatics) Uwe Waldmann (MPI for Informatics) Christoph Weidenbach (Max Planck Institute for Informatics) Sarah Winkler (Free University of Bozen-Bolzano) Yoni Zohar (Stanford University) Publication