Ciao-users July 2021

ciao-users@cliplab.org

3 participants
3 discussions

Call for Workshops - FLoC 2022
by victor.perez＠imdea.org 30 Jul '21

30 Jul '21

Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference July 31 - August 12, 2022 Haifa, Israel http://www.floc2022.org/ CALL FOR WORKSHOPS The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops. LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Frederic Blanqui Frederic.Blanqui(a)inria.fr FSCD (7th International Conference on Formal Structures for Computation and Deduction) http://fscd-conference.org/ Workshop chair: Nachum Dershowitz nachumd(a)tau.ac.il ITP (13th International Conference on Interactive Theorem Proving) https://itp-conference.github.io/ Workshop chair: Cyril Cohen cyril.cohen(a)inria.fr IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chairs: Simon Robillard simon.robillard(a)imt-atlantique.fr Sophie Tourret stourret(a)mpi-inf.mpg.de CSF (35th IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Musard Balliu musard(a)kth.se CAV (34th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: TBD KR (19th International Conference on Principles of Knowledge Representation and Reasoning) http://www.kr.org/ Workshop chair: Stefan Borgwardt stefan.borgwardt(a)tu-dresden.de ICLP (38th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Daniela Inclezan inclezd(a)miamioh.edu SAT (25th International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: Alexander Nadel alexander.nadel(a)intel.com CP (25th International Conference on Principles and Practice of Constraint Programming) http://a4cp.org/events/cp-conference-series Workshop chair: TBD SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2022. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged); - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.); - potential invited speakers (note that expenses of workshop invited speakers are not covered by FLoC); - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre or post FLoC); - virtual/hybrid backup plans (including platform preference). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Proposals should be submitted through EasyChair: https://easychair.org/conferences/?conf=floc2022workshops Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for further details and FAQ. IMPORTANT DATES Submission of workshop proposals deadline: September 27, 2021 (note extended deadline) Notification: November 1, 2021 Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022 (note corrected dates) Post-FLoC workshops: Thursday & Friday, August 11-12, 2022 CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: shaull(a)technion.ac.il GuillermoAlberto.Perez(a)uantwerpen.be FLoC 2022 WORKSHOP CHAIRS Shaull Almagor Guillermo A. Perez

1 0

ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs
by Gupta, Gopal 20 Jul '21

20 Jul '21

CALL FOR PAPERS!! CALL FOR PAPERS ICLP'21 Workshop on Goal-directed Execution of Answer Set Programs https://utdallas.edu/~gupta/gde21 (Fully Virtual) located with ICLP'21: 37th International Conference on Logic Programming (Virtual) Date: September 20-27, 2021 Workshop Aim: Answer set programming is a successful extension of logic programming for solving combinatorial problems as well as knowledge representation and reasoning problems. Most current implementations of ASP work by grounding a program and using a SAT solver-like technology to find the answer sets. While this approach is extremely efficient, relying on grounding of the program leads to significant blow-up of the program size, and computing the whole model makes finding justification of an atom in the model hard. This limits the applicability of ASP to problems dealing with large knowledge bases. Goal-directed or query-driven execution strategies have been proposed that do not require grounding. The goal of this workshop is to foster discussion around challenges and opportunities that such approaches present. List of topics includes: Non-grounding based implementations of ASP Constructive Negation Implementation Technology for Goal-directed ASP Applications of Goal-directed ASP Query-driven Constraint ASP System Description Tabling in goal-directed ASP Systems Coinductive Logic Programming and ASP Submission Instructions: Technical papers, position papers, as well as extended abstracts are welcome. Papers should be maximum 15 pages long and in LNCS Format. Email the paper in pdf format to the workshop organizers by the deadline date. Important Dates: Paper Submission: August 12, 2021 Decision Notification: August 22, 2021 Workshop Date: TBA (During one of ICLP'21 Conference days: Sep 20-27) Invited Speakers: TBA Organizers: Gopal Gupta, The University of Texas at Dallas, USA; Gopal.Gupta(a)utdallas.edu Joaquin Arias, Joaquin Arias, Universidad Rey Juan Carlos, Spain; Joaquin.Arias(a)urjc.es Elmer Salazar, The University of Texas at Dallas, USA; Elmer.Salazar(a)utdallas.edu

1 0

Logtalk 3.48.0 released
by Paulo Moura 06 Jul '21

06 Jul '21

Hi, Logtalk 3.48.0 is now available for downloading at: https://logtalk.org/ This release provides out of the box support for running parallel Logtalk processes; updates support for Ciao Prolog, CxProlog, GNU Prolog, LVM, SWI-Prolog, and Trealla Prolog; adds new Handbook sections on running parallel processes and on different stages of the multi-pass compiler; improves several Handbook sections; improves documentation of the "lgtunit" tool; improves tests for the "cbor" and "random" libraries; updates the "logtalk_tester" script to print the run time in seconds for each test set; adds a new example contributed by Paul Brown on adding portable application GUIs using Tcl and Tk; improves tests for multiple examples; includes new and improve standards compliance tests; and improves support for the Sublime Text editor. 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

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users July 2021