Associação de Programação em Lógica - Association for Logic Programming

A Associação para a Programação em Lógica (ALP) foi fundada em 1986. Sua missão é "contribuir para o desenvolvimento de Lógica de Programação , relacioná-la com outro formal e também para as ciências humanísticas, e promover seus usos na academia e da indústria em todo o mundo ". Ele gerencia a Conferência Internacional sobre Programação em Lógica , supervisiona a Teoria e Prática de Programação em Lógica (TPLP) jornal publicado pela Cambridge University Press , e publica um boletim eletrônico.

As atividades da Associação são dirigidos por um Comitê Executivo e Presidente, eleito pelos membros ALP. O presidente atual é Torsten Schaub na Universidade de Potsdam. Os presidentes anteriores foram: Keith Clark no Imperial College de Londres, de 1986 a 1990, Herve' Gallaire em ECRC em Munique, de 1990 a 1993, David Scott Warren , em Stony Brook 1993-1997, Krzysztof Apt na CWI em Amsterdã, de 1997 a 2001, Veronica Dahl na Simon Fraser University 2001-2004, Manuel Hermenegildo na Universidade Técnica de Madrid 2004-2010, e Gopal Gupta na Universidade de Texas, Dallas 2010-2014.

Em 1997, o ALP concedeu a quinze pesquisadores reconhecidos em lógica de programação o título fundadores da Lógica de Programação de reconhecê-los como pioneiros no campo.

Referências

links externos