Category: Asyncronous News

CFP: Celebrating 50 Years of Prolog

Call for position papers celebrating the 50 year anniversary of Prolog, to be published by Springer in the LNAI series. As part of the 2022: The Year of Prolog celebrations, we are planning to publish a Volume in the Springer…

Apply for the ALP Alain Colmerauer Prolog Heritage Prize

Please circulate the announcement of the upcoming nominations to the Alain Colmerauer Prolog Heritage Prize. The deadline for submission is September 2nd, 2022. For more information: https://prologyear.logicprogramming.org/ColmerauerPrize.html  

Postdoc Opportunity

Postdoc applications are accepted for an RA position with Dr. Veronica Dahl (SFU) and Dr. Salvador Abreu (Universidade de Evora) for research and programming duties. Theme: Declarative and Constraint Modelling for Generating Socially and Environmentally Responsible Action Plans Application Deadline:…

ICLP 2022 Call for papers

The 38th International Conference on Logic Programming (ICLP 2022) https://software.imdea.org/Conferences/ICLP2022/ Haifa, Israel August 2-8, 2022 ICLP 2022 will be a physical event in Haifa, Israel Part of the FLOC 2022 https://floc2022.org/   Abstract registration: January 21, 2022 Paper submission: January…

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…

Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria

The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien – Logics for Computer Science co-funded by the European Commission, will offer 20 full-time PhD positions. The program is hosted by TU Wien, one of the most successful technical universities…

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…