[Hol-info] ICLP 2019 - Call for Participation (Early registration deadline is today)

2019-08-25 Thread Fioretto, Ferdinando
CALL FOR PARTICIPATION - ICLP 2019 - https://www.cs.nmsu.edu/ALP/iclp2019/

The 35th International Conference on Logic Programming
September 20-25, 2019, Las Cruces, New Mexico, USA
---

Since the first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
THE ICLP 2019 program will include presentations of high-quality scientific work
in all areas of logic programming.
Besides the main track, ICLP 2019 will host additional tracks and special 
sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Research Challenges in Logic Programming Track
- Special Session: Women in Logic Programming

---
WORKSHOPS

Associated with the conference are two workshops:
- Workshop on Epistemic Extensions of Logic Programming (EELP 2019)
  https://www.semsys.aau.at/events/eelp2019/
- The 6th Workshop on Probabilistic Logic Programming (PLP 2019)
  http://stoics.org.uk/plp/plp2019/

---
DOCTORAL CONSORTIUM - 
https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium

Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic
Programming (September, 22, 2019)

---
TUTORIALS AND INVITED TALKS - 
https://www.cs.nmsu.edu/ALP/iclp2019/tutorials.html

Tutorials
- Serdar Kadioglu - Constraint Programming for Resource Management
- Chitta Baral - Knowledge Representation and Reasoning issues in Natural
  Language Question Answering
- Guy Van den Broeck - Tractable Probabilistic Circuits

Invited talks
- Nicola Leone - ASP Applications for AI and Industry
- Sheila McIlraith - Reward Machines: Structuring reward function specifications
  and reducing sample complexity in reinforcement learning -
- Adnan Darwiche - What Logic Can Do for AI Today

Women in LP Invited talk
- Yuliya Lierler - System PROJECTOR: An Automatic Program Rewriting Tool for
  Non-Ground Answer Set Programs

--
REGISTRATION - https://shopcart.nmsu.edu/shop/icpl2019

The registration costs and deadlines are as follows:

- General
  + Early registration - August, 15, 2019 - 600.00 USD
  + Late registration - 650.00 USD
- Student
  + Early registration - August, 15, 2019 - 400.00 USD
  + Late registration - 450.00 USD
- Workshop only
  + Early registration - August, 15, 2019 - 200.00 USD
  + Late registration - 250.00 USD

--
TRAVEL INFORMATION - https://www.cs.nmsu.edu/ALP/iclp2019/travel.html

--
ACCEPTED PAPERS - https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html

Rapid communications (TPLP)

- Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach 
to LARS Stream Reasoning (System paper)
  https://arxiv.org/abs/1907.12344
- Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic 
Splitting
  https://arxiv.org/abs/1907.09247
- Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set 
Programming
  https://arxiv.org/abs/1907.12139
- Giovanni Amendola, Carmine Dodaro and Marco Maratea. Abstract Solvers for 
Computing Cautious Consequences of ASP programs
  https://arxiv.org/abs/1907.09402
- Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial 
Compilation of ASP Programs
  https://arxiv.org/abs/1907.10469
- Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent 
Answer Sets with Less Resources
  https://arxiv.org/abs/1907.09560
- Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin and 
Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs
  https://arxiv.org/abs/1907.10096
- Gonzague Yernaux and Wim Vanhoof. Anti-unification in Constraint Logic 
Programming
  https://arxiv.org/abs/1907.10333
- Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and 
Jessica Zangari. Incremental answer set programming with overgrounding
  https://arxiv.org/abs/1907.09212
- María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña. Symbolic 
Analysis of Maude Theories with Narval (system description)
  https://arxiv.org/abs/1907.10919
- Joao Alcantara, Samy Sá and Juan Carlos Acosta-Guadarrama. On the Equivalence 
Between Abstract Dialectical Frameworks and Logic Programs
  https://arxiv.org/abs/1907.09548
- Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics 
meets Argumentation Frameworks
  https://arxiv.org/abs/1907.09426
- Wolfgang Faber, Michael Morak and Stefan Woltran. On the Uniform Equivalence 
of Epistemic Logic 

[Hol-info] ICLP 2019 - CALL FOR PARTICIPATION

2019-08-25 Thread Fioretto, Ferdinando
CALL FOR PARTICIPATION - ICLP 2019 - https://www.cs.nmsu.edu/ALP/iclp2019/

The 35th International Conference on Logic Programming
September 20-25, 2019, Las Cruces, New Mexico, USA
---

