International Conference on Mathematical Logic