[Hol-info] LPNMR 2019 CALL FOR PARTICIPATION

2019-04-26 Thread Gregory Gelfond
Call for Participation
---

   15th International Conference on
Logic Programming and Non-monotonic Reasoning
   LPNMR 2019

 https://sites.sju.edu/plw/lpnmr-2019/

Philadelphia, USA
  June 3-7, 2019

  Part of the Philadelphia Logic Week 2019
https://sites.sju.edu/plw/

Co-located with
  Datalog 2.0 Workshop
International Workshop on Bidirectional Transformations
  International Workshop on Theory and Practice of Provenance
!!! Early registration deadline is April 28, 2019!!!

---

REGISTRATION
 Early registration deadline is May 4th, 2019. For more information, visit:
  https://sites.sju.edu/plw/plw-2019-registration/



ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS
 Accepted papers and invited speakers information can be found at

  https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/
  https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/

AIMS AND SCOPE

 LPNMR 2019 is the fifteenth 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 nonmonotonic 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.

 This year's edition of the conference seeks to raise submissions devoted
 towards use of LPNMR techniques in emerging applications stemming from such
 areas as deep learning, robotics, cybersecurity, modeling cyberphysical
 systems, and human-aware AI. Aspects that have been studied in commonsense
 reasoning, inconsistency tolerance, and handling of dynamic knowledge appear
 essential in enabling these emerging applications to provide
 explanations and justifications of their outcomes.  LPNMR 2019 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.


INVITED SPEAKERS
  Esra Erdem, Sabanci University, Turkey
  Michael Gelfond, Texas Tech University, USA
  V.S. Subrahmanian, Dartmouth College, USA



COLOCATED EVENTS

 DATALOG 2.0 Workshop
 International Workshop on Bidirectional Transformations
 International Workshop on Theory and Practice of Provenance


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.

 WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on
 June 3 and 4:

   * The 12th Workshop on Answer Set Programming and Other Computing
 Paradigms (ASPOCP)
 Organizers: Jorge Fandinno and Johannes K. Fichte

   * Causal Reasoning and Explanation in Logic Programming
 Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar
 and, Jorge Fandiño

   * The 5th International Workshop on Defeasible and Ampliative
 Reasoning (DARe)
 Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak

   * The 5th International Workshop on Grounding and Transformations for
 Theories with Variables (GTTV)
 Organizers: Antonius Weinzierl and Peter Schüller

   * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP)
 Organizers: Stefan Ellmauthaler and Christos Rodosthenous

   * Workshop on the ASP Challenge 2019 (WAC 2019)
 Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller


FURTHER INFORMATION

 WWW: https://sites.sju.edu/plw/lpnmr-2019/
 Email: lpnmr2...@easychair.org



VENUE

 Philadelphia, or the "City of Brotherly Love," is the sixth-largest city
 in the United States and once served as the nation's capital. Philadelphia
 is an active historical and cultural hub, and has been striving for
 excellence since 1776. The city's rich history of knowledge and academic
 prowess has never diminished as it continues to promote and foster higher
 education. Visitors can explore various attractions in and around
 Philadelphia, such as the Philadelphia Museum of Art, the Franklin
 Institute, the Barnes Foundation, 

[Hol-info] LPNMR 2019 -- CALL FOR PARTICIPATION

2019-04-11 Thread Gregory Gelfond
 Call for Participation
---

   15th International Conference on
Logic Programming and Non-monotonic Reasoning
   LPNMR 2019

 https://sites.sju.edu/plw/lpnmr-2019/

Philadelphia, USA
  June 3-7, 2019

  Part of the Philadelphia Logic Week 2019
https://sites.sju.edu/plw/   

Co-located with 
  Datalog 2.0 Workshop
International Workshop on Bidirectional Transformations 
  International Workshop on Theory and Practice of Provenance 
!!! Early registration deadline is April 28, 2019!!!

---

REGISTRATION
 Early registration deadline is May 4th, 2019. For more information, visit:
  https://sites.sju.edu/plw/plw-2019-registration/



ACCEPTED PAPERS, PROGRAM, INVITED SPEAKERS
 Accepted papers and invited speakers information can be found at

  https://sites.sju.edu/plw/lpnmr-2019-accepted-papers/
  https://sites.sju.edu/plw/lpnmr-2019-invited-speakers/ 

AIMS AND SCOPE

 LPNMR 2019 is the fifteenth 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 nonmonotonic 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.

 This year's edition of the conference seeks to raise submissions devoted 
 towards use of LPNMR techniques in emerging applications stemming from such 
 areas as deep learning, robotics, cybersecurity, modeling cyberphysical 
 systems, and human-aware AI. Aspects that have been studied in commonsense 
 reasoning, inconsistency tolerance, and handling of dynamic knowledge appear 
 essential in enabling these emerging applications to provide 
 explanations and justifications of their outcomes.  LPNMR 2019 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.


INVITED SPEAKERS
  Esra Erdem, Sabanci University, Turkey
  Michael Gelfond, Texas Tech University, USA
  V.S. Subrahmanian, Dartmouth College, USA



COLOCATED EVENTS
 
 DATALOG 2.0 Workshop
 International Workshop on Bidirectional Transformations 
 International Workshop on Theory and Practice of Provenance 


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.

 WORKSHOPS - LPNMR 2019 will include specialized workshops to be held on 
 June 3 and 4:

   * The 12th Workshop on Answer Set Programming and Other Computing
 Paradigms (ASPOCP)
 Organizers: Jorge Fandinno and Johannes K. Fichte

   * Causal Reasoning and Explanation in Logic Programming
 Organizers: Emily Leblanc, Joost Vennekens, Son Tran, Pedro Cabalar
 and, Jorge Fandiño

   * The 5th International Workshop on Defeasible and Ampliative
 Reasoning (DARe)
 Organizers: Richard Booth, Giovanni Casini, and Ivan Varzinczak

   * The 5th International Workshop on Grounding and Transformations for
 Theories with Variables (GTTV)
 Organizers: Antonius Weinzierl and Peter Schüller

   * The 3rd International Workshop on User-Oriented Logic Paradigms (IULP)
 Organizers: Stefan Ellmauthaler and Christos Rodosthenous

   * Workshop on the ASP Challenge 2019 (WAC 2019)
 Organizers: Carmine Dodaro, Christoph Redl, and Peter Schüller


FURTHER INFORMATION

 WWW: https://sites.sju.edu/plw/lpnmr-2019/
 Email: lpnmr2...@easychair.org



VENUE

 Philadelphia, or the "City of Brotherly Love," is the sixth-largest city 
 in the United States and once served as the nation's capital. Philadelphia
 is an active historical and cultural hub, and has been striving for 
 excellence since 1776. The city's rich history of knowledge and academic 
 prowess has never diminished as it continues to promote and foster higher 
 education. Visitors can explore various attractions in and around 
 Philadelphia, such as the Philadelphia Museum