Since the first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
THE ICLP 2019 program will include presentations of high-quality scientific work
in all areas of logic programming.
Besides the main track, ICLP 2019 will host additional tracks and special 
sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Research Challenges in Logic Programming Track
- Special Session: Women in Logic Programming

---
WORKSHOPS

Associated with the conference are two workshops:
- Workshop on Epistemic Extensions of Logic Programming (EELP 2019)
  https://www.semsys.aau.at/events/eelp2019/
- The 6th Workshop on Probabilistic Logic Programming (PLP 2019)
  http://stoics.org.uk/plp/plp2019/

---
DOCTORAL CONSORTIUM - 
https://sites.google.com/cs.stonybrook.edu/iclp2019dc/iclp-2019-doctoral-consortium

Additionally, ICLP 2019 will host the 15th Doctoral Consortium (DC) on Logic
Programming (September, 22, 2019)

---
TUTORIALS AND INVITED TALKS - 
https://www.cs.nmsu.edu/ALP/iclp2019/tutorials.html

Tutorials
- Serdar Kadioglu - Constraint Programming for Resource Management
- Chitta Baral - Knowledge Representation and Reasoning issues in Natural
  Language Question Answering
- Guy Van den Broeck - Tractable Probabilistic Circuits

Invited talks
- Nicola Leone - ASP Applications for AI and Industry
- Sheila McIlraith - Reward Machines: Structuring reward function specifications
  and reducing sample complexity in reinforcement learning -
- Adnan Darwiche - What Logic Can Do for AI Today

Women in LP Invited talk
- Yuliya Lierler - System PROJECTOR: An Automatic Program Rewriting Tool for
  Non-Ground Answer Set Programs

--
REGISTRATION - https://shopcart.nmsu.edu/shop/icpl2019

The registration costs and deadlines are as follows:

- General
  + Early registration - August, 10, 2019 - 600.00 USD
  + Late registration - 650.00 USD
- Student
  + Early registration - August, 10, 2019 - 400.00 USD
  + Late registration - 450.00 USD
- Workshop only
  + Early registration - August, 10, 2019 - 200.00 USD
  + Late registration - 250.00 USD

--
TRAVEL INFORMATION - https://www.cs.nmsu.edu/ALP/iclp2019/travel.html

--
ACCEPTED PAPERS - https://www.cs.nmsu.edu/ALP/iclp2019/schedule.html

Rapid communications (TPLP)

- Thomas Eiter, Paul Ogris and Konstantin Schekotihin. A Distributed Approach 
to LARS Stream Reasoning (System paper)
  https://arxiv.org/abs/1907.12344
- Jorge Fandinno. Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic 
Splitting
  https://arxiv.org/abs/1907.09247
- Amelia Harrison and Vladimir Lifschitz. Relating Two Dialects of Answer Set 
Programming
  https://arxiv.org/abs/1907.12139
- Giovanni Amendola, Carmine Dodaro and Marco Maratea. Abstract Solvers for 
Computing Cautious Consequences of ASP programs
  https://arxiv.org/abs/1907.09402
- Bernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schüller. Partial 
Compilation of ASP Programs
  https://arxiv.org/abs/1907.10469
- Giovanni Amendola, Carmine Dodaro and Francesco Ricca. Better Paracoherent 
Answer Sets with Less Resources
  https://arxiv.org/abs/1907.09560
- Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin and 
Albert Rubio. Resource Analysis driven by (Conditional) Termination Proofs
  https://arxiv.org/abs/1907.10096
- Gonzague Yernaux and Wim Vanhoof. Anti-unification in Constraint Logic 
Programming
  https://arxiv.org/abs/1907.10333
- Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri and 
Jessica Zangari. Incremental answer set programming with overgrounding
  https://arxiv.org/abs/1907.09212
- María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña. Symbolic 
Analysis of Maude Theories with Narval (system description)
  https://arxiv.org/abs/1907.10919
- Joao Alcantara, Samy Sá and Juan Carlos Acosta-Guadarrama. On the Equivalence 
Between Abstract Dialectical Frameworks and Logic Programs
  https://arxiv.org/abs/1907.09548
- Giovanni Amendola and Francesco Ricca. Paracoherent Answer Set Semantics 
meets Argumentation Frameworks
  https://arxiv.org/abs/1907.09426
- Wolfgang Faber, Michael Morak and Stefan Woltran. On the Uniform Equivalence 
of Epistemic Logic 

[Hol-info] ICLP 2019 - Call for Participation

