CAUTION: The Sender of this email is not from within Dalhousie. ========================================================================= ?????????????????????????????????????????????????? FINAL CALL FOR PAPERS ?????? The 37th International Conference on Logic Programming (ICLP 2021) ?????????????????????????????????????? Fully virtual event hosted by the ???????????????? Department of Computer Science of the University of Porto ========================================================================= New: Extended deadlines (regular papers) ** Abstract registration: May 12, 2021 ** Paper submission: May 18, 2021 New: Invited speakers ** William W. Cohen, Google AI ** John Hooker, CMU ** Phokion Kolaitis, UC Santa Cruz and IBM Almaden ** Stuart Russell, UC Berkeley ** Jeffrey Ullman, Stanford University ========================================================================= Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations: Semantics, Formalisms, Nonmonotonic reasoning, ???? Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, ???? Higher order, Types, Modes, Assertions, Modules, Meta-programming, ???? Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, ???? Verification, Debugging, Profiling, Testing, Execution ???? visualization. ** Implementation: Compilation, Virtual machines, Memory management, ???? Parallel/distributed execution, Constraint handling rules, Tabling, ???? Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic ???? programming, Constraint logic programming, Answer set programming, ???? Interaction with SAT, SMT and CSP solvers, Theorem proving, ???? Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, ???? Software engineering, Natural language processing, Web and semantic ???? web, Agents, Artificial intelligence, Computational life sciences, ???? Cybersecurity, Robotics, Education. Tracks and Affiliated Events **************************** Besides the main track, ICLP 2021 will host additional tracks: ** Applications Track ** Recently Published Research Track and affiliated events: ** MentorLP - Mentoring Workshop on Logic Programming ** Fall School on Logic and Constraint Programming ** Doctoral Consortium ** Tutorials and co-located Workshops More details ************ https://iclp2021.dcc.fc.up.pt Any additional question can be directed towards ICLP Chairs: iclp2021@easychair.org ========================================================================= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]