▁Computer ▁Science ▁Log ic ▁( E AC SL ), ▁founded ▁ 1 4 ▁July ▁ 1 9 9 2 , ▁ ▁is ▁an ▁international ▁professional ▁non - pro fit ▁organization ▁representing ▁the ▁interests ▁of ▁its ▁members ▁and ▁ ▁prom oting ▁computer ▁science ▁logic ▁in ▁the ▁areas ▁of ▁scientific ▁research ▁and ▁education . ▁It ▁supports ▁both ▁basic ▁and ▁application ▁orient ed ▁research ▁to ▁advance ▁the ▁connections ▁between ▁basic ▁research ▁and ▁industrial ▁applications . ▁The ▁current ▁president ▁is ▁Prof . ▁Thomas ▁Schw ent ick ▁( Te chn ical ▁University ▁of ▁Dort mund , ▁Germany ). ▁ ▁Each ▁year , ▁the ▁E AC SL ▁organ izes ▁the ▁international ▁conference ▁Computer ▁Science ▁Log ic ▁( CS L ) ▁< ref ▁name = cs l >. ▁Complete ▁list ▁of ▁past ▁C SL ▁con ferences ▁from ▁DB LP , ▁the ▁Computer ▁Science ▁Bibli ography .</ ref > ▁and ▁publish es ▁the ▁associated ▁proceed ings , ▁it ▁supports ▁several ▁work sh ops ▁and ▁summer ▁schools ▁ ▁and ▁spons ors ▁the ▁A ck ermann ▁Award ' ', ▁the ▁E AC SL ▁Out standing ▁Dis sert ation ▁Award ▁for ▁Log ic ▁in ▁Computer ▁Science . ▁The ▁annual ▁general ▁meeting ▁of ▁members ▁takes ▁place ▁each ▁year ▁during ▁the ▁annual ▁international ▁conference ▁C SL . ▁ ▁References ▁ ▁External ▁links ▁▁▁ ▁— ▁E AC SL ▁official ▁home ▁page . ▁ ▁Category : Comput er ▁science ▁organizations <0x0A> </s> ▁Sp odn ji ▁St ari ▁Grad ▁() ▁is ▁a ▁settlement ▁on ▁the ▁left ▁bank ▁of ▁the ▁S ava ▁River ▁in ▁the ▁Municip ality ▁of ▁Kr š