ALP News

What is the ALP News (letter)?

ALP news is a service for the ALP community for immediate posting of relevant information such as  call for papers, conference reports, technical comments, systems announcements, logical puzzles and so on.

It continues the tradition of the ALP newsletter, born as  quarterly paper publication and then evolved electronically mantaining the same quarterly structure, with an editorial board. The evolution of communication has made this form of publication obsolete: ALP NEWS immediately spread the news to the community, just send your content to the ALP NEWS editors: if they decide that it is interesting/relevant for the community it will be posted on the web site.

ALP Newsletter issues since 2010 are available in this website;  issues up to 2009 can be found in the KU Leuven website.

ALP NEWS Editors (from August 2026)

 

ALP Newsletters Editorial Boards

  • 2021-26. Agostino Dovier and Enrico Pontelli (Editors), Daniela Inclezan (applications), Andrea Formisano (constraints), Miguel Areias (design, analysis, and implementation of languages), Carmine Dodaro (knowledge representation and nonmonotonic reasoning), Mark Law (logic and machine learning), Giovanni Ciatto (programming methodology and software engineering), Carlos Olarte (Specification, Analysis and Verification of Systems, Security), Jorge Fandinno (Theoretical Foundations), Gian Luca Pozzato (Student specialist), Paolo Baldan and Roberto Bruni (Games & Puzzles).
  • 2019-21. Enrico Pontelli and Agostino Dovier (editors), Roman Barták and Andrea Formisano (Constraint Logic Programming), João Leite and Matteo Baldoni (Multi-Agent Systems), Gerhard Friedrich and Carmine Dodaro (Applications of Logic Programming), Fabrizio Riguzzi and James Cussens (Inductive Logic Programming), Alessandra Mileo and Francesco Ricca (Database & Semantic Web), Martin Gebser and Jose F. Morales (Implementation), Marcello Balduccini and Fangkai Yang (KR & Non-monotonic Reasoning), Fabio Fioravanti and Samir Genaim (Analysis & Verification), Joohyung Lee  and Mario Alviano (Foundations), Paolo Baldan and Roberto Bruni (Games and Puzzles), Gian Luca Pozzato (Student Specialist).
  • 2016-18.  Enrico Pontelli and Agostino Dovier (editors), Jose F. Morales and Martin Gebser (implementation), Roman Bartak and Andrea Formisano (CLP),  Paolo Torroni and Gerhard Friedrich (Applications), James Cussens and Fabrizio Riguzzi (ILP), Alessandra Mileo and Francesco Ricca (DB & Semantic Web), João Leite and Matteo Baldoni (Multi-Agent Systems), Yuliya Lierler and Marcello Balduccini (KR & NMR), Samir Genaim and German Vidal (Analysis and Verification),  Pedro Cabalar and Mario Alviano (Foundations),  Paolo Baldan and Roberto Bruni (Games and Puzzles), Gian Luca Pozzato (Student Specialist)
  • 2014-2015. Enrico Pontelli and Agostino Dovier (editors), Ricardo Rocha and Martin Gebser (implementation), Roman Bartak and Tom Schrjivers (CLP),  Paolo Torroni and Francesco Ricca (Applications), Vitor Santos Costa and Fabrizio Riguzzi (ILP), Alessandra Mileo and Thomas Krennwallner (DB & Semantic Web),  Tran Cao Son and Marcello Balduccini (KR & NMR), John Gallagher and Michael Leuschel (Analysis and Verification),  Pedro Cabalar and Stefan Woltran (Foundations),  Paolo Baldan and Roberto Bruni (Games and Puzzles), Paul Tarau (Out of Left Field)
  • 2010-2013. Enrico Pontelli and Agostino Dovier (editors), Manuel Carro and Ricardo Rocha (implementation), Luc De Raedt and Vitor Santos Costa (ILP), Roman Bartak and Tom Schrjivers (CLP), Pedro Cabalar and Stefan Woltran (Foundations), John Gallagher and Michael Leuschel (Analysis and Verification), Tran Cao Son and Marcello Balduccini (KR & NMR), Marco Gavanelli and Paolo Torroni (Applications), Michael Kifer and Axel Polleres (DB & Semantic Web), Paolo Baldan (Games and Puzzles)
  • 2006-2009. Enrico Pontelli and Sandro Etalle (editors), Roberto Bagnara (implementation), Brigitte Pientka (theorem proving), Eric Monfroy (constraints), Frank Valencia (concurrency), R.C. Ramakrishnan (verification & model checking), Fariba Sadri and Francesca Toni (Multi-Agent Systems), Tran Cao Son (NMR), Agostino Dovier (Applications), Axel Polleres (Web and Semantic Web), Paolo Baldan (Games and Puzzles), Andrew O. Gonzalez (Web master)
  • 2004-2005. Enrico Pontelli and Sandro Etalle (editors), Roberto Bagnara (implementation), Amy Felty (theorem proving), Eric Monfroy (constraints), Catuscia Palamidessi (concurrency), R.C. Ramakrishnan (verification & model checking), Fariba Sadri and Francesca Toni (Multi-Agent Systems), Tran Cao Son (NMR), Paolo Baldan (Games and Puzzles), Danny Penders (Web master)
  • 2001-2003. Sandro Etalle (editor), Roberto Bagnara (implementation), Amy Felty (theorem proving), Eric Monfroy (constraints), Catuscia Palamidessi (concurrency), R.C. Ramakrishnan (verification & model checking), Fariba Sadri and Francesca Toni (Multi-Agent Systems), Danny Penders (Web master)