[Hol-info] ICLP 2019 - Call for Participation (Early registration deadline is today)
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
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
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 Texas