The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of

Logic Programming Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic pro ...

, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming, oversees the journal ''Theory and Practice of Logic Programming'' (TPLP), and publishes an electronic newsletter. The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Thomas Eiter. Here is a list of all presidents: * 2022- Thomas Eiter at

Vienna University of Technology TU Wien (TUW; german: Technische Universität Wien; still known in English as the Vienna University of Technology from 1975–2014) is one of the major universities in Vienna, Austria. The university finds high international and domestic recogn ...

* 2019-2021 Thomas Eiter ''pro tem '' at

* 2014-2019 Torsten Schaub at the

University of Potsdam The University of Potsdam is a public university in Potsdam, capital of the state of Brandenburg, Germany. It is mainly situated across three campuses in the city. Some faculty buildings are part of the New Palace of Sanssouci which is known ...

* 2010-2014 Gopal Gupta at the

University of Texas, Dallas The University of Texas at Dallas (UTD or UT Dallas) is a public research university in Richardson, Texas. It is one of the largest public universities in the Dallas area and the northernmost institution of the University of Texas system. It wa ...

* 2005-2009 Manuel Hermenegildo at the

Technical University of Madrid The Technical University of Madrid or sometimes called Polytechnic University of Madrid ( es, Universidad Politécnica de Madrid, UPM) is a public university, located in Madrid, Spain. It was founded in 1971 as the result of merging different Te ...

* 2001-2004 Veronica Dahl at

Simon Fraser University Simon Fraser University (SFU) is a public research university in British Columbia, Canada, with three campuses, all in Greater Vancouver: Burnaby (main campus), Surrey, and Vancouver. The main Burnaby campus on Burnaby Mountain, located ...

* 1997-2000

Krzysztof R. Apt Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland) is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974. His research interests include program correctness and semantics, use of logic as ...

Centrum Wiskunde & Informatica The (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the field of mathematics and theoretical computer science. It is part of the institutes organization of the Dutch Research C ...

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the capital and most populous city of the Netherlands, with The Hague being the seat of government. It has a population of 907,976 within the city proper, 1,558,755 in the urban ar ...

* 1993-1996 David Scott Warren at Stony Brook * 1989-1992 Herve' Gallaire at the European Computer-Industry Research Center in

Munich Munich ( ; german: München ; bar, Minga ) is the capital and most populous city of the German state of Bavaria. With a population of 1,558,395 inhabitants as of 31 July 2020, it is the third-largest city in Germany, after Berlin and ...

* 1986-1988 Keith Clark at

Imperial College London Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cu ...

In 1997, the ALP bestowed to fifteen recognized researchers in logic programming the title ''Founders of Logic Programming'' to recognize them as pioneers in the field.

References

{{reflist

External links

Association for Logic Programming (ALP)Theory and Practice of Logic Programming
journal Computer science organizations Organizations established in 1986 Computer science-related professional associations