ALL Számítástudományi Kutató-fejlesztő Kisszövetkezet

Korszerű információtechnológiai megoldások és módszerek kutatása és fejlesztése.

200 körüli publikáció, köztük több mint 10 könyv és monográfia született. Az ALL több mint 30 közép- és hosszútávú nemzeti és nemzetközi K+F projektben vett részt.

Eredményük volt a TPROLOG nyelv definiálása és implementálása, az ALL-EX szakértői keretrendszer (a MULTILOGIC-kal közösen), a nem Horn-formulákon és rezolúciós elven alapuló LOBO logikai programozási nyelv kifejlesztése.

A Kisszövetkezet Alkalmazott Logikai Laboratórium Kutató-fejlesztő Szövetkezetté alakult át.

2018-ban a  Szövetkezet végelszámolásra került.

A cég munkatársai között többen rendelkeztek tudományos fokozattal, vezetője akadémikus és a matematikai tudomány doktora címmel.

2006. november 6. ALL&MI Jubileumi Tudományos Nap, az NJSZT szervezésében.