Logic List Mailing Archive

Call for Proposals TPLP 20th Anniversary Issue (Theory & Practice of Logic Programming), Deadline: 30 Nov 2019

Call for Paper Proposals
Theory and Practice of Logic Programming (TPLP)
The 20th Anniversary Issue

Following the example of a highly successful and influential special issue 
of the Journal of Logic Programming, commemorating the 10th anniversary of 
the journal in 1994, the Editorial and Advisory Boards of TPLP propose to 
publish a special issue of TPLP to celebrate its 20th anniversary. The 
special issue will be published some time in 2021, 20 years after the 
first issue of TPLP was published in January 2001.

Logic programming was born from the idea of Horn logic as the basis for a 
programming language and from its embodiment in Prolog programming 
language, both dating their origins back to late 1960s and early 1970s. It 
quickly became a major milestone in the development of computer science. 
Since then, logic programming has remained a vibrant area of basic 
research on theoretical foundations of declarative programming, developing 
and exploiting connections to related fields such as knowledge and data 
bases, satisfiability and constraint programming, probabilistic 
programming, learning, implementation principles, and applications.

TPLP has been established in 2001. Since its launch date in January 2001, 
the journal has been serving our community as its flagship publication, a 
worthy successor to the Journal of Logic Programming. The 20th anniversary 
of the birth of TPLP is an excellent opportunity to look at our field, 
survey its accomplishments, identify and discuss challenges it faced, as 
well as, successes and failures in meeting them. Finally, it is an 
opportunity to map the road into the future.

The 20th Anniversary Issue of TPLP initiative will be coordinated by 
Thomas Eiter, Luc De Raedt, Michael Maher, Enrico Pontelli and Mirek 
Truszczynski, who will also serve as guest editors of the special issue. 
The guest editors envision that issue as consisting of invited papers that 
survey the state-of-the-art of most rapidly developing and emerging areas 
of logic programming, offer modern tutorials on well-established classical 
subjects, or present position statements on the field and its future, all 
targeting a broad audience rather than narrow groups of experts.

The editors invite proposals for such papers. These proposals should 
present the topic, and motivate its importance and interest. The proposals 
should be limited to two pages. These proposals will be reviewed by the 
editors, who will then invite some for full submission. These submissions 
will undergo a rigorous review. Those accepted will form the special 
issue.

The target deadlines are:

- November 30, 2019: the two-page paper proposals due

- January 31, 2020: invitations to submit papers sent to the authors of 
the selected proposals

- May 31, 2020: full papers due

- March 31, 2021: the paper review process ends - list of accepted papers 
finalized

- April 30, 2021: final versions of papers submitted

- June 30, 2021: the publication of the combined (1-3) issue of TPLP



Paper proposals should be submitted by email to Mirek Truszczynski at 
mirek@cs.uky.edu.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam