Contact Person : Copernicus Center office; Last Date for the submission of abstract : Not Available ; Description : The interdisciplinary seminar on relation between logic and theology and some applications of formal methods to theological discourse.