https://logic.irip.ac.ir/ https://logic.irip.ac.ir/cnf/about https://logic.irip.ac.ir/cnf/organization https://logic.irip.ac.ir/cnf/about?goals https://logic.irip.ac.ir/cnf/about?bases https://logic.irip.ac.ir/cnf/date_time https://logic.irip.ac.ir/cnf/keynote https://logic.irip.ac.ir/cnf/authors.note https://logic.irip.ac.ir/author https://logic.irip.ac.ir/performa?_action=guide https://logic.irip.ac.ir/news_181.html https://logic.irip.ac.ir/news_169.html https://logic.irip.ac.ir/news_168.html https://logic.irip.ac.ir/news_167.html