“…Symposium on Computational Models of Scientific Discovery and Theory Formation…”