See https://events.rice.edu/#!view/event/event_id/155303 Moshe _______________________________________________ Vardi-list mailing list vardi-l...@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info