Logic List Mailing Archive

2002-03 ASL Winter Meeting

2002-03 ASL Winter Meeting
(in conjunction with the Joint Mathematics Meeting)

January 17-18, 2003

Baltimore MD

Speakers: David Marker (Chicago), Bjorn Kjos-Hanssen (Heidelberg), Arthur
Apter (New York), Rahim Moosa (Cambridge), Jeff Hirst, Krzysztof
Ciesielski, Lou van den Dries, Timothy McNicholl, Andrzej Roslanowski,
E.I.Gordon, Joseph Miller, Gregory Gillette, Pavel Naumov, Billy Joe
Lucas, Jeffrey Scott Leaning

There will be an AMS-ASL Special Session on

  "Interactions between Logic, Group Theory and Computer Science"

on Jan 15 and 16, organized by A.V.Borovik and A.Myasnikov; and an MAA-ASL
Special Session on

  "The Role of Logic in Learning to Write Proofs"

on Jan 16, organized by J.L.Hirst and D.Velleman.

http://www.ams.org/amsmtgs/2074_intro.html