Logic List Mailing Archive

Moscow-Utrecht meeting in "Logical Models of Reasoning and Computation"

25-26 November 2008
Utrecht, The Netherlands

On 25-26 November the Moscow-Utrecht meeting on

Logical Models of Reasoning and Computation

will be held in Utrecht. Speakers: Adian, De Jongh, Van Oostrom, Vaporis, 
Plisko, Shapirovsky, Beklemishev, Van Oosten, Broersen, Shatrov, Shehtman.

Location: University of Humanistics, Drift 6, Room 1.22, Utrecht

For programme, see
http://people.cs.uu.nl/paolo/LMRC/

Jaap van Oosten