=========================================================================                           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 =========================================================================