2019-08-04 Thread Fioretto, Ferdinando
Apologies for cross-posting - Please forward to anybody who might be interested
** The early registration is approaching soon! **


The 35th International Conference on Logic Programming (ICLP 2019)


Call for Participation
=

September 20-25, 2019
Las Cruces, New Mexico (USA)
https://www.cs.nmsu.edu/ALP/iclp2019/

Scope
--
Since the first conference held in Marseille in 1982, ICLP has been the premier 
international event for presenting research in logic programming.  
Contributions are sought in all areas of logic programming, including but not 
restricted to:


  *   Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge 
representation.
  *   Languages: Concurrency, Objects, Coordination, Mobility, Higher Order,  
Types, Modes, Assertions, Modules, Meta-programming, Logic-based  
domain-specific languages, Programming Techniques.
  *   Declarative programming: Declarative program development, Analysis, Type 
and mode inference, Partial evaluation, Abstract interpretation,  
Transformation, Validation, Verification, Debugging, Profiling, Testing,  
Execution visualization.
  *   Implementation: Virtual machines, Compilation, Memory management, 
Parallel/distributed execution, Constraint handling rules, Tabling, Foreign 
interfaces, User interfaces.
  *   Related Paradigms and Synergies: Inductive and Co-inductive Logic 
Programming, Constraint Logic Programming, Answer Set Programming, Interaction 
with SAT, SMT and CSP solvers, Logic programming techniques for type inference 
and theorem proving, Argumentation, Probabilistic Logic Programming, Relations 
to object-oriented and Functional programming.
  *   Applications: Databases, Big Data, Data integration and federation, 
Software engineering, Natural language processing, Web and Semantic Web, 
Agents, Artificial intelligence, Computational life sciences, Education,  
Cybersecurity, and Robotics.

Tracks and Special Sessions
---
Besides the main track, ICLP 2019 will host additional tracks and special 
sessions:


  *   Applications Track: This track invites submissions of papers on emerging 
and deployed applications of LP, describing all aspects of the development, 
deployment, and evaluation of logic programming systems to solve real-world 
problems, including interesting case studies and benchmarks, and discussing 
lessons learned.
  *   Sister Conferences and Journal Presentation Track: This track provides a 
forum to discuss important results related to logic programming that appeared 
recently (from January 2017 onwards) in selective journals and conferences, but 
have not been previously presented at ICLP.
  *   Research Challenges in Logic Programming Track: This track invites 
submissions of papers describing research challenges that an individual 
researcher or a research group is currently attacking. The goal of the track is 
to promote discussions, exchange of ideas, and possibly stimulate new 
collaborations.
  *   Special Session: Women in Logic Programming: This special session will 
include invited talks and presentations by women in logic programming.

Every track and special session will have its own dedicated chairs, PC, 
evaluation criteria, and CFP with the submission details.


Conference Registration
---

  *   Early Registration: August 5, 2019
  *   Registration Link: https://shopcart.nmsu.edu/shop/icpl2019


Important Dates


  *   Abstract registration (abstract, regular papers): May 8, 2019
  *   Paper submission (regular papers): May 15, 2019
  *   Paper submission (short papers): May 15, 2019
  *   Notification (regular papers): June 19, 2019
  *   Revision deadline (TPLP papers): July 3, 2019
  *   Final notifications (TPLP papers, short papers): July 17, 2019
  *   Camera-ready copy: July 31, 2019
  *   Conference: September 20-25, 2019

Organization
-
General Chairs:
   Enrico Pontelli - New Mexico State University
   Son Tran Cao - New Mexico State University
Program Chairs:
   Esra Erdem - Sabanci University
   German Vidal - Universitat Politecnica de Valencia
Publicity Chair:
   Ferdinando Fioretto - Georgia Institute of Technology
Workshops Chair:
   Martin Gebser - University of Klagenfurt and Graz University of Technology
Tutorials Chair:
   Pedro Cabalar - University of Corunna
DC Chairs:
   Paul Fodor - Stony Brook New York
   Daniela Inclezan - Miami University
Programming Competition Chairs:
   Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software 
Institute
   Orkunt Sabuncu - TED University
Applications Track Chairs:
   Andrea Formisano - Universita' di Perugia
   Fangkai Yang - NVIDIA Corporation
Sister Conferences and Journal Presentation Track Chairs:
   Bart Bogaerts - KU Leuven
   Giovambattista Ianni - Universita' della Calabria
Research Challenges in Logic Programming Track Chairs:
   Alessandro dal Palu  - Universita' di Parma
   Amelia Harrison - University of