Всесоюзная конференция по прикладной логике