31st Conference on Current Trends in Theory and Practice of Computer Science Conference uri icon