Lars Kristiansen
Publications -- a list of selected publications Talks -- a list of selected talks TeachingMAT-INF3600 - autumn term 2009 (Mathematical Logic)INF1800 - autumn term 2008 (Logic and Computability) WorkshopsDICE 2010 -- International workshop on developments in implicit computational complexity. Deadline December 7th, 2009.PCC '08 -- workshop in Oslo MiscellaneousCCTT -- research project funded by The Research Council of Norway.I am an active member of this research group: Logic and Computability in Oslo. My Erdös number is less or equal to 5. (Check the details.) My coauthors: James Avery, Amir Ben-Amram, Mathias Barra, Mark Burgess, Neil Jones, Jean-Yves Moyen, Karl-Heinz Niggl, Paul Voda. You can download some of my papers here. |