The Fourth Smirnov Readings in Logic were held on 28-30 May 2003 in the Institute of Philosophy (RAS), Moscow.
