Category: Asyncronous News

Doctoral program LogiCS@TUWien: 20 PhD positions

Call for Applications: 20 PhD (university assistant, pre-doc) positions, 40 hours/week, limited for 4 years. The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training program LogiCS@TUWien – Logics for Computer Science, http://www.vcla.at/msca co-funded by the European Commission, will offer 20 full-time…

Scientific Tribute Day, Alain Colmerauer

The LIS laboratory from the university of Marseilles organizes a Scientific Tribute Day to Alain Colmeraueur on october 8th at the campus of Luminy (Marseilles). Alain Colmerauer is known as a pioneer of Artificial Intelligence and the author of the famous programming language…

CFP: Second miniKanren and Relational Programming Workshop

https://icfp20.sigplan.org/home/minikanren-2020 Thu 27 Aug 2020, Virtually Everywhere,Part of the 2020 International Conference on Functional Programminghttps://icfp20.sigplan.org/ About mKW The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic  programming) languages: miniKanren, microKanren,…

CFP: WOA 2020

21st Workshop “From Objects to Agents Bologna, Italy, 22-24 June 2020 http://woa2020.apice.unibo.it Call for Papers The twenty-first edition of the Workshop “From Objects to Agents” (WOA) will be held in Bologna to serve as a forum for researchers and practitioners…

Postdoc and PhD Positions: TU Wien

The Institute of Logic and Computation at TU Wien is hiring a postdoc and a PhD student for a research collaboration with industry in the area of knowledge representation and reasoning. The goal of this collaboration is to advance the use of logic-based…

CFP: Theory and Practice of Logic Programming: 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…

INAP 2019: Call for Papers (Submission Deadline extended)

22nd International Conference on Applications ofDeclarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration:…

WLP 2019: Call for Papers (Submission Deadline extended)

3rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration: August 12, 2019Online Registration:…