See https://events.rice.edu/#!view/event/event_id/155303 Moshe _______________________________________________ Vardi-list mailing list Vardi-list at mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list